Difference between revisions of "TACL Seminar Spring '06"
From CSWiki
m (→Schedule) |
m (→Schedule) |
||
| Line 8: | Line 8: | ||
!Links | !Links | ||
|- | |- | ||
| − | | Mar 1 || [http://www.cs.princeton.edu/~ljia/ Limin Jia] and [http://www.cs.princeton.edu/~frances/ Frances Spalding] || Automated Reasoning about Pointer Programs using Linear Logic | + | | Mar 1 || [http://www.cs.princeton.edu/~ljia/ Limin Jia] and |
| + | [http://www.cs.princeton.edu/~frances/ Frances Spalding] || Automated Reasoning about Pointer Programs using Linear Logic | ||
|- | |- | ||
| Mar 8 || [http://www.cs.princeton.edu/~ljia/ Limin Jia] || ILC: A Foundation for Automated Reasoning About Pointer Programs || [[ TACL_Seminar_Spring_06#Limin | Abstract]] | | Mar 8 || [http://www.cs.princeton.edu/~ljia/ Limin Jia] || ILC: A Foundation for Automated Reasoning About Pointer Programs || [[ TACL_Seminar_Spring_06#Limin | Abstract]] | ||
Revision as of 14:58, 15 August 2006
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 |
