Experience with processes and monitors in Mesa
Communications of the ACM
Modularization and hierarchy in a family of operating systems
Communications of the ACM
Ethernet: distributed packet switching for local computer networks
Communications of the ACM
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
Communications of the ACM
Information Retrieval: Recovery of disk contents after system failure
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
On the transfer of control between contexts
Programming Symposium, Proceedings Colloque sur la Programmation
Pilot: A software engineering case study
ICSE '79 Proceedings of the 4th international conference on Software engineering
The impact of mesa on system design
ICSE '79 Proceedings of the 4th international conference on Software engineering
An open operating system for a single-user machine
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
BACKUP AND RECOVERY OF ON-LINE INFORMATION IN A COMPUTER
BACKUP AND RECOVERY OF ON-LINE INFORMATION IN A COMPUTER
Experience with Grapevine: the growth of a distributed system
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Computer Systems (TOCS)
A structural view of the Cedar programming environment
ACM Transactions on Programming Languages and Systems (TOPLAS)
Buffer management in relational database systems
ACM Transactions on Database Systems (TODS)
Personal distributed computing: the Alto and Ethernet software
HPW '86 Proceedings of the ACM Conference on The history of personal workstations
Object structure in the Emerald system
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
CHAOS- kernel support for objects in the real-time domain
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Reimplementing the Cedar file system using logging and group commit
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
801 storage: architecture and programming
ACM Transactions on Computer Systems (TOCS)
Personal distributed computing: the alto and ethernet software
A history of personal workstations
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Improving the efficiency of UNIX buffer caches
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Lightweight remote procedure call
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Lightweight remote procedure call
ACM Transactions on Computer Systems (TOCS)
The muse object architecture: a new operating system structuring concept
ACM SIGOPS Operating Systems Review
Architecture support for single address space operating systems
ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
Efficient software-based fault isolation
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Sharing and protection in a single-address-space operating system
ACM Transactions on Computer Systems (TOCS) - Special issue on computer architecture
The operating system kernel as a secure programmable machine
ACM SIGOPS Operating Systems Review
The integration of virtual memory management and interprocess communication in Accent
ACM Transactions on Computer Systems (TOCS)
Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
MobiCom '96 Proceedings of the 2nd annual international conference on Mobile computing and networking
Using content-derived names for configuration management
Proceedings of the 1997 symposium on Software reusability
Application performance and flexibility on exokernel systems
Proceedings of the sixteenth ACM symposium on Operating systems principles
Scheduling techniques for reducing processor energy use in MacOS
Wireless Networks - Special issue: mobile computing and networking: selected papers from MobiCom '96
Programming languages as operating systems (or revenge of the son of the lisp machine)
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
The file system of an integrated local network
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Preemptable remote execution facilities for the V-system
Proceedings of the tenth ACM symposium on Operating systems principles
Smart packets: applying active networks to network management
ACM Transactions on Computer Systems (TOCS)
Safety checking of machine code
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
An experimental distributed modeling system
ACM Transactions on Information Systems (TOIS)
Operating system support for database management
Communications of the ACM
Experience with processes and monitors in Mesa
Communications of the ACM
SAFKASI: a security mechanism for language-based systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The operating system kernel as a secure programmable machine
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
Termination in language-based systems
ACM Transactions on Information and System Security (TISSEC)
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Empirical analysis of the mesa instruction set
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
48-bit absolute internet and Ethernet host numbers
SIGCOMM '81 Proceedings of the seventh symposium on Data communications
JOYCE: A next generation personal computer
SIGSMALL '80 Proceedings of the 3rd ACM SIGSMALL symposium and the first SIGPC symposium on Small systems
Experience with processes and monitors in Mesa (Summary)
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Observations on the development of an operating system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
A file system supporting cooperation between programs
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Hints for computer system design
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
UIDs as internal names in a distributed file system
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
The Mesa programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Zeus: An object-oriented distributed operating system for reliable applications
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Garbage Collector Memory Accounting in Language-Based Systems
SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
Virtual memory transaction management
ACM SIGOPS Operating Systems Review
Kill-safe synchronization abstractions
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Problems in supporting data base transactions in an operating system transaction manager
ACM SIGOPS Operating Systems Review
The KaffeOS Java runtime system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the twentieth ACM symposium on Operating systems principles
JOYCE: a next generation personal computer
ACM SIGSMALL Newsletter
Deconstructing process isolation
Proceedings of the 2006 workshop on Memory system performance and correctness
Language support for fast and reliable message-based communication in singularity OS
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Processes in KaffeOS: isolation, resource management, and sharing in java
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Techniques for the design of java operating systems
ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
A transactional memory service in an extensible operating system
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
Application buffer-cache management for performance: running the world's largest MRTG
LISA'07 Proceedings of the 21st conference on Large Installation System Administration Conference
Anonymous RPC: low-latency protection in a 64-bit address space
Usenix-stc'93 Proceedings of the USENIX Summer 1993 Technical Conference on Summer technical conference - Volume 1
Parity lost and parity regained
FAST'08 Proceedings of the 6th USENIX Conference on File and Storage Technologies
Safe to the last instruction: automated verification of a type-safe operating system
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Towards reliable storage systems
Towards reliable storage systems
FAST'12 Proceedings of the 10th USENIX conference on File and Storage Technologies
ReconFS: a reconstructable file system on flash storage
FAST'14 Proceedings of the 12th USENIX conference on File and Storage Technologies
| Hi-index | 48.25 |