default search action
Ronald A. Olsson
- > Home > Persons > Ronald A. Olsson
Publications
- 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) - 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) - 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) - 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 - 2005
- [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) - [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
- [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 - 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) - [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 - [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) - [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
- [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 - 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 - 1990
- [c2]Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho:
Dalek: A GNU, Improved Programmable Debugger. USENIX Summer 1990: 221-232
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