|
|
|
Conference Program
Printable version of the APLAS'07 Program is
included in this Brochure (uses A4 paper format setting)
Bus transfer program also available.
1st Day, 29 Nov |
2nd Day, 30 Nov |
3rd Day, 1 Dec
| 9:15 - 9:30 | Opening note |
| 9:30 - 10:30 | Invited talk #1 (Session Chair: Joxan Jaffar)
X10: Programming Parallel Machines, Productively
Vijay Saraswat (IBM TJ Watson Research Lab)
|
| 11:00 - 12:30 |
Session 1 (Session Chair: Zhong Shao)
- The Nuggetizer: Abstracting Away Higher-Orderness
for Program Verification
| Paritosh Shroff | (Johns Hopkins University) |
| Christian Skalka | (University of Vermont) |
| Scott F. Smith | (Johns Hopkins University) |
- Local Reasoning for Storable Locks and Threads
| Alexey Gotsman | (University of Cambridge) |
| Josh Berdine | (Microsoft Research) |
| Byron Cook | (Microsoft Research) |
| Noam Rinetzky | (Tel Aviv University) |
| Mooly Sagiv | (Tel Aviv University) |
- Monadic, Prompt Lazy Assertions in Haskell
| Frank Huch | (CAU Kiel) |
| Olaf Chitil | (University of Kent) |
|
| 12:30 - 13:45 | Lunch break |
| 13:45 - 15:15 |
Session 2 (Session Chair: Martin Sulzmann)
- Translation Correctness for First-Order Object-Oriented
Pattern Matching
| Burak Emir | (EPFL Lausanne) |
| Qin Ma | (OFFIS) |
| Martin Odersky | (EPFL Lausanne) |
- Persistent Oberon: A Programming Language with Integrated Persistence
Luc Blaser (ETH Zurich)
- More Typed Assembly Languages for Confidentiality
Dachuan Yu (DoCoMo Communication Laboratories USA)
|
| 15:15 - 16:30 | Poster Session (Session Chair: Eijiro Sumii) |
| 16:30 - 17:30 |
Session 3 (Session Chair: Tetsuo Ida)
- A Novel Test Case Generation Method for Prolog Programs
Based on Call Patterns Semantics
| Lingzhong Zhao | (Guilin University of Electronic Technology) |
| Tianlong Gu | (Guilin University of Electronic Technology) |
| Junyan Qian | (Guilin University of Electronic Technology) |
| Guoyong Cai | (Guilin University of Electronic Technology) |
- On a Tighter Integration of Functional and Logic Programming
| Frank Huch | (CAU Kiel) |
| Bernd Brassel | (CAU Kiel) |
|
| 18:00 - 20:00 | Reception Held at COM1, B1 level |
| 9:30 - 10:30 | Invited talk #2 (Session Chair: Zhong Shao)
Scalable Simulation of Biological Signaling Networks
Vincent Danos (University of Paris VII & CNRS)
|
| 11:00 - 12:30 |
Session 4 (Session Chair: Kohei Honda)
- Timed, Distributed, Probabilistic, Typed Processes
| Martin Berger | (Imperial College London) |
| Nobuko Yoshida | (Imperial College London) |
- A Probabilistic Applied Pi-Calculus
| Jean Goubault-Larrecq | (ENS Cachan) |
| Catuscia Palamidessi | (Ecole Polytechnique) |
| Angelo Troina | (ENS Cachan & Ecole Polytechnique) |
- Type-Based Verification of Correspondence Assertions for
Communication Protocols
| Daisuke Kikuchi | (Tohoku University) |
| Naoki Kobayashi | (Tohoku University) |
|
| 12:30 - 14:00 | Lunch break |
| 14:00 - 15:30 |
Session 5 (Session Chair: Shin-Cheng Mu)
- Deriving Compilers and Virtual Machines for a Multi-Level Language
| Atsushi Igarashi | (Kyoto University) |
| Masashi Iwaki | (Hitachi, Ltd) |
- Finally Tagless, Partially Evaluated (Tagless Staged
Interpreters for Simpler Typed Languages)
| Jacques Carette | (McMaster University) |
| Oleg Kiselyov | (FNMOC) |
| Chung-chieh Shan | (Rutgers University) |
- Polymorphic Delimited Continuations
| Kenichi Asai | (Ochanomizu University) |
| Yukiyoshi Kameyama | (University of Tsukuba) |
|
| 16:00 - 17:30 |
Session 6 (Session Chair: Kwangkeun Yi)
- Adjunct Elimination in Context Logic for Trees
| Cristiano Calcagno | (Imperial College London) |
| Thomas Dinsdale-Young | (Imperial College London) |
| Philippa Gardner | (Imperial College London) |
- Positive Arithmetic without Exchange is a Subclassical Logic
| Stefano Berardi | (University of Torino) |
| Makoto Tatsuta | (National Institute of Informatics, Japan) |
- Mixed Inductive/Coinductive Types and Strong Normalization
Andreas Abel (University of Munich)
|
| 19:00 - 21:00 | Banquet Held at Rendezvous Hotel |
| 9:30 - 10:30 | Invited talk #3 (Session Chair: Joxan Jaffar)
Static and Dynamic Analysis : Better Together
Sriram Rajamani (Microsoft Research India) |
| 11:00 - 12:30 |
Session 7 (Session Chair: Wei-Ngan Chin)
- The Semantics of "Semantic Patches" in Coccinelle: Program
Transformation for the Working
Programmer
| Neil Jones | (University of Copenhagen) |
| Rene Rydhof Hansen | (University of Copenhagen) |
- An Efficient SSA-based Algorithm for Complete Global Value Numbering
| Jiu-Tao Nie | (Peking University) |
| Xu Cheng | (Peking University) |
- A Systematic Approach to Probabilistic Pointer Analysis
| Alessandra Di Pierro | (University of Verona) |
| Chris Hankin | (Imperial College London) |
| Herbert Wiklicky | (Imperial College London) |
|
| 12:30 - 14:00 | Lunch break |
| 14:00 - 15:30 |
Session 8 (Session Chair: Naoki Kobayashi)
- Complete Lattices and Up-to Techniques
Damien Pous (ENS Lyon)
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
Alwen Tiu (Australian National University)
- CCS with Replication in the Chomsky Hierarchy: The Expressive
Power of Divergence
| Frank Valencia | (Ecole Polytechnique) |
| Cinzia Di Giusto | (University of Bologna) |
| Jesus Aranda | (Ecole Polytechnique) |
| Mogens Nielsen | (University of Aarhus) |
|
| 16:00 - 17:00 |
Session 9 (Session Chair: Atsushi Igarashi)
- Call-by-Name and Call-by-Value in Normal Modal Logic
Yoshihiko Kakutani (University of Tokyo)
- Call-by-Value is Dual to Call-by-Name, Extended
Daisuke Kimura (National Institute of Informatics, Japan)
|
| 17:00 - 17:15 | Closing note |
1st Day, 29 Nov |
2nd Day, 30 Nov |
3rd Day, 1 Dec
|