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 | 2045 | 2006 |
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 | 192 | 2014 |
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 | 148 | 2008 |
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 | 137 | 2015 |
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 | 113 | 2011 |
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 | 69 | 2007 |
Interprocedural query extraction for transparent persistence B Wiedermann, A Ibrahim, WR Cook ACM Sigplan Notices 43 (10), 19-36, 2008 | 66 | 2008 |
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 | 63 | 2010 |
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 | 41 | 2013 |
Widening for control-flow B Hardekopf, B Wiedermann, B Churchill, V Kashyap Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 21 | 2014 |
Remote Batch Invocation for SQL Databases. WR Cook, B Wiedermann DBPL, 2011 | 14 | 2011 |
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 | 9 | 2017 |
Know your place: Selectively executing statements based on context B Wiedermann Technical Report TR-07–38, 2007 | 8 | 2007 |
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 | 8 | 2006 |
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 | 7 | 2008 |
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 | 4 | 2014 |
Language design and analyzability: a retrospective BG Ryder, B Wiedermann Software: Practice and Experience 42 (1), 3-18, 2012 | 4 | 2012 |
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 | 3 | 2009 |
A formal specification of pointer analysis approximations B Hardekopf, B Wiedermann, WR Cook, C Lin submission to Programming Language Design and Implementation (PLDI), 2009 | 3 | 2009 |
Strategic programming by model interpretation and partial evaluation WR Cook, B Delaware, T Finsterbusch, A Ibrahim, B Wiedermann Submitted for publication to ICSE, 2009 | 3 | 2009 |