Nels E. Beckman

12 papers A* 1A 4B 1Journal 1Unranked 4

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