Ben Wiedermann

15 papers A* 4A 3B 1C 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2017 A* conf
User-Guided Synthesis of Interactive Diagrams.
CHI
John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann
2015 A conf
Understanding the Challenges Faced by Neurodiverse Software Engineering Employees: Towards a More Inclusive and Productive Technical Workforce.
ASSETS
Meredith Ringel Morris, Andrew Begel, Ben Wiedermann
2014 J jnl
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript.
CoRR
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
2014 — conf
JSAI: a static analysis platform for JavaScript.
SIGSOFT FSE
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
2014 B conf
Widening for Control-Flow.
VMCAI
Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap
2013 J jnl
Flavors of active learning in computer science classrooms.
J. Comput. Sci. Coll.
Colleen M. Lewis, Michael Clancy, Cynthia Bailey Lee, Melissa E. O'Neill, Niral Shah, Ben Wiedermann
2013 C conf
Type refinement for static analysis of JavaScript.
DLS
Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf
2012 J jnl
Language design and analyzability: a retrospective.
Softw. Pract. Exp.
Barbara G. Ryder, Ben Wiedermann
2011 — conf
Remote Batch Invocation for SQL Databases.
DBPL
William R. Cook, Ben Wiedermann
2011 A* conf
Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach.
IEEE Symposium on Security and Privacy
Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf
2010 A* conf
Jinn: synthesizing dynamic bug detectors for foreign language interfaces.
PLDI
ByeongCheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
2008 A conf
Interprocedural query extraction for transparent persistence.
OOPSLA
Ben Wiedermann, Ali Ibrahim, William R. Cook
2008 J jnl
Wake up and smell the coffee: evaluation methodology for the 21st century.
Commun. ACM
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
2007 A* conf
Extracting queries by static analysis of transparent persistence.
POPL
Ben Wiedermann, William R. Cook
2006 A conf
The DaCapo benchmarks: java benchmarking development and analysis.
OOPSLA
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