13th International Conference on integrated Formal Methods (iFM 2017)
http://ifm2017.di.unito.it/
PRELIMINARY CALL FOR PAPERS
Important dates
Abstract submission: Tuesday March 28
Paper submission: Tuesday April 4
Notification: Friday May 26
Camera-ready copy: Tuesday June 11
Conference: September 20-22
Deadlines expire at 23:59 anywhere on earth on the dates displayed above.
Objectives and Scope
Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.
Areas of interest include but are not limited to:
- Formal and semi-formal modelling notations
- Combining formal methods
- Integration of formal methods into software engineering practice
- Program verification, model checking, and static analysis
- Runtime analysis, monitoring, and testing
- Program synthesis
- Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems
- Model learning
- Theorem proving, decision procedures, SAT and SMT solving
Submission Guidelines
iFM 2017 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration.
We solicit papers in the following categories:
- Research papers describe original scientific research results, validated by experimental results where applicable. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Limit: 15 pages.
- Case study papers report on applications of formal methods, preferably in a real world setting. A case study paper need not introduce novel techniques or tools, but it must include a rigorous empirical evaluation and potentially be of interest to practitioners. Limit: 15 pages.
- Regular tool papers present a new tool or novel extensions to an existing tool. They should provide a short description of the theoretical foundations, while focusing on the tool's design and implementation concerns, as well as empirical evaluation of its practical capabilities. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool. Authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 15 pages.
- Tool demonstration papers focus on the usage aspects of tools. Foundations and empirical evaluation are not required, but the paper should explain why the tool is relevant for the community, and, in particular, for practitioners. As with regular tool papers, authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 8 pages.
Page limits include bibliography and any appendices. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process.
Submissions should be made using the iFM 2017 Easychair site: https://easychair.org/conferences/?conf=ifm2017 (NOT YET OPENED). Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series.
All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, to be indicated by the organizers, and present the paper.
Workshops
iFM 2017 will be accompanied by a series of workshops. Further information is available from the conference website http://ifm2017.di.unito.it/
Conference Location
iFM 2017 is organized by the University of Turin and will take place in Turin, Italy
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-09-30
[Caml-list] APLAS2016 call for participation
Call for Participation
APLAS2016
14th Asian Symposium on Programming Languages and Systems
November 21-23, 2016
Hanoi, Vietnam
http://soict.hust.edu.vn/~aplas2016/
Early Registration Deadline: October 15th
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems. APLAS is based in Asia, but is
an international forum that serves the worldwide programming language
community.
APLAS 2016 will be held in Hanoi, Vietnam. The venue is Hanoi
University of Science and Technology. The symposium features invited
talks by distinguished researchers:
Kazuaki Ishizaki (IBM Research -- Tokyo)
Making Hardware Accelerator Easier to Use
Frank Pfenning (CMU)
Substructural Proofs as Automata
Adam Chlipala (MIT)
Fiat: A New Perspective on Compiling Domain-Specific Languages in
a Proof Assistant
Registration:
See http://soict.hust.edu.vn/~aplas2016/registration/ for details.
(Registration is already open but we are still preparing online payment,
which will be available on October 3rd.)
Poster session (abstract submissions due on Octber 1st):
You can still submit a poster proposal and present a poster during
the symposium! See
http://soict.hust.edu.vn/~aplas2016/call-for-posters/ for details.
Technical Program:
Day 1 (Mon, Nov. 21)
8:50-9:00 Opening
9:00-10:00 Invited talk I
Kazuaki Ishizaki (IBM Research — Tokyo)
Making Hardware Accelerator Easier to Use
10:30-12:00
Sooyoung Cha, Sehun Jeong and Hakjoo Oh
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase
Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi and Priya Narasimhan
AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code
Tatsuya Abe and Toshiyuki Maeda
Observation-based Concurrent Program Logic for Relaxed Memory Consistency Models
13:30-14:30
Oleg Kiselyov
Probabilistic Programming Language and its Incremental Evaluation
Gabriel Radanne, Vincent Balat and Jérôme Vouillon
Eliom: A core ML language for tierless Web programming
15:00-16:30
Taichi Yachi and Eijiro Sumii
A Sound and Complete Bisimulation for Contextual Equivalence in λ-calculus with Call/cc
Daniel J. Dougherty, Ugo De' Liguoro, Luigi Liquori and Claude Stolze
A Realizability Interpretation for Intersection and Union Types
Beniamino Accattoli and Giulio Guerrieri
Open Call-by-Value
17:00-18:00
Andrea Rosà, Lydia Y. Chen and Walter Binder
AkkaProf: a Profiler for Akka Actors in Parallel and Distributed Applications
Ryoya Arai, Shigeyuki Sato and Hideya Iwasaki
A Debugger-Cooperative Higher-Order Contract System in Python
Day 2 (Tue, Nov. 22)
9:00-10:00 Invited talk II
Frank Pfenning
Substructural Proofs as Automata
10:30-12:00
Furio Honsell, Marina Lenisa, Luigi Liquori and Ivan Scagnetto
Implementing Cantor's ParadiseYanpeng Yang, Xuan Bi and Bruno C. D. S. Oliveira
Unified Syntax with Iso-Types
Oleg Kiselyov, Yukiyoshi Kameyama and Yuto Sudo
Refined Environment Classifiers: Type- and Scope-safe Code Generation with Mutable Cells
13:30-15:00
Taku Terao, Takeshi Tsukada and Naoki Kobayashi
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation
Azalea Raad, Aquinas Hobor, Philippa Gardner and Jules Villard
Verifying Concurrent Graph Algorithms
Kazuhide Yasukata, Takeshi Tsukada and Naoki Kobayashi
Higher-Order Model Checking in Direct Style
15:00-16:30 Poster Session
16:30-18:00
Alwen Tiu, Nam Nguyen and Ross Horne
SPEC: An Equivalence Checker for Security Protocols
Hans Hüttel
Binary session types for psi-calculi
Kai Stadtmüller, Martin Sulzmann and Peter Thiemann
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
Day 3 (Wed, Nov. 23)
9:00-10:00 Invited talk III
Adam Chlipala
Fiat: A New Perspective on Compiling Domain-Specific Languages in a Proof Assistant
10:30-12:00
Azalea Raad, José Fragoso Santos and Philippa Gardner
DOM: Specification and Client Reasoning
Makoto Tatsuta, Quang Loc Le and Wei-Ngan Chin
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
Zhe Hou and Alwen Tiu
Completeness for a First-order Abstract Separation Logic
Conference Organizers:
General Cochairs
Quyet-Thang Huynh, Hanoi University of Science and Technology, Vietnam
Viet-Ha Nguyen, Vietnam National University, Vietnam
Program Chair
Atsushi Igarashi, Kyoto University, Japan
Poster Chair
Hung Nguyen, Hanoi University of Science and Technology, Vietnam
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
APLAS2016
14th Asian Symposium on Programming Languages and Systems
November 21-23, 2016
Hanoi, Vietnam
http://soict.hust.edu.vn/~aplas2016/
Early Registration Deadline: October 15th
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems. APLAS is based in Asia, but is
an international forum that serves the worldwide programming language
community.
APLAS 2016 will be held in Hanoi, Vietnam. The venue is Hanoi
University of Science and Technology. The symposium features invited
talks by distinguished researchers:
Kazuaki Ishizaki (IBM Research -- Tokyo)
Making Hardware Accelerator Easier to Use
Frank Pfenning (CMU)
Substructural Proofs as Automata
Adam Chlipala (MIT)
Fiat: A New Perspective on Compiling Domain-Specific Languages in
a Proof Assistant
Registration:
See http://soict.hust.edu.vn/~aplas2016/registration/ for details.
(Registration is already open but we are still preparing online payment,
which will be available on October 3rd.)
Poster session (abstract submissions due on Octber 1st):
You can still submit a poster proposal and present a poster during
the symposium! See
http://soict.hust.edu.vn/~aplas2016/call-for-posters/ for details.
Technical Program:
Day 1 (Mon, Nov. 21)
8:50-9:00 Opening
9:00-10:00 Invited talk I
Kazuaki Ishizaki (IBM Research — Tokyo)
Making Hardware Accelerator Easier to Use
10:30-12:00
Sooyoung Cha, Sehun Jeong and Hakjoo Oh
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase
Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi and Priya Narasimhan
AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code
Tatsuya Abe and Toshiyuki Maeda
Observation-based Concurrent Program Logic for Relaxed Memory Consistency Models
13:30-14:30
Oleg Kiselyov
Probabilistic Programming Language and its Incremental Evaluation
Gabriel Radanne, Vincent Balat and Jérôme Vouillon
Eliom: A core ML language for tierless Web programming
15:00-16:30
Taichi Yachi and Eijiro Sumii
A Sound and Complete Bisimulation for Contextual Equivalence in λ-calculus with Call/cc
Daniel J. Dougherty, Ugo De' Liguoro, Luigi Liquori and Claude Stolze
A Realizability Interpretation for Intersection and Union Types
Beniamino Accattoli and Giulio Guerrieri
Open Call-by-Value
17:00-18:00
Andrea Rosà, Lydia Y. Chen and Walter Binder
AkkaProf: a Profiler for Akka Actors in Parallel and Distributed Applications
Ryoya Arai, Shigeyuki Sato and Hideya Iwasaki
A Debugger-Cooperative Higher-Order Contract System in Python
Day 2 (Tue, Nov. 22)
9:00-10:00 Invited talk II
Frank Pfenning
Substructural Proofs as Automata
10:30-12:00
Furio Honsell, Marina Lenisa, Luigi Liquori and Ivan Scagnetto
Implementing Cantor's ParadiseYanpeng Yang, Xuan Bi and Bruno C. D. S. Oliveira
Unified Syntax with Iso-Types
Oleg Kiselyov, Yukiyoshi Kameyama and Yuto Sudo
Refined Environment Classifiers: Type- and Scope-safe Code Generation with Mutable Cells
13:30-15:00
Taku Terao, Takeshi Tsukada and Naoki Kobayashi
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation
Azalea Raad, Aquinas Hobor, Philippa Gardner and Jules Villard
Verifying Concurrent Graph Algorithms
Kazuhide Yasukata, Takeshi Tsukada and Naoki Kobayashi
Higher-Order Model Checking in Direct Style
15:00-16:30 Poster Session
16:30-18:00
Alwen Tiu, Nam Nguyen and Ross Horne
SPEC: An Equivalence Checker for Security Protocols
Hans Hüttel
Binary session types for psi-calculi
Kai Stadtmüller, Martin Sulzmann and Peter Thiemann
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
Day 3 (Wed, Nov. 23)
9:00-10:00 Invited talk III
Adam Chlipala
Fiat: A New Perspective on Compiling Domain-Specific Languages in a Proof Assistant
10:30-12:00
Azalea Raad, José Fragoso Santos and Philippa Gardner
DOM: Specification and Client Reasoning
Makoto Tatsuta, Quang Loc Le and Wei-Ngan Chin
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
Zhe Hou and Alwen Tiu
Completeness for a First-order Abstract Separation Logic
Conference Organizers:
General Cochairs
Quyet-Thang Huynh, Hanoi University of Science and Technology, Vietnam
Viet-Ha Nguyen, Vietnam National University, Vietnam
Program Chair
Atsushi Igarashi, Kyoto University, Japan
Poster Chair
Hung Nguyen, Hanoi University of Science and Technology, Vietnam
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-09-21
[Caml-list] PLDI 2017 call for papers
*Call for Contributions*
====================
2017 ACM Conference on
Programming Language Design and Implementation (PLDI)
June 19-23, 2017 in Barcelona, Spain
http://conf.researchr.org/home/pldi-2017
PLDI is the premier forum in the field of programming languages
and programming systems research, covering the areas of design
implementation, theory, applications, and performance. PLDI
welcomes outstanding research which clearly advances the field
and has the potential to make a lasting contribution.
*Important Dates*
===============
Research paper submissions due 15 Nov 2016
Author response period 26-28 Jan 2017
Author notification 13 Feb 2017
*Author Instructions*
==================
http://conf.researchr.org/track/pldi-2017/pldi-2017-papers
Submission site: https://pldi17.hotcrp.com/
*Organizing Committee*
====================
General Chair: Albert Cohen, INRIA, France
Program Chair: Martin Vechev, ETH Zurich, Switzerland
Workshops &
Tutorials Chair: Aaron Smith, University of Edinburgh
Publicity Chairs: Adrian Sampson, Cornell, USA
Tobias Grosser, ETH Zurich,
Switzerland
http://conf.researchr.org/committee/pldi-2017/pldi-2017-organizing-committee
--
Tobias Grosser
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
====================
2017 ACM Conference on
Programming Language Design and Implementation (PLDI)
June 19-23, 2017 in Barcelona, Spain
http://conf.researchr.org/home/pldi-2017
PLDI is the premier forum in the field of programming languages
and programming systems research, covering the areas of design
implementation, theory, applications, and performance. PLDI
welcomes outstanding research which clearly advances the field
and has the potential to make a lasting contribution.
*Important Dates*
===============
Research paper submissions due 15 Nov 2016
Author response period 26-28 Jan 2017
Author notification 13 Feb 2017
*Author Instructions*
==================
http://conf.researchr.org/track/pldi-2017/pldi-2017-papers
Submission site: https://pldi17.hotcrp.com/
*Organizing Committee*
====================
General Chair: Albert Cohen, INRIA, France
Program Chair: Martin Vechev, ETH Zurich, Switzerland
Workshops &
Tutorials Chair: Aaron Smith, University of Edinburgh
Publicity Chairs: Adrian Sampson, Cornell, USA
Tobias Grosser, ETH Zurich,
Switzerland
http://conf.researchr.org/committee/pldi-2017/pldi-2017-organizing-committee
--
Tobias Grosser
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-09-20
[Caml-list] SLE 2016: Call for Participation
========================================================================
** Call for Participation **
9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016)
Oct 31-Nov 1, 2016, Amsterdam, Netherlands
(Collocated with SPLASH 2016)
Follow us on twitter: https://twitter.com/sleconf
========================================================================
Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term "software language" is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies).
** REGISTRATION **
30 September 2016 (Early Registration Deadline)
Contact: info@splashcon.org
** VENUE **
Mövenpick Hotel Amsterdam City Centre
Hotel reservations: http://2016.splashcon.org/venue/movenpick-amsterdam
## Program Highlights
### Keynote
- Robby Findler
Redex: Lightweight Semantics Engineering
### Awards
During the conference, we will announce the following awards:
- Distinguished paper. Award for most notable paper, as determined by the PC chairs based on the recommendations of the program committee.
- Distinguished reviewer. Award for distinguished reviewer, as determined by the PC chairs using feedback from the authors.
- Distinguished artefact. Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. Sponsored by Raincode.
### Accepted Papers
- Adding Uncertainty and Units to Quantity Types in Software Models,
Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo
- Automated Testing Support for Reactive Domain-Specific Modelling Languages,
Bart Meyers, Joachim Denil, Istvan David, Hans Vangheluwe
- BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment,
Zhaoyi Luo, Jo Atlee
- Coupled Software Transformations—Revisited,
Ralf Lämmel
- DrAST - an inspection tool for attributed syntax trees (Tool Demo),
Joel Lindholm, Johan Thorsberg, Görel Hedin
- Efficient Development of Consistent Projectional Editors using Grammar Cells,
Markus Völter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger
- Efficient Model Partitioning for Distributed Model Transformations,
Amine Benelellam, Massimo Tisi, Jesús Sanchéz Cuadrado, Juan de Lara, Jordi Cabot
- Execution Framework of The GEMOC Studio (Tool Demo),
Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien DeAntoni, Benoit Combemale
- Experiences of models@run-time with EMF and CDO,
Daniel Seybold, Jörg Domaschka, Alessandro Rossini, Christopher B. Hauser, Frank Griesinger, Athanasios Tsitsipas
- Full-fledge Role Modeling Editor (FRaMED),
Thomas Kühn, Kay Bierzynski, Sebastian Richly, Uwe Aßmann
- Language Design and Implementation for the Domain of Coding Conventions,
Boryana Goncharenko, Vadim Zaytsev
- MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo),
Juha-Pekka Tolvanen
- Object-Oriented Design Pattern for DSL Program Monitoring,
Zoé Drey, Ciprian Teodorov
- Parsing and Reflective Printing, Bidirectionally,
Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
- Principled Syntactic Code Completion using Placeholders,
Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser
- Runtime support for rule-based access-control evaluation through model-transformation,
Salvador Martínez, Jokin García, Jordi Cabot
- Raincode Assembler Compiler (Tool Demo),
Volodymyr Blagodarov, Yves Jaradin, Vadim Zaytsev
- Side effects take the blame,
Felipe Bañados Schwerter
- Symbolic Execution of High-level Transformations,
Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski
- Taming Context-Sensitive Languages with Principled Stateful Parsing,
Nicolas Laurent, Kim Mens
- The IDE Portability Problem and its Solution in Monto,
Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg
- Towards a Universal Code Formatter through Machine Learning,
Terence Parr, Jurgen Vinju
- Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo),
André Santos, Eduardo Gomes
2016-09-08
[Caml-list] GCAI 2016 - Call for Participation
The 2nd Global Conference on Artificial Intelligence
Berlin Germany, 29th September - 2nd October 2016
http://easychair.org/smart-program/GCAI2016/
Call for Participation
The 2nd Global Conference on Artificial Intelligence (GCAI 2016) will be held
at the Freie Universitaet Berlin from 29th September to 2nd October, 2016. The
conference addresses all aspects of artificial intelligence. There will be 29
papers presented, tutorials on automated theorem proving in classical and non-
classical logic, and three invited speakers ...
Simon Colton, Falmouth University, and Goldsmiths, University of London, UK
Computational Creativity
Daniel Lee, University of Pennsylvania, USA
Robotics and Machine Learning
Toby Walsh, TU Berlin, Germany and UNSW/Data61, Australia
Will AI end Jobs, Wars or Humanity?
The full program is available at
http://easychair.org/smart-program/GCAI2016/program.html
Registration: http://easychair.org/smart-program/GCAI2016/Registration.html
GCAI is organized by LRG (http://www.lrg.global) and the Freie Universitaet
Berlin.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Berlin Germany, 29th September - 2nd October 2016
http://easychair.org/smart-program/GCAI2016/
Call for Participation
The 2nd Global Conference on Artificial Intelligence (GCAI 2016) will be held
at the Freie Universitaet Berlin from 29th September to 2nd October, 2016. The
conference addresses all aspects of artificial intelligence. There will be 29
papers presented, tutorials on automated theorem proving in classical and non-
classical logic, and three invited speakers ...
Simon Colton, Falmouth University, and Goldsmiths, University of London, UK
Computational Creativity
Daniel Lee, University of Pennsylvania, USA
Robotics and Machine Learning
Toby Walsh, TU Berlin, Germany and UNSW/Data61, Australia
Will AI end Jobs, Wars or Humanity?
The full program is available at
http://easychair.org/smart-program/GCAI2016/program.html
Registration: http://easychair.org/smart-program/GCAI2016/Registration.html
GCAI is organized by LRG (http://www.lrg.global) and the Freie Universitaet
Berlin.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-09-04
[Caml-list] PEPM 2017 Final Call for Papers (submission deadline extension: 30th Sep.)
FINAL CALL FOR PAPERS
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017)
NEWS: Deadline extension to 30th September (see below)
NEWS: Keynote talk by Neil Jones, DIKU (see below).
http://conf.researchr.org/home/PEPM-2017
Paris, France, January 16th - 17th, 2017
(co-located with POPL 2017)
PEPM is the premier forum for discussion of semantics-based program
manipulation. The first ACM SIGPLAN PEPM symposium took place in
1991, and meetings have been held in affiliation with POPL every year
since 2006.
PEPM 2017 will be based on a broad interpretation of semantics-based
program manipulation, reflecting the expanded scope of PEPM in recent
years beyond the traditionally covered areas of partial evaluation and
specialization. Specifically, PEPM 2017 will include practical
applications of program transformations such as refactoring tools, and
practical implementation techniques such as rule-based transformation
systems. In addition, the scope of PEPM covers manipulation and
transformations of program and system representations such as
structural and semantic models that occur in the context of
model-driven development. In order to maintain the dynamic and
interactive nature of PEPM and to encourage participation by
practitioners, we also solicit submissions of short papers, including
tool demonstrations, and of posters.
Scope
-----
Topics of interest for PEPM 2017 include, but are not limited to:
* Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active
libraries, program inversion, slicing, symbolic execution,
refactoring, decompilation, and obfuscation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination checking,
binding-time analysis, constraint solving, type systems, automated
testing and test case generation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive programming,
staged computation, and model-driven program generation and
transformation.
* Application of the above techniques including case studies of
program manipulation in real-world (industrial, open-source)
projects and software development processes, descriptions of robust
tools capable of effectively handling realistic applications,
benchmarking. Examples of application domains include legacy
program understanding and transformation, DSL implementations,
visual languages and end-user programming, scientific computing,
middleware frameworks and infrastructure needed for distributed and
web-based applications, embedded and resource-limited computation,
and security.
This list of categories is not exhaustive, and we encourage
submissions describing applications of semantics-based program
manipulation techniques in new domains. If you have a question as to
whether a potential submission is within the scope of the workshop,
please contact the programme chairs.
Submission categories and guidelines
------------------------------------
Three kinds of submissions will be accepted: Regular Research Papers,
Short Papers and Posters.
* 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 in ACM Proceedings
style (including appendix).
* 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 in ACM Proceedings
style (including appendix).
* Posters should describe work relevant to the PEPM community, and
must not exceed 2 pages in ACM Proceedings style. We invite poster
submissions that present early work not yet ready for submission to
a conference or journal, identify new research problems, showcase
tools and technologies developed by the author(s), or describe
student research projects.
At least one author of each accepted contribution must attend the
workshop and present the work. In the case of tool demonstration
papers, a live demonstration of the described tool is expected.
Suggested topics, evaluation criteria, and writing guidelines for both
research tool demonstration papers will be made available on the PEPM
2017 web site.
Student participants with accepted papers can apply for a SIGPLAN PAC
grant to help cover travel expenses and other support. PAC also
offers other support, such as for child-care expenses during the
meeting or for travel costs for companions of SIGPLAN members with
physical disabilities, as well as for travel from locations outside of
North America and Europe. For details on the PAC programme, see its
web page.
Publication and special issue
-----------------------------
All accepted papers, short papers and posters included, will appear in
formal proceedings published by ACM Press. Accepted papers will be
included in the ACM Digital Library. Authors of selected papers from
PEPM 2016 and PEPM 2017 will also be invited to expand their papers
for publication in a special issue of the journal Computer Languages,
Systems and Structures (COMLAN, Elsevier).
Keynote
-------
Neil Jones (DIKU) will give the PEPM keynote talk, titled
Compiling Untyped Lambda Calculus to Lower-level Code
by Game Semantics and Partial Evaluation
Best paper award
----------------
PEPM 2017 continues the tradition of a Best Paper award. The winner
will be announced at the workshop.
Submission
----------
Papers should be submitted electronically via HotCRP.
https://pepm17.hotcrp.com/
Authors using LaTeX to prepare their submissions should use the new
improved SIGPLAN proceedings style, and specifically the
sigplanconf.cls 9pt template.
Important Dates
---------------
UPDATE: following feedback from potential authors, we have extended
the PEPM submission dates by two weeks to avoid clashes with other
events. The new deadlines are consequently strict, and there will be
no further extensions.
For Regular Research Papers and Short Papers:
* Abstract submission : Tuesday 27th September 2016
* Paper submission : Friday 30th September 2016
* Author notification : Friday 4th November 2016
* Camera ready : Monday 28th November 2016
For Posters:
* Poster submission : Tuesday 8th November 2016
* Author notification : Friday 18th November 2016
* Camera ready : Monday 28th November 2016
PEPM workshop:
* Workshop : Monday 16th - Tuesday 17th January 2017
The proceedings will be published 2 weeks pre-conference.
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 your conference. The
official publication date affects the deadline for any patent filings
related to published work. (For those rare conferences whose
proceedings are published in the ACM Digital Library after the
conference is over, the official publication date remains the first
day of the conference.).
PEPM'17 Programme Committee
---------------------------
Elvira Albert (Complutense University of Madrid, Spain)
Don Batory (University of Texas at Austin, USA)
Martin Berger (University of Sussex, UK)
Sebastian Erdweg (TU Delft, Netherlands)
Andrew Farmer (Facebook, USA)
Matthew Flatt (University of Utah, USA)
John Gallagher (Roskilde University, Denmark)
Robert Glück (DIKU, Denmark)
Jurriaan Hage (Utrecht University, Netherlands)
Zhenjiang Hu (National Institute of Informatics, Japan)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Ilya Klyuchnikov (Facebook, UK)
Huiqing Li (EE, UK)
Annie Liu (Stony Brook University, USA)
Markus Püschel (ETH Zurich, Switzerland)
Ryosuke SATO (University of Tokyo, Japan)
Sven-Bodo Scholz (Heriot-Watt University, UK)
Ulrik Schultz (co-chair) (University of Southern Denmark)
Ilya Sergey (University College London, UK)
Chung-chieh Shan (Indiana University, USA)
Tijs van der Storm (Centrum Wiskunde & Informatica, Netherlands)
Jeremy Yallop (co-chair) (University of Cambridge, UK)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017)
NEWS: Deadline extension to 30th September (see below)
NEWS: Keynote talk by Neil Jones, DIKU (see below).
http://conf.researchr.org/home/PEPM-2017
Paris, France, January 16th - 17th, 2017
(co-located with POPL 2017)
PEPM is the premier forum for discussion of semantics-based program
manipulation. The first ACM SIGPLAN PEPM symposium took place in
1991, and meetings have been held in affiliation with POPL every year
since 2006.
PEPM 2017 will be based on a broad interpretation of semantics-based
program manipulation, reflecting the expanded scope of PEPM in recent
years beyond the traditionally covered areas of partial evaluation and
specialization. Specifically, PEPM 2017 will include practical
applications of program transformations such as refactoring tools, and
practical implementation techniques such as rule-based transformation
systems. In addition, the scope of PEPM covers manipulation and
transformations of program and system representations such as
structural and semantic models that occur in the context of
model-driven development. In order to maintain the dynamic and
interactive nature of PEPM and to encourage participation by
practitioners, we also solicit submissions of short papers, including
tool demonstrations, and of posters.
Scope
-----
Topics of interest for PEPM 2017 include, but are not limited to:
* Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active
libraries, program inversion, slicing, symbolic execution,
refactoring, decompilation, and obfuscation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination checking,
binding-time analysis, constraint solving, type systems, automated
testing and test case generation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive programming,
staged computation, and model-driven program generation and
transformation.
* Application of the above techniques including case studies of
program manipulation in real-world (industrial, open-source)
projects and software development processes, descriptions of robust
tools capable of effectively handling realistic applications,
benchmarking. Examples of application domains include legacy
program understanding and transformation, DSL implementations,
visual languages and end-user programming, scientific computing,
middleware frameworks and infrastructure needed for distributed and
web-based applications, embedded and resource-limited computation,
and security.
This list of categories is not exhaustive, and we encourage
submissions describing applications of semantics-based program
manipulation techniques in new domains. If you have a question as to
whether a potential submission is within the scope of the workshop,
please contact the programme chairs.
Submission categories and guidelines
------------------------------------
Three kinds of submissions will be accepted: Regular Research Papers,
Short Papers and Posters.
* 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 in ACM Proceedings
style (including appendix).
* 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 in ACM Proceedings
style (including appendix).
* Posters should describe work relevant to the PEPM community, and
must not exceed 2 pages in ACM Proceedings style. We invite poster
submissions that present early work not yet ready for submission to
a conference or journal, identify new research problems, showcase
tools and technologies developed by the author(s), or describe
student research projects.
At least one author of each accepted contribution must attend the
workshop and present the work. In the case of tool demonstration
papers, a live demonstration of the described tool is expected.
Suggested topics, evaluation criteria, and writing guidelines for both
research tool demonstration papers will be made available on the PEPM
2017 web site.
Student participants with accepted papers can apply for a SIGPLAN PAC
grant to help cover travel expenses and other support. PAC also
offers other support, such as for child-care expenses during the
meeting or for travel costs for companions of SIGPLAN members with
physical disabilities, as well as for travel from locations outside of
North America and Europe. For details on the PAC programme, see its
web page.
Publication and special issue
-----------------------------
All accepted papers, short papers and posters included, will appear in
formal proceedings published by ACM Press. Accepted papers will be
included in the ACM Digital Library. Authors of selected papers from
PEPM 2016 and PEPM 2017 will also be invited to expand their papers
for publication in a special issue of the journal Computer Languages,
Systems and Structures (COMLAN, Elsevier).
Keynote
-------
Neil Jones (DIKU) will give the PEPM keynote talk, titled
Compiling Untyped Lambda Calculus to Lower-level Code
by Game Semantics and Partial Evaluation
Best paper award
----------------
PEPM 2017 continues the tradition of a Best Paper award. The winner
will be announced at the workshop.
Submission
----------
Papers should be submitted electronically via HotCRP.
https://pepm17.hotcrp.com/
Authors using LaTeX to prepare their submissions should use the new
improved SIGPLAN proceedings style, and specifically the
sigplanconf.cls 9pt template.
Important Dates
---------------
UPDATE: following feedback from potential authors, we have extended
the PEPM submission dates by two weeks to avoid clashes with other
events. The new deadlines are consequently strict, and there will be
no further extensions.
For Regular Research Papers and Short Papers:
* Abstract submission : Tuesday 27th September 2016
* Paper submission : Friday 30th September 2016
* Author notification : Friday 4th November 2016
* Camera ready : Monday 28th November 2016
For Posters:
* Poster submission : Tuesday 8th November 2016
* Author notification : Friday 18th November 2016
* Camera ready : Monday 28th November 2016
PEPM workshop:
* Workshop : Monday 16th - Tuesday 17th January 2017
The proceedings will be published 2 weeks pre-conference.
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 your conference. The
official publication date affects the deadline for any patent filings
related to published work. (For those rare conferences whose
proceedings are published in the ACM Digital Library after the
conference is over, the official publication date remains the first
day of the conference.).
PEPM'17 Programme Committee
---------------------------
Elvira Albert (Complutense University of Madrid, Spain)
Don Batory (University of Texas at Austin, USA)
Martin Berger (University of Sussex, UK)
Sebastian Erdweg (TU Delft, Netherlands)
Andrew Farmer (Facebook, USA)
Matthew Flatt (University of Utah, USA)
John Gallagher (Roskilde University, Denmark)
Robert Glück (DIKU, Denmark)
Jurriaan Hage (Utrecht University, Netherlands)
Zhenjiang Hu (National Institute of Informatics, Japan)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Ilya Klyuchnikov (Facebook, UK)
Huiqing Li (EE, UK)
Annie Liu (Stony Brook University, USA)
Markus Püschel (ETH Zurich, Switzerland)
Ryosuke SATO (University of Tokyo, Japan)
Sven-Bodo Scholz (Heriot-Watt University, UK)
Ulrik Schultz (co-chair) (University of Southern Denmark)
Ilya Sergey (University College London, UK)
Chung-chieh Shan (Indiana University, USA)
Tijs van der Storm (Centrum Wiskunde & Informatica, Netherlands)
Jeremy Yallop (co-chair) (University of Cambridge, UK)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Subscribe to:
Posts (Atom)