Nels E. Beckman

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Nels E. Beckman, Aditya V. Nori
Probabilistic, modular and scalable inference of typestate specifications. PLDI (2011)
Nels E. Beckman, Duri Kim, Jonathan Aldrich
An Empirical Study of Object Protocols in the Wild. ECOOP (2011)
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur
Proofs from Tests. IEEE Trans. Software Eng. 36 (4) (2010)
Nels E. Beckman
Modular typestate checking in concurrent Java programs. OOPSLA Companion (2009)
Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich
Practical API Protocol Checking with Access Permissions. ECOOP (2009)
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons
Proofs from tests. ISSTA (2008)
Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich
Verifying correct usage of atomic blocks and typestate. OOPSLA (2008)
Nels E. Beckman
Verifying correct usage of atomic blocks using access permissions. OOPSLA Companion (2008)
Chris Mattmann, Sam Malek, Nels E. Beckman, Marija Mikic-Rakic, Nenad Medvidovic, Daniel J. Crichton
GLIDE: A Grid-Based Light-Weight Infrastructure for Data-Intensive Environments. EGC (2005)
Sam Malek, Nels E. Beckman, Marija Mikic-Rakic, Nenad Medvidovic
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems. WADS (2004)
Marija Mikic-Rakic, Sam Malek, Nels E. Beckman, Nenad Medvidovic
A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings. Component Deployment (2004)