From vesa.a.j.k at gmail.com Sat Jul 11 03:41:49 2009 From: vesa.a.j.k at gmail.com (Vesa Karvonen) Date: Sat Jul 11 03:41:55 2009 Subject: Fwd: [MLton-user] Explosion in MLton compilation time In-Reply-To: <9e43b9a0907110340y7751fe73md63a706509d8215f@mail.gmail.com> References: <4A3A623D.8010700@reactive-systems.com> <9e43b9a0907110340y7751fe73md63a706509d8215f@mail.gmail.com> Message-ID: <9e43b9a0907110341o3d8ddd44pd4c3475fcf1cc8c5@mail.gmail.com> Forwarding my own message as I forgot to include the mailing list. ---------- Forwarded message ---------- From: Vesa Karvonen Date: Sat, Jul 11, 2009 at 1:40 PM Subject: Re: [MLton-user] Explosion in MLton compilation time To: Matthew Fluet On Fri, Jun 19, 2009 at 4:44 PM, Matthew Fluet wrote: > On Thu, 18 Jun 2009, Dan DuVarney wrote: [...] >> The trigger seems to be some combination of program size and complex >> datatypes. I have been able to get the compile-time to revert to normal >> by replacing some datatypes with records. However, the subsystem >> containing the "offending" datatypes compiles normally when part of a >> smaller program. Hence the amount of source code required to reproduce >> the problem is quite massive (and also proprietary). For these reasons >> it will be difficult for me to send a source code example which >> reproduces the compilation-time increase. > > In the absence of a source code example, it is very difficult to > investigate the issue. Just noting that the refFlatten pass takes a very long time when compiling MLKit with MLton. -Vesa Karvonen From rossberg at mpi-sws.mpg.de Fri Jul 17 04:22:57 2009 From: rossberg at mpi-sws.mpg.de (Andreas Rossberg) Date: Fri Jul 17 04:23:08 2009 Subject: [MLton-user] ML 2009: Call for Participation Message-ID: <4A605F11.2090300@mpi-sws.mpg.de> CALL FOR PARTICIPATION The 2009 ACM SIGPLAN Workshop on ML To be held in conjunction with ICFP 2009 on Sunday, August 30, 2009 in Edinburgh, Scotland, UK http://www.mpi-sws.org/~rossberg/ml2009/ ML is a family of programming languages that includes dialects known as Standard ML, Objective Caml, and F#. The development of these languages has inspired a large amount of computer science research, both practical and theoretical. This workshop aims to provide a forum to encourage discussion and research on ML and related technology (higher-order, typed, or strict languages). The 2009 Work shop on ML will be held in conjunction with the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) in Edinburgh, Scotland, UK. Previous instances were ML 2005 in Tallinn, Estonia, ML 2006 in Portland, Oregon, USA, ML 2007 in Freiburg, Germany, and ML 2008 in Victoria, British Columbia, Canada). PRELIMINARY PROGRAM * Invited talk: C?dric Fournet. A Cryptographic Protocol Compiler for Multiparty Sessions * Session: Type Systems - Claudio Russo, Dimitrios Vytiniotis. QML: Explicit first-class polymorphism for ML - Joshua Dunfield. Greedy Bidirectional Polymorphism - Demo: Vincent Rahli, Joe Wells, Steven Shiells, Fairouz Kamareddine. A Type Error Slicer for SML - Demo: Lucas Dixon. A GUI for Programming in PolyML: an Interface Protocol for Functional Languages * Session: Reasoning and Verification - Jan Schwinghammer, David Sabel, Manfred Schmidt-Schauss, Joachim Niehren. Correctly Translating Concurrency Primitives - Johannes Kanig, Jean-Christophe Filli?tre. Who: A Verifier for Effectful Higher-order Programs - Demo: Karthikeyan Bhargavan, C?dric Fournet, Andrew Gordon. Modular Verification of Security Protocol Code by Typing - Demo: Louis Mandel, Florence, Plateau, Marc Pouzet. The ReactiveML Toplevel * Session: Implementation - Moe Masuko, Kenichi Asai. Direct Implementation of Shift and Reset in the MinCaml Compiler - Benjamin Canou, Alexis Darrasse. Fast and sound random generation for automated testing and benchmarking in Objective Caml - Demo: David Rajchenbach-Teller. First steps with OCaml Batteries Included - Demo: Romain Bardou, Fran?ois Bobot, Jean-Christophe Filli?tre, Johannes Kanig, St?phane Lescuyer. Mlpost - A scientific drawing library * Panel Discussion: Future directions for ML REGISTRATION Information about registration, accommodation, and travel is available on the ICFP conference web site: http://www.icfpconference.org/icfp2009/ PROGRAM CHAIR Andreas Rossberg (Max Planck Institute for Software Systems) PROGRAM COMMITTEE Umut Acar (Toyota Technological Institute at Chicago) Damien Doligez (INRIA Paris-Rocquencourt) Neal Glew (Intel) Andrew Gordon (Microsoft Research Cambridge) Patricia Johann (University of Strathclyde) Oleg Kiselyov (FNMOC) Neelakantan Krishnaswami (Carnegie Mellon University) David MacQueen (University of Chicago) Yasuhiko Minamide (University of Tsukuba) Norman Ramsey (Tufts University) STEERING COMMITTEE See the ML Workshop series home page at: http://www.tti-c.org/blume/ml-workshop/