Active Bibliography

1016 Proof-Carrying Code – George C. Necula - 1997
Appendix on Robustness of . . . – Stephen Calabrese, et al.
29 Safe, Untrusted Agents using Proof-Carrying Code – George C. Necula, Peter Lee - 1998
28 Language-Based Security – Dexter Kozen - 1999
Building an Active Node on the Internet – John V. Guttag, L. Tennenhouse, Arthur C. Smith, David M. Murphy, David M. Murphy, David M. Murphy - 1997
3 An Application-level Quality of Service Architecture for Internet Collaboratories – Robert Malan, Farnam Jahanian - 1996
8 Chunks in PLAN: Language Support for Programs as Packets – Jonathan T. Moore, Michael Hicks, Scott Nettles - 1999
1 Proofs of Safety for Untrusted Code – Grigore Rosu, Nathan Segerlind - 1999
3 Reducing Load Delay to Improve Performance of Internet-Computing Programs – Chandra Krintz - 2001
7 Flexibility and performance of parallel file systems – David Kotz, Nils Nieuwejaar - 1996
10 Security in Active Networks – D. Scott Alexander, William A. Arbaugh, Angelos D. Keromytis, Jonathan M. Smith - 1999
12 Issues in the Design of an Extensible Operating System – Stefan Savage, Brian N. Bershad - 1994
14 Evaluation of Architectural Support for Global Address-Based Communication in Large-Scale Parallel Machines – Arvind Krishnamurthy, Klaus E. Schauser Y, Chris J. Scheiman Y, Olph Y. Wang, David E. Culler, Katherine Yelick - 1996
11 Structure and Performance of Decision Support Algorithms on Active Disks – Mustafa Uysal , Anurag Acharya, Joel Saltz - 1998
25 Vino: an integrated platform for operating systems and database research – Christopher Small, Margo Seltzer - 1994
38 Incorporating Application Semantics and Control into Compilation – Dawson R. Engler - 1997
53 Diamond: A storage architecture for early discard in interactive search – Larry Huston, Rahul Sukthankar, Rajiv Wickremesinghe, M. Satyanarayanan, Gregory R. Ganger, Erik Riedel, Anastassia Ailamaki - 2004
35 A Migratable User-Level Process Package For PVM – Ravindranath Bala Konuru - 1995
392 Extensibility, safety and performance in the SPIN operating system – Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers - 1995