skip to main | skip to sidebar
Research Nomads

Monday, April 14, 2008

QVM Talk

Just gave a QVM talk in Dagstuhl seminar on Scalable Program Analysis.
The slides are available here: http://kathrin.dagstuhl.de/08161/Materials2/
Posted by Eran at 12:31 PM
Labels: qvm

No comments:

Post a Comment

Newer Post Older Post Home
Subscribe to: Post Comments (Atom)

Nomads

  • Matt Arnold
  • Noam Rinetzky
  • Martin Vechev
  • Eran Yahav
  • Greta Yorsh

Twitter Updates

    follow me on Twitter

    Labels

    • paraglide (2)
    • qvm (4)
    • safe (1)

    Blog Archive

    • ►  2010 (2)
      • ►  June (1)
      • ►  March (1)
    • ►  2009 (5)
      • ►  September (2)
      • ►  August (1)
      • ►  April (2)
    • ▼  2008 (11)
      • ►  December (1)
      • ►  August (3)
      • ►  June (1)
      • ►  May (2)
      • ▼  April (4)
        • Now this is quality paper reviewing
        • QVM Talk
        • QVM: From 16.5K to 10K in 1 hour
        • coming soon