Nels E. Beckman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2004–2011
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ECOOP | An Empirical Study of Object Protocols in the Wild. | Nels E. Beckman, Duri Kim, Jonathan Aldrich |
| 2011 | PLDI | Probabilistic, modular and scalable inference of typestate specifications. | Nels E. Beckman, Aditya V. Nori |
| 2009 | ECOOP | Practical API Protocol Checking with Access Permissions. | Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich |
| 2009 | OOPSLA | Modular typestate checking in concurrent Java programs. | Nels E. Beckman |
| 2008 | ISSTA | Proofs from tests. | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons |
| 2008 | OOPSLA | Verifying correct usage of atomic blocks using access permissions. | Nels E. Beckman |
| 2008 | OOPSLA | Verifying correct usage of atomic blocks and typestate. | Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich |
| 2004 | ICSE | A Framework for Ensuring and Improving Dependability in Highly Distributed Systems. | Sam Malek, Nels E. Beckman, Marija Mikic-Rakic, Nenad Medvidovic |