[TYPES/announce] Call for participation: ML 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thursday September 22, 2016, Nara, Japan (co-located with ICFP) Call For Participation:http://www.mlworkshop.org/ml2016/ Early registration deadline: Wednesday 17 August 2016 Register online: http://conf.researchr.org/attending/icfp-2016/Registration The ML Family Workshop brings together researchers, implementors and users of languages in the extended ML family and provides a forum to present and discuss common issues, both practical (compilation techniques, tooling, embedded programming) and theoretical (fancy types, module systems, type inference). ML 2016 will be held in Nara on September 22nd, immediately after ICFP and close to a number of other related events, including the OCaml Workshop on the following day. Tentative Program * Making Reactive Programs Function (Invited Talk) Neelakantan Krishnaswami * WebAssembly: high speed at low cost for everyone Andreas Rossberg * Extracting from F* to C: a progress report Jonathan Protzenko, Karthikeyan Bhargavan, Jean-Karim Zinzindohoue Abhishek Anand, Cedric Fournet, Bryan Parno, Aseem Rastogi and Nikhil Swamy * Compiling with Continuations and LLVM Kavon Farvardin and John Reppy * SML# with Natural Join Tomohiro Sasaki, Katsuhiro Ueno and Atsushi Ohori * Eff Directly in OCaml Oleg Kiselyov and Kc Sivaramakrishnan * Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstrom, Sam Lindley and Kc Sivaramakrishnan * Classes for the Masses Claudio Russo and Matthew Windsor * Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML Yutaka Nagashima and Liam O'Connor * Malfunctional Programming Stephen Dolan * Ambiguous pattern variables Gabriel Scherer, Luc Maranget and Thomas Refis * Typed Embedding of Relational Language in OCaml Dmitri Kosarev and Dmitri Boulytchev * Sundials/ML: interfacing with numerical solvers Timothy Bourke, Jun Inoue and Marc Pouzet (The last talk is accepted for ML workshop, but presented in OCaml workshop with the agreement from authors and ML/OCaml workshop PCs) Programme Committee Nada Amin (EPFL, Switzerland) Kenichi Asai (Ochanomizu University, Japan) (PC chair) Jacques Carette (McMaster University, Canada) Arthur Chargueraud (INRIA, France) Yan Chen (Google, USA) Jan Midtgaard (Technical University of Denmark, Denmark) John Reppy (University of Chicago, USA) Mark Shinwell (Jane Street Europe, UK) Nikhil Swamy (Microsoft Research, USA) Katsuhiro Ueno (Tohoku University, Japan)
[TYPES/announce] CFP: ML workshop 2016
examples. Format -- The ML 2016 workshop will continue the informal approach used since 2010. Presentations are selected from submitted abstracts. There are no published proceedings, so contributions may be submitted for publication elsewhere. We hope that this format will encourage the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Post-proceedings ML 2016 is an informal workshop without proceedings. We are planning to publish a post-proceedings and to invite interested authors of selected presentations to expand their abstracts for inclusion. Coordination with the OCaml Users and Developers Workshop - The OCaml workshop is seen as more practical and is dedicated in significant part to OCaml community building and the development of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research-oriented, and deals with general issues of ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the Programme Chairs. Submission details -- Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2-3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop programme. Submissions must be uploaded to the workshop submission website at: https://easychair.org/conferences/?conf=ml2016 before the submission deadline (Friday 10th June, 2016). If you have a question concerning the scope of the workshop or the submission process, please contact the programme chair. Important dates --- Friday 10th June (any time zone) Abstract submission deadline Monday 18th July Author notification Thursday 22nd September 2016 ML Family Workshop Programme committee --- Nada Amin (EPFL, Switzerland) Kenichi Asai (Ochanomizu University, Japan) (PC chair) Jacques Carette (McMaster University, Canada) Arthur Charguéraud (INRIA, France) Yan Chen (Google, USA) Jan Midtgaard (Technical University of Denmark, Denmark) John Reppy (University of Chicago, USA) Mark Shinwell (Jane Street Europe, UK) Nikhil Swamy (Microsoft Research, USA) Katsuhiro Ueno (Tohoku University, Japan)
[TYPES/announce] CFP: ML 2016
are selected from submitted abstracts. There are no published proceedings, so contributions may be submitted for publication elsewhere. We hope that this format will encourage the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Post-proceedings ML 2016 is an informal workshop without proceedings. We are planning to publish a post-proceedings and to invite interested authors of selected presentations to expand their abstracts for inclusion. Coordination with the OCaml Users and Developers Workshop - The OCaml workshop is seen as more practical and is dedicated in significant part to OCaml community building and the development of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research-oriented, and deals with general issues of ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the Programme Chairs. Submission details -- Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2-3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop programme. Submissions must be uploaded to the workshop submission website before the submission deadline (Friday 10th June, 2016). If you have a question concerning the scope of the workshop or the submission process, please contact the programme chair. Important dates --- Friday 10th June (any time zone) Abstract submission deadline Monday 18th July Author notification Thursday 22nd September 2016 ML Family Workshop Programme committee --- Nada Amin (EPFL, Switzerland) Kenichi Asai (Ochanomizu University, Japan) (PC chair) Jacques Carette (McMaster University, Canada) Arthur Charguéraud (INRIA, France) Yan Chen (Google, USA) Jan Midtgaard (Technical University of Denmark, Denmark) John Reppy (University of Chicago, USA) Mark Shinwell (Jane Street Europe, UK) Nikhil Swamy (Microsoft Research, USA) Katsuhiro Ueno (Tohoku University, Japan)
[TYPES/announce] PEPM 2015: First call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PEPM 2015 Paper Submission Deadline: September 12 (*FIRM*) Note: deadline is significantly earlier than previous years. Hope to see you in Mumbai, India! Kenichi Asai and Kostis Sagonas, PC chairs of PEPM 2015 - C A L L F O R P A P E R S - === PEPM 2015 === ACM SIGPLAN 2015 WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION Tue-Wed, January 13-14, 2015, Mumbai, India, co-located with POPL'15 http://conf.researchr.org/home/pepm2015 Sponsored by ACM SIGPLAN SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2015 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last years' successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'15 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers' for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student attendants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. Accepted papers will be included in the ACM Digital Library. Following the practice of recent PEPMs, we are planning a special issue of a journal for a selection of papers presented at the PEPM'15 workshop. PEPM has also established a Best Paper award. The winner will be announced at the workshop. SUBMISSION CATEGORIES AND GUIDELINES Regular Research Papers must not exceed 12 pages in ACM Proceedings style (including appendix). Tool demonstration papers and short papers must not exceed 6 pages in ACM Proceedings style (including appendix). At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'15 Web-site soon. Papers should be submitted