Difference between revisions of "TACL Seminar Spring'06"
m (TACL Seminar Spring 06 moved to TACL Seminar Spring'06)
Revision as of 14:43, 15 August 2006
Spring '05 Schedule
|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|