Dave Schmidt's recent presentations
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