| Nature | Date | Title | Presenter | Authors |
| Visitor |
15 Jan 2008 |
Languages and Analyses for
Web Programming |
Anders Møller |
| Talk |
22 Jan 2008 |
The Curry-Howard Correspondence |
Jim Apple |
| Discussion |
29 Jan 2008 |
Discussion of POPL 2008 and affiliated events |
| Draft Paper |
5 Feb 2008 |
Chapels in the Bazaar? Latent Social Structure in OSS (draft) |
Chris Bird |
Christian Bird,
David Pattison,
Raissa D'Souza,
Vladimir Filkov and
Premkumar Devanbu
|
| Talk |
12 Feb 2008 |
Job Talk |
Gary Wassermann |
| 19 Feb 2008 |
| Paper discussion |
26 Feb 2008 |
Learning from Mistakes — A Comprehensive Study on Real
World Concurrency Bug Characteristics |
Lingxiao Jiang |
Shan Lu,
Soyeon Park,
Eunsoo Seo, and
Yuanyuan Zhou |
| Paper discussion |
4 Mar 2008 |
HookFinder: Identifying and Understanding Malware Hooking Behaviors
(mirror,
mirror 2,
tech report) |
Liang (Dennis) Xu |
Heng Yin,
Zhenkai Liang,
Dawn Song |
| Paper discussion |
11 Mar 2008 |
Finding what's not there: a new approach to revealing neglected
conditions in software (gated mirror) |
Mark Gabel |
Ray-Yaung Chang,
Andy Podgurski,
Jiong Yang |
Coordinated by Daryl Posnett (dpposnett AT ucdavis DOT edu) and Jim Apple (username: language-systems-seminar domain: jbapple TLD: .com)