Past Meetings

Meetings Summer '13:

●Tue,  Jun 4		Presentation by Philip on hinted garbage collection
●Tue,  Jun 11		No meeting
●Tue,  Jun 18		Report on ICSE 2013
●Tue,  Jun 25		Presentation by Cuong on assisting scientific programmers
●Tue,  Jul 2		Presentation by Joel on sharing research tools online
●Tue,  Jul 9		Presentation by Shaon and Sarah on formalizing browser record and replay
●Tue,  Jul 16		Discussion on teaching kids to program
●Tue,  Jul 23		Discussion on technology and education
●Tue,  Jul 30
●Tue,  Aug 6		Discussion on how to improve the spread of research
●Tue,  Aug 13		Presentation by Leo
●Tue,  Aug 20		Discussion on Bret Victor's The Future of Programming
●Tue,  Aug 27		Ask practice questions for the prelim exam
●Fri,  Sep 6		Presentation by Andres on Integrating Pipelines and Split-joins into Fine-Grained Partitioning Programming Model

Meetings Spring '13:

●Tue,  Jan 22		Presentation on IPython
●Tue,  Jan 29		BiD seminar: Evan Savage on Experiencing Data Ownership
●Tue,  Feb 5		Presentation by Ben Livshits: Towards Fully Automatic Placement of Security Sanitizers and Declassifiers
●Tue,  Feb 12		Presentation by Jan Vitek on Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection
●Tue,  Feb 19		End-user programming hands-on
●Tue,  Feb 26		Discussion on programming without a mouse and keyboard
●Tue,  Mar 5		Discussion of behavioral programming
●Tue,  Mar 12		Presentations by Mangpo and Joel
●Tue,  Mar 19		Brainstorming
●Tue,  Mar 26		Spring Break
●Tue,  Apr 2		Reports on ASPLOS and ETAPS
●Tue,  Apr 9		Presentation by Greg Bronevetsky on a framework for symbolic analysis
●Tue,  Apr 16		Presentation by Martin Schäf on detecting code inconsistencies
●Tue,  Apr 23		Presentation by Ben Hindman on libprocess and its use in industry
●Tue,  Apr 30		Panel discussion of startups
●Tue,  May 7		Presentation by Rohit and Nishant on crowdsourcing verification
●Tue,  May 14		Presentation by Stefan Hanenberg on empirical evaluation of programming language theory

Meetings Fall '12:

●Wed,  Sep 5		Presentation by Mangpo and a discussion of internships
●Wed,  Sep 12		Presentation by Philip on tolerating use-after-free bugs and by Joel and Philip on PL in practice
●Wed,  Sep 19		Presentation by Derrick on education technology
●Wed,  Sep 26		Three minute madness: everyone presents their work
●Wed,  Oct 3		Presentation by Wontae on Android GUI testing
●Wed,  Oct 10		Teach a feature: discussion of various underrated language features
●Wed,  Oct 17		Presentation by Michael on PyGAS
●Wed,  Oct 24		Presentation by Joel on algorithms for synthesis
●Wed,  Oct 31		Presentation by Michael Pradel
●Wed,  Nov 7		Presentation by Jacob
●Wed,  Nov 14		Discussion of the PL prelim
●Wed,  Nov 21		Talk in 306 Soda at 12 followed by lunch and discussion in 551 Soda at 1
●Wed,  Nov 28		Presentation by Beth Trushkowsky
●Wed,  Dec 5		Presentation by Manu Sridharan on Effective Race Detection for Event-Driven Programs
●Wed,  Dec 12		Presentation by Dave Herman on asm.js: A High-Performance Subset of JavaScript

Meetings Summer '12:

●Mon,  June 4		Presentation by Philip Guo on the Online Python Tutor
●Mon,  June 11		Presentation by Zach Anderson
●Mon,  June 18		Presentation by Joel
●Mon,  June 25		Discussion about mobile computing challenges
●Mon,  July 2		Discussion about techniques for use in developing regions
●Mon,  July 9		Cancelled for POPL submissions and CAV
●Mon,  July 16		Discussion of verifying compilers (e.g., ESC/Java and VCC)
●Mon,  July 23		Discussion of interactive analyses (e.g., this paper)
●Mon,  July 30		Planning of future meetings
●Mon,  August 6		Presentation by Shaon
●Mon,  August 13		Tutorial on PLT Redex
●Mon,  August 20		Presentations by Matt and Eric
●Mon,  August 27		New grad welcome and presentation by Leo on sociology statistics

Meetings Spring '12:

