Seguir
Ben Wiedermann
Ben Wiedermann
Dirección de correo verificada de g.hmc.edu - Página principal
Título
Citado por
Citado por
Año
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
19432006
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
19432006
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
1772014
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
1442008
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
1142011
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
1122015
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
662007
Interprocedural query extraction for transparent persistence
B Wiedermann, A Ibrahim, WR Cook
ACM Sigplan Notices 43 (10), 19-36, 2008
652008
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
592010
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
392013
Widening for control-flow
B Hardekopf, B Wiedermann, B Churchill, V Kashyap
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
172014
The dacapo benchmarks
SM Blackburn, KS McKinley, JEB Moss, S Augart, ED Berger, P Cheng, ...
ACM SIGPLAN Notices 41 (10), 169, 2004
172004
Remote Batch Invocation for SQL Databases.
WR Cook, B Wiedermann
DBPL, 2011
142011
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
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
52017
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20