- Haskell - Haskell.org

Final CFP HOPE 2018
by Filip Sieczkowski 04 Jun '18

04 Jun '18

Dear Friends and Colleagues, We have a great pleasure inviting you to participate in this year's edition of the ACM SIGPLAN Workshop on Higher-Order Programming with Effects ( https://icfp18.sigplan.org/track/hope-2018-papers) The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. **Call for Presentations** We solicit proposals for contributed talks. We recommend preparing proposals of *at most 2 pages*, in PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g., a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Filip Sieczkowski (efes(a)cs.uni.wroc.pl) and François Pottier ( francois.pottier(a)inria.fr) ** Submission link ** https://icfp-hope18.hotcrp.com/ **Important Dates** * Deadline for talk proposals: June 8th, 2018 (Friday) * Notification of acceptance: July 8th, 2018 (Sunday) * Workshop: September 23, 2018 (Sunday) — Best regards, Filip Sieczkowski and François Pottier, PC co-chairs

1 0

Mathematically Structured Functional Programming 2018: Call for Participation
by Robert Atkey 04 Jun '18

04 Jun '18

Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ CALL FOR PARTICIPATION Registration: ============ Register here: http://www.floc2018.org/register/ Early registration deadline: Wednesday 6th June Invited Speakers: ================= - Tamara von Glehn, University of Cambridge, UK - Didier Remy, INRIA, France The seventh workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, just after ETAPS 2016. Programme: ========== See also https://easychair.org/smart-program/FLoC2018/MSFP-program.html for abstracts. 09:00 Invited speaker: Tamara von Glehn Polynomial models of type theory 10:00 Maaike Zwart and Dan Marsden Some No-Go Theorems for Distributive Laws (extended abstract) 10:30 Coffee 11:00 Jeremy Pope Formalizing Constructive Quantifier Elimination in Agda 11:45 Exequiel Rivas Relating Idioms, Arrows and Monads from Monoidal Adjunctions 12:30 Lunch 14:00 Invited Speaker: Didier Remy Ornamentation put into practice in ML 15:00 Jeremy Gibbons and Guillaume Boisseau Profunctor Optics and the Yoneda Lemma 15:30 Coffee 16:00 Jules Hedges Backward induction for repeated games 16:45 Conor McBride Everybody's Got To Be Somewhere Program Committee: ================== Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey - University of Strathclyde, UK (co-chair) Jeremy Gibbons - University of Oxford, UK Jennifer Hackett - University of Nottingham, UK Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina Shin-ya Katsumata - National Institute of Informatics, Japan Sam Lindley - University of Edinburgh, UK (co-chair) Clare Martin - Oxford Brookes University, UK Shin-Cheng Mu - Academia Sinica, Taiwan Valeria de Paiva - Nuance Communications, US Alexandra Silva - University College London, UK

1 0

APLAS 2018 2nd CFP
by Sukyoung Ryu 03 Jun '18

03 Jun '18

