From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B98BF7FACB; Sat, 6 Sep 2014 09:27:17 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=133.6.130.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=mailfrom; client-ip=133.6.130.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailhost.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@mailhost.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0BAFu2ClSFBoIFl2dsb2JhbABaDgiDSleCNEjGJwqIZhABAQEBAQgWBz2EFhEGHQMBJBIBFxwCJgJfASYLiCIFCY1Mm0Z4hQgCih6GAxEBBoEsinKFbg8yEiSBHYUPgRCKfIN7XYI7hEOHPIRfjCpEagEBAYJMAQEB X-IPAS-Result: Am0BAFu2ClSFBoIFl2dsb2JhbABaDgiDSleCNEjGJwqIZhABAQEBAQgWBz2EFhEGHQMBJBIBFxwCJgJfASYLiCIFCY1Mm0Z4hQgCih6GAxEBBoEsinKFbg8yEiSBHYUPgRCKfIN7XYI7hEOHPIRfjCpEagEBAYJMAQEB X-IronPort-AV: E=Sophos;i="5.04,478,1406584800"; d="scan'208";a="93290297" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Sep 2014 09:27:14 +0200 Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 909C363D4; Sat, 6 Sep 2014 16:27:10 +0900 (JST) Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 3468C414C; Sat, 6 Sep 2014 16:27:10 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h= from:content-type:content-transfer-encoding:subject:date:to :message-id:mime-version; s=alpha; bh=5G/AwwztjS/cTgjcvpE7ZihCqj 0=; b=dl9svtd8UWl9pzbq60NAV8Z6pynkQDx+koKxV2LRCjudQNCPdz4RXq9XFE h9f5XraQzrKRAGcuqJittX4PGOYzhZAaWO3UACHlutfnN8FwbVnC5KJrk0bWN3z9 0nNJB0N+0Qzel+X0RL7LbKU/CPKFYuUv2Nl/o/JABEJgD0dWE= DomainKey-Signature: a=rsa-sha1; h=Received:From:Content-Type:Content-Transfer-Encoding:Subject:Date:To:Message-Id:Mime-Version:X-Mailer; b=sPZGqZI3e+1GKIgOLboOqcWihKQer3ZLC2ugtspx5VKzIJu6qH7esyw2Oyzmiy5cEAwuds+8HsN1MhTBAf4xn3XQgkKwVCKb25Og1NT1kfUImYNs6GyGE/x1lnjNMJWs64OTqi8RhxsMHRg7NFtaTqnQ87nMQ97IVuMazsQv4ko=; c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha Received: from [192.168.0.85] (81-229-79-21-no64.business.telia.com [81.229.79.21]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id 9699F4145; Sat, 6 Sep 2014 16:27:04 +0900 (JST) From: Jacques Garrigue Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Date: Sat, 6 Sep 2014 09:26:58 +0200 To: types-announce@lists.seas.upenn.edu, OCaml Mailing List , haskell@haskell.org, coq-club@inria.fr Message-Id: <5F678128-CA09-4CE4-8950-441B9F75127D@math.nagoya-u.ac.jp> Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) Subject: [Caml-list] APLAS 2014: Call for Participation =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 12th Asian Symposium on Programming Languages and Systems (APLAS) November 17-19, 2014, Singapore http://loris-7.ddns.comp.nus.edu.sg/~aplas14 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 foru= m for the presentation of latest results and the exchange of ideas in progra= mming 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 (A= AFS), founded by Asian researchers in cooperation with many researchers from E= urope 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 progra= mming 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 Nat= ional University of Singapore. Local information and registration are available a= t 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D Monday, November 17th =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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=C3=A9ment Aubert, Marc Bagnol, Paolo Pistone (In= stitut de Math=C3=A9matiques de Marseille, France),Thomas Seiller (In= stitut des Hautes =C3=89tudes Math=C3=A9matiques,France) Automatic Memory Management Based on Program Transformation = using Ownerships Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi (Kyoto U= niv., Japan) 12:00-13:30 Lunch and Posters 13:30-14:30 Session 2 The Essence of Ruby Katsuhiro Ueno, Yutaka Fukasawa (Tohoku Univer= sity, Japan),Akimasa Morihata (Univ. of Tokyo, Japan), Atsushi = Ohori (Tohoku Univ., Japan) Types for Flexible Objects Zachary Palmer, Scott Smith, Hari Menon, Alexander Rozens= hteyn (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 lamb= da-mu Calculus Kentaro Kikuchi (RIEC, Tohoku Univ., Japan), Takafumi Sa= kurai (Chiba Univ., Japan) A Formalized Proof of Strong Normalization for Guarded Recu= rsive Types Andreas Abel (Gothenburg Univ., Sweden), Andrea Ve= zzosi (Chalmers Univ. of Technology, Sweden) Functional Pearl: Nearest Shelters in Manhattan Shin-Cheng Mu (Academia Sinica, Taiwan), Ting-Wei Chen (Nat= ional Taiwan Univ., Taiwan) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D Tuesday, November 18th =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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., US= A) 10:00-10:30 Coffee break 10:30-12:00 Session 5 A Method for Scalable and Precise Bug Finding Using Program Ana= lysis and Model Checking Manuel Valdiviezo, Cristina Cifuentes and Padmanabhan Kri= shnan (Oracle Labs Brisbane, Australia) Model-checking for Android Malware Detection Fu Song (East China Normal Univ., China), Tayssir Touili (L= IAFA, CNRS & Univ. Paris Diderot, France) Necessary and Sufficient Preconditions via Eager Abstraction Mohamed Nassim Seghir (Univ. of Edinburgh, UK), Peter Schr= ammel (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 T= wente, Netherlands) Resource Analysis of Complex Programs with Cost Equations Antonio Flores Montoya, Reiner H=C3=A4hnle (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), O= ndrej Lengal (Brno Univ. of Technology, Czech Republic),Mi= haela Sighireanu (LIAFA, CNRS & Univ. of Paris, France), Tomas V= ojnar (Brno Univ. of Technology, Czech Republic) Automatic Constrained Rewriting Induction Towards Verifying Pro= cedural Programs Cynthia Kop (Univ. of Innsbruck, Austria), Naoki Nishida (N= agoya Univ., Japan) A ZDD-based Efficient Higher-order Model Checking Algorithm Taku Terao, Naoki Kobayashi (Univ. of Tokyo, Japan) 18:00- APLAS Banquet =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D Wednesday, November 19th =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 08:30-10:00 Session 8 Inferring Grammatical Summaries of String Values Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Suk= young Ryu (KAIST, Korea) Syntax-Directed Divide-and-Conquer Data-Flow Analysis Shigeyuki Sato (The Univ. of Electro-Communications, Ja= pan), 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=C3=A4pp (Ludwig-Maximilians-Univ. M=C3=BCnchen, = Germany) A precise and abstract memory model for C using symbolic values Fr=C3=A9d=C3=A9ric 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)