PROLANGS Reading Group

PROLANGS holds a regular reading group to discuss research papers on programming language related topics which is open to all interested parties. Spring 2000 the group will meet on Thursdays, from 3:00-5:00pm in CoRE B. The only rule is that all regular attendees will be called upon to present a paper at some point. Contact Chung-Hsing Hsu for more details.


Previous Talks

1997-98, Spring 1999, Summer 1999, Fall 1999

List of papers for related to Java, USENIX Java articles

Schedule for Spring 2000

01/27 Barbara Ryder

"Analyzing Exception Flow in Java Programs"
M. Robillard and G. Murphy, ESEC/FSE'99.

02/03 Fancong Zeng

"Regaining Control of Exception Handling"
M. Robillard and G. Mruphy, TR-99-14, University of British Columbia.

02/10 Nasko Rountev

"Off-line Variable Substitution for Scaling Points-to Analysis"
A. Rountev and S. Chandra, PLDI'00.

02/17

It's a good time to take a short break.

02/24 Jim Benham

"Confined Types"
J. Vitek and B. Bokowski, OOPSLA'99.

03/02 Matt Arnold

"Instruction Scheduling in the Presence of Java's Runtime Exceptions"
M. Arnold, M. Hsiao, U. Kremer, and B. Ryder, LCPC'99.

03/09 Don Smith

"A Static Study of Java Exceptions Using JESP"
B. Ryder, D. Smith, U. Kremer, M. Gordon, and N. Shah, CC'00.

03/16

Spring Break

03/23 Matt Arnold

"A Comparative Study of Static and Dynamic Heuristics for Inlining"
M. Arnold, S. Fink, V. Sarkar, and P. Sweeney, DYNAMO'00.

03/30 Barbara Ryder

"A Flexible Architecture for Building Data Flow Anlayzers"
M. Dwyer and L. Clarke, ICSE'96.

04/06 Fancong Zeng

"An Out-of-Order Execution Technique for Runtime Binary Translators"
Bich C. Le, ASPLOS'98.

04/11 (Tue)

Bill Griswold's visit

04/13 Tom Marlowe

"Qualified Data Flow Problems" by L. Holley and B. Rosen
IEEE Transaction on Software Engineering, 7(1):60-78, Jan. 1981.

04/20

Break

04/27 Chung-Hsing Hsu

"A Stable and Efficient Loop Tiling Algorithm"
C.-H. Hsu and U. Kremer, MASPLAS'00.

05/04 Departmental Open House

05/11 Ana Milanova

"Lackwit: Large-Scale Analysis of C Programs Using Polymorphic Type Inference"
R. O'cCallahan and D. Jackson