Follow
Ben Wiedermann
Ben Wiedermann
Verified email at g.hmc.edu - Homepage
Title
Cited by
Cited by
Year
The DaCapo benchmarks: Java benchmarking development and analysis
SM Blackburn, R Garner, C Hoffmann, AM Khang, KS McKinley, ...
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented …, 2006
20452006
JSAI: A static analysis platform for JavaScript
V Kashyap, K Dewey, EA Kuefner, J Wagner, K Gibbons, J Sarracino, ...
Proceedings of the 22nd ACM SIGSOFT international symposium on Foundations …, 2014
1922014
Wake up and smell the coffee: Evaluation methodology for the 21st century
SM Blackburn, KS McKinley, R Garner, C Hoffmann, AM Khan, R Bentzur, ...
Communications of the ACM 51 (8), 83-89, 2008
1482008
Understanding the challenges faced by neurodiverse software engineering employees: Towards a more inclusive and productive technical workforce
MR Morris, A Begel, B Wiedermann
Proceedings of the 17th International ACM SIGACCESS Conference on computers …, 2015
1372015
Timing-and termination-sensitive secure information flow: Exploring a new approach
V Kashyap, B Wiedermann, B Hardekopf
2011 IEEE Symposium on Security and Privacy, 413-428, 2011
1132011
Extracting queries by static analysis of transparent persistence
B Wiedermann, WR Cook
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
692007
Interprocedural query extraction for transparent persistence
B Wiedermann, A Ibrahim, WR Cook
ACM Sigplan Notices 43 (10), 19-36, 2008
662008
Jinn: synthesizing dynamic bug detectors for foreign language interfaces
B Lee, B Wiedermann, M Hirzel, R Grimm, KS McKinley
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010
632010
Type refinement for static analysis of JavaScript
V Kashyap, J Sarracino, J Wagner, B Wiedermann, B Hardekopf
Proceedings of the 9th symposium on Dynamic languages, 17-26, 2013
412013
Widening for control-flow
B Hardekopf, B Wiedermann, B Churchill, V Kashyap
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
212014
Remote Batch Invocation for SQL Databases.
WR Cook, B Wiedermann
DBPL, 2011
142011
User-guided synthesis of interactive diagrams
J Sarracino, O Barrios-Arciga, J Zhu, N Marcus, S Lerner, B Wiedermann
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems …, 2017
92017
Know your place: Selectively executing statements based on context
B Wiedermann
Technical Report TR-07–38, 2007
82007
The DaCapo Benchmarks: Java Benchmarking Development and Analysis. OOPSLA'06: Proceedings of the 21st annual ACM SIGPLAN conference on ObjectOriented Programing
SM Blackburn, R Garner, C Hoffman, AM Khan, KS McKinley, R Bentzur, ...
Systems, Languages, and Applications, 2006
82006
Model transformation by partial evaluation of model interpreters
WR Cook, B Delaware, T Finsterbusch, A Ibrahim, B Wiedermann
Technical Report TR-09-09, UT Austin Department of Computer Science, 2008
72008
JSAI: Designing a sound, configurable, and efficient static analyzer for JavaScript
V Kashyap, K Dewey, EA Kuefner, J Wagner, K Gibbons, J Sarracino, ...
arXiv preprint arXiv:1403.3996, 2014
42014
Language design and analyzability: a retrospective
BG Ryder, B Wiedermann
Software: Practice and Experience 42 (1), 3-18, 2012
42012
Language design for distributed objects
WR Cook, E Tilevich, A Ibrahim, B Wiedermann
Proceedings of the 1st International Workshop on Distributed Objects for the …, 2009
32009
A formal specification of pointer analysis approximations
B Hardekopf, B Wiedermann, WR Cook, C Lin
submission to Programming Language Design and Implementation (PLDI), 2009
32009
Strategic programming by model interpretation and partial evaluation
WR Cook, B Delaware, T Finsterbusch, A Ibrahim, B Wiedermann
Submitted for publication to ICSE, 2009
32009
The system can't perform the operation now. Try again later.
Articles 1–20