[logic-ml] APLAS 2014: Call for Participation
Jacques Garrigue
garrigue at math.nagoya-u.ac.jp
Sat Sep 6 16:29:54 JST 2014
皆様、
APLASの参加募集案内をお送ります。
Jacques Garrigue
=======================================================================
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)
More information about the Logic-ml
mailing list