Ben Wiedermann

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 1

Top Topics

Scripting Language

Symbolic Execution

Static Analysis

Technical Skills

Top Venues

Publications

John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann
User-Guided Synthesis of Interactive Diagrams. CHI (2017)
Meredith Ringel Morris, Andrew Begel, Ben Wiedermann
Understanding the Challenges Faced by Neurodiverse Software Engineering Employees: Towards a More Inclusive and Productive Technical Workforce. ASSETS (2015)
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
JSAI: a static analysis platform for JavaScript. SIGSOFT FSE (2014)
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript. CoRR (2014)
Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap
Widening for Control-Flow. VMCAI (2014)
Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf
Type refinement for static analysis of JavaScript. DLS (2013)
Barbara G. Ryder, Ben Wiedermann
Language design and analyzability: a retrospective. Softw. Pract. Exp. 42 (1) (2012)
William R. Cook, Ben Wiedermann
Remote Batch Invocation for SQL Databases. DBPL (2011)
Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf
Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach. IEEE Symposium on Security and Privacy (2011)
Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
Jinn: synthesizing dynamic bug detectors for foreign language interfaces. PLDI (2010)
Stephen M. Blackburn, Kathryn S. McKinley, Robin Garner, Chris Hoffmann, Asjad M. Khan, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann
Wake up and smell the coffee: evaluation methodology for the 21st century. Commun. ACM 51 (8) (2008)
Ben Wiedermann, Ali Ibrahim, William R. Cook
Interprocedural query extraction for transparent persistence. OOPSLA (2008)
Ben Wiedermann, William R. Cook
Extracting queries by static analysis of transparent persistence. POPL (2007)
Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann
The DaCapo benchmarks: java benchmarking development and analysis. OOPSLA (2006)