[Caml-list] APLAS 2014: Call for Participation

=======================================================================
12th Asian Symposium on Programming Languages and Systems (APLAS)
November 17-19, 2014, Singapore
http://loris-7.ddns.comp.nus.edu.sg/~aplas14
=======================================================================

C A L L F O R P A R T I C I P A T I O N

C A L L F O R P O S T E R S

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 is sponsored by the Asian Association for Foundation of Software (AAFS),
founded by Asian researchers in cooperation with many researchers from Europe
and the USA. Past APLAS symposiums were successfully held in Melbourne ('13),
Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08),
Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03)
after three informal workshops. Proceedings of the past symposiums were
published in Springer's LNCS.

The symposium is devoted to foundational and practical issues in programming
languages and systems.

Invited Speakers
----------------
Zhenjiang Hu NII, Japan
Dexter Kozen Cornell University, USA
Julien Verlaguet Facebook, USA

Program Committee
-----------------
General chair
Wei-Ngan Chin National University of Singapore, Singapore

Program chair
Jacques Garrigue Nagoya University, Japan

Program committee
Xiaojuan Cai Shanghai Jiao Tong University, China
James Chapman Institute of Cybernetics, Estonia
Cristian Gherghina Singapore University of Technology and Design
Eric Goubault CEA LIST and Ecole Polytechnique, France
Fei He Tsinghua University, China
Gerwin Klein NICTA and UNSW, Australia
Raghavan Komondoor Indian Institute of Science, Bangalore
Paddy Krishnan Oracle, Australia
Daan Leijen Microsoft Research, USA
Yasuhiko Minamide University of Tsukuba, Japan
Shin-Cheng Mu Academia Sinica, Taiwan
Sungwoo Park Pohang University of Science and Technology, Korea
Julian Rathke University of Southampton, UK
Sukyoung Ryu KAIST, Korea
Alexandra Silva Radboud University Nijmegen, Netherlands
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany
Munehiro Takimoto Tokyo University of Science, Japan
Jan Vitek Purdue University, USA
Hongwei Xi Boston University, USA

Venue
-----
The conference will be held at the Kent Ridge Guild House of the National
University of Singapore. Local information and registration are available at the
following web site:

http://loris-7.ddns.comp.nus.edu.sg/~aplas14

Call for Poster (Deadline 15th Sept 2014)

http://loris-7.ddns.comp.nus.edu.sg/~aplas14/cfposters.html

Poster Chair: Cristian Gherghina

============================= Monday, November 17th =============================

08:30-09:00 Registration

09:00-10:00 ** Invited Talk:

What is the Essence of Bidirectional Programming?
Zhenjiang Hu (NII, Japan)

10:00-10:30 Coffee break

10:30-12:00 Session 1

Optimized Compilation of Multiset Rewriting with Comprehensions
Edmund Soon Lee Lam, Iliano Cervesato (CMU, Qatar)
Logic Programming and Logarithmic Space
Clément Aubert, Marc Bagnol, Paolo Pistone (Institut de
Mathématiques de Marseille, France),Thomas Seiller (Institut des
Hautes Études Mathématiques,France)
Automatic Memory Management Based on Program Transformation using
Ownerships
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi (Kyoto Univ.,
Japan)

12:00-13:30 Lunch and Posters

13:30-14:30 Session 2

The Essence of Ruby
Katsuhiro Ueno, Yutaka Fukasawa (Tohoku University,
Japan),Akimasa Morihata (Univ. of Tokyo, Japan), Atsushi Ohori
(Tohoku Univ., Japan)
Types for Flexible Objects
Zachary Palmer, Scott Smith, Hari Menon, Alexander Rozenshteyn
(The Johns Hopkins Univ., USA)

14:30-16:00 Posters and Tea

16:00-17:30 Session 3

