[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