Ronald A. Olsson

Matthew D. Roper, Ronald A. Olsson: Application-specific thread schedulers for distributed applications. Concurrency and Computation: Practice and Experience 24(3): 260-280 (2011)

Matthew D. Roper, Ronald A. Olsson: Application-specific thread schedulers for internet server applications. Concurrency and Computation: Practice and Experience 24(3): 281-304 (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. Computer Languages, Systems & Structures 35(3): 293-305 (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. Concurrency and Computation: Practice and Experience 20(8): 969-995 (2008)

Chad D. Sterling, Ronald A. Olsson: Automated bug isolation via program chipping. Softw., Pract. Exper. 37(10): 1061-1086 (2007)

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: 655-665

Nija Shi, Ronald A. Olsson: Reverse Engineering of Design Patterns from Java Source Code. ASE 2006: 123-134

Chad D. Sterling, Ronald A. Olsson: Automated bug isolation via program chipping. AADEBUG 2005: 23-32

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

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: 699-709

Justin T. Maris, Aaron W. Keen, Takashi Ishihara, Ronald A. Olsson: A comparison of concurrent programming and cooperative multithreading under load balancing applications. Concurrency and Computation: Practice and Experience 16(4): 345-369 (2004)

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): 578-608 (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. Computer Languages, Systems & Structures 29(4): 75-100 (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. Concurrency and Computation: Practice and Experience 15(1): 27-53 (2003)

Aaron W. Keen, Ronald A. Olsson: An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages. Euro-Par 2003: 770-780

Ronald A. Olsson: Additional transformations for multiple-level escape statements. Softw. Test., Verif. Reliab. 12(2): 71-76 (2002)

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

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

Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson: JR: Flexible Distributed Programming in an Extended Java. ICDCS 2001: 575-584

Ronald A. Olsson: Concurrent programming language support for invocation handling: design and implementation. ACM SIGSOFT Software Engineering Notes 25(1): 68-69 (2000)

Takashi Ishihara, Tiejun Li, Eugene F. Fodor, Ronald A. Olsson: A Comparison of Concurrent Programming and Cooperative Multithreading. Euro-Par 2000: 729-738

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

Ronald A. Olsson: Reproducible execution of SR programs. Concurrency - Practice and Experience 11(9): 479-507 (1999)

Myla Archer, Amy Lo, Ronald A. Olsson: Towards a Transformational Approach to Program Verification. Softw. Test., Verif. Reliab. 9(2): 85-106 (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., Verif. Reliab. 9(2): 107-133 (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): 213-235 (1999)

Eugene F. Fodor, Ronald A. Olsson: Concurrent Language Support for Interoperable Applications. IPPS/SPDP Workshops 1999: 100-107

Eugene F. Fodor, Ronald A. Olsson: Cooperative Multithreading: Experience with Applications. PDPTA 1999: 1953-1957

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 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 (Eds.): 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. Lecture Notes in Computer Science 1586, Springer 1999, isbn 3-540-65831-9

Mandy Chung, Ronald A. Olsson: New Mechanisms for Invocation Handling in Concurrent Programming Languages. Comput. Lang. 24(4): 245-270 (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): 259-275 (1998)

Gregory D. Benson, Ronald A. Olsson: A Framework for Specializing Threads in Concurrent Run-Time Systems. LCR 1998: 139-152

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: 115-124

Nicholas J. Puketza, Mandy Chung, Ronald A. Olsson, Biswanath Mukherjee: A Software Platform for Testing Intrusion Detection Systems. IEEE Software 14(5): 43-51 (1997)

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

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

W. Wilson Ho, Ronald A. Olsson: A layered model for building debugging and monitoring tools. Journal of Systems and Software 34(3): 211-222 (1996)

Ronald A. Olsson, Carole M. McNamee: Experience Using the C Preprocessor to Implement CCR, Monitor, and CSP Preprocessors for SR. Softw., Pract. Exper. 26(2): 125-134 (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): 719-729 (1996)

Gregory D. Benson, Ronald A. Olsson: Towards Microkernel Support for the SR Concurrent Programming Language. PDPTA 1996: 1513-1524

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: 1525-1548

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

Mark 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: 235-250

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): 17-37 (1995)

Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson: MCF: a malicious code filter. Computers & Security 14(6): 541-566 (1995)

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

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

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

Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee: Semantic issues in the design of languages for debugging. ICCL 1992: 252-261

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

Carole M. McNamee, Ronald A. Olsson: An attribute grammar approach to compiler optimization of intra-module interprocess communication. International Journal of Parallel Programming 20(3): 181-202 (1991)

Ronald A. Olsson, Daniel T. Huang: Axiomatic Semantics for ``Escape'' Statements. Inf. Process. Lett. 39(1): 27-33 (1991)

Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho, Christopher E. Wee: Sequential Debugging at a High Level of Abstraction. IEEE Software 8(3): 27-36 (1991)

Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho: A Dataflow Approach to Event-based Debugging. Softw., Pract. Exper. 21(2): 209-230 (1991)

W. Wilson Ho, Ronald A. Olsson: An Approach to Genuine Dynamic Linking. Softw., Pract. Exper. 21(4): 375-390 (1991)

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

Daniel T. Huang, Ronald A. Olsson: An Exception Handling Mechanism for SR. Comput. Lang. 15(3): 163-176 (1990)

Carole M. McNamee, Ronald A. Olsson: Transformations for optimizing interprocess communication and synchronization mechanisms. International Journal of Parallel Programming 19(5): 357-387 (1990)

Ronald A. Olsson: Using SR for Discrete Event Simulation: A Study in Concurrent Programming. Softw., Pract. Exper. 20(12): 1187-1208 (1990)

Carole M. McNamee, Ronald A. Olsson: Comments on ``Critical Races in Ada Programs''. IEEE Trans. Software Eng. 16(12): 1439 (1990)

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

Michael H. Coffin, Ronald A. Olsson: An SR Approach to Multiway Rendezvous. Comput. Lang. 14(4): 255-262 (1989)

Ronald A. Olsson, Gregory R. Whitehead: A Simple Technique for Automatic Recompilation in Modular Programming Languages. Softw., Pract. Exper. 19(8): 757-773 (1989)

M. Stella Atkins, Ronald A. Olsson: Performance of Multi-tasking and Synchronization Mechanisms in the Programming Language SR. Softw., Pract. Exper. 18(9): 879-895 (1988)

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): 51-86 (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: 271-291

Gregory R. Andrews, Ronald A. Olsson: The Evolution of the SR Language. Distributed Computing 1(3): 133-149 (1986)