Please go here for my Recent Publications

Recent Presentations

• Beth Unger at CIS: Fairchild Hall, 1971-85. Beth-Unger-Fest, April 29, 2016. PDF

• What is Computable?. CIS115, April 28, 2016. HTML

• Principles and applications of abstract-interpretation-based static analysis, SLS'13, June 2013. PS | PDF

• Abstract LR-parsing. FHCT'11, November 2011. PDF

• Namespace-based language modelling. Seoul National University and Hanyang University, November, 2010. HTML

• Abstract parsing with string updates using LR-parsing technology. Seoul National University, November, 2010. PDF

• Abstract parsing. KSU CIS departmental presentation, October 2009. PDF

• Programs are circuits, and knowledge travels through the wires. Hanyang University, Ansan, South Korea, September 2009. HTML

• Abstract interpretation from a topological perspective. Static Analysis Symposium, Los Angeles, August 2009. PDF

• Abstract parsing. Static Analysis Symposium, Los Angeles, August 2009. PDF

• Abstract interpretation from a denotational semantics perspective. Math. Foundations of Programming Semantics, Oxford, April 2009. PDF

• A brief introduction to software architecture. New Mexico State University, Feb. 2009, and FAC'09, Toulouse, April 2009. PDF

• A brief introduction to static program analysis. Chalmers University, Gothenburg, Sweden, Sept. 2008. PDF

• Software architectures: an informal introduction (short version). Hanyang University, Ansan, Korea, May 2008. PDF

• Internal and external logics of abstract interpretations. Proc. Verification, Model Checking, and Abstract Interpretation (VMCAI'08), January 2008. PDF

• Extracting program logics from abstract interpretations defined by logical relations. 23d Conf. Math. Foundations Prog. Semantics, New Orleans, April 2007. PDF

• Comparing completeness properties of static analyses and their logics. 2006 Asian Symp. Prog. Lang. and Systems, Sydney, November 2006. PDF

• Underapproximating predicate transformers. 2006 Static Analysis Symposium, Seoul, August 2006. PDF

• Software architectures: an informal introduction. Course lectures for STRESS and EJCP. PDF

• Underapproximation in VMCAI. Invited presentation at VMCAI'06, Charleston, SC, January 2006. PS.GZ | PDF.

  Less Recent Presentations

• CIS200 and 300 and the core. Departmental presentation, October 2004. PS.GZ | PDF.
• Loyola University, Chicago, October 2004: Please see the 4th item listed below.
• Closed and logical relations for over- and under-approximation of powersets. Static Analysis Symposium, Verona, IT, August 2004. PS.GZ | PDF.
• Verona, July 2004: Please see the two items listed immediately below. The review materials from Day 1 are here.
• Data-flow analysis is model checking of abstract interpretations. A reconstruction of a presentation at POPL'98.
• Abstract interpretation and static analysis. Lectures at the Winter School on Semantics and Applications, WSSA'03, Montevideo, Uruguay, July 2003. (revised, July 2004)
• An introduction to separation logic. Presentation to IRISA, Rennes, May 2004. PS.GZ | PDF
• Closed and logical relations for over- and under-approximation of powersets. Presentation to Ecole Normale Superieure, Paris, Feb. 2004. PS | PDF
• Extending overapproximating models: an introduction to mixed models and separation logic. Presentation to INRIA Rhone-Alps, Grenoble, January 2004. PS | PDF
• Abstract models of shape: branching- and linear-time. Dagstuhl Seminar 03101, March 2003. PS.GZ | PDF
• Storeless semantics and separation logic Research presentation, Ecole Normale Superieure, Dec. 2002.
• Marrying Hoare logic to shape analysis. Open Source Quality retreat, Santa Cruz, May 2002.
• Guards and guarantees for programming. Presentation to CIS492, May 2003. PS.GZ | PDF
• Declarative Programming, Software Architectures, and Programming in the Large: Should UML Be Used in Declarative Programming? Conference on Principles and Practices of Declarative Programming, Firenze, Italy, September, 2001.
• From Execution Traces to Modal Transition Systems Workshop on Structure-Preserving Relations, Amagasaki, Japan, March 2001.
• Proving Properties about Abstractions and Refinements, Bell Labs, Naperville, IL, Feb. 2000
• Binary Relations for Abstraction and Refinement, Workshop on Refinement and Abstraction, Amagasaki, Japan, Nov. 1999
• Model Checking and Abstraction, Static Analysis Symposium, Venice, Sept. 1999