●Wed,  Jan 25		Discussion of the future of PL
●Wed,  Feb 1		Discussion of end-user programming (Sikuli and Sloppy Programming)
●Wed,  Feb 8		Discussion of large-scale symbolic execution and survey of programming language choices (Cloud9 and Symbolic Execution in Practice)
●Wed,  Feb 15		Seminar on the Opa language
●Wed,  Feb 22		Discussion of gradual typing (Hybrid Type Checking and Gradual Typing for Functional Languages)
●Wed,  Feb 29		Discussion of using PL techniques for education
●Wed,  Mar 7		Discussion of design processes for human-centric programming languages and tools
●Wed,  Mar 14		Discussion of biology synthesis
●Wed,  Mar 21		Presentation by Shoaib Kamil on SEJITS
●Wed,  Mar 28		Spring Break
●Wed,  Apr 4		Presentation by Nick Jalbert about Captricity
●Wed,  Apr 11		Presentation by Milind Kulkarni
●Wed,  Apr 18		Presentation by Philippe Suter
●Wed,  Apr 25		Presentation by Rohit Sinha on verifying hypervisors
●Wed,  May 2		Presentation by Cindy Rubio-González on Finding Error-Handling Bugs in Systems Software Using Static Analysis
●Wed,  May 9		Presentation by Wonchan Lee on Termination Analysis with Algorithmic Learning
●Wed,  May 16		Practice for the retreat

Meetings Fall '11:

●Thu,  Oct 13		Introductions and overviews of individual research
●Thu,  Oct 20		Derrick (build systems and debugging SEJITS) and Jacob (inferring expected program complexity)
●Thu,  Oct 27		Joel (programming with concrete state) and Philip (GPU garbage collection)
●Thu,  Nov 3		Cancelled for PLDI
●Thu,  Nov 10		Leo (sociological principles for PL) and Nicholas (monad transformers and Sketch)
●Thu,  Nov 17		Richard (SEJITS debugging with traces) and Tayfun (verifying programs that use TM with relaxed conflicts)
●Thu,  Nov 24		Thanksgiving
●Thu,  Dec 1		Shaon and Ali
●Thu,  Dec 8		Patrick Lam (views for controlling concurrency)
●Thu,  Dec 15		Leo (clustered data parallelism) and Matko Botincan (proof-based parallelization)

Meetings Spring '11:

●Mon,  Feb 14		Presentation by Mayur Naik.
●Mon,  Feb 28		PL club: Spark and Bloom
●Mon,  Mar 7		Presentation by Domagoj Babic
●Mon,  Mar 14		Visit day special (12-1, 551 Soda)
●Mon,  Mar 21		Spring Break
●Mon,  Apr 4		PL club: BYOB
●Mon,  Apr 11		Presentation by Saurabh Srivastava
●Mon,  Apr 25		Discussion of the PL prelim
●Mon,  May 4		Further discussion of the PL prelim
●Mon,  May 9		PL club: Jonathan Bachrach

Meetings Fall '10:

●Tue,  Sep 7		Discussion of future meetings and presentation by Joel
●Tue,  Sep 21		Presentation by Percy
●Tue,  Oct 5		Presentations by Nicholas and Thibaud
●Tue,  Oct 19		Presentations by Jacob and Shaon
●Tue,  Nov 9		Presentation by George
●Tue,  Nov 16		Discussion about open-sourcing research projects
●Tue,  Nov 30		Presentations by Ben and Joel
●Tue,  Dec 14		Presentations by Derrick and Tayfun

Meetings Spring '10:

●Tue,  Jan 26		Presentation by Don Syme
●Tue,  Feb 9		Discussion of the PL prelim
●Tue,  Feb 23		Presentation by Mayur Naik
●Tue,  Mar 9		Presentation by Percy
●Tue,  Mar 23		Spring Break
●Tue,  Apr 6		Presentations by Susmit and Jacob
●Tue,  Apr 20		Presentations by Leo and Pallavi
●Tue,  May 4		Presentations by Gilad and Bjorn Hartmann

Meetings Fall '09:

●Tue,  Sep 15		First meeting of the semester
●Tue,  Sep 29		Presentation by Wes Weimer
●Tue,  Oct 13		Presentations by Seth and George
●Tue,  Oct 27		Presentations by Nick and Joel
●Tue,  Nov 10		Presentations by Chang-Seo and Mayur Naik
●Tue,  Nov 24		Presentation by Susmit
●Tue,  Dec 8		Presentations by Raluca and Pallavi

Meetings Spring '08:

