Folgen
Ben Wiedermann
Ben Wiedermann
Bestätigte E-Mail-Adresse bei g.hmc.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
19542006
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
1792014
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
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
1152015
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
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
The dacapo benchmarks
SM Blackburn, KS McKinley, JEB Moss, S Augart, ED Berger, P Cheng, ...
ACM SIGPLAN Notices 41 (10), 169, 2004
182004
Widening for control-flow
B Hardekopf, B Wiedermann, B Churchill, V Kashyap
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
172014
Remote Batch Invocation for SQL Databases.
WR Cook, B Wiedermann
DBPL, 2011
152011
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
92006
Know your place: Selectively executing statements based on context
B Wiedermann
Technical Report TR-07–38, 2007
82007
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
62017
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20