This is a list of publications which I have authored or co-authored.
N. Beckman, A. 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. (To Appear)
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
How to Hack Java Like
a Functional Programmer. A work in progress.
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.
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
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
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.