The Evolution of the SR Language. - Gregory R. Andrews; Ronald A. Olsson (Distributed Comput., 1986)

Observations on Building Distributed Languages and Systems. - Richard D. Schlichting; Gregory R. Andrews; Norman C. Hutchinson; Ronald A. Olsson; Larry L. Peterson (Experiences with Distributed Systems, 1987)

Performance of Multi-tasking and Synchronization Mechanisms in the Programming Language SR. - M. Stella Atkins; Ronald A. Olsson (Softw. Pract. Exp., 1988)

An Overview of the SR Language and Implementation. - Gregory R. Andrews; Ronald A. Olsson; Michael H. Coffin; Irving Elshoff; Kelvin D. Nilsen; Titus D. M. Purdin; Gregg M. Townsend (ACM Trans. Program. Lang. Syst., 1988)

An SR Approach to Multiway Rendezvous. - Michael H. Coffin; Ronald A. Olsson (Comput. Lang., 1989)

A Simple Technique for Automatic Recompilation in Modular Programming Languages. - Ronald A. Olsson; Gregory R. Whitehead (Softw. Pract. Exp., 1989)

Dalek: A GNU, Improved Programmable Debugger. - Ronald A. Olsson; Richard H. Crawford; W. Wilson Ho (USENIX Summer, 1990)

An Exception Handling Mechanism for SR. - Daniel T. Huang; Ronald A. Olsson (Comput. Lang., 1990)

Transformations for optimizing interprocess communication and synchronization mechanisms. - Carole M. McNamee; Ronald A. Olsson (Int. J. Parallel Program., 1990)

Using SR for Discrete Event Simulation: A Study in Concurrent Programming. - Ronald A. Olsson (Softw. Pract. Exp., 1990)

Comments on "Critical Races in Ada Programs''. - Carole M. McNamee; Ronald A. Olsson (IEEE Trans. Software Eng., 1990)

Towards a testbed for malicious code detection. - Raymond W. Lo; P. Kerchen; Richard H. Crawford; W. Wilson Ho; J. Crossley; George Fink; Karl N. Levitt; Ronald A. Olsson; Myla Archer (Compcon, 1991)

Parallelism, distribution, and synchronization in SR. - Ronald A. Olsson (Compcon, 1991)

An Overview of Compiler Optimization of Interprocess Communication and Synchronization Mechanisms. - Ronald A. Olsson; Carole M. McNamee (ICPP (2), 1991)

An attribute grammar approach to compiler optimization of intra-module interprocess communication. - Carole M. McNamee; Ronald A. Olsson (Int. J. Parallel Program., 1991)

Axiomatic Semantics for "Escape" Statements. - Ronald A. Olsson; Daniel T. Huang (Inf. Process. Lett., 1991)

Sequential Debugging at a High Level of Abstraction. - Ronald A. Olsson; Richard H. Crawford; W. Wilson Ho; Christopher E. Wee (IEEE Softw., 1991)

An Approach to Genuine Dynamic Linking. - W. Wilson Ho; Ronald A. Olsson (Softw. Pract. Exp., 1991)

A Dataflow Approach to Event-based Debugging. - Ronald A. Olsson; Richard H. Crawford; W. Wilson Ho (Softw. Pract. Exp., 1991)

Static Inter-Module Analysis for Determining Processor Co-Residency. - Carole M. McNamee; Ronald A. Olsson (ICPP (2), 1992)

Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms. - Ronald A. Olsson; Carole M. McNamee (Comput. Lang., 1992)

Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. - Cui Zhang; Robert J. Shaw; Ronald A. Olsson; Karl N. Levitt; Myla Archer; Mark R. Heckman; Gregory D. Benson (HUG, 1993)

The Design of Microkernel Support for the Sr Concurrent Programming Language. - Gregory D. Benson; Ronald A. Olsson (LCR, 1995)

A Hierarchical Method for Reasoning about Distributed Programming Languages. - Cui Zhang; Brian R. Becker; Mark R. Heckman; Karl N. Levitt; Ronald A. Olsson (TPHOLs, 1995)

Semantic Issues in the Design of Languages for Debugging. - Richard H. Crawford; Ronald A. Olsson; W. Wilson Ho; Christopher E. Wee (Comput. Lang., 1995)

MCF: a malicious code filter. - Raymond W. Lo; Karl N. Levitt; Ronald A. Olsson (Comput. Secur., 1995)

