RV program

Friday July 26th, 2002


All sessions take place in auditorium 9.

RV's program is also available side by side with other meetings.

08:30-10:30  Session 1

08:30  Joshua Levy, Hassen Saïdi, and Thomas Uribe; SRI International, USA
Combining monitors for run-time system verification
09:00  Lenore Zuck, New York U, USA; Amir Pnueli, Weizmann Inst. of Science, Israel; Yi Fang, New York U, USA; Benjamin Goldberg, New York U, USA; and Ying Hu, New York U, USA
Translation and run-time validation of optimized code
09:30  Suan Hsi Yong and Susan Horwitz, U Wisconsin-Madison, USA
Reducing the overhead of dynamic analysis
10:00  Mark Brörkens, OFFIS, Germany and Michael Möller, U Oldenburg, Germany
Dynamic event generation for runtime checking using the JDI

10:30-11:00  Refreshments

11:00-12:30  Session 2

11:00  Doron A. Peled, U Texas-Austin, USA
Invited talk: Tracing the executions of concurrent programs
12:00  Murat Karaorman, Texas Instruments, USA and Parker Abercrombie, U California-Santa Barbara, USA
jContractor: Bytecode instrumentation techniques for implementing design by contract in Java

12:30-14:00  Lunch

14:00-15:30  Session 3

14:00  Moonjoo Kim, SECUi.com, South Korea; Insup Lee, U Pennsylvania, USA; Usa Sammapun, U Pennsylvania, USA; Jangwoo Shin, U Pennsylvania, USA; and Oleg Sokolsky, U Pennsylvania, USA
Monitoring, checking, and steering of real-time systems
14:30  Scott Stoller, State U of New York-Stony Brook, USA
Testing concurrent Java programs using randomized scheduling
15:00  Karthikeyan Bhargavan and Carl A. Gunter, U Pennsylvania, USA
Requirements for a practical network event recognition language

15:30-16:00  Refreshments

16:00-17:00  Session 4

16:00  Bernd Finkbeiner, Sriram Sankaranarayanan, and Henny B. Sipma; Stanford U, USA
Collecting statistics over runtime executions
16:30  Moonjoo Kim, SECUi.com, South Korea; Sampath Kannan, U Pennsylvania, USA; Insup Lee, U Pennsylvania, USA; Oleg Sokolsky, U Pennsylvania, USA; and Mahesh Viswanathan, U Illinois-Urbana-Champaign, USA
Computational analysis of run-time monitoring