[Apologies for multiple copies] ============================================================== CALL FOR PAPERS 16th Asian Symposium on Programming Languages and Systems (APLAS) Wellington, NZ, 3rd – 5th of December 2018 http://aplas2018.org ============================================================== IMPORTANT DATES ------------------------------------- Abstract deadline: Tuesday, June 12, 2018 Submission deadline: Friday, June 15, 2018 Author response: Wednesday-Friday, July 25-27, 2018 Author notification: Monday, August 13, 2018 Camera-ready deadline: Friday, August 31, 2018 Conference: Monday-Friday, December 3-5, 2018 AIM AND SCOPE ------------------------------------- The symposium is devoted to foundational and practical issues broadly spanning the areas of programming languages and systems. Papers are solicited on topics such as - Semantics, logics, foundational theory7 - Design of languages, type systems, and foundational calculi - Domain-specific languages - Compilers, interpreters, abstract machines - Program derivation, synthesis, and transformation - Program analysis, verification, model-checking - Logic, constraint, probabilistic, and quantum programming - Software security - Concurrency and parallelism - Tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool demonstrations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. SUBMISSION GUIDELINES ------------------------------------- We solicit submissions in two categories: - Regular research papers describing original scientific research results, including system development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. - System and tool demonstrations describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool–highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool’s strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo. Papers should be submitted electronically via the submission web page using EasyChair. The acceptable format is PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference. REVIEW PROCESS ------------------------------------- APLAS 2018 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors’ names or affiliations as they initially review a paper. The authors’ names will then be revealed to the reviewers only once their reviews have been submitted. INVITED SPEAKERS ------------------------------------- Amal Ahmed (Northeastern University, USA) Isil Dillig (University of Texas, Austin, USA) Viktor Vafeiadis (MPI-SWS, Germany) ORGANIZERS ------------------------------------- General Co-Chairs: Alex Potanin (Victoria University of Wellington, NZ) David Pearce (Victoria University of Wellington, NZ) Jens Dietrich (Massey University, Palmerston North, NZ) Program Chair: Sukyoung Ryu (KAIST, Korea) Program Committee: Sam Blackshear (Facebook, UK) Bernd Burgstaller (Yonsei University, Korea) Cristina David (University of Cambridge, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Benjamin Delaware (Purdue University, USA) Julian Dolby (IBM Thomas J. Watson Research Center, USA) Yuxi Fu (Shanghai Jiao Tong University, China) Aquinas Hobor (National University of Singapore, Singapore) Tony Hosking (Australian National University / Data61, Australia) Chung-Kil Hur (Seoul National University, Korea) Atsushi Igarashi (Kyoto University, Japan) Joxan Jaffar (National University of Singapore, Singapore) Alexander Jordan (Oracle Labs., Australia) Hakjoo Oh (Korea University, Korea) Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong) Xiaokang Qiu (Purdue University, USA) Tamara Rezk (INRIA, France) Xavier Rival (CNRS / ENS / INRIA, France) Ilya Sergey (University College London, UK) Manuel Serrano (INRIA, France) Xipeng Shen (North Carolina State University, USA) Guy L. Steele Jr. (Oracle Labs., USA) Alex Summers (ETH, Switzerland) Tachio Terauchi (Waseda University, Japan) Peter Thiemann (Universität Freiburg, Germany) Ashutosh Trivedi (University of Colorado Boulder, USA) Jingling Xue (UNSW Sydney, Australia) Nobuko Yoshida (Imperial College London, UK) Danfeng Zhang (Pennsylvania State University, USA) Xin Zhang (MIT, USA)

1 0

[ANNOUNCE] GHC 8.4.3 released
by Ben Gamari 29 May '18

29 May '18

Hello everyone, The GHC team is pleased to announce the availability of GHC 8.4.3. The source distribution, binary distributions, and documentation for this release are available at https://downloads.haskell.org/~ghc/8.4.3 This release includes a few bug fixes including: * A code generation bug resulting in crashing of some programs using UnboxedSums has been fixed (#15038). * #14381, where Cabal and GHC would disagree about abi-depends, resulting in build failures, has been worked around. Note that the work-around patch has already been shipped by several distributions in previous releases, so this change may not be visible to you. * By popular demand, GHC now logs a message when it reads a package environment file, hopefully eliminating some of the confusion wrought by this feature. * GHC now emits assembler agreeable to newer versions of Gnu binutils, fixing #15068. * SmallArray#s can now be compacted into a compact region Thanks to everyone who has contributed to developing, documenting, and testing this release! As always, let us know if you encounter trouble. How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standardized lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating efficient code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces. GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs: GHC home page https://www.haskell.org/ghc/ GHC developers' home page https://ghc.haskell.org/trac/ghc/ Haskell home page https://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: https://ghc.haskell.org/trac/ghc/wiki/TeamGHC Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: https://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site: https://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at https://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://mail.haskell.org/cgi-bin/mailman/listinfo Many GHC developers hang out on #haskell on IRC: https://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: https://www.haskell.org/ghc/reportabug

