2008 | ||
---|---|---|
61 | EE | 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) |
2007 | ||
60 | EE | Chad D. Sterling, Ronald A. Olsson: Automated bug isolation via program chipping. Softw., Pract. Exper. 37(10): 1061-1086 (2007) |
2006 | ||
59 | EE | Nija Shi, Ronald A. Olsson: Reverse Engineering of Design Patterns from Java Source Code. ASE 2006: 123-134 |
58 | EE | 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 | ||
57 | EE | Chad D. Sterling, Ronald A. Olsson: Automated bug isolation via program chipping. AADEBUG 2005: 23-32 |
56 | EE | 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 |
55 | EE | 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 | ||
54 | EE | 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) |
53 | EE | 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) |
2003 | ||
52 | EE | Aaron W. Keen, Ronald A. Olsson: An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages. Euro-Par 2003: 770-780 |
51 | EE | 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) |
50 | 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) | |
2002 | ||
49 | EE | Aaron W. Keen, Ronald A. Olsson: Exception Handling during Asynchronous Method Invocation (Research Note). Euro-Par 2002: 656-660 |
48 | Takashi Ishihara, Aaron W. Keen, Justin T. Maris, Eric Wohlstadter, Ronald A. Olsson: CoW: A Cooperative Multithreading Web Server. PDPTA 2002: 991-996 | |
47 | Ronald A. Olsson: Additional transformations for multiple-level escape statements. Softw. Test., Verif. Reliab. 12(2): 71-76 (2002) | |
2001 | ||
46 | EE | Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson: JR: Flexible Distributed Programming in an Extended Java. ICDCS 2001: 575-584 |
2000 | ||
45 | EE | Takashi Ishihara, Tiejun Li, Eugene F. Fodor, Ronald A. Olsson: A Comparison of Concurrent Programming and Cooperative Multithreading. Euro-Par 2000: 729-738 |
44 | EE | 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 | ||
43 | 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: 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 Springer 1999 | |
42 | Eugene F. Fodor, Ronald A. Olsson: Concurrent Language Support for Interoperable Applications. IPPS/SPDP Workshops 1999: 100-107 | |
41 | Eugene F. Fodor, Ronald A. Olsson: Cooperative Multithreading: Experience with Applications. PDPTA 1999: 1953-1957 | |
40 | Ronald A. Olsson: Reproducible execution of SR programs. Concurrency - Practice and Experience 11(9): 479-507 (1999) | |
39 | 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) | |
38 | Myla Archer, Amy Lo, Ronald A. Olsson: Towards a Transformational Approach to Program Verification. Softw. Test., Verif. Reliab. 9(2): 85-106 (1999) | |
37 | EE | 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) |
1998 | ||
36 | EE | 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 |
35 | EE | Gregory D. Benson, Ronald A. Olsson: A Framework for Specializing Threads in Concurrent Run-Time Systems. LCR 1998: 139-152 |
34 | Mandy Chung, Ronald A. Olsson: New Mechanisms for Invocation Handling in Concurrent Programming Languages. Comput. Lang. 24(4): 245-270 (1998) | |
33 | 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) | |
1997 | ||
32 | EE | 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 |
31 | 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) | |
30 | 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) | |
1996 | ||
29 | Gregory D. Benson, Ronald A. Olsson: Towards Microkernel Support for the SR Concurrent Programming Language. PDPTA 1996: 1513-1524 | |
28 | 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 | |
27 | Robert M. Gebala, Carole M. McNamee, Ronald A. Olsson: An Interpreter for an Imperative Concurrent Programming Language. PDPTA 1996: 1561- | |
26 | 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 | |
25 | EE | 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) |
24 | EE | 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) |
23 | 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) | |
1995 | ||
22 | 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 | |
21 | 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) | |
20 | EE | Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson: MCF: a malicious code filter. Computers & Security 14(6): 541-566 (1995) |
1993 | ||
19 | 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 | |
1992 | ||
18 | EE | 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 |
17 | Carole M. McNamee, Ronald A. Olsson: Static Inter-Module Analysis for Determining Processor Co-Residency. ICPP (2) 1992: 200-207 | |
16 | Ronald A. Olsson, Carole M. McNamee: Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms. Comput. Lang. 17(4): 269-282 (1992) | |
1991 | ||
15 | Ronald A. Olsson, Carole M. McNamee: An Overview of Compiler Optimization of Interprocess Communication and Synchronization Mechanisms. ICPP (2) 1991: 31-35 | |
14 | 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) | |
13 | Ronald A. Olsson, Daniel T. Huang: Axiomatic Semantics for ``Escape'' Statements. Inf. Process. Lett. 39(1): 27-33 (1991) | |
12 | Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho: A Dataflow Approach to Event-based Debugging. Softw., Pract. Exper. 21(2): 209-230 (1991) | |
11 | W. Wilson Ho, Ronald A. Olsson: An Approach to Genuine Dynamic Linking. Softw., Pract. Exper. 21(4): 375-390 (1991) | |
1990 | ||
10 | Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho: Dalek: A GNU, Improved Programmable Debugger. USENIX Summer 1990: 221-232 | |
9 | Daniel T. Huang, Ronald A. Olsson: An Exception Handling Mechanism for SR. Comput. Lang. 15(3): 163-176 (1990) | |
8 | EE | Carole M. McNamee, Ronald A. Olsson: Comments on ``Critical Races in Ada Programs''. IEEE Trans. Software Eng. 16(12): 1439 (1990) |
7 | Ronald A. Olsson: Using SR for Discrete Event Simulation: A Study in Concurrent Programming. Softw., Pract. Exper. 20(12): 1187-1208 (1990) | |
1989 | ||
6 | Michael H. Coffin, Ronald A. Olsson: An SR Approach to Multiway Rendezvous. Comput. Lang. 14(4): 255-262 (1989) | |
5 | Ronald A. Olsson, Gregory R. Whitehead: A Simple Technique for Automatic Recompilation in Modular Programming Languages. Softw., Pract. Exper. 19(8): 757-773 (1989) | |
1988 | ||
4 | EE | 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) |
3 | 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) | |
1987 | ||
2 | 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 | ||
1 | Gregory R. Andrews, Ronald A. Olsson: The Evolution of the SR Language. Distributed Computing 1(3): 133-149 (1986) |