|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
Abrossimov et al. 89
|
|
 |
Anderson et al. 91
|
Thomas E. Anderson , Henry M. Levy , Brian N. Bershad , Edward D. Lazowska, The interaction of architecture and operating system design, Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, p.108-120, April 08-11, 1991, Santa Clara, California, United States
|
 |
Anderson et al. 92
|
|
 |
Appel & Li 91
|
|
| |
Bala et al. 94
|
Bala, K., Kaashoek, M. F., and Weiht, W. E. Software Prefetching and Caching for Translation Looksside Buffers. In Proceedings of the F~rst USENIX Symposmm on Operating Systems Deswn and Implementation (OSDI), pages 243-253, Monterey, CA, November 1994.
|
 |
Balakrishnan et al. 95
|
Hari Balakrishnan , Srinivasan Seshan , Elan Amir , Randy H. Katz, Improving TCI/IP performance over wireless networks, Proceedings of the 1st annual international conference on Mobile computing and networking, p.2-11, November 13-15, 1995, Berkeley, California, United States
[doi> 10.1145/215530.215544]
|
| |
Barrera 91
|
Barrera, J. S. A Fast Mach Network IPC Implementation. In Proceedings of the Second USENLY Mach Symposium, pages 1-11, Monterey, CA, November 199t.
|
| |
Bartlett 88
|
Bartlett, J. F. Compacting Garbage Collection with Ambiguous Roots. Technical Report WRL-TR-88-2, Digital Equipment Corporation Western Research Labs, February 1988.
|
 |