Tools for teaching CCRs, monitors, and CSP concurrent programming concepts. - Ronald A. Olsson; Carole M. McNamee (ACM SIGCSE Bull., 1995)

Towards Microkernel Support for the SR Concurrent Programming Language. - Gregory D. Benson; Ronald A. Olsson (PDPTA, 1996)

An Interpreter for an Imperative Concurrent Programming Language. - Robert M. Gebala; Carole M. McNamee; Ronald A. Olsson (PDPTA, 1996)

Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctnes. - Robert J. Shaw; Ronald A. Olsson (PDPTA, 1996)

Towards Applying the Composition Principle to Verify a Microkernel Operating System. - Mark R. Heckman; Cui Zhang; Brian R. Becker; Dave Peticolas; Karl N. Levitt; Ronald A. Olsson (TPHOLs, 1996)

A layered model for building debugging and monitoring tools. - W. Wilson Ho; Ronald A. Olsson (J. Syst. Softw., 1996)

Experience Using the C Preprocessor to Implement CCR, Monitor, and CSP Preprocessors for SR. - Ronald A. Olsson; Carole M. McNamee (Softw. Pract. Exp., 1996)

A Methodology for Testing Intrusion Detection Systems. - Nicholas J. Puketza; Kui Zhang; Mandy Chung; Biswanath Mukherjee; Ronald A. Olsson (IEEE Trans. Software Eng., 1996)

Verification of a Distributed Computing. - Cui Zhang; Brian R. Becker; Dave Peticolas; Mark R. Heckman; Karl N. Levitt; Ronald A. Olsson (HICSS (5), 1997)

A Software Platform for Testing Intrusion Detection Systems. - Nicholas J. Puketza; Mandy Chung; Ronald A. Olsson; Biswanath Mukherjee (IEEE Softw., 1997)

Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques. - Raymond W. Lo; Karl N. Levitt; Ronald A. Olsson (Softw. Test. Verification Reliab., 1997)

A Framework for Specializing Threads in Concurrent Run-Time Systems. - Gregory D. Benson; Ronald A. Olsson (LCR, 1998)

New Mechanisms for Invocation Handling in Concurrent Programming Languages. - Mandy Chung; Ronald A. Olsson (Comput. Lang., 1998)

Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctness. - Robert J. Shaw; Ronald A. Olsson (Inf. Sci., 1998)

Detecting disruptive routers: a distributed network monitoring approach. - Kirk A. Bradley; Steven Cheung; Nicholas J. Puketza; Biswanath Mukherjee; Ronald A. Olsson (IEEE Netw., 1998)

Concurrent Language Support for Interoperable Applications. - Eugene F. Fodor; Ronald A. Olsson (IPPS/SPDP Workshops, 1999)

Cooperative Multithreading: Experience with Applications. - Eugene F. Fodor; Ronald A. Olsson (PDPTA, 1999)

Reproducible execution of SR programs. - Ronald A. Olsson (Concurr. Pract. Exp., 1999)

Towards a Transformational Approach to Program Verification. - Myla Archer; Amy Lo; Ronald A. Olsson (Softw. Test. Verification Reliab., 1999)

LVT: A Layered Verification Technique for Distributed Computing Systems. - Cui Zhang; Brian R. Becker; Dave Peticolas; Ronald A. Olsson; Karl N. Levitt (Softw. Test. Verification Reliab., 1999)

Formal Verification of a Programming Logic for a Distributed Programming Language. - Cui Zhang; Ronald A. Olsson; Karl N. Levitt (Theor. Comput. Sci., 1999)

A Comparison of Concurrent Programming and Cooperative Multithreading. - Takashi Ishihara; Tiejun Li; Eugene F. Fodor; Ronald A. Olsson (Euro-Par, 2000)

Workshop on Run-Time Systems for Parallel Programming (RTSPP). - Ronald A. Olsson; Laxmikant V. Kalé; Peter H. Beckman; Matthew Haines (IPDPS Workshops, 2000)

Concurrent programming language support for invocation handling: design and implementation. - Ronald A. Olsson (ACM SIGSOFT Softw. Eng. Notes, 2000)

Exception Handling during Asynchronous Method Invocation (Research Note). - Aaron W. Keen; Ronald A. Olsson (Euro-Par, 2002)

CoW: A Cooperative Multithreading Web Server. - Takashi Ishihara; Aaron W. Keen; Justin T. Maris; Eric Wohlstadter; Ronald A. Olsson (PDPTA, 2002)

