Timetable

28 June, Wednesday, 6:00pm: LICS/SAS welcome buffet, Anacapa lawn


              29 June         30 June             1 July           
             Thursday         Friday             Saturday           


 7:15- 8:15                   Breakfast          Breakfast          
                              Dining Commons, Bldg 549 (De La Guerra Hall)

 8:30- 9:30                   Tutorial:          Invited talk:
                              Roy Ju             Matthias Felleisen

 9:30-10:00                   1 talk             1 talk

10:00-10:30                   break              break

10:30-12:00                   3 talks            3 talks

12:00- 2:00  Registration     Lunch (12:30)      Lunch (12:30)
             MCC theatre      Dining Commons, Bldg 549 (De La Guerra Hall)

 2:00- 3:00  Invited talk:    Invited talk:      2 talks
             Daniel Jackson   Andreas Podelski

 3:00- 3:30  break            break              break

 3:30- 5:00  4 talks          3 talks            3 talks 
               (till 5:30)

 5:30        Reception meal   Banquet            Dinner
             Annex sidelawn   Santa Rosa         Dining Commons, Bldg 542
                              courtyard          (Ortega Hall)
             

 2 July, Sunday, 7:15am: Contintental breakfast, Santa Rosa Hall lobby

Schedule of Presentations

Thursday: 
  2:00 - 3:00  Invited talk:  Daniel Jackson.
  3:00 - 3:30  Break
  3:30 - 5:30  "Polymorphic versus Monomorphic Flow-Insensitive Points-to 
                  Analysis for C." Jeffrey Foster, Manuel Faehndrich, 
                  Alexander Aiken.
               "Checking Cleanness in Linked Lists." Nurit Dor, Michael Rodeh, 
                  Mooly Sagiv.
               "TVLA: A System for Implementing Static Analyses." 
                  Tal Lev-Ami, Mooly Sagiv.
               "Code Specialization Based on Value Profiles." Robert Muth, 
                  Scott Watterson, Saumya Debray.
  5:30         Reception meal

Friday:
  8:30 - 9:30  Tutorial: Roy Ju (Intel, USA) on the IA-64 architecture and 
                  compiler optimization.
  9:30 -10:00  "Partial Redundancy Elimination on Predicated Code." 
                  Jens Knoop, Jean-Francois Collard, Roy Dz-ching Ju.
 10:00 -10:30  Break
 10:30 -12:00  "Concurrency Analysis for Java." Cristian Ungureanu, 
                  Suresh Jagannathan.
               "Efficient Inference of Static Types for Java Bytecode." 
                  Etienne Gagnon, Laurie Hendren.
               "Unified Analysis of Array and Object References in Strongly 
                  Typed Languages." Stephen Fink, Kathleen Knobe, Vivek Sarkar.
 12:00 - 2:00  Lunch
  2:00 - 3:00  Invited talk:  Andreas Podelski.
  3:00 - 3:30  Break
  3:30 - 5:00  "Abstract Interpretation Based Semantics of Sequent Calculi." 
                  Gianluca Amato, Giorgio Levi.
               "Abstract Interpretation of Game Properties." 
                  Thomas A. Henzinger, Rupak Majumdar, Freddy Y.C. Mang, 
                  Jean-Francois Raskin.
               "Abstract domains for sharing analysis by optimal semantics."
                  Francesca Scozzari.
  5:30         Banquet

Saturday:
  8:30 - 9:30  Invited talk:  Matthias Felleisen.
  9:30 -10:00  "FULLDOC: A Full Reporting Debugger for Optimized Code." 
                  Clara Jaramillo, Rajiv, Gupta, Mary Lou Soffa.
 10:00 -10:30  Break
 10:30 -12:00  "Flattening is an Improvement." James Riely, Jan Prins.
               "Safety of Strictness Analysis via Term Graph Rewriting." 
                  David Clark, Chris Hankin, Sebastian Hunt.
               "Deriving Parallel Codes via Invariants." Wei-Ngan Chin, 
                  Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi.
 12:00 - 2:00  Lunch
  2:00 - 3:00  "Tree Schemata and Fair Termination." Laurent Mauborgne.
               "A Transformational Approach for Generating Non-Linear 
                  Invariants." Saddek Bensalem, Marius Bozga, Jean-Claude 
                  Fernandez, Lucian Ghirvu, Yassine Lakhnech.
  3:00 - 3:30  Break
  3:30 - 5:00  "Confidentiality Analysis of Mobile Systems." Jerome Feret.
               "Abstract interpretation of probabilistic semantics." 
                  David Monniaux.
               "Model Checking Guided Abstraction and Analysis." Hassen Saidi.
  5:30         Dinner