Publications


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


Nels E. Beckman, Duri Kim and Jonathan Aldrich. An Empirical Study of Object Protocols in the Wild. In Proceedings of the 25th European Conference on Object-Oriented Programming (ECOOP '11) Lancaster, UK. July, 2011.


Nels E. Beckman and Aditya Nori. Probabilistic, Modular and Scalable Inference of Typestate Specifications. In Proceedings of The 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '11) San Jose, USA. June, 2011.


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.

Wordle: Practical API Protocol Checking with Access Permissions

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

Wordle: Reducing STM Overhead with Access Permissions

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. (Companion Technical Report) Wordle: Verifying Correct Usage of Atomic Blocks and Typestate

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

Wordle: Proofs from Tests

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

Wordle: Relentless Parallelism

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

Wordle: The GUnit Testing Harness: Achieving Source Code Street
 Cred

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.