TACL Seminar Spring'06

From CSWiki
Revision as of 14:43, 15 August 2006 by Ddantas (talk | contribs) (TACL Seminar Spring 06 moved to TACL Seminar Spring'06)

Jump to: navigation, search

TACL Seminar

Spring '05 Schedule

 !Date  !Speaker  !Title  !Links
Mar 1, 11am Limin & 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 Abstract Mar 9 Mar 16 Mar 23 Ge Wang (Rescheduled) Mar 30 Apr 5 (Wed, 1:30pm) [| Ge Wang] [| ChucK] + [| Audicle]: Programming Language and Environment for Sound Synthesis Abstract Apr 6 Chris Richards (Rescheduled) Apr 10 (Mon, TBA) [| Chris Richards] A Refined Kripke Semantics for Hard-to-Model Types 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 Matthew Bridges Automatic Instruction Scheduler Retargeting by Reverse-Engineering May 25