Ronald A. Olsson

According to our database, Ronald A. Olsson authored at least 75 papers between 1986 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

2017

A Note on Correctly Gathering Results from JR's Concurrent Invocation Statement.

Ronald A. Olsson

Scalable Comput. Pract. Exp., 2017

2016

RJ: a Java package providing JR-like concurrent programming.

Ronald A. Olsson, Todd Williamson

Softw. Pract. Exp., 2016

2015

Transformations for early reply and forward message passing mechanisms.

Ronald A. Olsson, Aaron W. Keen, Todd Williamson

Concurr. Comput. Pract. Exp., 2015

User accessible reply capabilities in invoking and servicing operations.

Ronald A. Olsson, Aaron W. Keen

Concurr. Comput. Pract. Exp., 2015

2014

PySy: a Python package for enhanced concurrent programming.

Todd Williamson, Ronald A. Olsson

Concurr. Comput. Pract. Exp., 2014

2011

Application-specific thread schedulers for internet server applications.

Matthew D. Roper, Ronald A. Olsson

Concurr. Comput. Pract. Exp., 2011

Application-specific thread schedulers for distributed applications.

Matthew D. Roper, Ronald A. Olsson

Concurr. Comput. Pract. Exp., 2011

2009

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

2008

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

2007

Automated bug isolation via program chipping.

Chad D. Sterling, Ronald A. Olsson

Softw. Pract. Exp., 2007

2006

Reverse Engineering of Design Patterns from Java Source Code.

Nija Shi, Ronald A. Olsson

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

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

Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

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

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Developing embedded multi-threaded applications with CATAPULTS, a domain-specific language for generating thread schedulers.

Matthew D. Roper, Ronald A. Olsson

Proceedings of the 2005 International Conference on Compilers, 2005

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

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

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

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

An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages.

Aaron W. Keen, Ronald A. Olsson

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

Additional transformations for multiple-level escape statements.

Ronald A. Olsson

Softw. Test. Verification Reliab., 2002

Fairness in shared invocation servicing.

Ronald A. Olsson, Gregory D. Benson, Tingjian Ge, Aaron W. Keen

Comput. Lang. Syst. Struct., 2002

SIR: inter-program concurrency support for SR programs.

Eugene F. Fodor, Ronald A. Olsson

Comput. Lang. Syst. Struct., 2002

CoW: A Cooperative Multithreading Web Server.

Takashi Ishihara, Aaron W. Keen, Justin T. Maris, Eric Wohlstadter, Ronald A. Olsson

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Exception Handling during Asynchronous Method Invocation (Research Note).

Aaron W. Keen, Ronald A. Olsson

Proceedings of the Euro-Par 2002, 2002

2000

Concurrent programming language support for invocation handling: design and implementation.

Ronald A. Olsson

ACM SIGSOFT Softw. Eng. Notes, 2000

Workshop on Run-Time Systems for Parallel Programming (RTSPP).

Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines

Proceedings of the Parallel and Distributed Processing, 2000

A Comparison of Concurrent Programming and Cooperative Multithreading.

Takashi Ishihara, Tiejun Li, Eugene F. Fodor, Ronald A. Olsson

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Formal Verification of a Programming Logic for a Distributed Programming Language.

Cui Zhang, Ronald A. Olsson, Karl N. Levitt

Theor. Comput. Sci., 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

Towards a Transformational Approach to Program Verification.

Myla Archer, Amy Lo, Ronald A. Olsson

Softw. Test. Verification Reliab., 1999

Reproducible execution of SR programs.

Ronald A. Olsson

Concurr. Pract. Exp., 1999

Cooperative Multithreading: Experience with Applications.

Eugene F. Fodor, Ronald A. Olsson

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Concurrent Language Support for Interoperable Applications.

Eugene F. Fodor, Ronald A. Olsson

Proceedings of the Parallel and Distributed Processing, 1999

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

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

New Mechanisms for Invocation Handling in Concurrent Programming Languages.

Mandy Chung, Ronald A. Olsson

Comput. Lang., 1998

A Framework for Specializing Threads in Concurrent Run-Time Systems.

Gregory D. Benson, Ronald A. Olsson

