Follow
Kevin Bierhoff
Kevin Bierhoff
Google
Verified email at cs.cmu.edu - Homepage
Title
Cited by
Cited by
Year
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
3822007
Modular typestate checking of aliased objects
K Bierhoff, J Aldrich
ACM SIGPLAN Notices 42 (10), 301-320, 2007
2582007
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
962008
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
952012
Practical API protocol checking with access permissions
K Bierhoff, NE Beckman, J Aldrich
ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009
952009
Lightweight object specification with typestates
K Bierhoff, J Aldrich
ACM SIGSOFT Software Engineering Notes 30 (5), 217-226, 2005
762005
PLURAL: checking protocol compliance under aliasing
K Bierhoff, J Aldrich
Companion of the 30th international conference on Software engineering, 971-972, 2008
382008
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
332012
API protocol compliance in object-oriented software
K Bierhoff
Carnegie Mellon University, 2009
292009
Iterator specification with typestates
K Bierhoff
Proceedings of the 2006 conference on Specification and verification of …, 2006
282006
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
232006
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
172007
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
142011
Permissions to specify the composite design pattern
K Bierhoff, J Aldrich
Seventh International Workshop on Specification and Verification of …, 2008
132008
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
92011
Typestate protocol specification in JML
T Kim, K Bierhoff, J Aldrich, S Kang
Proceedings of the 8th international workshop on Specification and …, 2009
92009
Ego: Controlling the power of simplicity
A Bejleri, J Aldrich, K Bierhoff
Proc. Foundations of Object-Oriented Languages, 2006
92006
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
82006
Checking the hardware-software interface in Spec#
K Bierhoff, C Hawblitzel
Proceedings of the 4th workshop on Programming languages and operating …, 2007
62007
The system can't perform the operation now. Try again later.
Articles 1–20