My CAV'08 papers are now available: Proving conditional termination Scalable shape analysis for systems code

Navigation:

• Home
  
• Papers
  
• Presentations
  
• Press
  
• Student projects
  
• Contact information
  
• Short biography
  
• CV
  
• Blog
  

Projects:

• TERMINATOR
  
• SLAyer
  
• Static Driver Verifier
• SLAM
  

Upcoming events:

• POPL'08 (PC)
  
• TACAS'08 (PC)
  
• NSV'08 (Invited speaker)
  
• CAV'08 (Workshops chair)
  
• Marktoberdorf summer school '08 (Invited lecturer)
  
• TiC'08 summer school (Invited lecturer)
  
• VMCAI'09 (Invited tutorialist)
  
• IFM'09 (Invited speaker)
  
• CAV'10 (Co-chair)