|
|
| (One intermediate revision by the same user not shown) |
| Line 1: |
Line 1: |
| − | [[TACL Seminar]]
| |
| | | | |
| − | ==Spring '05 Schedule==
| |
| − | {|
| |
| − | |-
| |
| − | | !Date || !Speaker || !Title || !Links
| |
| − | |-
| |
| − | | Mar 1, 11am || [http://www.cs.princeton.edu/~ljia/ Limin] & [http://www.cs.princeton.edu/~frances/ 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 || [[ TACL_Seminar_Spring_06_LiminAbstract | Abstract]]
| |
| − | || Mar 9 || || || ||
| |
| − | || Mar 16 || || || ||
| |
| − | || Mar 23 || Ge Wang || ''(Rescheduled)'' || ||
| |
| − | || Mar 30 || || || ||
| |
| − | || Apr 5 (Wed, 1:30pm) || [[http://www.cs.princeton.edu/~gewang/ | Ge Wang]] || [[http://chuck.cs.princeton.edu/ | ChucK]] + [[http://audicle.cs.princeton.edu/ | Audicle]]: Programming Language and Environment for Sound Synthesis || [[ GeS06Abstract | Abstract ]] ||
| |
| − | || Apr 6 || Chris Richards || ''(Rescheduled)'' || ||
| |
| − | || Apr 10 (Mon, TBA) || [[http://www.cs.princeton.edu/~richards/ | Chris Richards]] || A Refined Kripke Semantics for Hard-to-Model Types || [[ChrisS06Abstract | 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 || [[ http://www.cs.princeton.edu/~mbridges/ | Matthew Bridges ]] || Automatic Instruction Scheduler Retargeting by Reverse-Engineering || ||
| |
| − | || May 25 || || || ||
| |
| − | |}
| |