Berners-Lee et al. 94
|
|
| |
Bershad 93
|
Bershad, B. N. Practical Considerations for Non- Blocking Concurrent Objects. In Proceedzngs of the Thirteenth {nternalionaI Conference on D~stributed Comp~ttznq Systems, pages 264-274, Pittsburgh, PA. May 1993.
|
 |
Bershad et al. 90
|
|
| |
Bershad et al. 92a
|
Bershad, B. N., Draves, R. P., and Forth, A. Using Microbenchmarks to Evaluate System Performance. In Proceedings of the Third Workshop on Workstatzon Operating Systems, pages 148-153, Key Biscayne, FL, April 1992.
|
 |
Bershad et al. 92b
|
Brian N. Bershad , David D. Redell , John R. Ellis, Fast mutual exclusion for uniprocessors, Proceedings of the fifth international conference on Architectural support for programming languages and operating systems, p.223-233, October 12-15, 1992, Boston, Massachusetts, United States
|
| |
Black et al. 92
|
|
| |
Bricker et al. 91
|
Bricker, A., Gien, M., Guillemont, M., Lipkis, J., Orr, D., and Rozier, M. A New Look at Microkernel-based UNIX Operating Systems: Lessons in Performance and Compatibility. In Proceedings of the E urOpen Sprang'91 Conferer~ce, Tromsoe, Norway, May 1991.
|
| |
Brockschmidt 94
|
Brockschmidt, K. Inszde OLE 2. Microsoft Press, 1994.
|
| |
Brustoloni & Bershad 93
|
Brustoloni, J. C. and Bershad, B. N. Simple Protocol Processing for High-Bandwidth Low- Latency Networking. Technical Report CMU-CS-93-132, Carnegie Mellon University, March 1993.
|
| |
Cao et al. 94
|
Cao, P., Felten, E. W., and Li, K. Implementation and Performance of Application-Controlled File Caching. In Proceedings of the First USEN{X Symposium on Operating Systems Deszgn and Implementatzon (OSDt), pages 165-177, Monterey, CA, November 1994.
|
 |
Carter et al. 91
|
John B. Carter , John K. Bennett , Willy Zwaenepoel, Implementation and performance of Munin, Proceedings of the thirteenth ACM symposium on Operating systems principles, p.152-164, October 13-16, 1991, Pacific Grove, California, United States
|
 |
Carter et al. 94
|
Nicholas P. Carter , Stephen W. Keckler , William J. Dally, Hardware support for fast capability-based addressing, Proceedings of the sixth international conference on Architectural support for programming languages and operating systems, p.319-327, October 05-07, 1994, San Jose, California, United States
|
| |
Chankhunthod et al. 95
|
Chankhunthod, A., Danzig, P., Neerdaels, C., Schwartz, M., and Worrell, K. A Hierarchical Internet Object Cache. Technical Report CU-CS-766-95, DCS University of Colorado, July 1995.
|
 |
Chen & Bershad 93
|
|
| |
Cheriton & Duda 94
|
Cheriton, D. R. and Duds, K.J. A Caching Model of Operating System Kernel Functionality. In Proceedzng3 of the F~rst USENL~ Sympos~tm on Operatzng Systems Deswn and Implementation (OSDI), pages 179-194, Monterey, CA, November 1994.
|
 |
Cheriton & Zwaenepoel 83
|
|
| |
Colwell 85
|
|
| |
Cooper & Draves 88
|
Cooper, E. C. and Draves, R.P. C Threads. Technical Report CMU-CS-88-154, Carnegie Melton University, June 1988.
|
| |
Cooper et al. 91
|
Cooper, E., Harper, R., and Lee, P. The Fox Project: Advanced Development of Systems Software. Technical Report CMU-CS-91-178, Carnegie Mellon University, August 1991.
|
| |
Davis et al. 93
|
|
| |
Dig 93
|
Digital Equipment Corporation. DEC 0S~/1 Writing Device Drivers: Advanced Topics, 1993.
|
| |
Draves 93
|
Draves, R. The Case for Run-Time Replaceable Kernel Modules. In Proceedings of the Fourth Workshop on Workstation Operatzng Systems, pages 160-164, Naps, CA, October 1993.
|
| |
Draves 94
|
Draves, R. P. Control Transfer in Operating System Kernels. Technical Report CMU-CS-94-142, Carnegie Mellon University, May 1994.
|
 |
Draves et al. 91
|
Richard P. Draves , Brian N. Bershad , Richard F. Rashid , Randall W. Dean, Using continuations to implement thread management and communication in operating systems, Proceedings of the thirteenth ACM symposium on Operating systems principles, p.122-136, October 13-16, 1991, Pacific Grove, California, United States
|
| |
Engler & Kaashoek 95
|
|
 |
Engler & Proebsting 94
|
Dawson R. Engler , Todd A. Proebsting, DCG: an efficient, retargetable dynamic code generation system, Proceedings of the sixth international conference on Architectural support for programming languages and operating systems, p.263-272, October 05-07, 1994, San Jose, California, United States
|
 |
Engler et al. 94
|
|
 |
Engler et al. 95
|
D. R. Engler , M. F. Kaashoek , J. O'Toole, Jr., Exokernel: an operating system architecture for application-level resource management, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.251-266, December 03-06, 1995, Copper Mountain, Colorado, United States
|
| |
Fall & Pasquale 94
|
Fall, K. and Pasquale, J. Improving Continuous-Media Playback Performance with In-Kernel Data Paths. In Proceedings of the F~rst IEEE International Conference on Al~Itimedia Compu, ting and Systems, pages 100-109, Boston, MA, May 1994.
|
| |
Felten 92
|
Felten, E. W. The Case for Application-Specific Communication Protocols. In Intel Supercomp~ter Systems Technology Focus Conference, pages 171-181, April 1992.
|
| |
Fiuczynski & Bershad 96
|
Fiuczynski, M. and Bershad, B. An Extensible Protocol Architecture for Application-Specific Networking. In Proceed~ags of the 1996 Winter USENL~ Conference, San Diego, CA, January 1996.
|
| |
Forin et al. 91
|
Forth, A., Golub, D., and Bershad, B. N. An I/O System for Much 3.0. In Proceedings of the Second USENL~ Mach Symposi~Lm, pages 163-176, Monterey, CA, November 1991.
|
 |
Geschke et al. 77
|
|
| |
Golub et al. 90
|
Golub, D., Dean, R., Forin, A., and Rashid, R. Unix as an Application Program. In Proceedzngs of the 1990 S~tm, mer USENL~ Conference, pages 87-95, June 1990.
|
| |
Hamilton & Kougiouris 93
|
Hamilton, G. and Kougiouris, P. The Spring Nucleus: A Microkernel for Objects. In Proceedings of the 1993 S~mmer USENIX Conference, pages 147-159, Cincinnati, OH. June 1993.
|
 |
Harty & Cheriton 91
|
|
 |
Heidemann & Popek 94
|
|
| |
Hildebrand 92
|
|
 |
Hutchinson et al. 89
|
|
| |
Int 81
|
Intel Corporation. lntroductzon to the iAPX 432 Archztecture, 1981.
|
| |
Int 90
|
|
| |
Khalidi & Nelson 93
|
Khalidi, Y. A. and Nelson, M. An Implementation of UNIX on an Object-Oriented Operating System. In Proceedings of the 1993 Winter USENL~ Conference, pages 469-480, San Diego, CA, January 1993.
|
 |
Lazowska et al. 81
|
Edward D. Lazowska , Henry M. Levy , Guy T. Almes , Michael J. Fischer , Robert J. Fowler , Stephen C. Vestal, The architecture of the Eden system, Proceedings of the eighth ACM symposium on Operating systems principles, p.148-159, December 14-16, 1981, Pacific Grove, California, United States
|
| |
Lee et al. 94
|
Lee, C. H., Chen, M. C., and Chang, R. C. HiPEC: High Performance External Virtual Memory Caching. In Proceedings of the Fzrst USENL~ Symposium on Operating Systems Design and implementation (OSDI), pages 153- 164, Monterey, CA, November 1994.
|
| |
Liedtke 92
|
|
 |
Liedtke 93
|
|
| |
Lucco 94
|
Lucco, S. High-Performance Microkernel Systems. In Proceedings of the First USENIX Symposium on Operatzng Systems Design and Implementation (OSDI), page 199, 5Ionterey, CA, November 1994.
|
 |
Maeda & Bershad 93
|
|
 |
Marsh et al. 91
|
Brian D. Marsh , Michael L. Scott , Thomas J. LeBlanc , Evangelos P. Markatos, First-class user-level threads, Proceedings of the thirteenth ACM symposium on Operating systems principles, p.110-121, October 13-16, 1991, Pacific Grove, California, United States
|
| |
McNamee & Armstrong 90
|
McNamee, D. and Armstrong, K. Extending the Much External Pager Interface to Accommodate User-Level Page Replacement Policies. In Proceedings of the USENiX Much Sympos2~m, pages 17-29, Burlington, VT, October 1990.
|
 |
Mogul et al. 87
|
J. Mogul , R. Rashid , M. Accetta, The packer filter: an efficient mechanism for user-level network code, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.39-51, November 08-11, 1987, Austin, Texas, United States
|
| |
Mossenbock 94
|
|
| |
Mullender et al. 90
|
|
| |
Nelson 91
|
|
| |
Organick 73
|
|
| |
Pardyak & Bershad 94
|
Pardyak, P. and Bershad, B. A Group Structuring Mechanism for a Distributed Object Oriented Language Objects. In Proceedings of the Fourteenth International Conference on D~str~buted Comp~ting Systems, pages 312-219, Poznan, Poland, June 1994.
|
 |
Rashid et al. 87
|
Richard Rashid , Avadis Tevanian , Michael Young , David Golub , Robert Baron, Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures, Proceedings of the second international conference on Architectual support for programming languages and operating systems, p.31-39, October 1987, Palo Alto, California, United States
|
 |
Redell 88
|
|
 |
Redell et al. 80
|
David D. Redell , Yogen K. Dalal , Thomas R. Horsley , Hugh C. Lauer , William C. Lynch , Paul R. McJones , Hal G. Murray , Stephen C. Purcell, Pilot: an operating system for a personal computer, Communications of the ACM, v.23 n.2, p.81-92, Feb. 1980
[doi> 10.1145/358818.358822]
|
| |
Romer et al. 94
|
Romer, T. H., Lee, D., and Bershad, B. N. Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware. In Proceedings of the Fzrst USENIX Symposzum on Operatzng Systems Design and Imptementatzo~ (OSDI), pages 255-266, Monterey, CA, November 1994.
|
 |
Romer et al. 95
|
Theodore H. Romer , Wayne H. Ohlrich , Anna R. Karlin , Brian N. Bershad, Reducing TLB and memory overhead using online superpage promotion, Proceedings of the 22nd annual international symposium on Computer architecture, p.176-187, June 22-24, 1995, S. Margherita Ligure, Italy
|
| |
Rozier et al. 88
|
Rozier, M., Abrossimov, V., Armand, F., Boule, I., Giend, M., Guillemont, 'M., Herrmann, F., Leonard, P., Langtois, S., and Neuhauser, W. The Chorus Distributed Operating System. Comp ~ting Systems, 1(4):305- 370, 1988.
|
 |
Schroeder & Burrows 90
|
|
| |
Schulman et al. 92
|
Schulman, A., Maxey, D., and Pietrek, M. Undocumented tVindows. Addison-Wesley, 1992.
|
| |
Small & Seltzer 94
|
Small. C, and Seltzer, M. VINO: An Integrated Platform for Operating System and Database Research. Technical Report TR-30-94, Harvard University, 1994.
|
| |
Stevenson & Julin 95
|
Stcvcnaon, J, M. and Julin, D. P. Much- US: Unix On Generic OS Object Servers. In Proceedings of the 1995 W~ter USENLY Conference, New Orleans, LA, January 1995.
|
| |
Stodolsky et al. 93
|
|
 |
Stonebraker 81
|
|
| |
Thacker et al. 88
|
|
 |
Thekkath & Levy 93
|
|
 |
Thekkath & Levy 94
|
|
 |
von Eicken et al. 92
|
Thorsten von Eicken , David E. Culler , Seth Copen Goldstein , Klaus Erik Schauser, Active messages: a mechanism for integrated communication and computation, Proceedings of the 19th annual international symposium on Computer architecture, p.256-266, May 19-21, 1992, Queensland, Australia
|
 |
Wahbe et al. 93
|
Robert Wahbe , Steven Lucco , Thomas E. Anderson , Susan L. Graham, Efficient software-based fault isolation, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.203-216, December 05-08, 1993, Asheville, North Carolina, United States
|
| |
Weddspurger & Weihl 94
|
Waldspurger, C,. A. and Weihl, W. E. Lottery Scheduling: Flexible Proportioned-Share Resource Management. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSD{), pages 1-11, Monterey, CA, November 1994.
|
 |
Wheeler & Bershad 92
|
|
| |
Wulf et al. 81
|
Wulf, W. A., Levin, R., and Harbison, S. P. Hydra/C. mmp: An Eyperimenlal Computer System. McGraw-Hill, 1981.
|
 |
Young et al. 87
|
M. Young , A. Tevanian , R. Rashid , D. Golub , J. Eppinger, The duality of memory and communication in the implementation of a multiprocessor operating system, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.63-76, November 08-11, 1987, Austin, Texas, United States
|
| |
Yuhara et al. 94
|
Yuhara, M., Bershad, B. N., Maeda, C., and Moss, J. E. B, Efficient Packet Demultiplexing for Multiple Endpoints and Large Messages. In Proceedings of the i99.4 Wgnter USENirX Conference, pages 153-165, San Francisco, CA, January 1994.
|
CITED BY 213
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Amit Purohit , Charles P. Wright , Joseph Spadavecchia , Erez Zadok, Cosy: develop in user-land, run in kernel-mode, Proceedings of the 9th conference on Hot Topics in Operating Systems, p.19-19, May 18-21, 2003, Lihue, Hawaii
|
|
|
|
|
|
Li Gong , Marianne Mueller , Hemma Prafullchandra , Roland Schemers, Going beyond the sandbox: an overview of the new security architecture in the javaTM development Kit 1.2, Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems, p.10-10, December 08-11, 1997, Monterey, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Guy Edjlali , Anurag Acharya , Vipin Chaudhary, History-based access control for mobile code, Proceedings of the 5th ACM conference on Computer and communications security, p.38-48, November 02-05, 1998, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
Karl Crary , David Walker , Greg Morrisett, Typed memory management in a calculus of capabilities, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.262-275, January 20-22, 1999, San Antonio, Texas, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
Chih-Chieh Han , Ram Kumar , Roy Shea , Eddie Kohler , Mani Srivastava, A dynamic operating system for sensor nodes, Proceedings of the 3rd international conference on Mobile systems, applications, and services, June 06-08, 2005, Seattle, Washington
|
|
|
Daniel Peek , Edmund B. Nightingale , Brett D. Higgins , Puspesh Kumar , Jason Flinn, Sprockets: safe extensions for distributed file systems, 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference, p.1-14, June 17-22, 2007, Santa Clara, CA
|
|
|
|
|
|
Chris Hawblitzel , Chi-Chao Chang , Grzegorz Czajkowski , Deyu Hu , Thorsten von Eicken, Implementing multiple protection domains in java, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.22-22, June 15-19, 1998, New Orleans, Louisiana
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nicolas Geoffray , Gaël Thomas , Bertil Folliot , Charles Clément, Towards a new isolation abstraction for OSGi, Proceedings of the 1st workshop on Isolation and integration in embedded systems, p.41-45, April 01-01, 2008, Glasgow, Scotland
|
|
|
|
|
Mohit Aron , Jochen Liedtke , Kevin Elphinstone , Yoonho Park , Trent Jaeger , Luke Deller, The sawmill framework for virtual memory diversity, Australian Computer Science Communications, v.23 n.4, p.3-10, January 2001
|
|
|
|
Joel Auslander , Matthai Philipose , Craig Chambers , Susan J. Eggers , Brian N. Bershad, Fast, effective dynamic compilation, ACM SIGPLAN Notices, v.31 n.5, p.149-159, May 1996
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Brian D. Noble , M. Satyanarayanan , Dushyanth Narayanan , James Eric Tilton , Jason Flinn , Kevin R. Walker, Agile application-aware adaptation for mobility, ACM SIGOPS Operating Systems Review, v.31 n.5, p.276-287, Dec. 1997
|
|
Paul Dourish , W. Keith Edwards , Jon Howell , Anthony LaMarca , John Lamping , Karin Petersen , Michael Salisbury , Doug Terry , Jim Thornton, A programming model for active documents, Proceedings of the 13th annual ACM symposium on User interface software and technology, p.41-50, November 06-08, 2000, San Diego, California, United States
|
|
|
|
|
|
|
Gilles Muller , Charles Consel , Renaud Marlet , Luciano Porto Barreto , Fabrice Mérillon , Laurent Réveillère, Towards robust OSes for appliances: a new approach based on domain-specific languages, Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system, September 17-20, 2000, Kolding, Denmark
|
|
Paul Dourish , W. Keith Edwards , Anthony LaMarca , John Lamping , Karin Petersen , Michael Salisbury , Douglas B. Terry , James Thornton, Extending document management systems with user-specific active properties, ACM Transactions on Information Systems (TOIS), v.18 n.2, p.140-170, April 2000
|
|
Dawson R. Engler , Wilson C. Hsieh , M. Frans Kaashoek, C: a language for high-level, efficient, and machine-independent dynamic code generation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.131-144, January 21-24, 1996, St. Petersburg Beach, Florida, United States
|
|
|
|
|
|
|
Ramesh K. Karne , Karthick V. Jaganathan , Nelson Rosa, Jr , Tufail Ahmed, DOSC: dispersed operating system computing, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
|
|
|
|
|
|
|
|
Gary J. Nutt , Scott Brandt , Adam J. Griff , Sam Siewert , Marty Humphrey , Toby Berk, Dynamically Negotiated Resource Management for Data Intensive Application Suites, IEEE Transactions on Knowledge and Data Engineering, v.12 n.1, p.78-95, January 2000
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Andrew Whitaker , Richard S. Cox , Marianne Shaw , Steven D. Grible, Constructing services with interposable virtual hardware, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.13-13, March 29-31, 2004, San Francisco, California
|
|
|
Mohan Rajagopalan , Saumya K. Debray , Matti A. Hiltunen , Richard D. Schlichting, Cassyopia: compiler assisted system optimization, Proceedings of the 9th conference on Hot Topics in Operating Systems, p.18-18, May 18-21, 2003, Lihue, Hawaii
|
|
|
|
|
|
Eran Gabber , Christopher Small , John Bruno , José Brustoloni , Avi Silberschatz, The pebble component-based operating system, Proceedings of the Annual Technical Conference on 1999 USENIX Annual Technical Conference, p.20-20, June 06-11, 1999, Monterey, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C. Pu , T. Autrey , A. Black , C. Consel , C. Cowan , J. Inouye , L. Kethana , J. Walpole , K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, ACM SIGOPS Operating Systems Review, v.29 n.5, p.314-321, Dec. 3, 1995
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M. Frans Kaashoek , Dawson R. Engler , Gregory R. Ganger , Hector M. Briceño , Russell Hunt , David Mazières , Thomas Pinckney , Robert Grimm , John Jannotti , Kenneth Mackenzie, Application performance and flexibility on exokernel systems, ACM SIGOPS Operating Systems Review, v.31 n.5, p.52-65, Dec. 1997
|
|
|
|
|
|
|
|
|
|
|
|
Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , Nathan C. Burnett , Timothy E. Denehy , Thomas J. Engle , Haryadi S. Gunawi , James A. Nugent , Florentina I. Popovici, Transforming policies into mechanisms with infokernel, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
|
|
|
|
|
|
|
|
|
|
|
|
Jean-Charles Tournier , Patrick G. Bridges , Arthur B. MacCabe , Patrick M. Widener , Zaid Abudayyeh , Ron Brightwell , Rolf Riesen , Trammel Hudson, Towards a framework for dedicated operating systems development in high-end computing systems, ACM SIGOPS Operating Systems Review, v.40 n.2, April 2006
|
|
|
|
|
|
|
|
|
|
|
|
Albert D. Alexandrov , Maximilian Ibel , Klaus E. Schauser , Chris J. Scheiman, Extending the operating system at the user level: the Ufo global file system, Proceedings of the Annual Technical Conference on Proceedings of the USENIX 1997 Annual Technical Conference, p.6-6, January 06-10, 1997, Anaheim, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Arvind Krishnamurthy , Klaus E. Schauser , Chris J. Scheiman , Randolph Y. Wang , David E. Culler , Katherine Yelick, Evaluation of architectural support for global address-based communication in large-scale parallel machines, ACM SIGOPS Operating Systems Review, v.30 n.5, p.37-48, Dec. 1996
|
|
|
|
|
|
|
|
|
|
|
|
|
Greg Morrisett , David Walker , Karl Crary , Neal Glew, From system F to typed assembly language, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.85-97, January 19-21, 1998, San Diego, California, United States
|
|
|
|
|
|
|
|
|
Paul Barham , Boris Dragovic , Keir Fraser , Steven Hand , Tim Harris , Alex Ho , Rolf Neugebauer , Ian Pratt , Andrew Warfield, Xen and the art of virtualization, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Douglas P. Ghormley , David Petrou , Steven H. Rodrigues , Thomas E. Anderson, SLIC: an extensibility system for commodity operating systems, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.4-4, June 15-19, 1998, New Orleans, Louisiana
|
|
|
Jon Salz , Alex C. Snoeren , Hari Balakrishnan, TESLA: a transparent, extensible session-layer architecture for end-to-end network services, Proceedings of the 4th conference on USENIX Symposium on Internet Technologies and Systems, p.16-16, March 26-28, 2003, Seattle, WA
|
|
|
Galen C. Hunt , James R. Larus , David Tarditi , Ted Wobber, Broad new OS research: challenges and opportunities, Proceedings of the 10th conference on Hot Topics in Operating Systems, p.15-15, June 12-15, 2005, Santa Fe, NM
|
|
|
Ray Spencer , Stephen Smalley , Peter Loscocco , Mike Hibler , David Andersen , Jay Lepreau, The flask security architecture: system support for diverse security policies, Proceedings of the 8th conference on USENIX Security Symposium, p.11-11, August 23-26, 1999, Washington, D.C.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Úlfar Erlingsson , Martín Abadi , Michael Vrable , Mihai Budiu , George C. Necula, XFI: software guards for system address spaces, Proceedings of the 7th symposium on Operating systems design and implementation, November 06-08, 2006, Seattle, Washington
|
|
|
|
Gregory R. Ganger , Dawson R. Engler , M. Frans Kaashoek , Hector M. Briceño , Russell Hunt , Thomas Pinckney, Fast and flexible application-level networking on exokernel systems, ACM Transactions on Computer Systems (TOCS), v.20 n.1, p.49-83, February 2002
|
|
Dylan McNamee , Jonathan Walpole , Calton Pu , Crispin Cowan , Charles Krasic , Ashvin Goel , Perry Wagle , Charles Consel , Gilles Muller , Renauld Marlet, Specialization tools and techniques for systematic optimization of system software, ACM Transactions on Computer Systems (TOCS), v.19 n.2, p.217-251, May 2001
|
|
|
Khalil Amiri , David Petrou , Gregory R. Ganger , Garth A. Gibson, Dynamic function placement for data-intensive cluster computing, Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference, p.25-25, June 18-23, 2000, San Diego, California
|
|
|
|
|
Godmar Back , Wilson C. Hsieh , Jay Lepreau, Processes in KaffeOS: isolation, resource management, and sharing in java, Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, p.23-23, October 22-25, 2000, San Diego, California
|
|
Galen Hunt , Mark Aiken , Manuel Fähndrich , Chris Hawblitzel , Orion Hodson , James Larus , Steven Levi , Bjarne Steensgaard , David Tarditi , Ted Wobber, Sealing OS processes to improve dependability and safety, ACM SIGOPS Operating Systems Review, v.41 n.3, June 2007
|
|
|
|
|
|
|
|
|
Robert Grimm , Janet Davis , Eric Lemar , Adam Macbeth , Steven Swanson , Thomas Anderson , Brian Bershad , Gaetano Borriello , Steven Gribble , David Wetherall, System support for pervasive applications, ACM Transactions on Computer Systems (TOCS), v.22 n.4, p.421-486, November 2004
|
|
Orran Krieger , Marc Auslander , Bryan Rosenburg , Robert W. Wisniewski , Jimi Xenidis , Dilma Da Silva , Michal Ostrowski , Jonathan Appavoo , Maria Butrico , Mark Mergen , Amos Waterland , Volkmar Uhlig, K42: building a complete operating system, ACM SIGOPS Operating Systems Review, v.40 n.4, October 2006
|
|
|
|
|
|
|
|
Andrew Baumann , Gernot Heiser , Jonathan Appavoo , Dilma Da Silva , Orran Krieger , Robert W. Wisniewski , Jeremy Kerr, Providing dynamic update in an operating system, Proceedings of the USENIX Annual Technical Conference 2005 on USENIX Annual Technical Conference, p.32-32, April 10-15, 2005, Anaheim, CA
|
|
|
|
|
|
|
|
Glenn Ammons , Jonathan Appavoo , Maria Butrico , Dilma Da Silva , David Grove , Kiyokuni Kawachiya , Orran Krieger , Bryan Rosenburg , Eric Van Hensbergen , Robert W. Wisniewski, Libra: a library operating system for a jvm in a virtualized execution environment, Proceedings of the 3rd international conference on Virtual execution environments, June 13-15, 2007, San Diego, California, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mark Aiken , Manuel Fähndrich , Chris Hawblitzel , Galen Hunt , James Larus, Deconstructing process isolation, Proceedings of the 2006 workshop on Memory system performance and correctness, October 22-22, 2006, San Jose, California
|
|
|
|
|
|
|
|
Godmar Back , Patrick Tullmann , Leigh Stoller , Wilson C. Hsieh , Jay Lepreau, Techniques for the design of java operating systems, Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference, p.17-17, June 18-23, 2000, San Diego, California
|
|
|
|
|
|
John Bent , Douglas Thain , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , Miron Livny, Explicit control a batch-aware distributed file system, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.27-27, March 29-31, 2004, San Francisco, California
|
|
|
|
|
|
|
|
Daniel Frampton , Stephen M. Blackburn , Perry Cheng , Robin J. Garner , David Grove , J. Eliot B. Moss , Sergey I. Salishev, Demystifying magic: high-level low-level programming, Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, March 11-13, 2009, Washington, DC, USA
|
|
|
|
|
|
J. Appavoo , K. Hui , C. A. N. Soules , R. W. Wisniewski , D. M. Da Silva , O. Krieger , M. A. Auslander , D. J. Edelsohn , B. Gamsa , G. R. Ganger , P. McKenney , M. Ostrowski , B. Rosenburg , M. Stumm , J. Xenidis, Enabling autonomic behavior in systems software with hot swapping, IBM Systems Journal, v.42 n.1, p.60-76, January 2003
|
|
|
|
|
|
|
|
Bryan Ford , Godmar Back , Greg Benson , Jay Lepreau , Albert Lin , Olin Shivers, The Flux OSKit: a substrate for kernel and language research, ACM SIGOPS Operating Systems Review, v.31 n.5, p.38-51, Dec. 1997
|
|
|
Dejan Milojicic , Gul Agha , Philippe Bernadat , Deepika Chauhan , Shai Guday , Nadeem Jamali , Dan Lambright , Franco Travostino, Case Studies in Security and Resource Management for Mobile Object Systems, Autonomous Agents and Multi-Agent Systems, v.5 n.1, p.45-79, March 2002
|
|
Tal Garfinkel , Ben Pfaff , Jim Chow , Mendel Rosenblum , Dan Boneh, Terra: a virtual machine-based platform for trusted computing, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Marc E. Fiuczynski , Vincent K. Lam , Brian N. Bershad, The design and implementation of an IPv6/IPv4 network address and protocol translator, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.17-17, June 15-19, 1998, New Orleans, Louisiana
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. Appavoo , M. Auslander , M. Butrico , D. M. da Silva , O. Krieger , M. F. Mergen , M. Ostrowski , B. Rosenburg , R. W. Wisniewski , J. Xenidis, Experience with K42, an open-source, Linux-compatible, scalable operating-system kernel, IBM Systems Journal, v.44 n.2, p.427-440, January 2005
|
|
|
|
|
|
|
|
|
Bratin Saha , Ali-Reza Adl-Tabatabai , Anwar Ghuloum , Mohan Rajagopalan , Richard L. Hudson , Leaf Petersen , Vijay Menon , Brian Murphy , Tatiana Shpeisman , Eric Sprangle , Anwar Rohillah , Doug Carmean , Jesse Fang, Enabling scalability and performance in a large scale CMP environment, ACM SIGOPS Operating Systems Review, v.41 n.3, June 2007
|
|
|
|
|