-- CALL FOR PAPERS --
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021
===============================================================================
* Website : https://popl21.sigplan.org/home/pepm-2021
* Time : 18th--19th January 2021
* Place : Online (co-located with POPL 2021)
** Deadline: 8th October **
** Originally POPL 2021 was scheduled to be held in Copenhagen,
Denmark, but due to the ongoing COVID-19 pandemic POPL 2021 and
all affiliated events will now be held online. **
The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM), which has a history going back to 1991 and has
co-located with POPL every year since 2006, originates in the
discoveries of practically useful automated techniques for evaluating
programs with only partial input. Over the years, the scope of PEPM
has expanded to include a variety of research areas centred around the
theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box
execution, but also as data structures that can be generated,
analysed, and transformed while establishing or maintaining important
semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2021
welcomes submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and
program optimisation.
* Modelling, analysis, and transformation techniques for distributed
and concurrent protocols and programs, such as session types,
linear types, and contract specifications.
More generally, topics of interest for PEPM 2021 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.
* 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.
* 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.
* 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, embedded and
resource-limited computation, and security.
This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related to
semantics-based program manipulation in general. If you have a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Sam Lindley
<S.Lindley@hw.ac.uk> and Torben Mogensen <torbenm@di.ku.dk>.
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted:
* Regular Research Papers should describe new results, and will be
judged on originality, correctness, significance, and clarity.
Regular research papers must not exceed 12 pages.
* Short Papers may include tool demonstrations and presentations of
exciting if not fully polished research, and of interesting
academic, industrial, and open-source applications that are new or
unfamiliar. Short papers must not exceed 6 pages.
References and appendices are not included in page limits. Appendices
may not be read by reviewers. Both kinds of submissions should be
typeset using the two-column 'sigplan' sub-format of the new 'acmart'
format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm21.hotcrp.com/
Reviewing will be single-blind.
Submissions are welcome from PC members (except the two co-chairs).
Accepted regular research papers will appear in formal proceedings
published by ACM, and be included in the ACM Digital Library. Accepted
short papers do not constitute formal publications and will not appear
in the proceedings.
At least one author of each accepted contribution must attend the
workshop virtually to present the work. In the case of tool
demonstration papers, a live demonstration of the described tool is
expected.
Important dates
---------------
* Paper submission deadline : **Thursday 8th October 2020 (AoE)**
* Author notification : **Thursday 12th November 2020 (AoE)**
* Workshop : **Monday 18th January 2021 to
Tuesday 19th January 2021**
Invited speakers
----------------
* Julia Lawall (Inria). Program manipulation of C code: from partial
evaluation to semantic patches for the Linux kernel.
* Matúš Tejiščák (Chordify). Erasure in dependently typed
programming.
Best paper award
----------------
PEPM 2021 continues the tradition of a Best Paper award. The winner
will be announced at the workshop.
Programme committee
-------------------
* Guillaume Allais (St Andrews, UK)
* Zena M. Ariola (Oregan, US)
* Robert Atkey (Strathclyde, UK)
* Lennart Augusstson (Google, US)
* Casper Bach Poulsen (TU Delft, Netherlands)
* Youou Cong (Tokyo Institute of Technology, Japan)
* Olivier Danvy (Yale NUS, Singapore)
* Andrei Klimov (Keldysh Institute, Russia)
* Sam Lindley (Heriot-Watt, UK) (Co-chair)
* Torben Mogensen (Copenhagen, Denmark) (Co-chair)
* J. Garrett Morris (Iowa, US)
* Antonina Nepeivoda (Ailamazyan Pereslavl, Russia)
* Gabriel Radanne (Inria, France)
* Eijiro Sumii (Tohoku, Japan)
* Niki Vazou (IMDEA, Spain)
* Eelco Visser (TU Delft, Netherlands)
* Jeremy Yallop (Cambridge, UK)
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
2020-09-04
[Caml-list] Compiler Construction (CC) 2021 - Call for Papers
ACM SIGPLAN 2021 International Conference on Compiler Construction (CC 2021)
Co-located with CGO, HPCA and PPoPP
Sat 27 February - Wed 3 March 2021
https://conf.researchr.org/home/CC-2021
CALL FOR PAPERS
The International Conference on Compiler Construction (CC) is
interested in work on processing programs in the most general sense:
analyzing, transforming or executing input that describes how a system
operates, including traditional compiler construction as a special
case.
= IMPORTANT DATES =
Abstract Submission: November 8, 2020
Full Paper Submission: November 10, 2020
Author Response Period: December 7 - 9, 2020
Author Notification: December 22, 2020
Artifact Submission: January 5, 2021
AE Notification: January 20, 2021
Final Papers due: January 22, 2021
Conference: February 27 - March 3, 2021
Original contributions are solicited on the topics of interest which
include, but are not limited to:
- Compilation and interpretation techniques, including program
representation, analysis, and transformation; code generation,
optimization, and synthesis; the verification thereof
- Run-time techniques, including memory management, virtual machines,
and dynamic and just-in-time compilation
- Programming tools, including refactoring editors, checkers,
verifiers, compilers, debuggers, and profilers
- Techniques, ranging from programming languages to
micro-architectural support, for specific domains such as secure,
parallel, distributed, embedded or mobile environments
- Design and implementation of novel language constructs, programming
models, and domain-specific languages
CC is an ACM SIGPLAN conference, and implements guidelines and
procedures recommended by SIGPLAN (https://www.sigplan.org).
Prospective authors should be aware of SIGPLAN's Copyright
policies. Proceedings will be made available online in the ACM digital
library from one week before to one week after the conference.
Full CfP: https://conf.researchr.org/track/CC-2021/cc-research-papers
ARTIFACT EVALUATION
Authors of accepted papers will be invited to submit their artifacts
for the Artifact Evaluation (AE). The Artifact Evaluation process
begins after the acceptance notification, and is run by a separate
committee whose task is to assess how the artifacts support the work
described in the papers.
To ease the organization of the AE committee, we kindly ask authors to
indicate at the time they submit the paper, whether they are
interested in submitting an artifact.
Papers that go through the Artifact Evaluation process successfully
will receive a seal of approval printed on the papers themselves.
Authors of accepted papers are encouraged, but not required, to make
these materials publicly available upon publication of the
proceedings, by including them as "source materials" in the ACM
Digital Library.
CC AE web page:
https://conf.researchr.org/track/CC-2021/research-artifacts
ORGANIZERS
General Chair:
Aaron Smith - Microsoft / University of Edinburgh
Program Chairs:
Delphine Demange - Univ Rennes, Inria, CNRS, IRISA
Rajiv Gupta - UC Riverside
Artifact Evaluation Chairs:
Bruno Bodin - Yale-NUS College
Michel Steuwer - University of Glasgow
Web Chair:
Martin Lücke - University of Edinburgh
Steering Committee:
Björn Franke (Chair) - University of Edinburgh
Jose Nelson Amaral - University of Alberta
Christophe Dubach - University of Edinburgh
Sebastian Hack - Saarland University
Manuel Hermenegildo - IMDEA Software Institute and T.U. of Madrid (UPM)
Alexandra Jimborean - University of Murcia
Milind Kulkarni - Purdue University
Louis-Noël Pouchet - Colorado State University
Peng Wu - Futurewei Technologies
Jingling Xue - UNSW Sydney
Ayal Zaks - Intel Corporation and Technion
Program Committee:
Guillaume Baudart - IBM Research
Walter Binder - University of Lugano
Simone Campanoni - Northwestern University
Albert Cohen - Google
Caroline Collange - Inria, Univ Rennes, CNRS, IRISA
Huimin Cui - Institute of Computing Technology, CAS
Christophe Dubach - McGill University
Benoît Dupont de Dinechin - Kalray
Bernhard Egger - Seoul National University
Christine Flood - Red Hat
Laure Gonnord - University of Lyon and LIP
Myoungsoo Jung - KAIST
Andrew Kennedy - Facebook
Dongyoon Lee - Stony Brook University
Christian Lengauer - University of Passau
Xavier Leroy - Collège de France and Inria
Yun Liang - Peking University
Toby Murray - University of Melbourne and Data61
Biswabandan Panda - Indian Institute of Technology Kanpur
Santosh Pande - Georgia Tech
Louis-Noël Pouchet - Colorado State University
Gabriel Rodríguez - Universidade da Coruña
Jan Vitek - Northeastern University
Jingling Xue - UNSW Sydney
Zhijia Zhao - UC Riverside
Co-located with CGO, HPCA and PPoPP
Sat 27 February - Wed 3 March 2021
https://conf.researchr.org/home/CC-2021
CALL FOR PAPERS
The International Conference on Compiler Construction (CC) is
interested in work on processing programs in the most general sense:
analyzing, transforming or executing input that describes how a system
operates, including traditional compiler construction as a special
case.
= IMPORTANT DATES =
Abstract Submission: November 8, 2020
Full Paper Submission: November 10, 2020
Author Response Period: December 7 - 9, 2020
Author Notification: December 22, 2020
Artifact Submission: January 5, 2021
AE Notification: January 20, 2021
Final Papers due: January 22, 2021
Conference: February 27 - March 3, 2021
Original contributions are solicited on the topics of interest which
include, but are not limited to:
- Compilation and interpretation techniques, including program
representation, analysis, and transformation; code generation,
optimization, and synthesis; the verification thereof
- Run-time techniques, including memory management, virtual machines,
and dynamic and just-in-time compilation
- Programming tools, including refactoring editors, checkers,
verifiers, compilers, debuggers, and profilers
- Techniques, ranging from programming languages to
micro-architectural support, for specific domains such as secure,
parallel, distributed, embedded or mobile environments
- Design and implementation of novel language constructs, programming
models, and domain-specific languages
CC is an ACM SIGPLAN conference, and implements guidelines and
procedures recommended by SIGPLAN (https://www.sigplan.org).
Prospective authors should be aware of SIGPLAN's Copyright
policies. Proceedings will be made available online in the ACM digital
library from one week before to one week after the conference.
Full CfP: https://conf.researchr.org/track/CC-2021/cc-research-papers
ARTIFACT EVALUATION
Authors of accepted papers will be invited to submit their artifacts
for the Artifact Evaluation (AE). The Artifact Evaluation process
begins after the acceptance notification, and is run by a separate
committee whose task is to assess how the artifacts support the work
described in the papers.
To ease the organization of the AE committee, we kindly ask authors to
indicate at the time they submit the paper, whether they are
interested in submitting an artifact.
Papers that go through the Artifact Evaluation process successfully
will receive a seal of approval printed on the papers themselves.
Authors of accepted papers are encouraged, but not required, to make
these materials publicly available upon publication of the
proceedings, by including them as "source materials" in the ACM
Digital Library.
CC AE web page:
https://conf.researchr.org/track/CC-2021/research-artifacts
ORGANIZERS
General Chair:
Aaron Smith - Microsoft / University of Edinburgh
Program Chairs:
Delphine Demange - Univ Rennes, Inria, CNRS, IRISA
Rajiv Gupta - UC Riverside
Artifact Evaluation Chairs:
Bruno Bodin - Yale-NUS College
Michel Steuwer - University of Glasgow
Web Chair:
Martin Lücke - University of Edinburgh
Steering Committee:
Björn Franke (Chair) - University of Edinburgh
Jose Nelson Amaral - University of Alberta
Christophe Dubach - University of Edinburgh
Sebastian Hack - Saarland University
Manuel Hermenegildo - IMDEA Software Institute and T.U. of Madrid (UPM)
Alexandra Jimborean - University of Murcia
Milind Kulkarni - Purdue University
Louis-Noël Pouchet - Colorado State University
Peng Wu - Futurewei Technologies
Jingling Xue - UNSW Sydney
Ayal Zaks - Intel Corporation and Technion
Program Committee:
Guillaume Baudart - IBM Research
Walter Binder - University of Lugano
Simone Campanoni - Northwestern University
Albert Cohen - Google
Caroline Collange - Inria, Univ Rennes, CNRS, IRISA
Huimin Cui - Institute of Computing Technology, CAS
Christophe Dubach - McGill University
Benoît Dupont de Dinechin - Kalray
Bernhard Egger - Seoul National University
Christine Flood - Red Hat
Laure Gonnord - University of Lyon and LIP
Myoungsoo Jung - KAIST
Andrew Kennedy - Facebook
Dongyoon Lee - Stony Brook University
Christian Lengauer - University of Passau
Xavier Leroy - Collège de France and Inria
Yun Liang - Peking University
Toby Murray - University of Melbourne and Data61
Biswabandan Panda - Indian Institute of Technology Kanpur
Santosh Pande - Georgia Tech
Louis-Noël Pouchet - Colorado State University
Gabriel Rodríguez - Universidade da Coruña
Jan Vitek - Northeastern University
Jingling Xue - UNSW Sydney
Zhijia Zhao - UC Riverside
[Caml-list] [CFP] DASFAA 2021 Call for Industry Papers
Call for Industry Papers for the 26th International Conference on Database Systems for Advanced Applications (DASFAA 2021)
The Industrial & Practitioner Track of the 26th International Conference on Database Systems for Advanced Applications (DASFAA 2021) seeks for submissions covering innovative industry database systems and applications, innovative implementation of data management technologies, and experience in applying new technologies in big data to real-world domains. The goal of this track is to introduce and discuss emerging trends and challenges with practical implications, and to facilitate interactions between academia and industry in this area.
Contributions from both industry R&D groups and the academia are welcome. Topics of interest include, but are not limited to
Contributions from both industry R&D groups and the academia are welcome. Topics of interest include, but are not limited to
- Advanced Analytics of Database Systems
- Applications for Big Data Management
- Mining Industrial & Business Dat
- Cloud Computing
- Web Data Management
- Artificial Intelligence for Data Management
- Exploitation of New Hardware Trends
- Security and privacy issues for database
- Explainability, fairness and accountability
Authors should submit papers reporting original work that are currently not under review or published elsewhere. We will accept full papers (up to 12 pages) and extended abstracts (up to 4 pages) in LNCS (Lecture Notes in Computer Science) format. Industrial track submissions must be submitted electronically, in pdf format, using the same Conference Management Tool as the research track. Please mention "Industrial Track" next to the paper title during submission in the CMT system. All accepted papers will be published in the conference proceedings.
For any problems with the submission system, please contact the Industry co-chair directly.
For any problems with the submission system, please contact the Industry co-chair directly.
Important Dates
Paper submission deadline:
November 04, 2020 (PDT)
Acceptance notification:
December 28, 2020
Camera ready due:
January 08, 2021
Paper submission deadline:
November 04, 2020 (PDT)
Acceptance notification:
December 28, 2020
Camera ready due:
January 08, 2021
2020-08-26
[Caml-list] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages)
Hello,
best regards,
Jurriaan Hage
Please, find below the first and final call for participation for IFL 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.best regards,
Jurriaan Hage
Publicity Chair of IFL
=======================================================
IFL 2020
32nd Symposium on Implementation and Application of Functional Languages
Call for Participation
venue: online
2nd - 4th September 2020
https://www.cs.kent.ac.uk/events/2020/ifl20/
========================================================
### Scope
The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2020 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.
### Registration
The symposium will be run via Zoom (zoom.us). If you can use Zoom, then you can participate.
Please register for free via Eventbrite on the symposium webpage:
https://www.cs.kent.ac.uk/events/2020/ifl20/
### Programme
Day 1: Wednesday, 2 September
12:45 Welcome
13:00 Nico Naus and Johan Jeuring: End-user feedback in multi-user workflow systems
13:30 Mart Lubbers, Haye Böhm, Pieter Koopman and Rinus Plasmeijer: Asynchronous Shared Data Sources
14:00 Pieter Koopman, Steffen Michels and Rinus Plasmeijer: Dynamic Editors for Well-Typed Expressions
14:30 Bas Lijnse and Rinus Plasmeijer: Asymmetric Composable Web Editors in iTasks
15:00 Social break
15:30 Sven-Olof Nyström: A subtyping system for Erlang
16:00 Andrew Marmaduke, Christopher Jenkins and Aaron Stump: Generic Zero-Cost Constructor Subtyping
16:30 Joris Burgers, Jurriaan Hage and Alejandro Serrano: Heuristics-based Type Error Diagnosis for Haskell - The case of GADTs and local reasoning
17:00 Social break
17:30 Kavon Farvardin and John Reppy: A New Backend for Standard ML of New Jersey
18:00 Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni and Ryan R. Newton: A Compiler Approach Reconciling Parallelism and Dense Representations for Irregular Trees
18:30 Hans-Nikolai Vießmann and Sven-Bodo Scholz: Effective Host-GPU Memory Mangement Through Code Generation
20:00 Virtual Pub
Day 2: Thursday, 3 September
10:00 Virtual Breakfast
13:00 Michal Gajda: Less Arbitrary waiting time
13:30 Sólrún Halla Einarsdóttir and Nicholas Smallbone: Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing
14:00 Péter Bereczky, Dániel Horpácsi, Judit Kőszegi, Soma Szeier and Simon Thompson: Validating Formal Semantics by Comparative Testing
14:30 Social break
15:00 Gergo Erdi: An Adventure in Symbolic Execution
15:30 Joshua M. Schappel, Sachin Mahashabde and Marco T. Morazan: Using OO Design Patterns in a Functional Programming Setting
16:00 Filipe Varjão: Functional Programming and Interval Arithmetic with High Accuracy
16:30 Social break
17:00 Laith Sakka, Chaitanya Koparkar, Michael Vollmer, Vidush Singhal, Sam Tobin-Hochstadt, Ryan R. Newton and Milind Kulkarni: General Deforestation Using Fusion, Tupling and Intensive Redundancy Analysis
17:30 Benjamin Mourad and Matteo Cimini: A Declarative Gradualizer with Lang-n-Change
18:00 Maheen Riaz Contractor and Matthew Fluet: Type- and Control-Flow Directed Defunctionalization
19:30 Virtual Pub
Day 3: Friday, 4 September
10:00 Virtual Breakfast
13:00 Michal Gajda: Towards a more perfect union type
13:30 Folkert de Vries, Sjaak Smetsers and Sven-Bodo Scholz: Container Unification for Uniqueness Types
14:00 Alejandro Díaz-Caro, Pablo E. Martínez López and Cristian Sottile: Polymorphic System I
14:30 Social break
15:00 Michal Gajda: Schema-driven mutation of datatype with multiple representations
15:30 Alexandre Garcia de Oliveira, Mauro Jaskelioff and Ana Cristina Vieira de Melo: On Structuring Pure Functional Programs with Monoidal Profunctors
16:00 Sara Moreira, Pedro Vasconcelos and Mário Florido: Resource Analysis for Lazy Evaluation with Polynomial Potential
16:30 Social break
17:00 Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Matthew Pickering and Alan Zimmerman: Building an Integrated Development Environment (IDE) on top of a Build System
17:30 Evan Sitt, Xiaotian Su, Beka Grdzelishvili, Zurab Tsinadze, Zongpu Xie, Hossameldin Abdin, Giorgi Botkoveli, Nikola Cenikj, Tringa Sylaj and Viktoria Zsok: Functional Programming Application for Digital Synthesis Implementation
18:00 Jocelyn Serot: HoCL: High level specification of dataflow graphs
19:30 Virtual Pub
All times are in British Summer Time (BST), the local time in Canterbury, UK. So please translate these into your own time zone, using a service such as time and date.
2020-08-19
[Caml-list] Third Call for Participation: ICFP 2020
=====================================================================
Third Call for Participation
ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 23 - August 28, 2020
Online
http://icfp20.sigplan.org/
Pre-registration ends August 21!
====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
Watch our new video, and Don't Stop ICFP:
https://www.youtube.com/watch?v=Fte5wwnwCws
Pre-registration ends August 21st!
https://icfp20.sigplan.org/attending/Registration
This year, the conference will be a virtual event. All activities will
take place online.
There are training sessions for Clowdr, our new online platform, on
August 20 and 21.
https://icfp20.sigplan.org/track/icfp-2020-clowdr-training#program
The main conference will take place from August 24-26, 2020 during two
time bands. The first band will be 9AM-5:30PM New York, and will
include both technical and social activities. The second band will
repeat (with some variation) the technical program and social
activities 12 hours later, 9AM-5:30PM Beijing, the following day.
We've written a blog post about how conference mirroring will work for
ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/
We're excited to announce our two invited speakers for 2020: Evan
Czaplicki, covering the Elm programming language and hard lessons
learned on driving adoption of new programming languages; and Audrey
Tang, Haskeller and Taiwan's Digital Minister, on how software
developers can contribute to fighting the pandemic.
ICFP has officially accepted 37 exciting papers, and (as a fresh
experiment this year) there will also be presentations of 8 papers
accepted recently to the Journal of Functional Programming. Co-located
symposia and workshops will take place the day before and two days
immediately after the main conference.
Registration is now open. The early registration deadline is August
8th, 2020. Registration is not free, but is significantly lower than
usual. Students who are ACM or SIGPLAN members may register for FREE
before the early deadline.
https://regmaster.com/2020conf/ICFP20/register.php
New this year: Attendees will be able to sign-up for the ICFP
Mentoring Program (either to be a mentor, receive mentorship or both).
* Overview and affiliated events:
http://icfp20.sigplan.org/home
* Full Schedule:
https://icfp20.sigplan.org/program/program-icfp-2020
* Accepted papers:
http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview
* JFP Talks:
https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview
* Registration is available via:
https://regmaster.com/2020conf/ICFP20/register.php
Early registration ends 8 August, 2020.
* Programming contest:
https://icfpcontest2020.github.io/
* Student Research Competition:
https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition
* Tutorials
https://icfp20.sigplan.org/track/icfp-2020-tutorials#program
* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference
This year, there are 10 events co-located with ICFP:
* Erlang Workshop (8/23)
* Haskell Implementors' Workshop (8/28)
* Haskell Symposium (8/27-8/28)
* Higher-Order Programming with Effects (8/23)
* miniKanren Workshop (8/27)
* ML Family Workshop (8/27)
* OCaml Workshop (8/28)
* Programming Languages Mentoring Workshop (8/23)
* Scheme Workshop (8/28)
* Type-Driven Development (8/23)
As well as tutorials on 8/23, 8/27, and 8/28.
### ICFP Organizers
General Chair: Stephanie Weirich (University of Pennsylvania, USA)
Program Chair: Adam Chlipala (MIT, USA)
Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA)
Ben Lippmeier (Ghost Locomotion, Australia)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organizer: Igor Lukanin (Kontur, Russia)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan)
Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK)
Leonidas Lampropoulos (University of Pennsylvania, USA)
Video Chair: Leif Andersen (Northeastern University, USA)
Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada)
Victor Lanvin (IRIF, Université Paris Diderot, France)
Third Call for Participation
ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 23 - August 28, 2020
Online
http://icfp20.sigplan.org/
Pre-registration ends August 21!
====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
Watch our new video, and Don't Stop ICFP:
https://www.youtube.com/watch?v=Fte5wwnwCws
Pre-registration ends August 21st!
https://icfp20.sigplan.org/attending/Registration
This year, the conference will be a virtual event. All activities will
take place online.
There are training sessions for Clowdr, our new online platform, on
August 20 and 21.
https://icfp20.sigplan.org/track/icfp-2020-clowdr-training#program
The main conference will take place from August 24-26, 2020 during two
time bands. The first band will be 9AM-5:30PM New York, and will
include both technical and social activities. The second band will
repeat (with some variation) the technical program and social
activities 12 hours later, 9AM-5:30PM Beijing, the following day.
We've written a blog post about how conference mirroring will work for
ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/
We're excited to announce our two invited speakers for 2020: Evan
Czaplicki, covering the Elm programming language and hard lessons
learned on driving adoption of new programming languages; and Audrey
Tang, Haskeller and Taiwan's Digital Minister, on how software
developers can contribute to fighting the pandemic.
ICFP has officially accepted 37 exciting papers, and (as a fresh
experiment this year) there will also be presentations of 8 papers
accepted recently to the Journal of Functional Programming. Co-located
symposia and workshops will take place the day before and two days
immediately after the main conference.
Registration is now open. The early registration deadline is August
8th, 2020. Registration is not free, but is significantly lower than
usual. Students who are ACM or SIGPLAN members may register for FREE
before the early deadline.
https://regmaster.com/2020conf/ICFP20/register.php
New this year: Attendees will be able to sign-up for the ICFP
Mentoring Program (either to be a mentor, receive mentorship or both).
* Overview and affiliated events:
http://icfp20.sigplan.org/home
* Full Schedule:
https://icfp20.sigplan.org/program/program-icfp-2020
* Accepted papers:
http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview
* JFP Talks:
https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview
* Registration is available via:
https://regmaster.com/2020conf/ICFP20/register.php
Early registration ends 8 August, 2020.
* Programming contest:
https://icfpcontest2020.github.io/
* Student Research Competition:
https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition
* Tutorials
https://icfp20.sigplan.org/track/icfp-2020-tutorials#program
* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference
This year, there are 10 events co-located with ICFP:
* Erlang Workshop (8/23)
* Haskell Implementors' Workshop (8/28)
* Haskell Symposium (8/27-8/28)
* Higher-Order Programming with Effects (8/23)
* miniKanren Workshop (8/27)
* ML Family Workshop (8/27)
* OCaml Workshop (8/28)
* Programming Languages Mentoring Workshop (8/23)
* Scheme Workshop (8/28)
* Type-Driven Development (8/23)
As well as tutorials on 8/23, 8/27, and 8/28.
### ICFP Organizers
General Chair: Stephanie Weirich (University of Pennsylvania, USA)
Program Chair: Adam Chlipala (MIT, USA)
Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA)
Ben Lippmeier (Ghost Locomotion, Australia)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organizer: Igor Lukanin (Kontur, Russia)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan)
Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK)
Leonidas Lampropoulos (University of Pennsylvania, USA)
Video Chair: Leif Andersen (Northeastern University, USA)
Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada)
Victor Lanvin (IRIF, Université Paris Diderot, France)
2020-08-18
[Caml-list] Certified Programs and Proofs (CPP) 2021: Final Call for Papers
Certified Programs and Proofs (CPP) is an international conference on
practical and theoretical topics in all areas that consider formal
verification and certification as an essential paradigm for their
work. CPP spans areas of computer science, mathematics, logic, and
education.
CPP 2021 (https://popl21.sigplan.org/home/CPP-2021) will be held on
18-19 January 2021 and will be co-located with POPL 2021. CPP 2021 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
NEWS
* CPP 2021 will feature Distinguished Paper Awards.
* CPP 2021 will take place on January 18-19, 2021 as a virtual or
hybrid physical-virtual meeting. This means that the authors will be
able to present their papers online. The POPL and CPP organizers are
monitoring the COVID-19 situation, and in September/October they will
make an announcement on whether there will also be a physical meeting
in Copenhagen; but irrespective of that decision, the online paper
presentation option will be guaranteed.
* The submission deadline is one month earlier than usual.
IMPORTANT DATES
* Abstract Deadline: 16 September 2020 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 22 September 2020 at 23:59 AoE (UTC-12h)
* Notification: 24 November 2020
* Camera Ready Deadline: 15 December 2020
* Conference: 18-19 January 2021
Deadlines expire at the end of the day, anywhere on earth. Abstract
and submission deadlines are strict and there will be no extensions.
TOPICS OF INTEREST
We welcome submissions in research areas related to formal
certification of programs and proofs. The following is a
non-exhaustive list of topics of interest to CPP:
* certified or certifying programming, compilation, linking, OS
kernels, runtime systems, security monitors, and hardware;
* certified mathematical libraries and mathematical theorems;
* proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light,
Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for certified programming;
* program analysis, program verification, and program synthesis;
* program logics, type systems, and semantics for certified code;
* logics for certifying concurrent and distributed systems;
* mechanized metatheory, formalized programming language semantics,
and logical frameworks;
* higher-order logics, dependent type theory, proof theory, logical
systems, separation logics, and logics for security;
* verification of correctness and security properties;
* formally verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra,
polynomial systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality,
first-order logic, and higher-order unification;
* certificates for program termination;
* formal models of computation;
* mechanized (un)decidability and computational complexity proofs;
* formally certified methods for induction and coinduction;
* integration of interactive and automated provers;
* logical foundations of proof assistants;
* applications of AI and machine learning to formal certification;
* user interfaces for proof assistants and theorem provers;
* teaching mathematics and computer science with proof assistants.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2021 will be designated as
Distinguished Papers. This award highlights papers that the CPP
program committee thinks should be read by a broad audience due to
their relevance, originality, significance and clarity.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload
their anonymized paper in PDF format through the HotCRP system at
https://cpp2021.hotcrp.com
The submissions must be written in English and provide sufficient
detail to allow the program committee to assess the merits of the
contribution. They must be formatted following the ACM SIGPLAN
Proceedings format (http://www.sigplan.org/Resources/Author/) using
the acmart style with the sigplan option, which provides a two-column
style, using 10 point font for the main text, and a header for double
blind review submission, i.e.,
\documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
The submitted papers should not exceed 12 pages, including tables and
figures, but excluding bibliography and clearly marked appendices. The
papers should be self-contained without the appendices. Shorter papers
are welcome and will be given equal consideration. Submissions not
conforming to the requirements concerning format and maximum length
may be rejected without further consideration.
CPP 2021 will employ a lightweight double-blind reviewing process. To
facilitate this, the submissions must adhere to two rules:
(1) author names and institutions must be omitted, and
(2) references to authors' own related work should be in the third
person (e.g., not "We build on our previous work ..." but rather "We
build on the work of ...").
The purpose of this process is to help the PC and external reviewers
come to an initial judgment about the paper without bias, not to make
it impossible for them to discover the authors if they were to try.
Nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing it more difficult. In
particular, important background references should not be omitted or
anonymized. In addition, authors are free to disseminate their ideas
or draft versions of their papers as usual. For example, authors may
post drafts of their papers on the web or give talks on their research
ideas. POPL has answers to frequently asked questions addressing many
common concerns:
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ
We encourage the authors to provide any supplementary material that is
required to support the claims made in the paper, such as proof
scripts or experimental data. This material must be uploaded at
submission time, as an archive, not via a URL. Two forms of
supplementary material may be submitted:
(1) Anonymous supplementary material is made available to the
reviewers before they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the
reviewers after they have submitted their first-draft reviews and have
learned the identity of the authors.
Please use anonymous supplementary material whenever possible, so that
it can be taken into account from the beginning of the reviewing
process.
The submitted papers must adhere to the SIGPLAN Republication Policy
(https://www.sigplan.org/Resources/Policies/Republication/) and the
ACM Policy on Plagiarism
(https://www.acm.org/publications/policies/plagiarism). Concurrent
submissions to other conferences, journals, workshops with
proceedings, or similar forums of publication are not allowed. The PC
chairs should be informed of closely related work submitted to a
conference or journal in advance of submission.
One author of each accepted paper is expected to present it at the
(totally or partly virtual) conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The limit for the camera-ready version is 14 pages, excluding the
bibliography (so 2 pages extra compared with the submission).
The CPP proceedings will be published by the ACM, and authors of
accepted papers will be required to choose one of the following
publication options:
(1) Author retains copyright of the work and grants ACM a
non-exclusive permission-to-publish license and, optionally, licenses
the work under a Creative Commons license.
(2) Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license.
(3) Author transfers copyright of the work to ACM.
For authors who can afford it, we recommend option 1, which will make
the paper Gold Open Access, and also encourage such authors to license
their work under the CC-BY license. ACM will charge you an article
processing fee for this option (currently, US$700), which you have to
pay directly with the ACM.
For everyone else, we recommend option (2), which is free and allows
you to achieve Green Open Access, by uploading a preprint of your
paper to a repository that guarantees permanent archival such as arXiv
(https://arxiv.org) or HAL (https://hal.archives-ouvertes.fr). This is
anyway a good idea for timely dissemination even if you chose option
(1). Ensuring timely dissemination is particularly important for this
edition, since, because of the very tight schedule, the official
proceedings might not be available in time for CPP.
The official CPP 2021 proceedings will also be available via SIGPLAN
OpenTOC (http://www.sigplan.org/OpenTOC/#cpp).
For ACM's take on this, see their Copyright Policy
(http://www.acm.org/publications/policies/copyright-policy) and Author
Rights (http://authors.acm.org/main.html).
PROGRAM COMMITTEE
Cătălin Hriţcu, MPI-SP, Germany (co-chair)
Andrei Popescu, University of Sheffield, UK (co-chair)
Reynald Affeldt, National Institute of Advanced Industrial Science and
Technology (AIST), Japan
June Andronick, CSIRO's Data61 and UNSW, Australia
Arthur Azevedo de Amorim, Carnegie Mellon University, USA
Joachim Breitner, DFINITY Foundation, Germany
Jesper Cockx, TU Delft, Netherlands
Cyril Cohen, Université Côte d'Azur, Inria, France
Nils Anders Danielsson, University of Gothenburg / Chalmers University
of Technology, Sweden
Brijesh Dongol, University of Surrey, UK
Floris van Doorn, University of Pittsburgh, USA
Yannick Forster, Saarland University, Germany
Shilpi Goel, Centaur Technology, Inc., USA
Chung-Kil Hur, Seoul National University, South Korea
Moa Johansson, Chalmers University of Technology, Sweden
Ekaterina Komendantskaya, Heriot-Watt University, UK
Angeliki Koutsoukou-Argyraki, University of Cambridge, UK
Robert Y. Lewis, Vrije Universiteit Amsterdam, Netherlands
Hongjin Liang, Nanjing University, China
Andreas Lochbihler, Digital Asset GmbH, Switzerland
Petar Maksimović, Imperial College London, UK
William Mansky, University of Illinois at Chicago, USA
Anders Mörtberg, Stockholm University, Sweden
Sam Owre, SRI International, USA
Karl Palmskog, KTH Royal Institute of Technology, Sweden
Johannes Åman Pohjola, CSIRO's Data61 / University of New South Wales, Australia
Damien Pous, CNRS, ENS Lyon, France
Tahina Ramananandro, Microsoft Research, USA
Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore
Natarajan Shankar, SRI International, USA
Kathrin Stark, Princeton University, USA
René Thiemann, University of Innsbruck, Austria
Amin Timany, Aarhus University, Denmark
Josef Urban, Czech Technical University in Prague, Czech Republic
Christoph Weidenbach, MPI-INF, Germany
Freek Wiedijk, Radboud University Nijmegen, Netherlands
Yannick Zakowski, University of Pennsylvania, USA
CONTACT
For any questions please contact the two PC chairs:
Catalin Hritcu <catalin.hritcu@gmail.com>,
Andrei Popescu <andrei.h.popescu@gmail.com>
practical and theoretical topics in all areas that consider formal
verification and certification as an essential paradigm for their
work. CPP spans areas of computer science, mathematics, logic, and
education.
CPP 2021 (https://popl21.sigplan.org/home/CPP-2021) will be held on
18-19 January 2021 and will be co-located with POPL 2021. CPP 2021 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
NEWS
* CPP 2021 will feature Distinguished Paper Awards.
* CPP 2021 will take place on January 18-19, 2021 as a virtual or
hybrid physical-virtual meeting. This means that the authors will be
able to present their papers online. The POPL and CPP organizers are
monitoring the COVID-19 situation, and in September/October they will
make an announcement on whether there will also be a physical meeting
in Copenhagen; but irrespective of that decision, the online paper
presentation option will be guaranteed.
* The submission deadline is one month earlier than usual.
IMPORTANT DATES
* Abstract Deadline: 16 September 2020 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 22 September 2020 at 23:59 AoE (UTC-12h)
* Notification: 24 November 2020
* Camera Ready Deadline: 15 December 2020
* Conference: 18-19 January 2021
Deadlines expire at the end of the day, anywhere on earth. Abstract
and submission deadlines are strict and there will be no extensions.
TOPICS OF INTEREST
We welcome submissions in research areas related to formal
certification of programs and proofs. The following is a
non-exhaustive list of topics of interest to CPP:
* certified or certifying programming, compilation, linking, OS
kernels, runtime systems, security monitors, and hardware;
* certified mathematical libraries and mathematical theorems;
* proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light,
Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for certified programming;
* program analysis, program verification, and program synthesis;
* program logics, type systems, and semantics for certified code;
* logics for certifying concurrent and distributed systems;
* mechanized metatheory, formalized programming language semantics,
and logical frameworks;
* higher-order logics, dependent type theory, proof theory, logical
systems, separation logics, and logics for security;
* verification of correctness and security properties;
* formally verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra,
polynomial systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality,
first-order logic, and higher-order unification;
* certificates for program termination;
* formal models of computation;
* mechanized (un)decidability and computational complexity proofs;
* formally certified methods for induction and coinduction;
* integration of interactive and automated provers;
* logical foundations of proof assistants;
* applications of AI and machine learning to formal certification;
* user interfaces for proof assistants and theorem provers;
* teaching mathematics and computer science with proof assistants.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2021 will be designated as
Distinguished Papers. This award highlights papers that the CPP
program committee thinks should be read by a broad audience due to
their relevance, originality, significance and clarity.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload
their anonymized paper in PDF format through the HotCRP system at
https://cpp2021.hotcrp.com
The submissions must be written in English and provide sufficient
detail to allow the program committee to assess the merits of the
contribution. They must be formatted following the ACM SIGPLAN
Proceedings format (http://www.sigplan.org/Resources/Author/) using
the acmart style with the sigplan option, which provides a two-column
style, using 10 point font for the main text, and a header for double
blind review submission, i.e.,
\documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
The submitted papers should not exceed 12 pages, including tables and
figures, but excluding bibliography and clearly marked appendices. The
papers should be self-contained without the appendices. Shorter papers
are welcome and will be given equal consideration. Submissions not
conforming to the requirements concerning format and maximum length
may be rejected without further consideration.
CPP 2021 will employ a lightweight double-blind reviewing process. To
facilitate this, the submissions must adhere to two rules:
(1) author names and institutions must be omitted, and
(2) references to authors' own related work should be in the third
person (e.g., not "We build on our previous work ..." but rather "We
build on the work of ...").
The purpose of this process is to help the PC and external reviewers
come to an initial judgment about the paper without bias, not to make
it impossible for them to discover the authors if they were to try.
Nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing it more difficult. In
particular, important background references should not be omitted or
anonymized. In addition, authors are free to disseminate their ideas
or draft versions of their papers as usual. For example, authors may
post drafts of their papers on the web or give talks on their research
ideas. POPL has answers to frequently asked questions addressing many
common concerns:
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ
We encourage the authors to provide any supplementary material that is
required to support the claims made in the paper, such as proof
scripts or experimental data. This material must be uploaded at
submission time, as an archive, not via a URL. Two forms of
supplementary material may be submitted:
(1) Anonymous supplementary material is made available to the
reviewers before they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the
reviewers after they have submitted their first-draft reviews and have
learned the identity of the authors.
Please use anonymous supplementary material whenever possible, so that
it can be taken into account from the beginning of the reviewing
process.
The submitted papers must adhere to the SIGPLAN Republication Policy
(https://www.sigplan.org/Resources/Policies/Republication/) and the
ACM Policy on Plagiarism
(https://www.acm.org/publications/policies/plagiarism). Concurrent
submissions to other conferences, journals, workshops with
proceedings, or similar forums of publication are not allowed. The PC
chairs should be informed of closely related work submitted to a
conference or journal in advance of submission.
One author of each accepted paper is expected to present it at the
(totally or partly virtual) conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The limit for the camera-ready version is 14 pages, excluding the
bibliography (so 2 pages extra compared with the submission).
The CPP proceedings will be published by the ACM, and authors of
accepted papers will be required to choose one of the following
publication options:
(1) Author retains copyright of the work and grants ACM a
non-exclusive permission-to-publish license and, optionally, licenses
the work under a Creative Commons license.
(2) Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license.
(3) Author transfers copyright of the work to ACM.
For authors who can afford it, we recommend option 1, which will make
the paper Gold Open Access, and also encourage such authors to license
their work under the CC-BY license. ACM will charge you an article
processing fee for this option (currently, US$700), which you have to
pay directly with the ACM.
For everyone else, we recommend option (2), which is free and allows
you to achieve Green Open Access, by uploading a preprint of your
paper to a repository that guarantees permanent archival such as arXiv
(https://arxiv.org) or HAL (https://hal.archives-ouvertes.fr). This is
anyway a good idea for timely dissemination even if you chose option
(1). Ensuring timely dissemination is particularly important for this
edition, since, because of the very tight schedule, the official
proceedings might not be available in time for CPP.
The official CPP 2021 proceedings will also be available via SIGPLAN
OpenTOC (http://www.sigplan.org/OpenTOC/#cpp).
For ACM's take on this, see their Copyright Policy
(http://www.acm.org/publications/policies/copyright-policy) and Author
Rights (http://authors.acm.org/main.html).
PROGRAM COMMITTEE
Cătălin Hriţcu, MPI-SP, Germany (co-chair)
Andrei Popescu, University of Sheffield, UK (co-chair)
Reynald Affeldt, National Institute of Advanced Industrial Science and
Technology (AIST), Japan
June Andronick, CSIRO's Data61 and UNSW, Australia
Arthur Azevedo de Amorim, Carnegie Mellon University, USA
Joachim Breitner, DFINITY Foundation, Germany
Jesper Cockx, TU Delft, Netherlands
Cyril Cohen, Université Côte d'Azur, Inria, France
Nils Anders Danielsson, University of Gothenburg / Chalmers University
of Technology, Sweden
Brijesh Dongol, University of Surrey, UK
Floris van Doorn, University of Pittsburgh, USA
Yannick Forster, Saarland University, Germany
Shilpi Goel, Centaur Technology, Inc., USA
Chung-Kil Hur, Seoul National University, South Korea
Moa Johansson, Chalmers University of Technology, Sweden
Ekaterina Komendantskaya, Heriot-Watt University, UK
Angeliki Koutsoukou-Argyraki, University of Cambridge, UK
Robert Y. Lewis, Vrije Universiteit Amsterdam, Netherlands
Hongjin Liang, Nanjing University, China
Andreas Lochbihler, Digital Asset GmbH, Switzerland
Petar Maksimović, Imperial College London, UK
William Mansky, University of Illinois at Chicago, USA
Anders Mörtberg, Stockholm University, Sweden
Sam Owre, SRI International, USA
Karl Palmskog, KTH Royal Institute of Technology, Sweden
Johannes Åman Pohjola, CSIRO's Data61 / University of New South Wales, Australia
Damien Pous, CNRS, ENS Lyon, France
Tahina Ramananandro, Microsoft Research, USA
Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore
Natarajan Shankar, SRI International, USA
Kathrin Stark, Princeton University, USA
René Thiemann, University of Innsbruck, Austria
Amin Timany, Aarhus University, Denmark
Josef Urban, Czech Technical University in Prague, Czech Republic
Christoph Weidenbach, MPI-INF, Germany
Freek Wiedijk, Radboud University Nijmegen, Netherlands
Yannick Zakowski, University of Pennsylvania, USA
CONTACT
For any questions please contact the two PC chairs:
Catalin Hritcu <catalin.hritcu@gmail.com>,
Andrei Popescu <andrei.h.popescu@gmail.com>
2020-08-12
[Caml-list] PEPM 2021 - First Call for Papers
-- CALL FOR PAPERS --
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021
===============================================================================
* Website : https://popl21.sigplan.org/home/pepm-2021
* Time : 18th--19th January 2021
* Place : Online or Copenhagen, Denmark (co-located with POPL 2021)
**Note that the workshop will be held as a physical, virtual, or
hybrid physical/virtual meeting in line with POPL 2021. Details to
appear.**
The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM), which has a history going back to 1991 and has
co-located with POPL every year since 2006, originates in the
discoveries of practically useful automated techniques for evaluating
programs with only partial input. Over the years, the scope of PEPM
has expanded to include a variety of research areas centred around the
theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box
execution, but also as data structures that can be generated,
analysed, and transformed while establishing or maintaining important
semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2021
welcomes submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and
program optimisation.
* Modelling, analysis, and transformation techniques for distributed
and concurrent protocols and programs, such as session types,
linear types, and contract specifications.
More generally, topics of interest for PEPM 2021 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.
* 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.
* 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.
* 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, embedded and
resource-limited computation, and security.
This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related to
semantics-based program manipulation in general. If you have a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Sam Lindley
<S.Lindley@hw.ac.uk> and Torben Mogensen <torbenm@di.ku.dk>.
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted:
* Regular Research Papers should describe new results, and will be
judged on originality, correctness, significance, and clarity.
Regular research papers must not exceed 12 pages.
* Short Papers may include tool demonstrations and presentations of
exciting if not fully polished research, and of interesting
academic, industrial, and open-source applications that are new or
unfamiliar. Short papers must not exceed 6 pages.
References and appendices are not included in page limits. Appendices
may not be read by reviewers. Both kinds of submissions should be
typeset using the two-column 'sigplan' sub-format of the new 'acmart'
format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm21.hotcrp.com/
Reviewing will be single-blind.
Submissions are welcome from PC members (except the two co-chairs).
Accepted papers will appear in formal proceedings published by ACM,
and be included in the ACM Digital Library. Authors of short papers,
however, can ask for their papers to be left out of the formal
proceedings, in which case they will not be treated as formal
publications and may be revised and published elsewhere.
At least one author of each accepted contribution must attend the
workshop (physically or virtually) 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 2021 web site:
https://popl21.sigplan.org/home/pepm-2021
Important dates
---------------
* Paper submission deadline : **Thursday 8th October 2020 (AoE)**
* Author notification : **Thursday 12th November 2020 (AoE)**
* Workshop : **Monday 18th January 2021 to
Tuesday 19th January 2021**
Best paper award
----------------
PEPM 2021 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.
Programme committee
-------------------
* Guillaume Allais (St Andrews, UK)
* Zena M. Ariola (Oregan, US)
* Robert Atkey (Strathclyde, UK)
* Lennart Augusstson (Google, US)
* Casper Bach Poulsen (TU Delft, Netherlands)
* Youou Cong (Tokyo Institute of Technology, Japan)
* Olivier Danvy (Yale NUS, Singapore)
* Andrei Klimov (Keldysh Institute, Russia)
* Sam Lindley (Heriot-Watt, UK) (Co-chair)
* Torben Mogensen (Copenhagen, Denmark) (Co-chair)
* J. Garrett Morris (Iowa, US)
* Antonina Nepeivoda (Ailamazyan Pereslavl, Russia)
* Gabriel Radanne (Inria, France)
* Eijiro Sumii (Tohoku, Japan)
* Niki Vazou (IMDEA, Spain)
* Eelco Visser (TU Delft, Netherlands)
* Jeremy Yallop (Cambridge, UK)
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021
===============================================================================
* Website : https://popl21.sigplan.org/home/pepm-2021
* Time : 18th--19th January 2021
* Place : Online or Copenhagen, Denmark (co-located with POPL 2021)
**Note that the workshop will be held as a physical, virtual, or
hybrid physical/virtual meeting in line with POPL 2021. Details to
appear.**
The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM), which has a history going back to 1991 and has
co-located with POPL every year since 2006, originates in the
discoveries of practically useful automated techniques for evaluating
programs with only partial input. Over the years, the scope of PEPM
has expanded to include a variety of research areas centred around the
theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box
execution, but also as data structures that can be generated,
analysed, and transformed while establishing or maintaining important
semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2021
welcomes submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and
program optimisation.
* Modelling, analysis, and transformation techniques for distributed
and concurrent protocols and programs, such as session types,
linear types, and contract specifications.
More generally, topics of interest for PEPM 2021 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.
* 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.
* 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.
* 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, embedded and
resource-limited computation, and security.
This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related to
semantics-based program manipulation in general. If you have a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Sam Lindley
<S.Lindley@hw.ac.uk> and Torben Mogensen <torbenm@di.ku.dk>.
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted:
* Regular Research Papers should describe new results, and will be
judged on originality, correctness, significance, and clarity.
Regular research papers must not exceed 12 pages.
* Short Papers may include tool demonstrations and presentations of
exciting if not fully polished research, and of interesting
academic, industrial, and open-source applications that are new or
unfamiliar. Short papers must not exceed 6 pages.
References and appendices are not included in page limits. Appendices
may not be read by reviewers. Both kinds of submissions should be
typeset using the two-column 'sigplan' sub-format of the new 'acmart'
format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm21.hotcrp.com/
Reviewing will be single-blind.
Submissions are welcome from PC members (except the two co-chairs).
Accepted papers will appear in formal proceedings published by ACM,
and be included in the ACM Digital Library. Authors of short papers,
however, can ask for their papers to be left out of the formal
proceedings, in which case they will not be treated as formal
publications and may be revised and published elsewhere.
At least one author of each accepted contribution must attend the
workshop (physically or virtually) 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 2021 web site:
https://popl21.sigplan.org/home/pepm-2021
Important dates
---------------
* Paper submission deadline : **Thursday 8th October 2020 (AoE)**
* Author notification : **Thursday 12th November 2020 (AoE)**
* Workshop : **Monday 18th January 2021 to
Tuesday 19th January 2021**
Best paper award
----------------
PEPM 2021 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.
Programme committee
-------------------
* Guillaume Allais (St Andrews, UK)
* Zena M. Ariola (Oregan, US)
* Robert Atkey (Strathclyde, UK)
* Lennart Augusstson (Google, US)
* Casper Bach Poulsen (TU Delft, Netherlands)
* Youou Cong (Tokyo Institute of Technology, Japan)
* Olivier Danvy (Yale NUS, Singapore)
* Andrei Klimov (Keldysh Institute, Russia)
* Sam Lindley (Heriot-Watt, UK) (Co-chair)
* Torben Mogensen (Copenhagen, Denmark) (Co-chair)
* J. Garrett Morris (Iowa, US)
* Antonina Nepeivoda (Ailamazyan Pereslavl, Russia)
* Gabriel Radanne (Inria, France)
* Eijiro Sumii (Tohoku, Japan)
* Niki Vazou (IMDEA, Spain)
* Eelco Visser (TU Delft, Netherlands)
* Jeremy Yallop (Cambridge, UK)
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Subscribe to:
Posts (Atom)