Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia

We solicit contributions in the forms of regular research papers, and tool papers. Among others, solicited topics include:

  • Semantics, logics, foundational theory
  • Design of languages, type systems, and foundational calculi
  • Domain-specific languages
  • Compilers, interpreters, abstract machines
  • Program derivation, synthesis, and transformation
  • Program analysis, verification, model-checking
  • Logic, constraint, probabilistic, and quantum programming
  • Software security
  • Concurrency and parallelism
  • Tools and environments for programming and implementation
  • Applications of SAT/SMT to programming and implementation

Papers should be submitted electronically via the submission web page using EasyChair (see Submission Information). The acceptable format is PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference.

Dates

This program is tentative and subject to change.

Mon 2 Dec

aplas-2019-catering
10:00 - 10:30: Catering - Coffee Break
aplas-2019-papers
10:30 - 12:00: Research Papers - Types
Chair(s): Tachio TerauchiWaseda University
aplas-2019-papers10:30 - 11:00
Talk
Yuki NishidaKyoto University, Atsushi IgarashiKyoto University, Japan
Pre-print
aplas-2019-papers11:00 - 11:30
Talk
Akira KawataKyoto University, Atsushi IgarashiKyoto University, Japan
Pre-print
aplas-2019-papers11:30 - 12:00
Talk
Raimil CruzUniversity of Chile, Éric TanterUniversity of Chile & Inria Paris
aplas-2019-catering
12:00 - 13:30: Catering - Lunch
aplas-2019-papers
13:30 - 15:00: Research Papers - Program Analysis
Chair(s): Annabelle McIverMacquarie University
aplas-2019-papers13:30 - 14:00
Talk
aplas-2019-papers14:00 - 14:30
Talk
Youkichi HosoiThe University of Tokyo , Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan
aplas-2019-papers14:30 - 15:00
Talk
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology
aplas-2019-catering
15:00 - 15:30: Catering - Coffee Break
aplas-2019-papers
15:30 - 17:00: Research Papers - Semantics
Chair(s): Atsushi IgarashiKyoto University, Japan
aplas-2019-papers15:30 - 16:00
Talk
Beniamino AccattoliInria & Ecole Polytechnique, Claudia FaggianIRIF, Giulio GuerrieriUniversity of Bath
aplas-2019-papers16:00 - 16:30
Talk
Masayuki MizunoTohoku University , Eijiro SumiiTohoku University
aplas-2019-papers16:30 - 17:00
Talk
Kosuke MurataKyushu Institute of Technology , Kento EmotoUniversity of Tokyo

Tue 3 Dec

aplas-2019-catering
10:00 - 10:30: Catering - Coffee Break
aplas-2019-papers
10:30 - 12:00: Research Papers - Language Design and Implementation
Chair(s): Éric TanterUniversity of Chile & Inria Paris
aplas-2019-papers10:30 - 11:00
Talk
Nada AminHarvard University, William E. ByrdUniversity of Alabama at Birmingham, USA, Tiark RompfPurdue University
aplas-2019-papers11:00 - 11:30
Talk
Daan LeijenMicrosoft Research, USA, Ben ZornMicrosoft, Leonardo De MouraMicrosoft Research, n.n.
aplas-2019-papers11:30 - 12:00
Talk
Yutaka NagashimaData61, Australia
aplas-2019-catering
12:00 - 13:30: Catering - Lunch
aplas-2019-papers
13:30 - 15:00: Research Papers - Concurrency
Chair(s): Philipp RuemmerUppsala University
aplas-2019-papers13:30 - 14:00
Talk
Taolue ChenBirkbeck, University of London, Jilong HeInstitute of Software, Chinese Academy of Sciences, Yu-Ping WangTsinghua University, China, Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences
aplas-2019-papers14:00 - 14:30
Talk
Thomas DickersonBrown University, Paul GazzilloUniversity of Central Florida, Maurice HerlihyBrown University, USA, Eric KoskinenStevens Institute of Technology
aplas-2019-papers14:30 - 15:00
Talk
Jonathan DiLorenzoCornell University, Kathryn ManciniCornell University, Kathleen FisherTufts University, USA, Nate FosterCornell University
aplas-2019-catering
15:00 - 15:30: Catering - Coffee Break
aplas-2019-papers
15:30 - 17:15: Research Papers - Verification
Chair(s): Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
aplas-2019-papers15:30 - 15:45
Talk
Yu-Fang ChenAcademia Sinica, Chang-Yi ChiangGraduate Institute of Information Management, National Taipei University, Taiwan, Lukas HolikBrno University of Technology, Wei-Tsung KaoInstitute of Information Science, Academia Sinica, Taiwan, Hsin-Hung LinInstitute of Information Science, Academia Sinica, Taiwan, Yean-Fu WenGraduate Institute of Information Management, National Taipei University, Taiwan, Tomas VojnarBrno University of Technology, Wei-Cheng WuInstitute of Information Science, Academia Sinica, Taiwan
aplas-2019-papers15:45 - 16:15
Talk
Wenbo Zhang, Huan LongShanghai Jiao Tong University, Xian XuEast China University of Science and Technology
aplas-2019-papers16:15 - 16:45
Talk
Makoto TatsutaNational Institute of Informatics, Koji NakazawaGraduate School of Information Science, Nagoya University, Daisuke KimuraToho University
aplas-2019-papers16:45 - 17:15
Talk
Long H. PhamSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Quang Loc LeTeesside University