A Translation of Intersection and Union Types for the lambda-mu
Calculus
Kentaro Kikuchi (RIEC, Tohoku Univ., Japan), Takafumi Sakurai
(Chiba Univ., Japan)
A Formalized Proof of Strong Normalization for Guarded Recursive
Types
Andreas Abel (Gothenburg Univ., Sweden), Andrea Vezzosi
(Chalmers Univ. of Technology, Sweden)
Functional Pearl: Nearest Shelters in Manhattan
Shin-Cheng Mu (Academia Sinica, Taiwan), Ting-Wei Chen (National
Taiwan Univ., Taiwan)

============================= Tuesday, November 18th =============================

08:30-09:30 ** Invited Talk:

Incremental Adoption of Static-Typing
Julien Verlaguet (Facebook, USA)

09:30-10:00 Session 4

SUPPL: A flexible language for policies
Robert Dockins and Andrew Tolmach (Portland State Univ., USA)

10:00-10:30 Coffee break

10:30-12:00 Session 5

A Method for Scalable and Precise Bug Finding Using Program Analysis
and Model Checking
Manuel Valdiviezo, Cristina Cifuentes and Padmanabhan Krishnan
(Oracle Labs Brisbane, Australia)
Model-checking for Android Malware Detection
Fu Song (East China Normal Univ., China), Tayssir Touili (LIAFA,
CNRS & Univ. Paris Diderot, France)
Necessary and Sufficient Preconditions via Eager Abstraction
Mohamed Nassim Seghir (Univ. of Edinburgh, UK), Peter Schrammel
(Univ. of Oxford, UK)

12:00-13:30 Lunch

13:30-15:00 Session 6

Resource Protection using Atomics: Patterns and Verifications
Afshin Amighi, Stefan Blom, Marieke Huisman (Univ. of Twente,
Netherlands)
Resource Analysis of Complex Programs with Cost Equations
Antonio Flores Montoya, Reiner Hähnle (Technische Univ. Darmstadt,
Germany)
Simple and Efficient Algorithms for Octagons
Aziem Chawdhary, Edward Robbins, Andy King (Univ. of Kent, UK)

15:00-15:30 Coffee break

15:30-17:00 Session 7

Compositional Entailment Checking for a Fragment of Separation Logic
Constantin Enea (LIAFA, CNRS & Univ. of Paris, France), Ondrej
Lengal (Brno Univ. of Technology, Czech Republic),Mihaela
Sighireanu (LIAFA, CNRS & Univ. of Paris, France), Tomas Vojnar
(Brno Univ. of Technology, Czech Republic)
Automatic Constrained Rewriting Induction Towards Verifying Procedural
Programs
Cynthia Kop (Univ. of Innsbruck, Austria), Naoki Nishida (Nagoya
Univ., Japan)
A ZDD-based Efficient Higher-order Model Checking Algorithm
Taku Terao, Naoki Kobayashi (Univ. of Tokyo, Japan)

18:00- APLAS Banquet

============================ Wednesday, November 19th ============================

08:30-10:00 Session 8

Inferring Grammatical Summaries of String Values
Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung
Ryu (KAIST, Korea)
Syntax-Directed Divide-and-Conquer Data-Flow Analysis
Shigeyuki Sato (The Univ. of Electro-Communications, Japan),
Akimasa Morihata (Univ. of Tokyo, Japan)
Address Chain: Profiling Java Objects without Overhead in Java Heaps
Xiaohua Shi, Junru Xie, Hengyang Yu (Beihang Univ., China)

10:00-10:30 Coffee break

10:30-12:00 Session 9

Call-by-Value in a Basic Logic for Interaction
Ulrich Schäpp (Ludwig-Maximilians-Univ. München, Germany)
A precise and abstract memory model for C using symbolic values
Frédéric Besson (Inria, France), Sandrine Blazy, Pierre Wilke
(IRISA, France)
Hereditary history-preserving bisimilarity: logics and automata
Paolo Baldan, Silvia Crafa (Universita' di Padova, Italy)

12:00-13:00 Lunch

13:00-14:00 ** Invited Talk:

NetKAT: A formal system for the verification of networks
Dexter Kozen (Cornell Univ., USA)




--
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