Research Interests

I am interested in the area of programming languages. In general, I apply formal techniques and tools from the programming languages domain (e.g., abstract interpretation, formal semantics, program analysis) to make it easier to write programs.

Select Publications

full publication list

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
OOPSLA 2008
Interprocedural Query Extraction for Transparent Persistence
B. Wiedermann, A. Ibrahim, and W. R. Cook
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