The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009)
13th Annual Asian Computing Science Conference (ASIAN 2009)
Venue: Room B103, Bldg Number 39 (BK Conference Hall), Seoul National University
Contact: aplas09 at ropas.snu.ac.kr
13th Annual Asian Computing Science Conference (ASIAN 2009)
Contact: aplas09 at ropas.snu.ac.kr
Program
Day 0: December 13, 2009 (Sunday)
09:00 - 10:30 Tutorial 1 Part 1
Separation Logic from the Perspective of Program Analysis
|
10:30 - 11:00 Break
11:00 - 12:30 Tutorial 1 Part 2
Separation Logic from the Perspective of Program Analysis
|
12:30 - 14:00 Lunch
14:00 - 15:30 Tutorial 2 Part 1
Parallel Programming in Fortress
|
15:30 - 16:00 Break
16:00 - 17:30 Tutorial 2 Part 2
Parallel Programming in Fortress
|
18:00 - 20:00 Conference Reception
Hoam Faculty House, Room Marronnier |
Day 1: December 14, 2009 (Monday)
08:45 - 09:00 Opening
09:00 - 10:00 APLAS Invited Talk 1
The Sketching Approach to Program Synthesis
|
10:00 - 10:20 Break
10:20 - 11:50 APLAS Session 1: Program Analysis
Large Spurious Cycle in Global Static Analyses and Its
Algorithmic Mitigation
|
||
Abstract Transformers for Thread Correlation Analysis
|
||
Scalable Context-Sensitive Points-To Analysis using
Multi-Dimensional Bloom Filters
|
12:00 - 13:30 Lunch
13:30 - 15:00 APLAS Session 2: Transformation and Optimization
A Short Cut to Optimal Sequences
|
||
A Skeletal Parallel Framework with Fusion Optimizer for GPGPU
Programming
|
||
Witnessing Purity, Constancy and Mutability
|
15:00 - 15:20 Break
15:20 - 16:50 APLAS Session 3: Type System
On the Decidability of Subtyping with Bounded Existential Types
|
||
Fractional Ownerships for Safe Memory Deallocation
|
||
Ownership Downgrading for Ownership Types
|
16:50 - 17:10 Break
17:10 - 18:10 APLAS Poster Session
An Order-sensitive Fusion for XQuery
|
||
Derivation of a Linear-Time Algorithm for the Maximum Density
Segment Problem
|
||
Deriving Invariants by Algorithmic Learning, Decision Procedures,
and Predicate Abstraction
|
||
Effective Generation of Quantified Boolean Verification Conditions
for Non-Deterministic Boolean Programs
|
||
Error Obliviating C Parser
|
||
GRoundTram: A Bidirectional Graph Transformation System
Based on Structural Recursion
|
||
PaI: A Grammar-Based Program Inversion System
|
||
Shape Checking by Abstract Parsing & Enumeration
|
||
Testing First-Order Logic Axioms in AutoCert
|
Day 2: December 15, 2009 (Tuesday)
09:00 - 10:00 APLAS Invited Talk 2
The Twilight Zone: From Testing to Formal Specifications and Back Again
|
10:00 - 10:20 Break
10:20 - 11:50 APLAS Session 4: Separation Logic
A Fresh Look at Separation Algebras and Share Accounting
|
||
Weak updates and separation logic
|
||
Proving Copyless Message Passing
|
12:00 - 13:30 Lunch
13:30 - 15:00 APLAS Session 5: Logic and Foundation Theory
On Stratified Regions
|
||
Parallel Reduction in Resource Lambda-Calculus
|
||
Classical Natural Deduction for S4 Modal Logic
|
15:00 - 15:20 Break
15:20 - 16:50 APLAS Session 6: Software Security and Verification (1)
Bi-Abductive Resource Invariant Synthesis
|
||
Certify Once, Trust Anywhere: Modular Certification of Bytecode
Programs for Certified Virtual Machine
|
||
Asymptotic Resource Usage Bounds
|
16:50 - 17:10 Break
17:10 - 18:40 APLAS Session 7: Software Security and Verification (2)
The Higher-Order, Call-by-Value Applied Pi-Calculus
|
||
Branching Bisimilarity between Finite-State Systems and BPA or
Normed BPP Is Polynomial-Time Decidable
|
||
Refining Abstract Interpretation-based Static Analyses with Hints
|
20:00 - 22:00 Conference Banquet
Day 3: December 16, 2009 (Wednesday)
09:00 - 10:30 APLAS/ASIAN Invited Talk
Part I: Types and Recursion Schemes for Higher-Order Program Verification Part II: Higher-Order Program Verification and Language-Based Security
|
10:30 - 10:50 Break
10:50 - 11:50 ASIAN Session 1: Short Papers
A Dolev - Yao Model for Zero Knowledge
|
||
Automated Security Proof for Symmetric Encryption Modes
|
||
Putting Chaos into Cryptography: A Critique of
Chaotic-Map Based Stream Ciphers
|
12:00 - 13:30 Lunch
13:30 - 14:30 ASIAN invited talk
"Logic Wins!"
|
14:30 - 16:00 ASIAN Session 2: Cryptography and System Security
A Simulation-Based Treatment of Authenticated Message Exchange
|
||
A Special Proxy Signature Scheme with Multi-Warrant
|
||
Trusted Deployment of Virtual Execution Environment in Grid Systems
|
16:00 - 16:20 Break
16:20 - 18:20 ASIAN Session 3: Security Foundations
Noninterference with Dynamic Security Domains and Policies
|
||
A Logic for Formal Verification of Quantum Programs
|
||
Reducing Equational Theories for the Decision of Static Equivalence
|
||
Deducibility constraints
|