1 0

Second Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)
by Andrei Chis 29 May '18

29 May '18

------------------------------------------------------------------------ Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018) co-located with SPLASH 2018 November 5-6, 2018 Boston, Massachusetts, United States https://conf.researchr.org/track/sle-2018/papers ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018), held in conjunction with SPLASH 2018 at Boston, Massachusetts on November 5-6, 2018. --------------------------- Scope --------------------------- With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Given that everything depends on software and that software depends on software languages, it seems fair to say that for many years to come, everything will depend on software languages. Software language engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. While SLE is certainly driven by its metacircular character (software languages are engineered using software languages), SLE is not self-satisfying: its scope extends to the engineering of languages for all and everything. Like its predecessors, the 11th edition of the SLE conference, SLE 2018, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasizes the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events. --------------------------- Topics of Interest --------------------------- SLE 2018 solicits high-quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. In particular, SLE is interested in contributions from the following areas: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral / executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * Fri 29 June 2018 - Abstract Submission * Fri 6 July 2018 - Paper Submission * Fri 24 August 2018 - Author Notification * Fri 31 August 2018 - Artifact Submission * Fri 14 September 2018 - Artifact Kick-the-Tires Evaluation Author Response * Fri 5 October 2018 - Camera Ready Deadline * Wed 10 October 2018 - Artifact Notification * Fri 12 October 2018 - Deadline for Artifact-Related Paper Updates * Sun 4 Nov 2018 - SLE Workshops * Mon 5 Nov - Tue 6 Nov 2018 - SLE Conference --------------------------- Types of Submissions --------------------------- * Research papers These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 12 pages excluding bibliography. * Tool papers Because of SLE’s interest in tools, we seek papers that present software tools related to the field of SLE. Selection criteria include originality of the tool, its innovative aspects, and relevance to SLE. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must provide a tool description of 4 pages excluding bibliography, and a demonstration outline including screenshots of up to 6 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” in the title. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. The 6-page demonstration outline will be used by the program committee only for evaluating the submission. * New ideas / vision papers New ideas papers should describe new, non-conventional SLE research approaches that depart from standard practice. They are intended to describe well-defined research ideas that are at an early stage of investigation. Vision papers are intended to present new unifying theories about existing SLE research that can lead to the development of new technologies or approaches. New ideas / vision papers must not exceed 4 pages excluding bibliography. --------------------------- Artifact Evaluation --------------------------- For the third year SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted papers are invited to submit artifacts. More information is provided on the conference Website. --------------------------- Submission --------------------------- Submissions have to use the ACM SIGPLAN Conference Format "acmart" ( http://sigplan.org/Resources/Author/#acmart-format) please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template ( https://www.acm.org/binaries/content/assets/publications/consolidated-tex-t…) and that the document class definition is \documentclass[sigplan,screen]{acmart}. Do not make any changes to this format! Using the Word template is strongly discouraged. Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. SLE follows a single-blind review process. Thus, you do not have to blind your submission. All submissions must be in PDF format. Concurrent Submissions: Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication) Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism ( http://www.acm.org/publications/policies/plagiarism_policy) Submissions that violate these policies will be desk-rejected. Submission Site: Submissions will be accepted at https://sle18.hotcrp.com/. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas / vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Awards --------------------------- * Distinguished paper: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. * Distinguished reviewer: Award for distinguished reviewer, as determined by the PC chairs. * Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- Keynote --------------------------- We are very proud to announce that this year’s SLE keynote will be given by Martin Rinard from the Massachusetts Institute of Technology. Martin Rinard is professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, and a member of the Computer Science and Artificial Intelligence Laboratory. His research focuses on software systems and related topics. The broad goal of his research is to obtain better software - making software more robust, resilient, and secure, improving the performance, verifying that the software satisfies important correctness, acceptability, reliability, or accuracy properties, or making systems (both software and hardware) easier to specify, build, maintain, or improve. More information on his research can be found at http://people.csail.mit.edu/rinard/. Details about his keynote at SLE will be announced soon on the conference Website. --------------------------- Program Committee --------------------------- Andrew Black, Portland State University, USA Anya Helene Bagge, University of Bergen, Norway Erwan Bousse, TU Wien, Austria Marco Brambilla, Politecnico di Milano, Italy Ruth Breu, University of Innsbruck, Austria Walter Cazzola, University of Milan, Italy Marsha Chechik, University of Toronto, Canada Tony Clark, Aston University, UK Juan de Lara, Universidad Autonoma de Madrid, Spain Thomas Degueule, CWI Amsterdam, Netherlands Juergen Dingel, Queen's University, Canada Tom Dinkelaker, Ericsson, Germany Sebastian Erdweg, Delft University of Technology, Netherlands Bernd Fischer, Stellenbosch University, South Africa Esther Guerra, Autonomous University of Madrid, Spain Daco Harkes, Delft University of Technology, Netherlands Robert Hirschfeld, University of Potsdam, Germany Michael Homer, Victoria University of Wellington, New Zealand Dimitris Kolovos, University of York, UK Ralf Lämmel, University of Koblenz-Landau, Germany Marjan Mernik, University of Maribor, Slovenia Gunter Mussbacher, McGill University, Canada James Noble, Victoria University of Wellington, New Zealand Bruno Oliveira, University of Hong Kong, China Christoph Reichenbach, Lund University, Sweden Jan Oliver Ringert, University of Leicester, UK Bernhard Rumpe, RWTH Aachen University, Germany Markus Schordan, Lawrence Livermore National Laboratory, USA Anthony Sloane, Macquarie University, Australia Emma Söderberg, Google, Denmark Mark van den Brand, TU Eindhoven, Netherlands Tijs van der Storm, CWI Amsterdam, Netherlands Eelco Visser, Delft University of Technology, Netherlands Eric Walkingshaw, Oregon State University, USA Andreas Wortmann, RWTH Aachen University, Germany Vadim Zaytsev, Rain Code, Belgium --------------------------- Artifact Evaluation Committee (tentative) --------------------------- Arvid Butting, RWTH Aachen University, Germany Luís Eduardo de Souza Amorim, Delft University of Technology, Netherlands Anna Maria Eilertsen, University of Bergen, Norway Abel Gómez, Open University Catalonia, Spain Marcel Heinz, University of Koblenz-Landau, Germany Ludovico Iovino, GSSI, Italy Jesper Öqvist, Lund University, Sweden --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the organizers by email: sle2018(a)googlegroups.com.

