PAS 2012 Tentative Schedule
Wednesday 10th October
|
Chair: Dongming
Wang |
09:00-09:20 |
Opening |
09:25-10:10 |
Martin Giese: A Calculus for Type Predicates and Type Coercion |
10:10-10:25 |
Break |
10:25-11:10 |
Sorin Stratulat: Noetherian
Induction for First-Order Reasoning |
11:15-12:00 |
Abhik Roychoudhury:
Formal Techniques for Debugging Software Regressions |
12:10-14:00 |
Lunch |
|
Chair: Tudor Jebelean |
14:00-14:45 |
Alexander Letichevsky: Insertion Modeling and
Symbolic Verification of Large Systems |
14:50-15:35 |
Jian Zhang and Feifei Ma: Automated Software Analysis and
Testing Based on Constraint Solving and Optimization |
15:35-15:50 |
Break |
15:50-16:35 |
John Harrison: Challenges
and Opportunities for Automated Reasoning |
16:40-17:25 |
Temur Kutsia: Unranked Anti-Unification and its
Application in Software Code Clone Detection |
17:30-17:55 |
Mădălina Eraşcu and
Hoon Hong: Semi-automatic Algorithm Analysis and
Synthesis |
18:15- |
Reception |
Thursday 11th October
|
Chair: Abhik Roychoudhury |
09:00-09:45 |
Wei Li: A Semantic Framework for Program Debugging |
09:50-10:35 |
Andreas Zeller: Mining Models |
10:35-10:50 |
Break |
10:50-11:35 |
Jinzhao
Wu:
Differential Semi-Algebraic Hybrid Systems - Complex or Simple? |
11:40-12:05 |
Jie Luo
and Xiaoyu Chen: A Structural
Operational Approach to Bug Locating |
12:10-14:00 |
Lunch |
|
Chair: Jian
Zhang |
14:00-14:45 |
Deepak Kapur: Generating Disjunctive
Octagonal Invariants for Program Analysis Using Quantifier-Elimination
Heuristics |
14:50-15:35 |
Tudor Jebelean: A Simple Framework for
Program Verification and its Mechanical Certification in Theorema |
15:35-15:50 |
Break |
15:50-16:35 |
Laura Kov¨¢cs: Symbol Elimination in Program
Analysis |
16:40-17:05 |
Mădălina Eraşcu
and Tudor Jebelean:
Automated Certification of a Logic-Based Verification Method for Imperative
Loops |
17:10-17:35 |
He Li: A Structural Semantics for
Synchronized Message Passing Based Concurrent Program Debugging |
17:40-18:05 |
Anping He: Approximate
Equivalence of Hybrid Automata with Taylor Theory |
18:15- |
Dinner |
Friday 12th October
|
Chair: Wei Li |
09:00-09:45 |
Chaochen Zhou: Modelling
and Verification of Hybrid Systems |
09:50-10:35 |
Malay K. Ganai: Dynamic
Analysis of Multi-threaded Programs |
10:35-10:50 |
Break |
10:50-11:15 |
Kai
Yu: Towards Automated Debugging in Software Evolution: Evaluating Delta
Debugging on Real Regression Bugs from the Developers' Perspectives |
11:20-11:45 |
Dongchen Jiang: A
Revision Algorithm Based on Proposition Decomposition |
11:50-12:15 |
Xiaoyan Wang, Yongmei
Liu, Zhenyu Weng and Zewei Lin: Automated
Localization of Complex Faults Based on Hierarchical Multiple Predicate
Switching |
12:20-12:30 |
Closing |
12:30-13:30 |
Lunch |
13:30- |
Excursion to the Great Wall (Mutianyu) |
14:00- |
Visit to SKLSDE and Beihang |