TACL Seminar Spring '06

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

Jump to: navigation, search

TACL Seminar

Schedule

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

Abstracts

Limin Jia