Kevin Bierhoff

According to our database, Kevin Bierhoff authored at least 16 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Wildcards need witness protection.

Kevin Bierhoff

Proc. ACM Program. Lang., 2022

2012

A type system for borrowing permissions.

Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Impact analysis for distributed event-based systems.

Daniel Popescu, Joshua Garcia, Kevin Bierhoff, Nenad Medvidovic

Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

2011

Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning.

Kevin Bierhoff

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

2009

Typestate protocol specification in JML.

Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang

Proceedings of the SAVCBS'09, 2009

Practical API Protocol Checking with Access Permissions.

Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich

Proceedings of the ECOOP 2009, 2009

2008

Checking API protocol compliance in java.

Kevin Bierhoff

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Verifying correct usage of atomic blocks and typestate.

Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

PLURAL: checking protocol compliance under aliasing.

Kevin Bierhoff, Jonathan Aldrich

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Checking the hardware-software interface in spec#.

Kevin Bierhoff, Chris Hawblitzel

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Red Opal: product-feature scoring from reviews.

Christopher Scaffidi, Kevin Bierhoff, Eric Chang, Mikhael Felker, Herman Ng, Chun Jin

Proceedings of the Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), 2007

Modular typestate checking of aliased objects.

Kevin Bierhoff, Jonathan Aldrich

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Architectural Mismatch in Service-Oriented Architectures.

Kevin Bierhoff, Mark Grechanik, Edy S. Liongosari

Proceedings of the International Workshop on Systems Development in SOA Environments, 2007

2006

Iterator specification with typestates.

Kevin Bierhoff

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Software architecture at a large financial firm.

George Fairbanks, Kevin Bierhoff, Desmond D'Souza

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Lightweight object specification with typestates.

Kevin Bierhoff, Jonathan Aldrich

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005