Difference between revisions of "TACL Seminar Spring '06"

From CSWiki
Jump to: navigation, search
m (Schedule)
m (Schedule)
Line 12: Line 12:
 
| 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]]
 
|-
 
|-
| Apr 5 || [http://www.cs.princeton.edu/~gewang/ Ge Wang] || [http://chuck.cs.princeton.edu/ ChucK] + [http://audicle.cs.princeton.edu/ | Audicle]: Programming Language and Environment for Sound Synthesis || [[ TACL_Seminar_Spring_06#Ge | Abstract ]]
+
| Apr 5 || [http://www.cs.princeton.edu/~gewang/ Ge Wang] || [http://chuck.cs.princeton.edu/ ChucK] & [http://audicle.cs.princeton.edu/ | Audicle]: Programming Language and Environment for Sound Synthesis || [[ TACL_Seminar_Spring_06#Ge | Abstract ]]
 
|-
 
|-
 
| Apr 10 || [http://www.cs.princeton.edu/~richards/ Chris Richards] || A Refined Kripke Semantics for Hard-to-Model Types || [[TACL_Seminar_Spring_06#Chris | Abstract]]
 
| Apr 10 || [http://www.cs.princeton.edu/~richards/ Chris Richards] || A Refined Kripke Semantics for Hard-to-Model Types || [[TACL_Seminar_Spring_06#Chris | Abstract]]

Revision as of 14:54, 15 August 2006

TACL Seminar

Schedule

Date Speaker Title Links
Mar 1 Limin & Frances 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 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