Check out the new USENIX Web site. next up previous
Next: About this document ... Up: FiST: A Language for Previous: 6. Acknowledgments

Bibliography

1
M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young.
Mach: A New Kernel Foundation for UNIX Development.
USENIX Conf. Proc., pages 93-112, Summer 1986.

2
B. N. Bershad and C. B. Pinkerton.
Watchdogs: Extending the UNIX File System.
USENIX Conf. Proc., pages 267-75, Winter 1988.

3
F. Brooks.
``No Silver Bullet'' Refired.
In The Mythical Man-Month, Anniversary Ed., pages 205-26.
Addison-Wesley, 1995.

4
M. I. Bushnell.
The HURD: Towards a New Strategy of OS Design.
GNU's Bulletin.
Free Software Foundation, 1994.
Copies are available by writing to gnu@prep.ai.mit.edu.

5
R. G. Guy, J. S. Heidemann, W. Mak, T. W. Page Jr., G. J. Popek, and D. Rothmeier.
Implementation of the Ficus replicated file system.
USENIX Conf. Proc., pages 63-71, Summer 1990.

6
J. Heidemann and G. Popek.
Performance of cache coherence in stackable filing.
Fifteenth ACM SOSP.
ACM SIGOPS, 1995.

7
J. S. Heidemann and G. J. Popek.
A layered approach to file system development.
Tech-report CSD-910007.
UCLA, 1991.

8
J. S. Heidemann and G. J. Popek.
File System Development with Stackable Layers.
ACM ToCS, 12(1):58-89, Feb., 1994.

9
S. C. Johnson.
Yacc: Yet Another Compiler-Compiler, UNIX Programmer's Manual Volume 2 -- Supplementary Documents.
Bell Laboratories, Murray Hill, New Jersey, July 1978.

10
M. F. Kaashoek, D. R. Engler, G. R. Ganger, H. M. Briceño, R. Hunt, D. Mazières, T. Pinckney, R. Grimm, J. Jannotti, and K. Mackenzie.
Application performance and flexibility on exokernel systems.
Sixteenth ACM SOSP, pages 52-65, 1997.

11
S. R. Kleiman.
Vnodes: An Architecture for Multiple File System Types in Sun UNIX.
USENIX Conf. Proc., pages 238-47, Summer 1986.

12
V. Matena, Y. A. Khalidi, and K. Shirriff.
Solaris MC File System Framework.
Tech-report TR-96-57.
Sun Labs, 1996.
https://www.sunlabs.com/technical-reports/1996/abstract-57.html.

13
J. G. Mitchell, J. J. Gibbons, G. Hamilton, P. B. Kessler, Y. A. Khalidi, P. Kougiouris, P. W. Madany, M. N. Nelson, M. L. Powell, and S. R. Radia.
An Overview of the Spring System.
CompCon Conf. Proc., 1994.

14
R. Nagar.
Filter Drivers.
In Windows NT File System Internals: A developer's Guide, pages 615-67.
O'Reilly, 1997.

15
J. S. Pendry and M. K. McKusick.
Union mounts in 4.4BSD-Lite.
USENIX Conf. Proc. on UNIX and Advanced Computing Systems, pages 25-33, Winter 1995.

16
J. S. Pendry and N. Williams.
Amd - The 4.4 BSD Automounter.
User Manual, edition 5.3 alpha.
March 1991.

17
R. Pike, D. Presotto, K. Thompson, and H. Trickey.
Plan 9 from Bell Labs.
Proceedings of Summer UKUUG Conference, pages 1-9, July 1990.

18
D. S. H. Rosenthal.
Requirements for a ``Stacking'' Vnode/VFS Interface.
UI document SD-01-02-N014.
UNIX International, 1992.

19
D. S. H. Rosenthal.
Evolving the Vnode Interface.
USENIX Conf. Proc., pages 107-18.
USENIX, Summer 1990.

20
B. Schneier.
Algorithm Types and Modes.
In Applied Cryptography, 2nd ed., pages 189-97.
John Wiley & Sons, 1996.

21
B. Schneier.
Blowfish.
In Applied Cryptography, Second Edition, pages 336-9.
John Wiley & Sons, 1996.

22
G. C. Skinner and T. K. Wong.
''Stacking'' Vnodes: A Progress Report.
USENIX Conf. Proc., pages 161-74, Summer 1993.

23
SMCC.
lofs - loopback virtual file system.
SunOS 5.5.1 Reference Manual, Section 7.
Sun Microsystems, Inc., 20 March 1992.

24
S. Thibault, R. Marlet, and C. Consel.
A Domain Specific Language for Video Device Drivers: From Design to Implementation.
USENIX Conf. on Domain-Specific Languages, pages 11-26, 1997.

25
N. Webber.
Operating System Support for Portable Filesystem Extensions.
USENIX Conf. Proc., pages 219-25, Winter 1993.

26
E. Zadok, I. Badulescu, and A. Shender.
Cryptfs: A Stackable Vnode Level Encryption File System.
Technical Report CUCS-021-98.
Computer Science Department, Columbia University, 1998.

27
E. Zadok, I. Badulescu, and A. Shender.
Extending File Systems Using Stackable Templates.
USENIX Conf. Proc., 1999.
Software, documentation, and additional papers are available from https://www.cs.columbia.edu/~ezk/research/fist.



Erez Zadok
2000-04-25