The Coq mailing list

[Jacques Garrigue <garrigue AT math.nagoya-u.ac.jp>]

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