Difference between revisions of "TACL Seminar Spring '06"

From CSWiki
Jump to: navigation, search
m (Schedule)
m (Schedule)
Line 2: Line 2:
{| cellpadding="2"
{| cellpadding="1"

Revision as of 14:57, 15 August 2006

TACL Seminar


Date Speaker Title Links
Mar 1 Limin Jia and Frances Spalding 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 ChucK and 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