1 0

GPCE 2018 2nd Call for Papers: Boston, MA, USA, Nov 5, 6 2018
by Eric Van Wyk 27 May '18

27 May '18

-------------------------------------------------------------------------- CALL FOR PAPERS 17th International Conference on Generative Programming: Concepts & Experiences (GPCE 2018) November 5-6, 2018 Boston, MA, USA (co-located with SPLASH 2018) http://2018.splashcon.org/track/gpce-2018 http://twitter.com/GPCECONF http://www.facebook.com/GPCEConference IMPORTANT DATES * Submission of abstracts: June 29, 2018 * Submission of papers: July 6, 2018 * Paper notification: August 24, 2018 Submission site: https://gpce18.hotcrp.com/ KEYNOTE SPEAKER * Saman Amarasinghe, MIT, https://people.csail.mit.edu/saman/ Saman Amaraasinghe and his group at MIT have developed several domain-specific languages, including Halide, TACO, Simit, StreamIt, StreamJIT, PetaBricks, MILK, Cimple, and GraphIt, that target diverse areas such as image processing, stream computations, and graph analytics. In each, the innovative language abstractions are leveraged by sophisticated compilation techniques to generate exceptionally high performance. Dr. Amarasinghe has also pioneered the application of techniques from machine learning to compiler optimizations in systems such as Meta and the OpenTuner extensible autotuner. -------------------------------------------------------------------------- SCOPE GPCE is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, * domain-specific languages, language embedding, language design, and language workbenches, * feature-oriented programming, domain engineering, and feature interactions, * applications and properties of code generation, language implementation, and product-line development. Authors are welcome to check with the PC chair whether their planned papers are in scope. PAPER SELECTION The GPCE program committee will evaluate each submission according to the following selection criteria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. PAPER CATEGORIES GPCE solicits three kinds of submissions. * Full Papers reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full paper submissions must not exceed 12 pages excluding bibliography. * Short Papers presenting unconventional ideas or visions about any GPCE topic listed above. Short papers do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding bibliography. * Tool Demonstrations presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords "Tool Demo" or "Tool Demonstration" in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission. PAPER SUBMISSION All submissions must use the ACM SIGPLAN Conference Format "acmart", using the "sigplan" sub-format, and 10 point font. Additional details and links to templates and the LaTeX class file can be found on the conference web site: http://2018.splashcon.org/track/gpce-2018. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. GPCE will follow a very lightweight model, where author identities are revealed to reviewers after submitting their initial reviews. Hence, the purpose is not to conceal author identities at all cost, but merely to provide reviewers with an unbiased first look at a submission. Author names and institutions should be omitted from submitted papers, and references to the authors' own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. To understand the motivation for using a double-blind review process please see "Effectiveness of anonymization in double-blind review" by C. Le Goues, Y. Brun, S. Apel, E. Berger, S. Khurshid, Y. Smaragdakis at https://doi.org/10.1145/3208157. Papers must be submitted using HotCRP: https://gpce18.hotcrp.com/ For additional information, clarification, or answers to questions please contact the program chair. ORGANIZATION General Chair: Eric Van Wyk (University of Minnesota, USA, evw(a)umn.edu) Program Chair: Tiark Rompf (Purdue University, USA, tiark(a)purdue.edu) Program Committee Vander Alves, University of Brasilia Kenichi Asai, Ochanomizu University Martin Berger, University of Sussex Aggelos Biboudis, EPFL Eugene Burmako, Twitter Charisee Chiw, University of Chicago Dana Drachsler Cohen, ETH Zürich Sebastian Erdweg, TU Delft Robert Glück, DIKU Vinod Grover, NVIDIA Shoaib Kamil, Adobe Andrei Klimov, Keldysh Institute Oleg Kiselyov, Tohoku University Stefan Marr, University of Kent Sarah Nadi, University of Alberta Klaus Ostermann, University of Tübingen Oleksandr Polozov, Microsoft Research Ina Schaefer, TU Braunschweig Ulrik Pagh Schultz, University of Southern Denmark Chung-chieh Shan, Indiana University Jeremy Siek, Indiana University Alexander Slesarenko, Huawei Anthony Sloane, Macquarie University Tijs van der Storm, CWI Walid Taha, Halmstad University Kanae Tsushima, NII Jeremy Yallopp, University of Cambridge

