Difference between revisions of "TACL Seminar Spring'06"

From CSWiki
Jump to: navigation, search
m
 
m
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
[[TACL Seminar]]
 
  
==Spring '05 Schedule==
 
{|
 
|-
 
| !Date || !Speaker || !Title || !Links
 
|-
 
| Mar 1, 11am || [http://www.cs.princeton.edu/~ljia/ Limin] & [http://www.cs.princeton.edu/~frances/ Frances] || 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_LiminAbstract | Abstract]]
 
|| Mar 9 || || || ||
 
|| Mar 16 || || || ||
 
|| Mar 23 || Ge Wang || ''(Rescheduled)'' || ||
 
|| Mar 30 || || || ||
 
|| Apr 5 (Wed, 1:30pm) || [[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 || [[ GeS06Abstract | Abstract ]] ||
 
|| Apr 6 || Chris Richards || ''(Rescheduled)'' || ||
 
|| Apr 10 (Mon, TBA) || [[http://www.cs.princeton.edu/~richards/ | Chris Richards]] || A Refined Kripke Semantics for Hard-to-Model Types || [[ChrisS06Abstract | Abstract]] ||
 
|| Apr 13 || || || ||
 
|| Apr 20 || || || ||
 
|| Apr 27 || || || ||
 
|| May 4 || || || ||
 
|| May 17 (Wed, 1:30PM) || Mike Hind (IBM) || Online Performance Auditing: Using Hot Optimizations Without Getting Burned || ||
 
|| May 18 || [[ http://www.cs.princeton.edu/~mbridges/ | Matthew Bridges ]] || Automatic Instruction Scheduler Retargeting by Reverse-Engineering || ||
 
|| May 25 || || || ||
 
|}
 

Latest revision as of 14:46, 15 August 2006