| Red Opal: product-feature scoring from reviews C Scaffidi, K Bierhoff, E Chang, M Felker, H Ng, C Jin Proceedings of the 8th ACM conference on Electronic commerce, 182-191, 2007 | 384 | 2007 |
| Modular typestate checking of aliased objects K Bierhoff, J Aldrich ACM SIGPLAN Notices 42 (10), 301-320, 2007 | 259 | 2007 |
| Verifying correct usage of atomic blocks and typestate NE Beckman, K Bierhoff, J Aldrich Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008 | 96 | 2008 |
| A type system for borrowing permissions K Naden, R Bocchino, J Aldrich, K Bierhoff Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 95 | 2012 |
| Practical API protocol checking with access permissions K Bierhoff, NE Beckman, J Aldrich ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009 | 95 | 2009 |
| Lightweight object specification with typestates K Bierhoff, J Aldrich ACM SIGSOFT Software Engineering Notes 30 (5), 217-226, 2005 | 76 | 2005 |
| PLURAL: checking protocol compliance under aliasing K Bierhoff, J Aldrich Companion of the 30th international conference on Software engineering, 971-972, 2008 | 38 | 2008 |
| Impact analysis for distributed event-based systems D Popescu, J Garcia, K Bierhoff, N Medvidovic Proceedings of the 6th ACM International Conference on Distributed Event …, 2012 | 34 | 2012 |
| API protocol compliance in object-oriented software K Bierhoff Carnegie Mellon University, 2009 | 29 | 2009 |
| Iterator specification with typestates K Bierhoff Proceedings of the 2006 conference on Specification and verification of …, 2006 | 29 | 2006 |
| Incremental Development of a Domain-Specific Language That Supports Multiple Application Styles K Bierhoff, ES Liongosari, KS Swaminathan OOPSLA 6th Workshop on Domain Specific Modeling, 67-78, 2006 | 23 | 2006 |
| Method for statically checking an object-oriented computer program module KM Bierhoff, J Aldrich US Patent 8,327,327 B2, 2008 | 19* | 2008 |
| Architectural mismatch in service-oriented architectures K Bierhoff, M Grechanik, ES Liongosari International Workshop on Systems Development in SOA Environments (SDSOA'07 …, 2007 | 17 | 2007 |
| Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning K Bierhoff Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and …, 2011 | 14 | 2011 |
| Permissions to specify the composite design pattern K Bierhoff, J Aldrich Seventh International Workshop on Specification and Verification of …, 2008 | 13 | 2008 |
| Checking concurrent typestate with access permissions in Plural: A retrospective K Bierhoff, NE Beckman, J Aldrich Engineering of Software: The Continuing Contributions of Leon J. Osterweil …, 2011 | 9 | 2011 |
| Typestate protocol specification in JML T Kim, K Bierhoff, J Aldrich, S Kang Proceedings of the 8th international workshop on Specification and …, 2009 | 9 | 2009 |
| Ego: Controlling the power of simplicity A Bejleri, J Aldrich, K Bierhoff Proc. Foundations of Object-Oriented Languages, 2006 | 9 | 2006 |
| Software architecture at a large financial firm G Fairbanks, K Bierhoff, D D'Souza Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006 | 8 | 2006 |
| Checking the hardware-software interface in Spec# K Bierhoff, C Hawblitzel Proceedings of the 4th workshop on Programming languages and operating …, 2007 | 6 | 2007 |
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