Proceedings of the Languages, 1998

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 Software Platform for Testing Intrusion Detection Systems.

Nicholas J. Puketza, Mandy Chung, Ronald A. Olsson, Biswanath Mukherjee

IEEE Softw., 1997

Verification of a Distributed Computing.

Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

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

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 layered model for building debugging and monitoring tools.

W. Wilson Ho, Ronald A. Olsson

J. Syst. Softw., 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

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 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

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

An Interpreter for an Imperative Concurrent Programming Language.

Robert M. Gebala, Carole M. McNamee, Ronald A. Olsson

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

Towards Microkernel Support for the SR Concurrent Programming Language.

Gregory D. Benson, Ronald A. Olsson

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

1995

Tools for teaching CCRs, monitors, and CSP concurrent programming concepts.

Ronald A. Olsson, Carole M. McNamee

ACM SIGCSE Bull., 1995

MCF: a malicious code filter.

Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson

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

A Hierarchical Method for Reasoning about Distributed Programming Languages.

Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

The Design of Microkernel Support for the Sr Concurrent Programming Language.

Gregory D. Benson, Ronald A. Olsson

Proceedings of the Languages, 1995

1993

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

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1992

Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms.

Ronald A. Olsson, Carole M. McNamee

Comput. Lang., 1992

Static Inter-Module Analysis for Determining Processor Co-Residency.

Carole M. McNamee, Ronald A. Olsson

Proceedings of the 1992 International Conference on Parallel Processing, 1992

1991

A Dataflow Approach to Event-based Debugging.

Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho

Softw. Pract. Exp., 1991

An Approach to Genuine Dynamic Linking.

W. Wilson Ho, Ronald A. Olsson

Softw. Pract. Exp., 1991

Sequential Debugging at a High Level of Abstraction.

Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho, Christopher E. Wee

IEEE Softw., 1991

Axiomatic Semantics for "Escape" Statements.

Ronald A. Olsson, Daniel T. Huang

Inf. Process. Lett., 1991

An attribute grammar approach to compiler optimization of intra-module interprocess communication.

Carole M. McNamee, Ronald A. Olsson

Int. J. Parallel Program., 1991

An Overview of Compiler Optimization of Interprocess Communication and Synchronization Mechanisms.

Ronald A. Olsson, Carole M. McNamee

Proceedings of the International Conference on Parallel Processing, 1991

Parallelism, distribution, and synchronization in SR.

Ronald A. Olsson

Proceedings of the Compcon Spring '91, San Francisco, 1991

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

Proceedings of the Compcon Spring '91, San Francisco, 1991

1990

Comments on "Critical Races in Ada Programs''.

Carole M. McNamee, Ronald A. Olsson

IEEE Trans. Software Eng., 1990

Using SR for Discrete Event Simulation: A Study in Concurrent Programming.

Ronald A. Olsson

Softw. Pract. Exp., 1990

Transformations for optimizing interprocess communication and synchronization mechanisms.

Carole M. McNamee, Ronald A. Olsson

Int. J. Parallel Program., 1990

An Exception Handling Mechanism for SR.

Daniel T. Huang, Ronald A. Olsson

Comput. Lang., 1990

Dalek: A GNU, Improved Programmable Debugger.

Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho

Proceedings of the Usenix Summer 1990 Technical Conference, 1990

1989

A Simple Technique for Automatic Recompilation in Modular Programming Languages.

Ronald A. Olsson, Gregory R. Whitehead

Softw. Pract. Exp., 1989

An SR Approach to Multiway Rendezvous.

Michael H. Coffin, Ronald A. Olsson

Comput. Lang., 1989

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

Performance of Multi-tasking and Synchronization Mechanisms in the Programming Language SR.

M. Stella Atkins, Ronald A. Olsson

Softw. Pract. Exp., 1988

1987

Observations on Building Distributed Languages and Systems.

Richard D. Schlichting, Gregory R. Andrews, Norman C. Hutchinson, Ronald A. Olsson, Larry L. Peterson

Proceedings of the Experiences with Distributed Systems, 1987

1986

The Evolution of the SR Language.

Gregory R. Andrews, Ronald A. Olsson

Distributed Comput., 1986