| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthew D. Roper, Ronald A. Olsson |
Application-specific thread schedulers for distributed applications.  |
Concurrency and Computation: Practice and Experience  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew D. Roper, Ronald A. Olsson |
Application-specific thread schedulers for internet server applications. |
Concurrency and Computation: Practice and Experience |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chad D. Sterling, Ronald A. Olsson |
Automated bug isolation via program chipping. |
Softw., Pract. Exper. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nija Shi, Ronald A. Olsson |
Reverse Engineering of Design Patterns from Java Source Code. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew D. Roper, Ronald A. Olsson |
Developing embedded multi-threaded applications with CATAPULTS, a domain-specific language for generating thread schedulers. |
CASES |
2005 |
DBLP DOI BibTeX RDF |
application-specific schedulers, domain-specific languages, thread scheduling, user-level threads |
| 1 | Chad D. Sterling, Ronald A. Olsson |
Automated bug isolation via program chipping. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
bug isolation, program chipping, debugging, program slicing, data slicing |
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson |
JR: Flexible distributed programming in an extended Java. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Java, Concurrency, concurrent object-oriented programming, SR |
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron W. Keen, Ronald A. Olsson |
An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald A. Olsson |
Additional transformations for multiple-level escape statements. |
Softw. Test., Verif. Reliab. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron W. Keen, Ronald A. Olsson |
Exception Handling during Asynchronous Method Invocation (Research Note). |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Ishihara, Aaron W. Keen, Justin T. Maris, Eric Wohlstadter, Ronald A. Olsson |
CoW: A Cooperative Multithreading Web Server. |
PDPTA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson |
JR: Flexible Distributed Programming in an Extended Java. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Ishihara, Tiejun Li, Eugene F. Fodor, Ronald A. Olsson |
A Comparison of Concurrent Programming and Cooperative Multithreading. |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines |
Workshop on Run-Time Systems for Parallel Programming (RTSPP). |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald A. Olsson |
Reproducible execution of SR programs. |
Concurrency - Practice and Experience |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Cui Zhang, Ronald A. Olsson, Karl N. Levitt |
Formal Verification of a Programming Logic for a Distributed Programming Language. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Myla Archer, Amy Lo, Ronald A. Olsson |
Towards a Transformational Approach to Program Verification. |
Softw. Test., Verif. Reliab. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
IPPS/SPDP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Eugene F. Fodor, Ronald A. Olsson |
Concurrent Language Support for Interoperable Applications. |
IPPS/SPDP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene F. Fodor, Ronald A. Olsson |
Cooperative Multithreading: Experience with Applications. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mandy Chung, Ronald A. Olsson |
New Mechanisms for Invocation Handling in Concurrent Programming Languages. |
Comput. Lang. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory D. Benson, Ronald A. Olsson |
A Framework for Specializing Threads in Concurrent Run-Time Systems. |
LCR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas J. Puketza, Mandy Chung, Ronald A. Olsson, Biswanath Mukherjee |
A Software Platform for Testing Intrusion Detection Systems. |
IEEE Software |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson |
Verification of a Distributed Computing. |
HICSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas J. Puketza, Kui Zhang, Mandy Chung, Biswanath Mukherjee, Ronald A. Olsson |
A Methodology for Testing Intrusion Detection Systems. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
computer user simulation, software testing, Intrusion detection, computer security |
| 1 | Ronald A. Olsson, Carole M. McNamee |
Experience Using the C Preprocessor to Implement CCR, Monitor, and CSP Preprocessors for SR. |
Softw., Pract. Exper. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Wilson Ho, Ronald A. Olsson |
A layered model for building debugging and monitoring tools. |
Journal of Systems and Software |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Gregory D. Benson, Ronald A. Olsson |
Towards Microkernel Support for the SR Concurrent Programming Language. |
PDPTA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Robert M. Gebala, Carole M. McNamee, Ronald A. Olsson |
An Interpreter for an Imperative Concurrent Programming Language. |
PDPTA |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson |
MCF: a malicious code filter. |
Computers & Security |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee |
Semantic Issues in the Design of Languages for Debugging. |
Comput. Lang. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Cui Zhang, Brian R. Becker, Mark Heckman, Karl N. Levitt, Ronald A. Olsson |
A Hierarchical Method for Reasoning about Distributed Programming Languages. |
TPHOLs |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald A. Olsson, Carole M. McNamee |
Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms. |
Comput. Lang. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Carole M. McNamee, Ronald A. Olsson |
Static Inter-Module Analysis for Determining Processor Co-Residency. |
ICPP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee |
Semantic issues in the design of languages for debugging. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Carole M. McNamee, Ronald A. Olsson |
An attribute grammar approach to compiler optimization of intra-module interprocess communication. |
International Journal of Parallel Programming |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho, Christopher E. Wee |
Sequential Debugging at a High Level of Abstraction. |
IEEE Software |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald A. Olsson, Daniel T. Huang |
Axiomatic Semantics for ``Escape'' Statements. |
Inf. Process. Lett. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Wilson Ho, Ronald A. Olsson |
An Approach to Genuine Dynamic Linking. |
Softw., Pract. Exper. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho |
A Dataflow Approach to Event-based Debugging. |
Softw., Pract. Exper. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald A. Olsson, Carole M. McNamee |
An Overview of Compiler Optimization of Interprocess Communication and Synchronization Mechanisms. |
ICPP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Carole M. McNamee, Ronald A. Olsson |
Comments on ``Critical Races in Ada Programs''. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Ada rendezvous mechanism, critical race problem, critical race-free programs, Ada, semantics, programming |
| 1 | Carole M. McNamee, Ronald A. Olsson |
Transformations for optimizing interprocess communication and synchronization mechanisms. |
International Journal of Parallel Programming |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald A. Olsson |
Using SR for Discrete Event Simulation: A Study in Concurrent Programming. |
Softw., Pract. Exper. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel T. Huang, Ronald A. Olsson |
An Exception Handling Mechanism for SR. |
Comput. Lang. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho |
Dalek: A GNU, Improved Programmable Debugger. |
USENIX Summer |
1990 |
DBLP BibTeX RDF |
|
| 1 | Ronald A. Olsson, Gregory R. Whitehead |
A Simple Technique for Automatic Recompilation in Modular Programming Languages. |
Softw., Pract. Exper. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael H. Coffin, Ronald A. Olsson |
An SR Approach to Multiway Rendezvous. |
Comput. Lang. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Stella Atkins, Ronald A. Olsson |
Performance of Multi-tasking and Synchronization Mechanisms in the Programming Language SR. |
Softw., Pract. Exper. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1988 |
DBLP DOI BibTeX RDF |
SR |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory R. Andrews, Ronald A. Olsson |
The Evolution of the SR Language. |
Distributed Computing |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")