Roy H. Campbell
Affiliations:- University of Illinois at Urbana-Champaign, USA
According to our database1,
Roy H. Campbell
authored at least 312 papers
between 1974 and 2023.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 2005, "For contributions to concurrent programming, system software, security, and ubiquitous computing.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Evidence for flexible navigation strategies during spatial learning involving path choices.
Spatial Cogn. Comput., July, 2023
Proceedings of the 11th IEEE International Conference on Healthcare Informatics, 2023
2021
Where did my 256 GB go? A Measurement Analysis of Storage Consumption on Smart Mobile Devices.
Proc. ACM Meas. Anal. Comput. Syst., 2021
Proceedings of the Intelligent Computing, 2021
Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021
2020
Caramel: Accelerating Decentralized Distributed Deep Learning with Computation Scheduling.
CoRR, 2020
Proceedings of the PEARC '20: Practice and Experience in Advanced Research Computing, 2020
Proceedings of the 8th International Conference on Learning Representations, 2020
Proceedings of the 12th USENIX Workshop on Hot Topics in Cloud Computing, 2020
2019
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019
Proceedings of the 2019 USENIX Conference on Operational Machine Learning, 2019
Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019
Proceedings of the International Conference on Computing, Networking and Communications, 2019
2018
Learning the progression and clinical subtypes of Alzheimer's disease from longitudinal clinical data.
CoRR, 2018
Communication Scheduling as a First-Class Citizen in Distributed Machine Learning Systems.
CoRR, 2018
Proceedings of the 2018 USENIX Workshop on Advances in Security Education, 2018
Proceedings of the 6th International Conference on Learning Representations, 2018
Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018
2017
IEEE/ACM Trans. Netw., 2017
CoRR, 2017
A Novel Scheduling Framework Leveraging Hardware Cache Partitioning for Cache-Side-Channel Elimination in Clouds.
CoRR, 2017
Using OS Design Patterns to Provide Reliability and Security as-a-Service for VM-based Clouds.
Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2017
Cloud security certifications: a comparison to improve cloud service provider security.
Proceedings of the Second International Conference on Internet of things and Cloud Computing, 2017
Proceedings of the 5th International Conference on Learning Representations, 2017
Proceedings of the 2017 IEEE International Conference on Cloud Engineering, 2017
4CeeD: Real-Time Data Acquisition and Analysis Framework for Material-related Cyber-Physical Environments.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017
IT Security and Privacy Standards in Comparison: Improving FedRAMP Authorization for Cloud Service Providers.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017
Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017
2016
Proceedings of the 2016 International Conference on Management of Data, 2016
Proceedings of the First IEEE International Conference on Internet-of-Things Design and Implementation, 2016
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016
Proceedings of the 2016 IEEE International Conference on Cloud Engineering, 2016
Phurti: Application and Network-Aware Flow Scheduling for Multi-tenant MapReduce Clusters.
Proceedings of the 2016 IEEE International Conference on Cloud Engineering, 2016
Toward Fabric: A Middleware Implementing High-level Description Languages on a Fabric-like Network.
Proceedings of the 2016 Symposium on Architectures for Networking and Communications Systems, 2016
2015
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015
Proceedings of the Digital Forensics and Cyber Crime - 7th International Conference, 2015
Inter-flow consistency: A novel SDN update abstraction for supporting inter-flow constraints.
Proceedings of the 2015 IEEE Conference on Communications and Network Security, 2015
Proceedings of the Sixth ACM Symposium on Cloud Computing, 2015
2014
Profiling and evaluating hardware choices for MapReduce environments: An application-aware approach.
Perform. Evaluation, 2014
Proceedings of the 11th International Conference on Autonomic Computing, 2014
Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014
CryptVMI: a flexible and encrypted virtual machine introspection system in the cloud.
Proceedings of the Second International Workshop on Security in Cloud Computing, 2014
Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014
Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014
2013
IEEE Trans. Dependable Secur. Comput., 2013
Perform. Evaluation, 2013
Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013
Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013
Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013
Proceedings of the 2013 IEEE International Conference on Cloud Engineering, 2013
Proceedings of the 5th USENIX Workshop on Hot Topics in Cloud Computing, 2013
The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology DCDV 2013.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
Storage-efficient data replica number computation for multi-level priority data in distributed storage systems.
Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013
An empirical study on the software integrity of virtual appliances: are you really getting what you paid for?
Proceedings of the 8th ACM Symposium on Information, Computer and Communications Security, 2013
2012
ACM Trans. Multim. Comput. Commun. Appl., 2012
ACM Trans. Auton. Adapt. Syst., 2012
Proceedings of the IEEE Fifth International Conference on Utility and Cloud Computing, 2012
Proceedings of the ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, 2012
Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012
Deadline-based workload management for MapReduce environments: Pieces of the performance puzzle.
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012
Two Sides of a Coin: Optimizing the Schedule of MapReduce Jobs to Minimize Their Makespan and Improve Cluster Performance.
Proceedings of the 20th IEEE International Symposium on Modeling, 2012
A storage-centric analysis of MapReduce workloads: File popularity, temporal locality and arrival patterns.
Proceedings of the 2012 IEEE International Symposium on Workload Characterization, 2012
Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012
Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012
Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012
A Map-Reduce Based Framework for Heterogeneous Processing Element Cluster Environments.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012
2011
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops, 2011
Proceedings of the 2011 IEEE Sixth International Workshop on Systematic Approaches to Digital Forensic Engineering, 2011
Proceedings of the 5th International Conference on Network and System Security, 2011
Using graphics rendering contexts to enhance the real-time video coding for mobile cloud gaming.
Proceedings of the 19th International Conference on Multimedia 2011, Scottsdale, AZ, USA, November 28, 2011
Proceedings of the Middleware 2011, 2011
Distortion over latency: Novel metric for measuring interactive performance in remote rendering systems.
Proceedings of the 2011 IEEE International Conference on Multimedia and Expo, 2011
Proceedings of the 8th International Conference on Autonomic Computing, 2011
Proceedings of the 9th USENIX Conference on File and Storage Technologies, 2011
Proceedings of the 2011 IEEE International Conference on Cluster Computing (CLUSTER), 2011
Proceedings of the 2011 IEEE International Conference on Cluster Computing (CLUSTER), 2011
2010
When Huge Is Routine: Scaling Genetic Algorithms and Estimation of Distribution Algorithms via Data-Intensive Computing.
Proceedings of the Parallel and Distributed Computational Intelligence, 2010
Cross-Layer Quality Assessment of Scalable Video Services on Mobile Embedded Systems.
IEEE Trans. Mob. Comput., 2010
7<sup>th</sup> IEEE International Workshop on Middleware Support for Pervasive Computing (PerWare 2010): Message from the workshop chairs.
Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010
Proceedings of the Mobile Computing, Applications, and Services, 2010
Proceedings of the 18th International Conference on Multimedia 2010, 2010
Build your world and play in it: Interacting with surface particles on complex objects.
Proceedings of the 9th IEEE International Symposium on Mixed and Augmented Reality, 2010
Real-time parallel remote rendering for mobile devices using graphics processing units.
Proceedings of the 2010 IEEE International Conference on Multimedia and Expo, 2010
Lightning: self-adaptive, energy-conserving, multi-zoned, commodity green cloud storage system.
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, 2010
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
Proceedings of the Twenty-Sixth Annual Computer Security Applications Conference, 2010
2009
Trans. Pattern Lang. Program., 2009
Budget constrained optimal security hardening of control networks for critical cyber-infrastructures.
Int. J. Crit. Infrastructure Prot., 2009
Proceedings of the IEEE International Conference on Systems, 2009
Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, 2009
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009
Proceedings of the 17th International Conference on Multimedia 2009, 2009
Proceedings of the Ninth International Conference on Intelligent Systems Design and Applications, 2009
A statistical study on the impact of wireless signals' behavior on location estimation accuracy in 802.11 fingerprinting systems.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009
M-TEEVE: real-time 3D video interaction and broadcasting framework for mobile devices.
Proceedings of the 2nd International ICST Conference on Immersive Telecommunications, 2009
Simulation Framework and Performance Analysis of Multimedia Broadcasting Service over Wireless Networks.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009
Open Cirrus™ Cloud Computing Testbed: Federated Data Centers for Open Source Systems and Services Research.
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009
Proceedings of the 2009 IEEE International Conference on Cluster Computing, August 31, 2009
Proceedings of the 6th IEEE Consumer Communications and Networking Conference, 2009
2008
Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008
A Parallel Implementation of K-Means Clustering on GPUs.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008
Proceedings of the 16th International Conference on Multimedia 2008, 2008
Proceedings of the Critical Infrastructure Protection II, 2008
Proceedings of the Critical Infrastructure Protection II, 2008
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008
Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008
2007
Proceedings of the 2007 USENIX Annual Technical Conference, 2007
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007
Secure Reincarnation of Compromised Servers Using Xen Based Time-Forking Virtual Machines.
Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007
Proceedings of the Critical Infrastructure Protection, 2007
Workshop Summary - ICSE Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE).
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the Workshop on Experimental Computer Science, 2007
iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support.
Proceedings of the Third IEEE International Symposium on Dependable, 2007
Proceedings of the Third IEEE International Symposium on Dependable, 2007
2006
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006
Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies.
Proceedings of the 4th IEEE International Conference on Pervasive Computing and Communications (PerCom 2006), 2006
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006
Proceedings of the 20th Conference on Systems Administration (LISA 2006), 2006
Proceedings of the 25th IEEE International Performance Computing and Communications Conference, 2006
Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006
Proceedings of the Data Mining, 2006
Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006
2005
Design, implementation, and performance of an automatic configuration service for distributed component systems.
Softw. Pract. Exp., 2005
Multiagent Grid Syst., 2005
Leveraging Social-Network Infrastructure to Improve Peer-to-Peer Overlay Performance: Results from Orkut
CoRR, 2005
Proceedings of the Security in Pervasive Computing, Second International Conference, 2005
Proceedings of the 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), 2005
Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005
Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005
Proceedings of the 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), 2005
Proceedings of the 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), 2005
A Policy-based Management Framework for Pervasive Systems using Axiomatized Rule-Actions.
Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005
Proceedings of the 2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 2005
Plethora: A Framework for Converting Generic Applications to Run in a Ubiquitous Environment.
Proceedings of the 2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 2005
Proceedings of the 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 2005
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005
Automated and Adaptive Threshold Setting: Enabling Technology for Autonomy and Self-Management.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005
Proceedings of the 2nd IEEE Consumer Communications and Networking Conference, 2005
2004
IEEE Pervasive Comput., 2004
IEEE Distributed Syst. Online, 2004
Routing with Confidence: Supporting Discretionary Routing Requirements in Policy Based Networks.
Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004
Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 2004
Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 2004
Proceedings of the 1st Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), 2004
MiddleWhere: A Middleware for Location Awareness in Ubiquitous Computing Applications.
Proceedings of the Middleware 2004, 2004
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004
Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004
2003
IEEE Trans. Syst. Man Cybern. Part C, 2003
Pers. Ubiquitous Comput., 2003
Proceedings of the 8th ACM Symposium on Access Control Models and Technologies, 2003
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003
Proceedings of the Middleware 2003, 2003
Proceedings of the Middleware 2003, 2003
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003
Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003
2002
IEEE Wirel. Commun., 2002
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2002
Proceedings of the 2nd International Workshop on Mobile Commerce, 2002
Proceedings of the Pervasive Computing, 2002
Proceedings of the Software Security -- Theories and Systems, 2002
Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002
A Flexible, Privacy-Preserving Authentication Framework for Ubiquitous Computing Environments.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002
Routing Through the Mist: Privacy Preserving Communication in Ubiquitous Computing Environments.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002
2001
IEEE Distributed Syst. Online, 2001
Guest Editors' Introduction: Reflective Middleware.
IEEE Distributed Syst. Online, 2001
Comput. Commun., 2001
Proceedings of the 2001 Symposium on Applications and the Internet (SAINT 2001), 2001
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001
Dynamic Resource Management and Automatic Configuration of Distributed Component Systems.
Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001
Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001
2000
Softw. Pract. Exp., 2000
Proceedings of the 9th ACM SIGOPS European Workshop, 2000
Monitoring, Security, and Dynamic Configuration with the <i>dynamicTAO</i> Reflective ORB.
Proceedings of the Middleware 2000, 2000
Proceedings of the Agent Systems, 2000
Proceedings of the Seventh International Conference on Parallel and Distributed Systems, 2000
Secure Information Flow in Mobile Bootstrapping Process.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000
Flexible Secure Multicasting in Active Networks.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000
Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000
Proceedings of the 2000 IEEE International Conference on Communications: Global Convergence Through Communications, 2000
IRBAC 2000: Secure Interoperability Using Dynamic Role Translation.
Proceedings of the International Conference on Internet Computing, 2000
Proceedings of the Ninth IEEE International Symposium on High Performance Distributed Computing, 2000
Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 2000
1999
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999
Media Streaming Protocol: An Adaptive Protocol for the Delivery of Audio and Video over the Internet.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999
Proceedings of the 1999 IEEE International Conference on Acoustics, 1999
Proceedings of the Handheld and Ubiquitous Computing, First International Symposium, 1999
Automatic Configuration in the 2K Operating System.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
A Framework for Dynamically Configurable Multimedia Distribution.
Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99), 1999
Keynote Speech: 2K: An OS for the New Millennium.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
Object-Oriented in Off++ - A Distributed Adaptable Microkernel.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
Proceedings of the 5th USENIX Conference on Object-Oriented Technologies & Systems, 1999
1998
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998
2K: A Reflective, Component-Based Operating System for Rapidly Changing Environments.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998
1997
Proceedings of the Intelligence in Services and Networks: Technology for Cooperative Competition, 1997
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997
1996
Real-Time Video and Audio in the World Wide Web.
World Wide Web J., 1996
Distributed Shared Memory on Loosely Coupled Systems.
Informatica (Slovenia), 1996
Commun. ACM, 1996
A fast, flexible network interface framework.
Proceedings of the Protocols for High-Speed Networks V, 1996
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996
Proceedings of the 1996 International Workshop on Multimedia Software Development, 1996
Proceedings of the 1996 International Workshop on Multimedia Software Development, 1996
Proceedings of the 18th International Conference on Software Engineering, 1996
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996
Proceedings of the 1st ACM International Conference on Digital Libraries, 1996
1995
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995
A Dynamic Priority-based Scheduling Method in Distributed Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995
Techniques for Global Optimization of Message Passing Communication on Unreliable Networks.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995
1994
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994
Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994
1993
Comput. Syst., 1993
Comput. Commun. Rev., 1993
Commun. ACM, 1993
Distributed Access to Persistent Objects.
Proceedings of the Decentralized and Distributed Systems, 1993
Uniform Co-Scheduling Using Object-Oriented Design Techniques.
Proceedings of the Decentralized and Distributed Systems, 1993
1992
IEEE Trans. Parallel Distributed Syst., 1992
The design of an object-oriented operating system: a case study of choices (abstract).
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992
Proceedings of the Future Tendencies in Computer Science, 1992
1991
Proceedings of the 3rd International Workshop on Software Configuration Management, 1991
1990
Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1990
Considerations of Persistence and Security in Choices, an Object-Oriented Operating System.
Proceedings of the Security and Persistence, 1990
C++ and Operating Systems Performance: A Case Study.
Proceedings of the C++ Conference. San Francisco, 1990
1989
J. Syst. Softw., 1989
J. Syst. Softw., 1989
Virtual Memory and Backing Storage Management in Multiprocessor Operating Systems Using Object-Oriented Design Techniques.
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989
Proceedings of the 5th International Workshop on Software Specification and Design, 1989
A Class Hierarchy for Building Stream-Oriented File Systems.
Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989
1988
Proceedings of the Conference on Object-Oriented Programming Systems, 1988
Proceedings of the Conference on Software Maintenance, 1988
A C++ Class Hierarchy for Building UNIX-like File Systems.
Proceedings of the Conference on C++. Denver, 1988
A Multiprocessor Operating System Simulator.
Proceedings of the Conference on C++. Denver, 1988
Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988
1987
ACM SIGOPS Oper. Syst. Rev., 1987
The Design of a Multiprocessor Operating System.
Proceedings of the C++ Workshop. Santa Fe, NM, USA, November 1987, 1987
1986
IEEE Computer Graphics and Applications, 1986
Proceedings of the Advanced Programming Environments, 1986
Proceedings of the Advanced Programming Environments, 1986
Mediators: A Synchronization Mechanism.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986
ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications.
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986
1985
Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985
Atomic Actions in Concurrent Systems.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985
1984
IEEE Trans. Software Eng., 1984
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984
RECIPE: Requirements for an evolutionary computer-based information processing environment.
Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984
Proceedings of the First International Conference on Data Engineering, 1984
1981
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981
1980
1979
Proceedings of the 4th International Conference on Software Engineering, 1979
Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979
1977
Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Acta Informatica, 1977
1976
PhD thesis, 1976
1975
Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Acta Informatica, 1975
Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975
1974
Proceedings of the Operating Systems, 1974