Difference between revisions of "TACL Seminar Spring '06"

From CSWiki
Jump to: navigation, search
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

TACL Seminar

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

Abstracts

Limin Jia