This is a list of publications which I have authored or co-authored.

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

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.

Nels E. Beckman. Arkan∞id: Breaking Out of a Finite Space. In Proceedings of SIGBOVIK 2009: The 3rd annual workshop that is SIGBOVIK. Pittsburgh, PA, USA-A-OK. April 5, 2009. (To download the implementation, direct your Blackberry to http://a8.nelsbeckman.com.)

N. Beckman. How to Hack Java Like a Functional Programmer. A work in progress.

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. 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, J. Aldrich. Verifying Correct Usage of Atomic Blocks and Typestate: Technical Companion. Technical Report CMU-ISR-08-126, Carnegie Mellon University, 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. Relentless Parallelism. In Proceedings of SIGBOVIK 2008: The 2nd annual workshop that is SIGBOVIK. Pittsburgh, PA, USA-A-OK. April 6, 2008. (Also, see the offical Relentless Eclipse Plug-in.)

N. Beckman. The GUnit Testing Harness: Achieving Source Code Street Cred. In Proceedings of SIGBOVIK 2007: Workshop About Symposium on Robot Dance Party of Conference in Celebration of Harry Q. Bovik's 0x40th Birthday. Pittsburgh, PA, USA-A-OK. April 1, 2007. (Now available in original author's cut, without bothersome proof-reading!)

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.

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).

Nels Beckman. A Survey of Methods for Detecting Race Conditions - This is a litterature survey done for a final project in Analysis of Software Artifacts. In it I compare type systems, dynamic analysis, model-checking, and flow-based analysis as methods for detecting race conditions in programs. It may be of some minor interest to anyone who needs background in this area.