Nels E. Beckman

According to our database, Nels E. Beckman authored at least 12 papers between 2004 and 2011.

Collaborative distances:

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

2011

Probabilistic, modular and scalable inference of typestate specifications.

Nels E. Beckman, Aditya V. Nori

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

An Empirical Study of Object Protocols in the Wild.

Nels E. Beckman, Duri Kim, Jonathan Aldrich

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

Types for Correct Concurrent API Usage.

Nels E. Beckman

PhD thesis, 2010

Proofs from Tests.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur

IEEE Trans. Software Eng., 2010

2009

Modular typestate checking in concurrent Java programs.

Nels E. Beckman

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

Practical API Protocol Checking with Access Permissions.

Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich

Proceedings of the ECOOP 2009, 2009

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

Verifying correct usage of atomic blocks using access permissions.

Nels E. Beckman

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

Proofs from tests.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2005

GLIDE: A Grid-Based Light-Weight Infrastructure for Data-Intensive Environments.

Chris Mattmann, Sam Malek, Nels E. Beckman, Marija Mikic-Rakic, Nenad Medvidovic, Daniel J. Crichton

Proceedings of the Advances in Grid Computing, 2005

2004

A Framework for Ensuring and Improving Dependability in Highly Distributed Systems.

Sam Malek, Nels E. Beckman, Marija Mikic-Rakic, Nenad Medvidovic

Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings.

Marija Mikic-Rakic, Sam Malek, Nels E. Beckman, Nenad Medvidovic

Proceedings of the Component Deployment, Second International Working Conference, 2004