●Tue,  Jan 22		First meeting of the semester
●Tue,  Jan 29		Presentation by Bill McCloskey
●Tue,  Feb 5		Presentation by AJ Shankar
●Tue,  Feb 12		Presentation by Evan Chang
●Tue,  Feb 19		Presentation by Armando Solar-Lezama
●Tue,  Feb 26		Presentation by Yamini Kannan
●Tue,  Mar 4		Presentation by Lexin Shan
●Tue,  Mar 11		Presentation by Mayur Naik
●Mon,  Mar 17		Grad Student visit day (Notice this is a monday).
●Tue, Mar 25		Spring Break
●Tue, Apr 1		Presentation by Chris Jones
●Tue, Apr 8		Open
●Tue, Apr 15		Presentation by AJ Shankar
●Tue, Apr 22		Presentation by Apollo Ellis
●Tue, Apr 29		Presentation by Leo Meyerovich
●Tue, May 6		Presentation by Raluca Sauciuc
●Tue, May 13		Presentation by Zach Anderson

Meetings Fall '06: 

●Thurs, Aug 31		First meeting of the semester.
●Thurs, Sept 7	Adam Chlipala	Modular Development of Certified Program Verifiers with a Proof Assistant. (ICFP '06)
●Thurs, Sept 14	Arindam Chakrabarti	Software Partitioning for Effective Automated Unit Testing. (EMSOFT '06)
●Thurs, Sept 21	Zachary Anderson	A concolic testing tool for C.
●Thurs, Sept 28	Matthew Tschantz	Javari: Java with reference immutability.
●Thurs, Oct 5	Armando Solar-Lezama	Sketching for Structured Grid Computations.
●Thurs, Oct 12	Daniel Kröning, ETH Zurich	Model Checking C++ Programs that use the STL. [abstract]
●Thurs, Oct 19	AJ Shankar	Transparent Incrementalization of Data Structure Invariants.
●Thurs, Oct 26	Emery Berger, UMass	Exploiting Multiple Cores Now: Scalability and Reliability for Off-the-shelf Software. [abstract]
●Thurs, Nov 2	Feng Zhou	SafeDrive - Safe and Recoverable Extensions Using Language-Based Techniques (OSDI '06).
●Thurs, Nov 9	Bill McCloskey	Real-Time Garbage Collection for Java.
●Thurs, Nov 16	Liviu Tancau	JavaSketch
●Thurs, Nov 23		No meeting  (Thanksgiving).
●Thurs, Nov 30	Daniel Wilkerson, Taras Glek, Igor Bukanov, Tim Riley, and Brendan Eich (Mozilla)	The Oink Open-Analysis Framework in Action at Mozilla
●Thurs, Dec 7	Marta Kwiatkowska, University of Birmingham	PRISM - Probabilistic Symbolic Model Checking. [abstract]
●Thurs, Dec 14	Jim Whitehead, UCSC	Predicting Bugs by Analyzing Software History. [abstract]

Meetings Spring '06:

● Wed, Jan 18	Bill McCloskey	Scripting languages and dynamic typing.
● Wed, Jan 25	Manu Sridharan	Refinement-Based Context-Sensitive Points-To Analysis for Java.
● Wed, Feb 1	Yuanyuan Zhou, UIUC	ARTS: Available, Robust and Trusted Software.
● Wed, Feb 8	Dan Wilkerson	Elsa/Oink/Cqual++. (CodeCon '06)
● Wed, Feb 15	Greg Bronevetsky, Cornell.	Application-level checkpointing for multi-threaded programs. [abstract]
● Wed, Feb 22	David Bacon, IBM	Eventrons: A Safe Programming Construct for High-Frequency Hard Real-Time Applications.
● Wed, Mar 1
● Wed, Mar 8	Evan and Jeremy	Model checking for heaps, and bounds checking for C.
● Thurs, Mar 16    11:00 -12:30    in  320 Soda	Tom Reps	WYSINWYX: What You See Is Not What You eXecute
● Wed, Mar 22
● Wed, Mar 29	(No meeting)	Spring break
● Wed, Apr 5	Simon Goldsmith	Trend Profiling: Empirical Computational Complexity
● Wed, Apr 12	David Monniaux	The ASTRÉE Static Analyzer
● Wed, Apr 19	Adam Chlipala	The Ultimate Web Programming Language.
● Wed, Apr 26
● Wed, May 3	Marat Boshernitsan	Dissertation talk
● Wed - Fri,      May 10 - 12	The Sixth Annual OSQ Retreat

Meetings Fall '05:

• Wed, Aug 31. John Kodumal and Tachio Terauchi.  SAS practice talks: A duet.
• Wed, Sep 7.   Adam Chlipala.  Summer project at MSR.
• Wed, Sep 14. Dave Mandelin.  Comparing models (Summer project at IBM Watson.)
• Wed, Sep 21. AJ Shankar.  Runtime Specialization With Optimistic Heap Analysis (OOPSLA '05)
• Wed, Sep 28. Rob O'Callahan, Novell.  Engineering Firefox [abstract] [slides]
• Wed, Oct 5.  Manu Sridharan.  Demand-Driven Points-to Analysis for Java (OOPSLA '05)
• Wed, Oct 12. PLDI submission preview.
• Wed, Oct 19. Armando Solar-Lezama.
• Wed, Oct 26. Simon Goldsmith. Predicting the scalability of programs.
• Wed, Nov 2.  Adam Megacz.  The Java Boolean Parser (JBP), a scannerless GLR parser.
• Wed, Nov 9.  Shuvendu Lahiri, Microsoft Research.  Verifying Properties of Well-Founded Linked Lists (POPL '06) [abstract]
• Wed, Nov 16.Adam Chlipala.
• Wed, Nov 23. Python.
• Wed, Nov 30. Bill McCloskey.  Autolocker: Synchronization Inference for Atomic Sections. (POPL '06)
• Wed, Dec 7.  Adam Chlipala.  A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety (VMCAI '06).
• Wed, Dec 14. Gilad Arnold.  Combining Shape Analyses by Intersecting Abstractions (VMCAI '06).

Meetings Spring '05:

• Friday, Jan 28. Daniel Wilkerson: A Suite of Tools for Pragmatic Program Analysis of C and C++.
• Friday, Feb 4 (CS 264 guest lecture). Job talk by Sumit Gulwani: Program Analysis using Random Interpretation.
• Friday, Feb 4 (OSQ Lunch). Job talk by Wes Weimer: Language Support For Run-Time Error Handling Mistakes.
• Friday, Feb 11. Scott McPeak: Data Structure Invariants.
• Friday, Feb 18. Job talk by Andy Begel: Programming by voice.
• Friday, Feb 25. AJ Shankar: On-line analysis for dynamic compilation.
• Friday, Mar 4. Manu Sridharan: Points-to analysis in Java vs. C.
• Friday, Mar 11. Jeremy Condit: Data Slicing (with flying boxes, of course).
• Friday, Mar 18. Job talk by Marat Boshernitsan.
• Friday, Apr 1. Adam Chlipala: A language for writing provably-correct program verifiers.
• Friday, Apr 8. Armando Solar-Lezama: StreamBit: Optimization of Bit-Stream Programs through Sketching
• Friday, Apr 15. Rupak Majumdar
• Friday, Apr 22. David Mandelin
• Friday, Apr 29. Arindam Chakrabarti: Web Services Interfaces.
• Friday, May 6. Simon Goldsmith: Profiling for scalability.
• Thursday - Friday, May 12-13. OSQ Retreat.

• Fri Dec 10. Adam Chlipala told us about the OpenVerifier.
• Fri Nov 19. CS Job Search Fireside Chat: Ben Liblit, Rupak Majumdar, Ranjit Jhala.
• Fri Nov 12. Evan Chang. Abstract interpretation with alien expressions and heap structures.
• Fri Oct 29. Manu Sridharan spoke on post-mortem analysis of crash reports.
• Fri Oct 15. Wes Weimer talked about specification mining techniques for bug-finding.
• Fri Oct 08. Tom Ball: A Theory of Predicate-Complete Test Coverage and Generation [Abstract]
• Fri Oct 01. There was chit-chat.
• Fri Sep 24. Mooly Sagiv, Tel Aviv University: A Case Study in Automatic Assume-Guarantee Reasoning Proving Conformance to Collection Interface Requirement (Ongoing work).

• Sat May 22. Spring semester ends, last day of finals.
• Thu May 13 - Fri May 13. OSQ Retreat.
• Mon May 03. John Kodumal, PLDI Practice Talk.
• Mon Apr 26. Sumit Gulwani -- global value numbering results and algorithm tutorials .
• Mon Apr 12. Bill McCloskey: Macros -- analyzable language and translation tools for replacing the C preprocessor.
• Mon Apr 05. Simon Goldsmit: Partiqle -- program trace query language, lightweight monitoring.
• Mon Mar 29. Scott McPeak: Elkhound practice talk for CC04.
• Mon Feb 23. Scott McPeak: Using Knuth-Bendix to complete axiom sets for data structure invariants.
• Mon Feb 09. Armando Solar-Lezama: Sketching high-performance implementations of bitstream programs.
• Mon Feb 02. Dirk Beyer: Simple and Efficient Relational Querying. You can also find out more about the CrocoPat project.
• Mon Jan 26. First meeting. Scott McPeak spoke on handling padding and alignmnet in CCured.

• Monday, December 15, 4pm. Stephen Freund, Cormac Flanagan. "Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs."
• Tuesday, December 09. AJ Shankar spoke on Dynamic Specialization.
• Tuesday, December 02. Ben Liblit spoke on Random Sampling.
• Tuesday, Novemeber 25. Evan Chang spoke on applying PL techniques to Systems Biology.
• Tuesday, Novemeber 18. George Necula spoke on the Open Verifier.
• Tuesday, Novemeber 04. Rob Johnson: Scaling CQual to Millions of Lines of Code and Millions of Users.
• Tuesday, October 28. Hao Chen: Experiences with Checking a Million Lines of Codes. You can find out more about the MOPS project here.
• Tuesday, October 21. Evan Chang spoke on the internals of the Open Verifier. Adam Chlipala discussed the type system reasoning required to make a TAL extension for the Open Verifier, paying special attention to continuations.
• Tuesday, October 14. Sumit Gulwani spoke on "Combining Abstract Interpreters".
• Tuesday, October 7. Arindam gave a practice talk for Emsoft about "Resource Interfaces".
• Tuesday, September 30. Scott McPeak spoke about helicopters.
• Tuesday, September 23. Matt Harren spoke on the XJ project at IBM (related to providing language support for XML).
• Monday, September 08. Jeremy Condit spoke on "Region-based model abstraction", work done at Microsoft Research.
• Monday, September 15. Scott McPeak spoke on the importance of injective functions for dealing with strong updates in program verification.
• Monday, September 15, 4pm in 540 Cory. Rupak Majumdar gave his Ph.D. talk on Quantitative Games in Verification.

• Tuesday, May 13th-15th. OSQ Retreat. The retreat will be two days long. A tentative schedule is available.
• Monday, May 5. Jeremy Condit gave a practice PLDI talk on CCured.
• Monday, April 14. John Kodumal.
• Monday, April 7. Facult Candidate Talk by Chris Olston (entitled Approximate Replication).
• Wednesday, April 9. Special Meeting. "Object Equality Profiling" by Darko Marinov, MIT.
• Monday, February 10. Christoph Kirsch.
• Monday, February 24. Marco Sanvido.
• Monday, March 3. Krishnendu Chatterjee.
• Monday, March 10. Scott McPeak on Elsa/Elkhound.
• Monday, March 17. No meeting. Grad student visit day.
• Monday, March 24. No meeting. Spring Recess.
• Monday, March 31. No speaker.

• Monday, December 9. Last meeting of the semester. There will be food. Westley Weimer gave a summary of the pros and cons of major OSQ projects.
• Monday, December 2. Rupak Majumdar gave an informal presentation on ongoing work in race detection (read: parallel BLAST) with Ranjit Jhala and Shaz Qadeer. Daniel Weise was visiting.
• Monday, Novemeber 25. Natarajan Shankar and associates from SRI gave a demo of the SALEnv model checking framework. Rob O'Callahan from IBM was present and encouraged students to look into IBM internships.
• Monday, Novemeber 18. Sumit Gulwani gave a practice talk: Discovering Affine Equalities Using Random Interpretation.
• Monday, Novemeber 11. No meeting: Veterans Day (University Holiday). Check out Hao Chen's paper entitled "MOPS: an Infrastructure for Examining Security Properties of Software". The full version is available.
• Monday, November 4. Wes Weimer gave a presentation about the success of the OSQ project. A general discussion about the nature of its successor project ensued.
• Monday, October 28. Manu Sridharan gave a demo of The Alloy Analyzer. David Schmidt from Kansas State University was visiting.
• Monday, October 14. Sriram Rajamani spoke on the Behave! project at Microsoft Research.
• Monday, October 7. Ben Liblit spoke on fair randomized program sampling.
• Monday, September 30. Wes Weimer spoke on speeding up data-flow analysis using flow-insensitive pointer analysis (an SAS 2002 presentation).
• Monday, September 23. Ranjit Jhala spoke about model-checking heap data structures.
• Monday, September 16. Scott McPeak spoke about Elkhound, a system and algorithm for GLR parsing. His slides are available in PPT and in PS.
• Monday, September 9. First meeting of the semester. General discussion.
• Monday, September 2. No Meeting: Labor Day.

OSQ Project Retreats

Past retreats:

• 2011 Retreat Presentations.
• 2010 Retreat Presentations.
• 2009 Retreat Presentations.
• 2004 Retreat Presentations.
• 2003 Retreat Presentations.
• 2002 Retreat Presentations.
• 2001 Retreat Presentations.

Page maintained by Joel Galenson.