Wed 4 Dec

aplas-2019-catering
10:00 - 10:30: Catering - Coffee Break
aplas-2019-papers
10:30 - 12:00: Research Papers - Logic and Automata
Chair(s): Peter ThiemannUniversity of Freiburg, Germany
aplas-2019-papers10:30 - 11:00
Talk
Aquinas HoborNational University of Singapore, Singapore, Elaine LiRuntime Verification, Inc., Frank StephanNational University of Singapore
aplas-2019-papers11:00 - 11:30
Talk
Yu-Fang ChenAcademia Sinica, Vojtěch HavlenaBrno University of Technology, Ondrej LengalBrno University of Technology
aplas-2019-papers11:30 - 12:00
Talk
Lukas HolikBrno University of Technology, Tomas VojnarBrno University of Technology, Ondrej LengalBrno University of Technology , Lenka TuronovaBrno University of Technology, Margus VeanesMicrosoft Research, Olli Saarikivi
aplas-2019-catering
12:00 - 13:30: Catering - Lunch

Call for Tool Papers

We solicit submissions in the form of tool papers describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool-highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool’s strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo.

Call for Regular Research Papers

We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include:

  • Semantics, logics, foundational theory
  • Design of languages, type systems, and foundational calculi
  • Domain-specific languages
  • Compilers, interpreters, abstract machines
  • Program derivation, synthesis, and transformation
  • Program analysis, verification, model-checking
  • Logic, constraint, probabilistic, and quantum programming
  • Software security
  • Concurrency and parallelism
  • Tools and environments for programming and implementation
  • Applications of SAT/SMT to programming and implementation

Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them.

Accepted Papers

Title
Pre-print
Pre-print

Papers should be submitted electronically via the submission web page using EasyChair. The acceptable format is PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference.

Review Process

APLAS 2019 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors’ names or affiliations as they initially review a paper. The authors’ names will then be revealed to the reviewers only once their reviews have been submitted.

To facilitate this process, submitted papers must adhere to the following:

  1. Author names and institutions must be omitted and

  2. References to the 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 reviewers come to an initial judgement 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, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should not be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. Authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.

Tool papers

To facilitate the reviewing process, tool papers should clearly be so indicated in the EasyChair submission. We strongly recommend that the authors add the suffix ‘[Tool Paper]’ to the title of the submission in the EasyChair, but not necessarily in the paper itself.

Author Response Period

During the author response period, authors will be able to read reviews and respond to them as appropriate.

Research Integrity

The Program Committee reserves the right, up until the time of publication, to reverse a decision of paper acceptance. Reversal is possible if fatal flaws are discovered in the paper, or research integrity is found to have been seriously breached.

Questions? Use the APLAS Research Papers contact form.