The Express ALIT seminar

To attend the seminar, you must sign up to present a research paper. To date, we have seen the following presentations:

• Self-certified code, presented by Kostas Arkoudas
• ESC, presented by David Evans
• Infer, presented by Stephen Adams
• Kali, presented by Albert Lin
• Persistent stores, presented by Jeremy Brown
• CML, presented by Andrew Blumberg
• Tofte's GC-free stack analysis, presented by Cotton Seed
• Synthesis, presented by Sasha Vladimirov
• STING & Spin, presented by Greg Ganger
• Fox, presented by David Weatheral
• TIL, presented by Dan Winship
• Microfacet NSAS, presented by Peter Szilagyi

• Rice stuff: SBA, soft typing
• Curl
• Paul Wilson & swizzling
• Bawden's work (TK for his PhD?)

Relevant papers

• Safe kernel extensions without run-time checking, Necula & Lee.
• Static Checking
  • Overview of Extended Static Checking, David Detlefs. Extended Static Checking home page.
  • Static Detection of Dynamic Memory Errors, David Evans, SIGPLAN Conference on Programming Language Design and Implementation (PLDI '96), May 1996. LCLint home page.
• Compiling with Types, Greg Morrisett, Ph.D. Thesis, Published as CMU Technical Report CMU-CS-95-226, December, 1995.
• TIL: A Type-Directed Optimizing Compiler for ML, D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee, 1996 SIGPLAN Conference on Programming Language Design and Implementation.
• The TIL/ML Compiler: Performance and Safety Through Types, G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, P. Lee, 1996 Workshop on Compiler Support for Systems Software.
• Fox project home page.
• Synthesis: An Efficient Implementation of Fundamental Operating System Services by Henry Massalin.
• Infer home page.
• NEC software systems research has links to Kali, Sting, CFA, and soft-typing work.
• Mads Tofte's home page has links to his papers on stack-allocated region analysis and some short intro tutorials on ML.