Ben Wiedermann

According to our database, Ben Wiedermann authored at least 14 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

User-Guided Synthesis of Interactive Diagrams.

John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

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

Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, 2015

2014

JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript.

Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf

CoRR, 2014

Widening for Control-Flow.

Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

JSAI: a static analysis platform for JavaScript.

Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

Type refinement for static analysis of JavaScript.

Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf

Proceedings of the DLS'13, 2013

2012

Language design and analyzability: a retrospective.

Barbara G. Ryder, Ben Wiedermann

Softw. Pract. Exp., 2012

2011

Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach.

Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Remote Batch Invocation for SQL Databases.

William R. Cook, Ben Wiedermann

Proceedings of the Database Programming Languages, 2011

2010

Jinn: synthesizing dynamic bug detectors for foreign language interfaces.

Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2008

Wake up and smell the coffee: evaluation methodology for the 21st century.

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

Commun. ACM, 2008

Interprocedural query extraction for transparent persistence.

Ben Wiedermann, Ali Ibrahim, William R. Cook

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

Extracting queries by static analysis of transparent persistence.

Ben Wiedermann, William R. Cook

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

The DaCapo benchmarks: java benchmarking development and analysis.

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

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006