1 0

CFP (Extended Deadline): IEEE DS-RT 2018 - Deadline extended to June 10th, 2018
by Robson De Grande 27 May '18

27 May '18

******* CFP (Extended Deadline): IEEE DS-RT 2018 - extended deadline to June 10th, 2018 ------------------------------------------------------------------------------------ Please accept our apologies if you have received multiple copies. ------------------------------------------------------------------------------------ Call for Papers - DS-RT 2018 22nd IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/ October 15-17, 2018 - Madrid, Spain ----------------------------------------------------------------------- IMPORTANT: Extended Submission deadline (FIRM): June 10th, 2018 ----------------------------------------------------------------------- *** The Symposium *** The 2018 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2018) promises to be a grand affair and will take place in Madrid, Spain. DS-RT 2018 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2018 targets the growing overlap between large distributed simulations and real-time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2018 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real-time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is enlivened. The scope of the symposium includes, but is not limited to: Paradigms, Methodology, Algorithms and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud-based Simulation, hardware-software co-design for extreme-scale simulations) Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Constraints Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) Theoretical Foundations of Large-Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) Advances in Modelling and Simulation Studies and Technologies (Reuse of Models, New Modelling Languages, Agent-based M&S, Spatial M&S, Cognitive Modelling, Neural Network Models, Artificial Intelligence in Simulation, Discrete Events, Continuous Simulation, Service-oriented Computing and Simulation, Web-based Modelling and Simulation, Simulation of Multimedia Applications and Systems, etc.) Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy) Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Traffic Modelling, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Smart Networks, Disaster Planning, etc.) Performance and Validation of Large-Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) Simulation-based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation Design Issues, Interaction Designs, Human Computer Interaction Issues raised by Large Scale DS-RT Systems Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi-Sensor Networks, Global Wireless Communication, Multi-Stakeholder Understanding and Innovation) Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi-Modality, etc.) *** Important Dates *** Extended Submission Deadline: June 10th, 2018 Notification of Acceptance: July 1st, 2018 Camera Ready version due: July 31st, 2018 Symposium presentation: October 15-17, 2018 *** Submission *** High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation. General information regarding submission can be found at http://ds-rt.com/2018/. Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: CONFERENCE ATTENDANCE BY AT LEAST ONE AUTHOR OF ACCEPTED PAPERS IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair José Luis Risco Martín, Complutense University of Madrid, Spain Program Co-Chairs Eva Besada, Complutense University of Madrid, Spain Floriano De Rango, University of Calabria, Italy Posters Chair Peppino Fazio, University of Calabria, Italy Demo Chair Amilcare F. Santamaria, University of Calabria, Italy Special Sessions Chair Robson De Grande, Brock University, Canada Publicity Chair Lucas Potter, Old Dominion University, VA, USA Finance Chair Guillermo Botella, Complutense University of Madrid, Spain

