Ben Wiedermann

Professor, Computer Science

benw@cs.hmc.edu

(909) 607 - 5330

MCSC 315

Research Interests

I want to make it easier for more people to write good programs. I like to design new languages and tools, especially for people who might not consider themselves to be programmers.

I also apply formal, programming-languages techniques and tools (e.g., abstract interpretation, formal semantics, program analysis) to make it easier to write programs in existing languages.

Peer-Reviewed Publications, Panels, Presentations, and Workshops

Performing Tangier 2019
Performing Puzzle (workshop)
Andrea Moore and Ben Wiedermann
AAC&U 2019
Transforming Core Curricula—and Campus Cultures (presentation)
Ben Wiedermann, Laura Palucki Blake, Cassandra Horii, Jennifer Weaver.
CHI 2017
User-Guided Synthesis of Interactive Diagrams
John Sarracino, Giovani Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann
ASSETS 2015
Understanding the Challenges Faced By Neurodiverse Software Engineering Employees: Towards a More Inclusive and Productive Technical Workforce
Meredith Ringel Morris, Andrew Begel, Ben Wiedermann
Best paper award
FSE 2014
JSAI: A Static Analysis Platform for JavaScript
Vineeth Kashyap, Kyle Dewey, Ethan Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
VMCAI 2014
Widening for Control-Flow
Ben Hardekopf, Ben Wiedermann, Berkeley Churchill, and Vineeth Kashyap
DLS 2013
Type Refinement for Static Analysis of JavaScript
Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf
DBPL 2011
Remote Batch Invocation for SQL Databases
W. R. Cook and B. Wiedermann
Oakland 2011
Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach
V. Kashyap, B. Wiedermann, and B. Hardekopf
PLDI 2010
Jinn: Synthesizing Dynamic Bug Detectors for Foreign Language Interfaces
B. Lee, B. Wiedermann, M. Hirzel, R. Grimm, and K. S. McKinley
DO21 2009
Language Design for Distributed Objects
W. R. Cook, A. Ibrahim, E. Tilevich, and B. Wiedermann
OOPSLA 2008
Interprocedural Query Extraction for Transparent Persistenc
B. Wiedermann, A. Ibrahim, and W. R. Cook
CACM August, 2008
Wake Up and Smell the Coffee: Evaluation Methodology for the 21st Century
S. M. Blackburn, K. S. McKinley, R. Garner, C. Hoffman, A. M. Khan, R. Bentzur A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanovic, T. VanDrunen, D. von Dincklage, and B. Wiedermann
POPL 2007
Extracting Queries by Static Analysis of Transparent Persistence
B. Wiedermann and W. R. Cook
OOPSLA 2006
The DaCapo Benchmarks: Java Benchmarking Development and Analysis
S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanovic, T. VanDrunen, D. von Dincklage, and B. Wiedermann

Invited Publications, Panels, Presentations, and Workshops

CCSC-SW 2013
Flavors of Active Learning in CS Classrooms (panel)
C. Lewis, M. Clancey, C. Bailey Lee, M. O’Neill, N. Shah, B. Wiedermann
Software: Practice and Experience
Language Design and Analyzability: A Retrospective (journal publication)
B. G. Ryder and B. Wiedermann

Books

Prentice Hall February, 2002
Python How To Program
H. Deitel, P. Deitel, J. Liperi and B. Wiedermann
Prentice Hall February, 2002
The Complete Python Training Course
H. Deitel, P. Deitel, J. Liperi and B. Wiedermann

Dissertation

UT Austin December, 2009
Integrating Programming Languages and Databases via Program Analysis and Language Design
B. Wiedermann

Technical Reports

UTCS TR-09-09 February, 2009
Model Transformation by Partial Transformation of Model Interpreters
W. R. Cook, B. Delaware, T. Finsterbusch, A. Ibrahim, and B. Wiedermann
UTCS TR-09-40 December, 2009
Coordinating Database and Programming Language Research
A. Ibrahim, B. Wiedermann, and W. R. Cook
UTCS TR-08-32 July, 2008
A Unifying Framework for Describing the Space of Pointer Analysis Approximations (Extended Version)
B. Hardekopf, B. Wiedermann, W. R. Cook, and C. Lin
UTCS TR-07-38 July, 2007
Know Your Place: Selectively Executing Statements Based On Context
B. Wiedermann
ANUCS TR-CS-06-01 October, 2006
The DaCapo Benchmarks: Java Benchmarking Development and Analysis (Extended Version)
S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanovic, T. VanDrunen, D. von Dincklage, B. Wiedermann