default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRonald A. Olsson
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2018
[j49]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)- 2017
- [j48]Ronald A. Olsson:
A Note on Correctly Gathering Results from JR's Concurrent Invocation Statement. Scalable Comput. Pract. Exp. 18(3): 253-260 (2017) - 2016
- [j47]Ronald A. Olsson, Todd Williamson:
RJ: a Java package providing JR-like concurrent programming. Softw. Pract. Exp. 46(5): 685-708 (2016) - 2015
- [j46]Ronald A. Olsson, Aaron W. Keen, Todd Williamson:
Transformations for early reply and forward message passing mechanisms. Concurr. Comput. Pract. Exp. 27(17): 4645-4658 (2015) - [j45]Ronald A. Olsson, Aaron W. Keen:
User accessible reply capabilities in invoking and servicing operations. Concurr. Comput. Pract. Exp. 27(17): 5134-5155 (2015) - 2014
- [j44]Todd Williamson, Ronald A. Olsson:
PySy: a Python package for enhanced concurrent programming. Concurr. Comput. Pract. Exp. 26(2): 309-335 (2014) - 2011
- [j43]Matthew D. Roper, Ronald A. Olsson:
Application-specific thread schedulers for distributed applications. Concurr. Comput. Pract. Exp. 24(3): 260-280 (2011) - [j42]Matthew D. Roper, Ronald A. Olsson:
Application-specific thread schedulers for internet server applications. Concurr. Comput. Pract. Exp. 24(3): 281-304 (2011)
2000 – 2009
- 2009
- [j41]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): 293-305 (2009) - 2008
- [j40]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): 969-995 (2008) - 2007
- [j39]Chad D. Sterling, Ronald A. Olsson:
Automated bug isolation via program chipping. Softw. Pract. Exp. 37(10): 1061-1086 (2007) - 2006
- [c30]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 - [c29]Nija Shi, Ronald A. Olsson:
Reverse Engineering of Design Patterns from Java Source Code. ASE 2006: 123-134 - 2005
- [c28]Chad D. Sterling, Ronald A. Olsson:
Automated bug isolation via program chipping. AADEBUG 2005: 23-32 - [c27]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 - [c26]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 - 2004
- [j38]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): 345-369 (2004) - [j37]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) - 2003
- [j36]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): 75-100 (2003) - [j35]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): 27-53 (2003) - [c25]Aaron W. Keen, Ronald A. Olsson:
An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages. Euro-Par 2003: 770-780 - 2002
- [j34]Eugene F. Fodor, Ronald A. Olsson:
SIR: inter-program concurrency support for SR programs. Comput. Lang. Syst. Struct. 28(4): 307-325 (2002) - [j33]Ronald A. Olsson, Gregory D. Benson, Tingjian Ge, Aaron W. Keen:
Fairness in shared invocation servicing. Comput. Lang. Syst. Struct. 28(4): 327-351 (2002) - [j32]Ronald A. Olsson:
Additional transformations for multiple-level escape statements. Softw. Test. Verification Reliab. 12(2): 71-76 (2002) - [c24]Aaron W. Keen, Ronald A. Olsson:
Exception Handling during Asynchronous Method Invocation (Research Note). Euro-Par 2002: 656-660 - [c23]Takashi Ishihara, Aaron W. Keen, Justin T. Maris, Eric Wohlstadter, Ronald A. Olsson:
CoW: A Cooperative Multithreading Web Server. PDPTA 2002: 991-996 - 2001
- [c22]Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson:
JR: Flexible Distributed Programming in an Extended Java. ICDCS 2001: 575-584 - 2000
- [j31]Ronald A. Olsson:
Concurrent programming language support for invocation handling: design and implementation. ACM SIGSOFT Softw. Eng. Notes 25(1): 68-69 (2000) - [c21]Takashi Ishihara, Tiejun Li, Eugene F. Fodor, Ronald A. Olsson:
A Comparison of Concurrent Programming and Cooperative Multithreading. Euro-Par 2000: 729-738 - [c20]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
1990 – 1999
- 1999
- [j30]Ronald A. Olsson:
Reproducible execution of SR programs. Concurr. Pract. Exp. 11(9): 479-507 (1999) - [j29]Myla Archer, Amy Lo, Ronald A. Olsson:
Towards a Transformational Approach to Program Verification. Softw. Test. Verification Reliab. 9(2): 85-106 (1999) - [j28]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): 107-133 (1999) - [j27]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) - [c19]Eugene F. Fodor, Ronald A. Olsson:
Concurrent Language Support for Interoperable Applications. IPPS/SPDP Workshops 1999: 100-107 - [c18]Eugene F. Fodor, Ronald A. Olsson:
Cooperative Multithreading: Experience with Applications. PDPTA 1999: 1953-1957 - [e1]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:
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 [contents] - 1998
- [j26]Mandy Chung, Ronald A. Olsson:
New Mechanisms for Invocation Handling in Concurrent Programming Languages. Comput. Lang. 24(4): 245-270 (1998) - [j25]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) - [j24]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): 50-60 (1998) - [c17]Gregory D. Benson, Ronald A. Olsson:
A Framework for Specializing Threads in Concurrent Run-Time Systems. LCR 1998: 139-152 - [c16]Kirk A. Bradley, Steven Cheung, Nicholas J. Puketza, Biswanath Mukherjee, Ronald A. Olsson:
Detecting Disruptive Routers: A Distributed Network Monitoring Approach. S&P 1998: 115-124 - 1997
- [j23]Nicholas J. Puketza, Mandy Chung, Ronald A. Olsson, Biswanath Mukherjee:
A Software Platform for Testing Intrusion Detection Systems. IEEE Softw. 14(5): 43-51 (1997) - [j22]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): 201-227 (1997) - [c15]Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson:
Verification of a Distributed Computing. HICSS (5) 1997: 252-261 - 1996
- [j21]W. Wilson Ho, Ronald A. Olsson:
A layered model for building debugging and monitoring tools. J. Syst. Softw. 34(3): 211-222 (1996) - [j20]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): 125-134 (1996) - [j19]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) - [c14]Gregory D. Benson, Ronald A. Olsson:
Towards Microkernel Support for the SR Concurrent Programming Language. PDPTA 1996: 1513-1524 - [c13]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 - [c12]Robert M. Gebala, Carole M. McNamee, Ronald A. Olsson:
An Interpreter for an Imperative Concurrent Programming Language. PDPTA 1996: 1561- - [c11]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: 235-250 - 1995
- [j18]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) - [j17]Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson:
MCF: a malicious code filter. Comput. Secur. 14(6): 541-566 (1995) - [j16]Ronald A. Olsson, Carole M. McNamee:
Tools for teaching CCRs, monitors, and CSP concurrent programming concepts. ACM SIGCSE Bull. 27(2): 31-40 (1995) - [c10]Gregory D. Benson, Ronald A. Olsson:
The Design of Microkernel Support for the Sr Concurrent Programming Language. LCR 1995: 227-240 - [c9]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: 385-400 - 1993
- [c8]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: 29-42 - 1992
- [j15]Ronald A. Olsson, Carole M. McNamee:
Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms. Comput. Lang. 17(4): 269-282 (1992) - [c7]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 - [c6]Carole M. McNamee, Ronald A. Olsson:
Static Inter-Module Analysis for Determining Processor Co-Residency. ICPP (2) 1992: 200-207 - 1991
- [j14]Carole M. McNamee, Ronald A. Olsson:
An attribute grammar approach to compiler optimization of intra-module interprocess communication. Int. J. Parallel Program. 20(3): 181-202 (1991) - [j13]Ronald A. Olsson, Daniel T. Huang:
Axiomatic Semantics for "Escape" Statements. Inf. Process. Lett. 39(1): 27-33 (1991) - [j12]Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho, Christopher E. Wee:
Sequential Debugging at a High Level of Abstraction. IEEE Softw. 8(3): 27-36 (1991) - [j11]Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho:
A Dataflow Approach to Event-based Debugging. Softw. Pract. Exp. 21(2): 209-230 (1991) - [j10]W. Wilson Ho, Ronald A. Olsson:
An Approach to Genuine Dynamic Linking. Softw. Pract. Exp. 21(4): 375-390 (1991) - [c5]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: 160-166 - [c4]Ronald A. Olsson:
Parallelism, distribution, and synchronization in SR. Compcon 1991: 407-412 - [c3]Ronald A. Olsson, Carole M. McNamee:
An Overview of Compiler Optimization of Interprocess Communication and Synchronization Mechanisms. ICPP (2) 1991: 31-35 - 1990
- [j9]Daniel T. Huang, Ronald A. Olsson:
An Exception Handling Mechanism for SR. Comput. Lang. 15(3): 163-176 (1990) - [j8]Carole M. McNamee, Ronald A. Olsson:
Transformations for optimizing interprocess communication and synchronization mechanisms. Int. J. Parallel Program. 19(5): 357-387 (1990) - [j7]Ronald A. Olsson:
Using SR for Discrete Event Simulation: A Study in Concurrent Programming. Softw. Pract. Exp. 20(12): 1187-1208 (1990) - [j6]Carole M. McNamee, Ronald A. Olsson:
Comments on "Critical Races in Ada Programs''. IEEE Trans. Software Eng. 16(12): 1439 (1990) - [c2]Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho:
Dalek: A GNU, Improved Programmable Debugger. USENIX Summer 1990: 221-232
1980 – 1989
- 1989
- [j5]Michael H. Coffin, Ronald A. Olsson:
An SR Approach to Multiway Rendezvous. Comput. Lang. 14(4): 255-262 (1989) - [j4]Ronald A. Olsson, Gregory R. Whitehead:
A Simple Technique for Automatic Recompilation in Modular Programming Languages. Softw. Pract. Exp. 19(8): 757-773 (1989) - 1988
- [j3]M. Stella Atkins, Ronald A. Olsson:
Performance of Multi-tasking and Synchronization Mechanisms in the Programming Language SR. Softw. Pract. Exp. 18(9): 879-895 (1988) - [j2]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) - 1987
- [c1]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 - 1986
- [j1]Gregory R. Andrews, Ronald A. Olsson:
The Evolution of the SR Language. Distributed Comput. 1(3): 133-149 (1986)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