1 0

2 PostDoc Positions at Imperial College London on Session Types
by David Castro 25 May '18

25 May '18

Imperial College London has two open positions on session types and programming languages (see details below). If you have any questions, do not hesitate to contact Prof. Nobuko Yoshida on n.yoshida(a)imperial.ic.ac.uk. ------------------------------------------------------------------------------------------------------------ Department of Computing, Imperial College London Two Research Associate Positions (Post-doc, Full Time) 32,380 GBP to 44,220 GBP per annum Fixed-term: Starting date: as soon as possible Ending date: 19 May 2020 Closing Date: 30th June 2018 Professor Nobuko Yoshida, Imperial College London The post is funded by EPSRC, the UK science funding agency and the titles of the project is "From Data Types to Session Types: A Basis for Concurrency and Distribution". The goal is to further develop the theory and practice of session types for structuring concurrent and distributed software. The project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to case studies; or developing the links between session types and other areas of theoretical computer science. The research programme includes collaboration with several companies and organisations: Amazon, Red Hat, Cognizant, Estafet, Weaveworks and JP Morgan. The focus of Imperial College London Group is theories and applications of (Multiparty) Session Types (JACM,POPL'08), which include: -- Go (ICSE'18, POPL'17, CC'16), F# (CC'18), Scala (ECOOP'17,ECOOP'16), Erlang (CC'17), Haskell (POPL'16), Java (FASE'16,FASE'17), MPI (OOPSLA'15,CC'15), C (FPL'16) and Python (FOAC,LMCS,FMSD); or -- linear logic (ESOP'18,FoSSaCs'18,CONCUR'15), automata theories (POPL'15,CONCUR'15,TACAS'16,FoSSaCs'17), ICC (LICS'18), bisimualtions (CONCUR'15,ESOP'16) and other foundations such as event structures and game semantics. -- mechanisations of session types meta-theory (Coq, Isabelle, Agda, etc) For more details, see http://mrg.doc.ic.ac.uk Candidates for the post-doc position will need to have expertise in either: 1. programming language design and implementation; or 2. formal semantics, type theory and concurrency theory Different positions will be suitable for different points on the theory/practice spectrum. We are especially interested in candidates with a combination of theoretical and practical skills. The contact person is Professor Nobuko Yoshida, Imperial College London (N.Yoshida(a)imperial.ac.uk) Details: https://www.imperial.ac.uk/jobs/description/ENG00367/research-assistant-res…

