Carnegie Mellon University

Nels Beckman

Dr. Nels Beckman (CS 2011)

5000 Forbes Avenue
Pittsburgh, PA 15213


Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich. Practical API Protocol Checking with Access Permissions. In Proceedings of European Conference on Object-Oriented Programming 2009 (ECOOP '09) Genova, Italy. July, 2009.

N. Beckman. Verifying Correct Usage of Atomic Blocks Using Access Permissions. In Companion To the 23rd ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (Nashville, TN, USA, October 19 - 23, 2008). OOPSLA Companion '08. ACM, New York, NY, 905-906.

N. Beckman, K. Bierhoff, J. Aldrich. Verifying Correct Usage of Atomic Blocks and Typestate. In Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications 2008 (OOPSLA '08) Nashville, TN, USA. October 19-23, 2008.

N. Beckman, A. Nori, S. Rajamani, R. Simmons. Proofs from Tests. In Proceedings of International Symposium on Software Testing and Analysis 2008 (ISSTA '08) Seattle, WA. July 20, 2008.

N. Beckman and J. Aldrich. A Programming Model for Failure-Prone, Collaborative Robots. 2nd International Workshop on Software Development and Integration in Robotics (SDIR). Rome, Italy. April 14, 2007.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, Sai Deep Tetali, and Aditya V. Thakur, Proofs from Tests, in IEEE Transactions on Software Engineering: Special Issue on the ISSTA 2008 Best Papers, February 2010. To Appear.

Nels E. Beckman, Yoon Phil Kim, Sven Stork, Jonathan Aldrich. Reducing STM Overhead with Access Permissions. The International Workshop on Aliasing, Confinement and Ownership 2009 (IWACO '09). Genova, Italy. July, 2009.

C. Mattmann, S. Malek, N. Beckman, M. Mikic-Rakic, N. Medvidovic and D. Crichton. GLIDE: A Grid-based, Lightweight, Infrastructure for Data-intensive Environments. In Proceedings of the European Grid Conference (EGC2005), Amsterdam, the Netherlands, February 14th-16th, 2005.

Marija Mikic-Rakic, Sam Malek, Nels Beckman, and Nenad Medvidovic. A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings. Proceedings of the Conference on Component Deployment (CD2004).

Marija Mikic-Rakic, Sam Malek, Nels Beckman, and Nenad Medvidovic Improving Availability of Distributed Event-Based Systems via Run-Time Monitoring and Analysis. Twin Workshops on Architecting Dependable Systems (WADS2004).

Additional details available at: