Ronald A. Olsson

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