Ronald A. Olsson

Publication Activity (10 Years)

Years Active: 1986-2018
Publications (10 Years): 3

Top Topics

Onset Detection

Distributed Shared Memory

Message Passing

Top Venues

Concurr. Comput. Pract. Exp.

Softw. Pract. Exp.

Scalable Comput. Pract. Exp.

Publications

Ronald A. Olsson, Aaron W. Keen, Todd Williamson
Reducing distributed JR program start-up time via extending JR's operation abstraction. Concurr. Comput. Pract. Exp. 30 (14) (2018)
Ronald A. Olsson
A Note on Correctly Gathering Results from JR's Concurrent Invocation Statement. Scalable Comput. Pract. Exp. 18 (3) (2017)
Ronald A. Olsson, Todd Williamson
RJ: a Java package providing JR-like concurrent programming. Softw. Pract. Exp. 46 (5) (2016)
Ronald A. Olsson, Aaron W. Keen, Todd Williamson
Transformations for early reply and forward message passing mechanisms. Concurr. Comput. Pract. Exp. 27 (17) (2015)
Ronald A. Olsson, Aaron W. Keen
User accessible reply capabilities in invoking and servicing operations. Concurr. Comput. Pract. Exp. 27 (17) (2015)
Todd Williamson, Ronald A. Olsson
PySy: a Python package for enhanced concurrent programming. Concurr. Comput. Pract. Exp. 26 (2) (2014)
Matthew D. Roper, Ronald A. Olsson
Application-specific thread schedulers for internet server applications. Concurr. Comput. Pract. Exp. 24 (3) (2011)
Matthew D. Roper, Ronald A. Olsson
Application-specific thread schedulers for distributed applications. Concurr. Comput. Pract. Exp. 24 (3) (2011)
Hiu Ning (Angela) Chan, Andrew J. Gallagher, Appu S. Goundan, Yi Lin William Au Yeung, Aaron W. Keen, Ronald A. Olsson
Generic operations and capabilities in the JR concurrent programming language. Comput. Lang. Syst. Struct. 35 (3) (2009)
Billy Yan-Kit Man, Hiu Ning (Angela) Chan, Andrew J. Gallagher, Appu S. Goundan, Aaron W. Keen, Ronald A. Olsson
A definition of and linguistic support for partial quiescence. Concurr. Comput. Pract. Exp. 20 (8) (2008)
Chad D. Sterling, Ronald A. Olsson
Automated bug isolation via program chipping. Softw. Pract. Exp. 37 (10) (2007)
Nija Shi, Ronald A. Olsson
Reverse Engineering of Design Patterns from Java Source Code. ASE (2006)
Billy Yan-Kit Man, Hiu Ning (Angela) Chan, Andrew J. Gallagher, Appu S. Goundan, Aaron W. Keen, Ronald A. Olsson
Toward a Definition of and Linguistic Support for Partial Quiescence. Euro-Par (2006)
Chad D. Sterling, Ronald A. Olsson
Automated bug isolation via program chipping. AADEBUG (2005)
Matthew D. Roper, Ronald A. Olsson
Developing embedded multi-threaded applications with CATAPULTS, a domain-specific language for generating thread schedulers. CASES (2005)
Hiu Ning (Angela) Chan, Esteban Pauli, Billy Yan-Kit Man, Aaron W. Keen, Ronald A. Olsson
An Exception Handling Mechanism for the Concurrent Invocation Statement. Euro-Par (2005)
Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson
JR: Flexible distributed programming in an extended Java. ACM Trans. Program. Lang. Syst. 26 (3) (2004)
Justin T. Maris, Aaron W. Keen, Takashi Ishihara, Ronald A. Olsson
A comparison of concurrent programming and cooperative multithreading under load balancing applications. Concurr. Comput. Pract. Exp. 16 (4) (2004)
Justin T. Maris, Matthew D. Roper, Ronald A. Olsson
DesCaRTeS: a run-time system with SR-like functionality for programming a network of embedded systems. Comput. Lang. Syst. Struct. 29 (4) (2003)
Aaron W. Keen, Ronald A. Olsson
An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages. Euro-Par (2003)
Aaron W. Keen, Takashi Ishihara, Justin T. Maris, Tiejun Li, Eugene F. Fodor, Ronald A. Olsson
A comparison of concurrent programming and cooperative multithreading. Concurr. Comput. Pract. Exp. 15 (1) (2003)
Aaron W. Keen, Ronald A. Olsson
Exception Handling during Asynchronous Method Invocation (Research Note). Euro-Par (2002)
Eugene F. Fodor, Ronald A. Olsson
SIR: inter-program concurrency support for SR programs. Comput. Lang. Syst. Struct. 28 (4) (2002)
Ronald A. Olsson
Additional transformations for multiple-level escape statements. Softw. Test. Verification Reliab. 12 (2) (2002)
Takashi Ishihara, Aaron W. Keen, Justin T. Maris, Eric Wohlstadter, Ronald A. Olsson
CoW: A Cooperative Multithreading Web Server. PDPTA (2002)
Ronald A. Olsson, Gregory D. Benson, Tingjian Ge, Aaron W. Keen
Fairness in shared invocation servicing. Comput. Lang. Syst. Struct. 28 (4) (2002)
Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson
JR: Flexible Distributed Programming in an Extended Java. ICDCS (2001)
Ronald A. Olsson
Concurrent programming language support for invocation handling: design and implementation. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines
Workshop on Run-Time Systems for Parallel Programming (RTSPP). IPDPS Workshops (2000)
Takashi Ishihara, Tiejun Li, Eugene F. Fodor, Ronald A. Olsson
A Comparison of Concurrent Programming and Cooperative Multithreading. Euro-Par (2000)
Eugene F. Fodor, Ronald A. Olsson
Cooperative Multithreading: Experience with Applications. PDPTA (1999)
Cui Zhang, Ronald A. Olsson, Karl N. Levitt
Formal Verification of a Programming Logic for a Distributed Programming Language. Theor. Comput. Sci. 216 (1-2) (1999)
Eugene F. Fodor, Ronald A. Olsson
Concurrent Language Support for Interoperable Applications. IPPS/SPDP Workshops (1999)
Ronald A. Olsson
Reproducible execution of SR programs. Concurr. Pract. Exp. 11 (9) (1999)
Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt
LVT: A Layered Verification Technique for Distributed Computing Systems. Softw. Test. Verification Reliab. 9 (2) (1999)
Myla Archer, Amy Lo, Ronald A. Olsson
Towards a Transformational Approach to Program Verification. Softw. Test. Verification Reliab. 9 (2) (1999)
Kirk A. Bradley, Steven Cheung, Nicholas J. Puketza, Biswanath Mukherjee, Ronald A. Olsson
Detecting disruptive routers: a distributed network monitoring approach. IEEE Netw. 12 (5) (1998)
Kirk A. Bradley, Steven Cheung, Nicholas J. Puketza, Biswanath Mukherjee, Ronald A. Olsson
Detecting Disruptive Routers: A Distributed Network Monitoring Approach. IEEE Symposium on Security and Privacy (1998)
Gregory D. Benson, Ronald A. Olsson
A Framework for Specializing Threads in Concurrent Run-Time Systems. LCR (1998)
Robert J. Shaw, Ronald A. Olsson
Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctness. Inf. Sci. 106 (3-4) (1998)
Mandy Chung, Ronald A. Olsson
New Mechanisms for Invocation Handling in Concurrent Programming Languages. Comput. Lang. 24 (4) (1998)
Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson
Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques. Softw. Test. Verification Reliab. 7 (4) (1997)
Nicholas J. Puketza, Mandy Chung, Ronald A. Olsson, Biswanath Mukherjee
A Software Platform for Testing Intrusion Detection Systems. IEEE Softw. 14 (5) (1997)
Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
Verification of a Distributed Computing. HICSS (5) (1997)
Robert M. Gebala, Carole M. McNamee, Ronald A. Olsson
An Interpreter for an Imperative Concurrent Programming Language. PDPTA (1996)
Nicholas J. Puketza, Kui Zhang, Mandy Chung, Biswanath Mukherjee, Ronald A. Olsson
A Methodology for Testing Intrusion Detection Systems. IEEE Trans. Software Eng. 22 (10) (1996)
Ronald A. Olsson, Carole M. McNamee
Experience Using the C Preprocessor to Implement CCR, Monitor, and CSP Preprocessors for SR. Softw. Pract. Exp. 26 (2) (1996)
Gregory D. Benson, Ronald A. Olsson
Towards Microkernel Support for the SR Concurrent Programming Language. PDPTA (1996)
Robert J. Shaw, Ronald A. Olsson
Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctnes. PDPTA (1996)
W. Wilson Ho, Ronald A. Olsson
A layered model for building debugging and monitoring tools. J. Syst. Softw. 34 (3) (1996)
Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson
Towards Applying the Composition Principle to Verify a Microkernel Operating System. TPHOLs (1996)
Gregory D. Benson, Ronald A. Olsson
The Design of Microkernel Support for the Sr Concurrent Programming Language. LCR (1995)
Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson
MCF: a malicious code filter. Comput. Secur. 14 (6) (1995)
Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
A Hierarchical Method for Reasoning about Distributed Programming Languages. TPHOLs (1995)
Ronald A. Olsson, Carole M. McNamee
Tools for teaching CCRs, monitors, and CSP concurrent programming concepts. ACM SIGCSE Bull. 27 (2) (1995)
Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee
Semantic Issues in the Design of Languages for Debugging. Comput. Lang. 21 (1) (1995)
Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson
Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. HUG (1993)
Ronald A. Olsson, Carole M. McNamee
Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms. Comput. Lang. 17 (4) (1992)
Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee
Semantic issues in the design of languages for debugging. ICCL (1992)
Carole M. McNamee, Ronald A. Olsson
Static Inter-Module Analysis for Determining Processor Co-Residency. ICPP (2) (1992)
Ronald A. Olsson
Parallelism, distribution, and synchronization in SR. Compcon (1991)
Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho, Christopher E. Wee
Sequential Debugging at a High Level of Abstraction. IEEE Softw. 8 (3) (1991)
Raymond W. Lo, P. Kerchen, Richard H. Crawford, W. Wilson Ho, J. Crossley, George Fink, Karl N. Levitt, Ronald A. Olsson, Myla Archer
Towards a testbed for malicious code detection. Compcon (1991)
Ronald A. Olsson, Carole M. McNamee
An Overview of Compiler Optimization of Interprocess Communication and Synchronization Mechanisms. ICPP (2) (1991)
W. Wilson Ho, Ronald A. Olsson
An Approach to Genuine Dynamic Linking. Softw. Pract. Exp. 21 (4) (1991)
Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho
A Dataflow Approach to Event-based Debugging. Softw. Pract. Exp. 21 (2) (1991)
Carole M. McNamee, Ronald A. Olsson
An attribute grammar approach to compiler optimization of intra-module interprocess communication. Int. J. Parallel Program. 20 (3) (1991)
Ronald A. Olsson, Daniel T. Huang
Axiomatic Semantics for "Escape" Statements. Inf. Process. Lett. 39 (1) (1991)
Ronald A. Olsson
Using SR for Discrete Event Simulation: A Study in Concurrent Programming. Softw. Pract. Exp. 20 (12) (1990)
Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho
Dalek: A GNU, Improved Programmable Debugger. USENIX Summer (1990)
Carole M. McNamee, Ronald A. Olsson
Transformations for optimizing interprocess communication and synchronization mechanisms. Int. J. Parallel Program. 19 (5) (1990)
Daniel T. Huang, Ronald A. Olsson
An Exception Handling Mechanism for SR. Comput. Lang. 15 (3) (1990)
Carole M. McNamee, Ronald A. Olsson
Comments on "Critical Races in Ada Programs''. IEEE Trans. Software Eng. 16 (12) (1990)
Michael H. Coffin, Ronald A. Olsson
An SR Approach to Multiway Rendezvous. Comput. Lang. 14 (4) (1989)
Ronald A. Olsson, Gregory R. Whitehead
A Simple Technique for Automatic Recompilation in Modular Programming Languages. Softw. Pract. Exp. 19 (8) (1989)
Gregory R. Andrews, Ronald A. Olsson, Michael H. Coffin, Irving Elshoff, Kelvin D. Nilsen, Titus D. M. Purdin, Gregg M. Townsend
An Overview of the SR Language and Implementation. ACM Trans. Program. Lang. Syst. 10 (1) (1988)
M. Stella Atkins, Ronald A. Olsson
Performance of Multi-tasking and Synchronization Mechanisms in the Programming Language SR. Softw. Pract. Exp. 18 (9) (1988)
Richard D. Schlichting, Gregory R. Andrews, Norman C. Hutchinson, Ronald A. Olsson, Larry L. Peterson
Observations on Building Distributed Languages and Systems. Experiences with Distributed Systems (1987)
Gregory R. Andrews, Ronald A. Olsson
The Evolution of the SR Language. Distributed Comput. 1 (3) (1986)