SIR: inter-program concurrency support for SR programs. - Eugene F. Fodor; Ronald A. Olsson (Comput. Lang. Syst. Struct., 2002)

Fairness in shared invocation servicing. - Ronald A. Olsson; Gregory D. Benson; Tingjian Ge; Aaron W. Keen (Comput. Lang. Syst. Struct., 2002)

Additional transformations for multiple-level escape statements. - Ronald A. Olsson (Softw. Test. Verification Reliab., 2002)

An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages. - Aaron W. Keen; Ronald A. Olsson (Euro-Par, 2003)

DesCaRTeS: a run-time system with SR-like functionality for programming a network of embedded systems. - Justin T. Maris; Matthew D. Roper; Ronald A. Olsson (Comput. Lang. Syst. Struct., 2003)

A comparison of concurrent programming and cooperative multithreading. - Aaron W. Keen; Takashi Ishihara; Justin T. Maris; Tiejun Li; Eugene F. Fodor; Ronald A. Olsson (Concurr. Comput. Pract. Exp., 2003)

A comparison of concurrent programming and cooperative multithreading under load balancing applications. - Justin T. Maris; Aaron W. Keen; Takashi Ishihara; Ronald A. Olsson (Concurr. Comput. Pract. Exp., 2004)

JR: Flexible distributed programming in an extended Java. - Aaron W. Keen; Tingjian Ge; Justin T. Maris; Ronald A. Olsson (ACM Trans. Program. Lang. Syst., 2004)

Developing embedded multi-threaded applications with CATAPULTS, a domain-specific language for generating thread schedulers. - Matthew D. Roper; Ronald A. Olsson (CASES, 2005)

An Exception Handling Mechanism for the Concurrent Invocation Statement. - Hiu Ning (Angela) Chan; Esteban Pauli; Billy Yan-Kit Man; Aaron W. Keen; Ronald A. Olsson (Euro-Par, 2005)

Toward a Definition of and Linguistic Support for Partial Quiescence. - Billy Yan-Kit Man; Hiu Ning (Angela) Chan; Andrew J. Gallagher; Appu S. Goundan; Aaron W. Keen; Ronald A. Olsson (Euro-Par, 2006)

Reverse Engineering of Design Patterns from Java Source Code. - Nija Shi; Ronald A. Olsson (ASE, 2006)

Automated bug isolation via program chipping. - Chad D. Sterling; Ronald A. Olsson (Softw. Pract. Exp., 2007)

A definition of and linguistic support for partial quiescence. - Billy Yan-Kit Man; Hiu Ning (Angela) Chan; Andrew J. Gallagher; Appu S. Goundan; Aaron W. Keen; Ronald A. Olsson (Concurr. Comput. Pract. Exp., 2008)

Generic operations and capabilities in the JR concurrent programming language. - Hiu Ning (Angela) Chan; Andrew J. Gallagher; Appu S. Goundan; Yi Lin William Au Yeung; Aaron W. Keen; Ronald A. Olsson (Comput. Lang. Syst. Struct., 2009)

Application-specific thread schedulers for distributed applications. - Matthew D. Roper; Ronald A. Olsson (Concurr. Comput. Pract. Exp., 2011)

Application-specific thread schedulers for internet server applications. - Matthew D. Roper; Ronald A. Olsson (Concurr. Comput. Pract. Exp., 2011)

PySy: a Python package for enhanced concurrent programming. - Todd Williamson; Ronald A. Olsson (Concurr. Comput. Pract. Exp., 2014)

User accessible reply capabilities in invoking and servicing operations. - Ronald A. Olsson; Aaron W. Keen (Concurr. Comput. Pract. Exp., 2015)

Transformations for early reply and forward message passing mechanisms. - Ronald A. Olsson; Aaron W. Keen; Todd Williamson (Concurr. Comput. Pract. Exp., 2015)

RJ: a Java package providing JR-like concurrent programming. - Ronald A. Olsson; Todd Williamson (Softw. Pract. Exp., 2016)

A Note on Correctly Gathering Results from JR's Concurrent Invocation Statement. - Ronald A. Olsson (Scalable Comput. Pract. Exp., 2017)

Reducing distributed JR program start-up time via extending JR's operation abstraction. - Ronald A. Olsson; Aaron W. Keen; Todd Williamson (Concurr. Comput. Pract. Exp., 2018)