Kevin Bierhoff
Kevin Bierhoff
Verified email at - Homepage
Cited by
Cited by
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
Modular typestate checking of aliased objects
K Bierhoff, J Aldrich
ACM SIGPLAN Notices 42 (10), 301-320, 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
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
Practical API protocol checking with access permissions
K Bierhoff, NE Beckman, J Aldrich
European Conference on Object-Oriented Programming, 195-219, 2009
Lightweight object specification with typestates
K Bierhoff, J Aldrich
ACM SIGSOFT Software Engineering Notes 30 (5), 217-226, 2005
PLURAL: checking protocol compliance under aliasing
K Bierhoff, J Aldrich
Companion of the 30th international conference on Software engineering, 971-972, 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
API protocol compliance in object-oriented software
K Bierhoff
Carnegie Mellon University, 2009
Iterator specification with typestates
K Bierhoff
Proceedings of the 2006 conference on Specification and verification of …, 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
Method for statically checking an object-oriented computer program module
KM Bierhoff, J Aldrich
US Patent 8,327,327 B2, 2008
Architectural mismatch in service-oriented architectures
K Bierhoff, M Grechanik, ES Liongosari
International Workshop on Systems Development in SOA Environments (SDSOA'07 …, 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
Permissions to specify the composite design pattern
K Bierhoff, J Aldrich
Seventh International Workshop on Specification and Verification of …, 2008
Checking Concurrent Typestate with Access Permissions in Plural: A Retrospective
K Bierhoff, NE Beckman, J Aldrich
Engineering of Software, 35-48, 2011
Ego: Controlling the power of simplicity
A Bejleri, J Aldrich, K Bierhoff
Proc. Foundations of Object-Oriented Languages, 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
Typestate protocol specification in JML
T Kim, K Bierhoff, J Aldrich, S Kang
Proceedings of the 8th international workshop on Specification and …, 2009
Checking the hardware-software interface in Spec#
K Bierhoff, C Hawblitzel
Proceedings of the 4th workshop on Programming languages and operating …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20