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
16512006
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
16512006
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
1252014
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
1242008
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
962011
Interprocedural query extraction for transparent persistence
B Wiedermann, A Ibrahim, WR Cook
ACM Sigplan Notices 43 (10), 19-36, 2008
602008
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
592007
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
482010
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
442015
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
362013
The dacapo benchmarks
SM Blackburn, KS McKinley, JEB Moss, S Augart, ED Berger, P Cheng, ...
ACM SIGPLAN Notices 41 (10), 169, 2004
172004
Widening for control-flow
B Hardekopf, B Wiedermann, B Churchill, V Kashyap
International Conference on Verification, Model Checking, and Abstract …, 2014
162014
Remote Batch Invocation for SQL Databases.
WR Cook, B Wiedermann
DBPL, 2011
122011
Know your place: Selectively executing statements based on context
B Wiedermann
Technical Report TR-07–38, 2007
92007
Automated data structure generation: Refuting common wisdom
K Dewey, L Nichols, B Hardekopf
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
82015
D., VANDRUNEN, T., VON DINCKLAGE, D., AND WIEDERMANN, B. The DaCapo benchmarks: Java benchmarking development and analysis
SM BLACKBURN, R GARNER, C HOFFMAN, AM KHAN, KS MCKINLEY, ...
OOPSLA’06: Proceedings of the 21st annual ACM SIGPLAN conference on Object …, 0
6
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
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
52008
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