| Tue Aug 21 |
A Guide for New Referees in Programming Languages and Systems.
[Presented by Jens Palsberg.] |
| Thu Aug 23 | Seven Suggestions for
Giving Academic Presentations (give or take a few).
[Presented by Scott Baxter.] [Unusual place: CS 111.] |
| Tue Aug 28 |
Undecidability of Context-Sensitive Data-Dependence Analysis,
by Thomas Reps.
In ACM TOPLAS 22(1), pages 162-186, Jan 2000.
[Presented by Dennis Brylow.] [Reviewers: Brylow, Carbunar, Grothoff, Ma, Naik, Nandivada, Xu, Zhao.] [Draft review due to SB on Sat Sep 8.] [Final review due to JP on Sat Sep 15.] [Summary: Xu.] |
| Thu Aug 30 |
On The Complexity Analysis of Static Analyses,
by David McAllester.
This is the journal version (to appear) of a paper
that was presented at SAS'99, Static Analysis Symposium, 1999.
[Presented by Thomas VanDrunen.] [Reviewers: Bahmutov, Bennett, Markova, Patrascu, VanDrunen, Wallace, Wang, Welc, Yamauchi.] [Draft review due to SB on Sat Sep 8.] [Final review due to JP on Sat Sep 15.] [Summary: Wang.] |
| Tue Sep 4 |
Type and Effect Systems,
by Flemming Nielson and Hanne Riis Nielson.
In Correct System Design,
pages 114-136, 1999.
[Presented by Tian Zhao.] [Reviewers: Bennett, Carbunar, Ma, Nandivada, Patrascu, Wang, Yamauchi, Zhao.] [Draft review due to SB on Sat Sep 15.] [Final review due to JP on Sat Sep 22.] [Summary: Nandivada.] |
| Thu Sep 6 |
Partial Online Cycle Elimination in Inclusion Constraint Graphs,
by Manuel Fahndrich, Jeffrey S. Foster, Zhendong Su, and Alexander Aiken,
In Proceedings of PLDI'98, ACM SIGPLAN Conference on
Programming Language Design and Implementation, pages 85-96, 1998.
[Presented by Gleb Bahmutov.] [Reviewers: Bahmutov, Brylow, Grothoff, Markova, Naik, VanDrunen, Wallace, Welc, Xu.] [Draft review due to SB on Sat Sep 15.] [Final review due to JP on Sat Sep 22.] [Summary: Welc.] |
| Tue Sep 11 |
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs,
by Zhendong Su, Manuel Fahndrich, and Alexander Aiken.
In Proceedings of POPL'00, ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, pages 81-95, 2000.
[Presented by Krista Bennett.] [Reviewers: Bahmutov, Bennett, Grothoff, Ma, VanDrunen, Wallace, Xu, Yamauchi, Zhao.] [Draft review due to SB on Sat Sep 22.] [Final review due to JP on Sat Sep 29.] [Summary: Zhao.] |
| Thu Sep 13 |
Unification Based Pointer Analysis with Directional Assignments,
by Manuvir Das.
In Proceedings of PLDI'00, ACM SIGPLAN Conference on
Programming Language Design and Implementation,
pages 35-46, 2000.
[Presented by Ioana Patrascu.] [Reviewers: Brylow, Carbunar, Markova, Naik, Nandivada, Patrascu, Wang, Welc.] [Draft review due to SB on Sat Sep 22.] [Final review due to JP on Sat Sep 29.] [Summary: Brylow.] |
| Tue Sep 18 |
Scalable Context-Sensitive Flow Analysis using Instantiation Constraints,
by Manuel Fahndrich, Jakob Rehof, and Manuvir Das.
In Proceedings of PLDI'00, ACM SIGPLAN Conference on
Programming Language Design and Implementation,
pages 253-263, 2000.
[Presented by Bogdan Carbunar.] [Reviewers: Bennett, Carbunar, Grothoff, Ma, Markova, Naik, VanDrunen, Wallace, Wang.] [Draft review due to SB on Sat Sep 29.] [Final review due to JP on Sat Oct 6.] [Summary: Naik.] |
| Thu Sep 20 |
Estimating the Impact of Scalable Pointer Analysis on Optimization,
by Manuvir Das, Ben Liblit, Manuel Fahndrich, and Jakob Rehof.
In Proceedings of SAS'01, Static Analysis Symposium,
LNCS 2126, pages 260-278, 2001.
[Presented by Adam Welc.] [Reviewers: Bahmutov, Brylow, Nandivada, Patrascu, Welc, Xu, Yamauchi, Zhao.] [Draft review due to SB on Sat Sep 29.] [Final review due to JP on Sat Oct 6.] |
| Tue Sep 25 |
Program Analysis as Model Checking of Abstract Interpretations,
by David Schmidt and Bernhard Steffen.
In Proceedings of SAS'98, Static Analysis Symposium, LNCS 1503, pages 351-380,
1998.
[Presented by Ma, Di.] [Reviewers: Ma, Naik, Nandivada, VanDrunen, Wallace, Welc, Xu, Yamauchi, Zhao.] [Draft review due to SB on Sat Oct 6.] [Final review due to JP on Sat Oct 13.] |
| Thu Sep 27 |
Model Checking Java Programs using Java PathFinder,
by Klaus Havelund and Thomas Pressburger.
Software Tools for Technology Transfer 2(4):366-381, April 2000.
[Presented by Cheng Wang.] [Reviewers: Bahmutov, Bennett, Brylow, Carbunar, Grothoff, Markova, Patrascu, Wang.] [Draft review due to SB on Sat Oct 6.] [Final review due to JP on Sat Oct 13.] [Summary: Markova.] |
| Tue Oct 2 |
Safety Checking of Machine Code,
by Zhichen Xu, Barton Miller, and Thomas Reps.
In Proceedings of PLDI'00, ACM SIGPLAN Conference on
Programming Language Design and Implementation, pages 70-82, 2000.
[Presented by Krishna Nandivada.] [Reviewers: Carbunar, Grothoff, Ma, Markova, Naik, Nandivada, Wallace, Welc, Yamauchi.] [Draft review due to SB on Sat Oct 13.] [Final review due to JP on Sat Oct 27.] [Summary: Wallace.] |
| Thu Oct 4 |
Hancock: A Language for Extracting Signatures from Data Streams,
by Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers,
and Frederick Smith.
In Proceedings of KDD'00, Sixth International Conference on
Knowledge Discovery and Data Mining, pages 9-17, 2000.
[Presented by Kathleen Fisher.] [Unusual place: CS 111.] [Reviewers: Bahmutov, Bennett, Brylow, Patrascu, VanDrunen, Wang, Xu, Zhao.] [Draft review due to SB on Sat Oct 13.] [Final review due to JP on Sat Oct 27.] |
| Tue Oct 23 |
Type-Based Flow Analysis: From Polymorphic Subtyping to CFL-Reachability,
by Jakob Rehof and Manuel Fahndrich.
In Proceedings of POPL'01, ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, pages 54-66, 2001.
[Presented by Jakob Rehof.] [Unusual place: CS 111.] [Reviewers: Bennett, Carbunar, Grothoff, Markova, Patrascu, Wallace, Wang, Welc, Zhao.] [Draft review due to SB on Sat Nov 3.] [Final review due to JP on Sat Nov 10.] [Summary: Patrascu.] |
| Thu Oct 25 |
A Behavioral Module System for the Pi-Calculus,
by Sriram Rajamani and Jakob Rehof.
In Proceedings of SAS'01, Static Analysis Symposium,
LNCS 2126, pages 375-394, 2001.
[Presented by Jakob Rehof.] [Unusual place: CS 111.] [Reviewers: Bahmutov, Brylow, Ma, Naik, Nandivada, VanDrunen, Xu, Yamauchi.] [Draft review due to SB on Sat Nov 3.] [Final review due to JP on Sat Nov 10.] [Summary: Ma.] |
| Thu Nov 1 |
An Efficient Class and Object Encoding,
by Neal Glew.
In Proceedings of OOPSLA'00, ACM SIGPLAN Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
pages 311-324, 2000.
[Presented by Neal Glew.] [Unusual place: CS 111.] [Reviewers: Bahmutov, Brylow, Nandivada, Patrascu, VanDrunen, Welc, Yamauchi, Zhao.] [Draft review due to SB on Sat Nov 10.] [Final review due to JP on Sat Nov 17.] [Summary: VanDrunen.] |
| Fri Nov 2 |
Bandera: Extracting Finite-state Models from Java Source Code,
by James Corbett, Matthew Dwyer, John Hatcliff, Shawn Laubach,
Corina Pasareanu, Robby, and Hongjun Zheng.
In Proceedings of the
23rd International Conference on Software Engineering,
pages 439-448, June 2000.
[Presented by Matthew Wallace.] [Unusual time and place: 12:05 pm, CS 274.] [Reviewers: Bennett, Carbunar, Grothoff, Ma, Markova, Naik, Wang, Xu, Wallace.] [Draft review due to SB on Sat Nov 10.] [Final review due to JP on Sat Nov 17.] [Summary: Grothoff.] |
| Tue Nov 6 |
Tool-supported
Program Abstraction for Finite-state Verification,
by Matthew Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach,
Corina Pasareanu, Robby, Hongjun Zheng, and Willem Visser.
In Proceedings of the
22nd International Conference on Software Engineering,
pages 177-187, May 2001.
[Presented by Matthew Dwyer.] [Unusual place: CS 111.] [Reviewers: Bahmutov, Bennett, Brylow, Markova, Patrascu, VanDrunen, Wang, Xu.] [Draft review due to SB on Sat Nov 17.] [Final review due to JP on Sat Dec 1.] [Summary: Bennett.] |
| Thu Nov 8 |
Automatic Predicate Abstraction of C Programs,
by Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram K. Rajamani.
In Proceedings of PLDI'01, ACM SIGPLAN Conference on
Programming Language Design and Implementation, pages 203-213, 2001.
[Presented by Mayur Naik.] [Reviewers: Carbunar, Grothoff, Ma, Naik, Nandivada, Welc, Wallace, Yamauchi, Zhao.] [Draft review due to SB on Sat Nov 17.] [Final review due to JP on Sat Dec 1.] |
| Tue Nov 13 |
Enforcing High-Level Protocols in Low-Level Software,
by Robert DeLine and Manuel Fahndrich.
In Proceedings of PLDI'01, ACM SIGPLAN Conference on
Programming Language Design and Implementation, pages 59-69, 2001.
[Presented by Gergana Markova.] [Reviewers: Bahmutov, Brylow, Carbunar, Markova, Naik, Wang, Welc, Xu.] [No draft review due!] [Final review due to JP on Sun Dec 2.] [Summary: Carbunar.] |
| Thu Nov 15 |
Ultra-fast Aliasing Analysis using CLA:
A Million Lines of C Code in a Second,
by Nevin Heintze and Olivier Tardieu.
In Proceedings of PLDI'01, ACM SIGPLAN Conference on
Programming Language Design and Implementation, pages 254-263, 2001.
[Presented by Christian Grothoff.] [Reviewers: Bennett, Grothoff, Ma, Nandivada, Patrascu, VanDrunen, Wallace, Yamauchi, Zhao.] [No draft review due!] [Final review due to JP on Sun Dec 2.] |
| Tue Nov 27 |
Avoiding Exponential Explosion:
Generating Compact Verification Conditions,
by Cormac Flanagan and James Saxe.
In Proceedings of POPL'01, ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, pages 193-205, 2001.
[Presented by Rong Xu.] [Reviewers: Bahmutov, Bennett, Brylow, Grothoff, Naik, Nandivada, VanDrunen, Welc, Xu.] [No draft review due!] [Final review due to JP on Sun Dec 2] [Summary: Bahmutov.] |
| Thu Nov 29 |
Modeling Complex Flows for Worst-Case Execution Time Analysis,
by Jakob Engblom and Andreas Ermedahl.
In Proceedings of RTSS'00, 21st IEEE Real-Time Systems Symposium,
November 2000.
[Presented by Hiroshi Yamauchi.] [Reviewers: Carbunar, Ma, Markova, Patrascu, Wallace, Wang, Yamauchi, Zhao.] [No draft review due!] [Final review due to JP on Sun Dec 2.] |
| Tue Dec 4 | Mock program committee meeting
[Unusual place: CS 111.] |