Concepedia

Kevin Bierhoff

KB

Statistics

Publications

13

Citations

771

H-Index

12

Active since

2005

Affiliations

Carnegie Mellon University(Current)

Two Sigma Investments (United States)

Kevin Bierhoff is an author at Carnegie Mellon University specializing in computing, computer science, and formal methods.

Publications per year

2005–2012

13

Publications

13

Red Opal

Christopher Scaffidi, Kevin Bierhoff, Eric Chang et al. · 2007 · 235 citations

, , +13

Modular typestate checking of aliased objects

Kevin Bierhoff, Jonathan Aldrich · 2007 · 191 citations

, , +17

Verifying correct usage of atomic blocks and typestate

Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich · 2008 · 70 citations

, , +16

A type system for borrowing permissions

Karl Naden, Robert L. Bocchino, Jonathan Aldrich et al. · ACM SIGPLAN Notices · 2012 · 54 citations

, , +11

Lightweight object specification with typestates

Kevin Bierhoff, Jonathan Aldrich · 2005 · 51 citations

, , +16

1–5 of 13