Monday, March 22nd
| 08:45 |
Welcome |
||
| 09:00 |
Invited tutorial P. Klint (CWI and Univ. Amsterdam), A. van Deursen (CWI, Amsterdam) and C. Verhoef (Univ. Amsterdam): Research challenges in renovation of legacy software |
||
| 10:30 |
Coffee |
||
| 11:00 |
TACAS P.-A. Hsiung, F. Wang, Y.-S. Kuo (Academia Sinica, Taiwan): Scheduling system verification M. Ryu, S. Hong (Seoul National University): A period assignment algorithm for real-time system design M. Gardner, J. Liu (Univ. Illinois at Urbana-Champaign): Analyzing stochastic fixed-priority real-time systems S. Tripakis (Verimag, Grenoble): Timed diagnostics for reachability properties |
ESOP S. Gay , M. Hole (Royal Holloway, London): Types and subtypes for client-server interactions C. Flanagan, M. Abadi (Compaq Systems Research Center, Palo Alto): Types for safe locking G. Barthe (Chalmers, Gothenburg), M.J. Frade (Univ. Minho): Constructor subtyping V. Trifonov, Z. Shao (Yale Univ): Safe and principled language interoperation |
CC J. Saraiva (Utrecht University and Univ. Minho): Data structure free compilation A. Sloane (Macquarie University, Sydney): Debugging Eli-generated compilers with Noosa J. Aycock and N. Horspool (Univ. Victoria): Faster generalized LR parsing T. Ernst (GMD Berlin), tool demo: TRAPping Modelica with Python |
| 13:00 |
Lunch |
||
| 14:30 |
Invited talk P. Wadler (Bell Laboratories, Murray Hill): Making Java easier to type, and easier to type |
||
| 15:30 |
Coffee |
||
| 16:00 |
TACAS Y. Dong, X. Du, Y. Ramakrishna, C. Ramakrishnan, I. Ramakrishnan, S. Smolka, O. Sokolsky, E. Stark, D. Warren (SUNY, Stony Brook): Fighting livelock in the i-protocol: A comparative study of verification tools C. Pusch (TU Munich): Proving the soundness of a Java bytecode verifier specification in Isabelle/HOL C. Kreitz (Cornell University): Automated fast-track reconfiguration of group communication systems J. Hickey (Cornell University), N. Lynch (MIT), R. van Renesse (Cornell University): Specifications and proofs for ensemble layers |
ESOP A. Mycroft (Cambridge Univ): Type-based decompilation O. Danvy (aarhus Univ.), Z. Yang (New York Univ.): An Operational Investigation of the CPS hierarchy P. Thiemann: Higher-order code splicing S. Krishnamurthi, Y.-D. Erlich, M. Felleisen: Expressing structural properties as language constructs |
CC D. Melski, T. Reps (Univ. Wisconsin): Interprocedural path profiling F. Martin (Univ. des Saarlandes, Saarbr\"ucken): Experimental comparison of call string and functional approaches to interprocedural analysis S. Debray, R. Muth, S. Watterson (Univ. Arizona): Link-time improvement of Scheme programs M. Boekhold, I. Karkowski, H. Corporaal (Delft Univ. of Technology), tool demo: A programmable ANSI C code transformation engine |
| Evening |
Reception |
||