User Tools

Site Tools


readinggroup:spring08

Spring 2008

  • Apr 2
    • Discussion of possible topics
      • concurrency & geometry
      • popl 08 papers
      • model checking
      • et cetera
  • Queue of papers
    • 0-1 Principle / Parallel Prefix Computation (POPL 08)
    • dirt to shovels (popl 08) & its predecessor, PADS
    • iComment, movi
    • SMT: Back to the Future (popl 08)
    • Galois connections and Computer Science Applications
    • Pnueli's translation validation paper ('98)
    • Formal Verification of Translation Validators
    • Dynamo
    • Denali superoptimizer
readinggroup/spring08.txt · Last modified: 2014/03/03 19:30 by cschuster