TACL Seminar Spring '06

From CSWiki
Revision as of 14:54, 15 August 2006 by Ddantas (talk | contribs) (Schedule)

Jump to: navigation, search

TACL Seminar


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


Limin Jia