User Tools

Site Tools


Fall 2007

Tuesdays at 12:30 pm (bring your own lunch)

Email list:

Below is a dumping ground of topics and papers that have accumulated for a while. Any of this could surface in the reading group.

  • Computing Procedure Summaries for Interprocedural Analysis. S Gulwani, A Tiwari.
  • Concurrency
  • Algorithms and Complexity
    • From Fast Exponentiation to Square Matrices: An Adventure in Types. C Okasaki. ICFP 1999.
    • Adventures In Time and Space. N Danner, J Royer. POPL 2006.
    • A Dependently Typed Framework For Static Analysis Of Program Execution Costs. E Brady, K Hammond. IFL 2005.
    • Stuff from Guy Blelloch and Chris Okasaki
  • Security
  • Abstract Interpretation
  • Garbage Collection
  • Optimization
  • Computer Algebra Systems (Languages to host mathematics more than “user” programs)
  • Aspect-Oriented Programming
  • Fixes for C
    • Modular Information Hiding and Type-Safe Linking for C. S Srivastava, M Hicks, J Foster. TLDI 2007.
  • Fun with Types (and Category Theory!)
    • Inferring Type Isomorphisms Generically. F Atanassow, J Jeuring. MPC '04
  • Typed Assembly Language
  • Modules and Linking
    • Program fragments, linking, and modularization. L Cardelli. POPL 1997
    • From Structures and Functors to Modules and Units. S Owens, M Flatt. ICFP 2006
    • A Calculus for Dynamic Linking. D Ancona, S Fagorzi, E Zucca. ICTCS '03
    • A Calculus for Link-time Compilation. E Machkasova, F Turbak. ESOP '00

Some Real-time testing reads:

  • Online On-the-Fly Testing of Real-Time Systems
  • Automated Test Generation from Timed Automata
readinggroup/fall07.txt · Last modified: 2014/03/04 03:29 by cschuster