[TYPES/announce] APLAS 2014: Call for Participation

Jacques Garrigue garrigue at math.nagoya-u.ac.jp
Sat Sep 6 03:26:58 EDT 2014


    =======================================================================
       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 Types-announce mailing list