1 0

OPLSS 2018: Application Extension
by Paul Downen 21 May '18

21 May '18

We had several cancellations due to entry visas being denied. Therefore, we are reopening applications to the Oregon Programming Languages Summer School (OPLSS) to be held from July 9th to July 21st, 2018 at the University of Oregon in Eugene. Students can also register for an introductory session which takes place from July 3rd to July 8th. This session is not mandatory; it is also possible to register for the introductory session only. Full information on registration can be found here: http://www.cs.uoregon.edu/Activities/summerschool In addition to the previously announced program we have two more presentations: William Duff - Jane Street Typing speed: how rich types enable performance engineering Aaron Turon - Mozilla Help wanted: research questions in Rust Hope to see many of you. Bob, Guy, Paul and Zena

1 0

Job openings with the strats team at Standard Chartered bank - New York, London, Singapore, Hong Kong
by José Pedro Magalhães 21 May '18

21 May '18

Key responsibilities Development of quantitative analytics; software engineering; software design and architecture; overall design and implementation of a wide range of financial software across FX, IR, commodities and credit asset classes; team leadership. Job description Strats are generalist software engineers. As a Strat you will be involved in all of: software design; architecture specification; project management; implementation; requirements gathering; research engineering; devops. You will work on the trading floor, directly with traders, building software to automate their work and improve their efficiency. The role is highly development focused and you will use Haskell for almost all tasks: data analysis, market data publishing, database access, web services, desktop GUIs, large parallel tasks, quantitative models, solvers, everything. This is a fast paced role – code you write today will be deployed within hours to hundreds of users and has to work. We have positions available in: - New York, where we're building a team and have one team member so far - London - Singapore - Hong Kong, where we're building a strats team to work with the existing risk technology team We prefer experienced / senior developers, but extraordinary juniors will be considered too. Demonstrated experience in typed FP (Haskell, OCaml, F# etc) is required. We have over 4 million lines of Haskell, and our own Haskell compiler. In this context we look for skill in typed functional programming to capture and abstract over complex systems. Experience writing typed APIs to external systems such as databases, web services, pub/sub platforms is very desirable. We like working code, so if you have Hackage or github libraries, we definitely want to see them. We also like StackOverflow answers, academic papers, or other arenas where you can show broad FP ability. You have project and client management skills — you will talk to users, understand their problems and then implement and deliver what they really need. The role requires physical presence on the trading floor for most of the time; remote work is not an option. For most roles we offer a relocation allowance if moving from abroad, and flexible working practices are possible. Years of Relevant Experience MSc in Computer Science or related discipline, or equivalent 4+ years experience (PhDs welcome) Skills Summary Haskell or other typed functional programming language (OCaml, F#); computer science background; software design and engineering; project management and client communication; team management for senior roles. How to apply If this sounds exciting to you, please email the following to strats-jobs AT sc DOT com: - Your CV - A short motivation text - Location(s) interested in - Coding samples (preferably publicly available) We are committed to building a culture that fosters a diverse and inclusive environment that’s free from bias, where everyone can realise their full potential and make a positive contribution. This is just one of our values that is expressed in our brand promise – here for good.

1 0