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)
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 |
