TACL Seminar Spring '06
From CSWiki
Schedule
| Date | Speaker | Title | Links |
|---|---|---|---|
| Mar 1 | Limin Jia and< Frances Spalding | Automated Reasoning about Pointer Programs using Linear Logic | |
| Mar 8 | Limin Jia | ILC: A Foundation for Automated Reasoning About Pointer Programs | Abstract |
| Apr 5 | Ge Wang | ChucK and Audicle: Programming Language and Environment for Sound Synthesis | Abstract |
| Apr 10 | Chris Richards | A Refined Kripke Semantics for Hard-to-Model Types | Abstract |
| May 17 | Mike Hind (IBM) | Online Performance Auditing: Using Hot Optimizations Without Getting Burned | |
| May 18 | Matthew Bridges | Automatic Instruction Scheduler Retargeting by Reverse-Engineering |
