Automatically Proving the Correctness of Translations Involving Optimized Code, (Dagsthul Seminar on Verifying Optimizing Compilers in July 2005 and superseded by Translation Validation talk)
Multifaceted Toponym Recognition for Streaming News, SIGIR 2011, Beijing, China, July 2011
Reading News with Maps by Exploiting Spatial Synonyms, (UCLA Distinguished Lecture Series - October 2014)
Place-Based Information Systems: Textual Location Identification and Visualization
Supporting Rapid Processing and Interactive Map-Based Exploration of Streaming News, ACM GIS 2012, Redondo Beach, CA, November 2012
The Picture of Health: Map-Based, Collaborative Spatio-Temporal Disease Tracking, HEALTHGIS 2012, Redondo Beach, CA, November 2012
Sorting in Space and Words (ICDE'18)
Siggraph Asia 2016 Sorting in Space Tutorial (animated), (cumulative), (cumulative handout)
Sorting in Space (animated), (cumulative), (ACM DSP)
Sorting in Space and Network Distance Browsing (animated), (cumulative)
Scalable Network Distance Browsing in Spatial Databases, SIGMOD 2008, Vancouver, Canada, June 2008 (Updated 2011), (ACM DSP)
SILC: Efficient Query Processing on Spatial Networks
Spatial Databases and Geographical Information Systems
Issues in Spatial Databases and Geographical Information Systems (Abbreviated)
Issues in Spatial Databases and Geographical Information Systems (Full) (animated), (cumulative), (ACM DSP)
Indexing Methods for Moving Object Databases: Games and Other Applications, SIGMOD 2013, New York, June 2013
AI Day, University of Maryland, May 27, 2007
Query Processing and Optimization for Pictorial Query Trees (Videos) (Demos)