Fourth International Workshop on Dynamic Analysis
(WODA 2006)

Workshop Program

8:00-9:00 Breakfast
9:00-10:30 Workshop Introduction
   • Welcome (Neelam Gupta and Andy Podgurski, Co-chairs, WODA'06)

Session 1: Testing and Debugging
   • Isolating relevant Component Interactions with JINSI 
         (Alessandro Orso, Shrinivas Joshi, Georgia Institute of Technology, USA
         Martin Burger and Andreas Zeller Saarland University, Germany)
   • Program Partitioning -- A Framework for Combining Static and Dynamic Analysis
         (Pankaj Jalote, Taranbir Singh, Prateek Jain and Vipindeep Vangala,
         Indian Institute of Technology Kanpur, India)
10:30-11:00 Break
11:00-12:30 Session 2: Behavior Models
 • Mining Object Behavior with ADABU                                                                              
        (Valentin Dallmeier, Christian Lindig, Andrzej Wasylkowski and Andreas Zeller,
        Saarland University, Germany)
 • Inferencing State-based Behavior Models
        (Lorenzoli Davide, Leonardo Mariani and Mauro Pezze,
        Università degli Studi di Milano Bicocca, Italy)
 • Recognizing Behavioral Patterns at Runtime using Finite Automata
        (Lothar Wendehals University of Paderborn, Germany and
        Alessandro Orso, Georgia Institute of Technology, USA)
12:30-2:00 Lunch
2:00-3:30 Session 3: Program Understanding
   • Analyzing Feature Implementation by Visual Exploration of Architecturally-Embedded
         Call-Graphs   (Johannes Bohnet and Juergen Doellner,
         University of Potsdam, Hasso-Plattner-Institute, Germany)
   • Web Application Characterization through Directed Requests
         (Sebastian Elbaum, Kalyan-Ram Chilakamarri, Marc Fisher II and Gregg Rothermel,
         University of Nebraska, Lincoln, USA)
   • A Dynamic Analysis for Revealing Object Ownership and Sharing
         (Derek Rayside, Lucy Mendel and Daniel Jackson,
         Massachusetts Institute of Technology, USA) 
3:30-4:00 Break
4:00-5:30 Session 4: Security and Optimization
   • Dynamic Code Instrumentation to Detect and Recover from Return Address Corruption
        (Suhas Gupta and Pranay Pratap, Indian Institute of Technology, Delhi, India)
   • An Empirical Study of the Strength of Information Flows in Programs
        (Wes Masri, American University of Beirut, Lebanon and
        Andy Podgurski, Case Western Reserve University, USA)
   • Grexmk: Speeding Up Scripted Builds
       (Glenn Ammons, IBM T.J. Watson Research Center, USA)
General Discussion and Wrap-Up