• e: benw@cs.hmc.edu
  • p: (909) 607 - 5330

Research Interests

I want to make it easier for more people to write good programs. I 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. I also create languages and tools, for non-programmers.

Publications

Peer-reviewed Publications

ASSETS 2015
Understanding the Challenges Faced By Neurodiverse Software Engineering Employees: Towards a More Inclusive and Productive Technical Workforce Best paper award
Meredith Ringel Morris, Andrew Begel, Ben Wiedermann
FSE 2014
Vineeth Kashyap, Kyle Dewey, Ethan Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
VMCAI 2014
Ben Hardekopf, Ben Wiedermann, Berkeley Churchill, and Vineeth Kashyap
DLS 2013
Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf
DBPL 2011
W. R. Cook and B. Wiedermann
Oakland 2011
V. Kashyap, B. Wiedermann, and B. Hardekopf
PLDI 2010
B. Lee, B. Wiedermann, M. Hirzel, R. Grimm, and K. S. McKinley
DO21 2009
W. R. Cook, A. Ibrahim, E. Tilevich, and B. Wiedermann
OOPSLA 2008
B. Wiedermann, A. Ibrahim, and W. R. Cook
CACM August, 2008
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
B. Wiedermann and W. R. Cook
OOPSLA 2006
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 Journal Papers

Software: Practice and Experience
B. G. Ryder and B. Wiedermann

Books

Prentice Hall February, 2002
H. Deitel, P. Deitel, J. Liperi and B. Wiedermann
Prentice Hall February, 2002
H. Deitel, P. Deitel, J. Liperi and B. Wiedermann

Dissertation

UT Austin December, 2009
B. Wiedermann

Technical Reports

UTCS TR-09-09 February, 2009
W. R. Cook, B. Delaware, T. Finsterbusch, A. Ibrahim, and B. Wiedermann
UTCS TR-09-40 December, 2009
A. Ibrahim, B. Wiedermann, and W. R. Cook
UTCS TR-08-32 July, 2008
B. Hardekopf, B. Wiedermann, W. R. Cook, and C. Lin
UTCS TR-07-38 July, 2007
B. Wiedermann
ANUCS TR-CS-06-01 October, 2006
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