- Philip Wadler. Proofs are programs: 19th century logic and 21st century computing, November 2000. Appeared in Dr. Dobbs Journal as 'New Languages, Old Logic' in December 2000. [ .pdf ]
Write a review. Read reviews.
- Luca Cardelli. Program Fragments, Linking, and Modularization. In SIGPLAN Symposium on the Principles of Programming Languages, pages 266-277. ACM, January 1997. [ .ps ]
Write a review. Read reviews.
- Michael Franz. Dynamic linking of software components. IEEE Computer, 30(3):74-81, March 1997. [ .pdf ]
Write a review. Read reviews.
- Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In Robert Harper, editor, Proceedings of the ACM SIGPLAN Workshop on Types in Compilation, volume 2071 of Lecture Notes in Computer Science. Springer-Verlag, September 2000. [ .pdf ]
Write a review. Read reviews.
- Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, and Susan Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating System Principles, pages 267-284, Copper Mountain Resort, Colorado, 1995. [ .ps ]
Write a review. Read reviews.
- Przemyslaw Pardyak and Brian N. Bershad. Dynamic binding for an extensible system. In Proceedings of theUSENIX Symposium on Operating Systems Design and Implementation, pages 201-212, 1996. [ .html ]
Write a review. Read reviews.
- Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, and Eric Eide. Knit: Component composition for systems software. In Proceedings of theFourth USENIX Symposium on Operating Systems Design and Implementation, pages 347-360, October 2000.[ .pdf ]
Write a review. Read reviews.
- Sean McDirmid, Matthew Flatt, and Wilson Hsieh. Jiazzi: New-age components for old-fashioned Java. In Proceedings of theACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, October 2001. [ .pdf ]
Write a review. Read reviews.
- Michael Hicks, Jonathan T. Moore, and Scott Nettles. Dynamic software updating. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 13-23. ACM, June 2001. [ .ps ]
Write a review. Read reviews.
- Deepak Gupta, Pankaj Jalote, and Gautam Barua. A formal framework for on-line software version change. Transactions on Software Engineering, 22(2):120-131, February 1996. [ .html ]
Write a review. Read reviews.
- Dawson R. Engler. Vcode: a retargetable, extensible, very fast dynamic code generation system. In Proceedings of theACM SIGPLAN Conference on Programming Language Design and Implementation, pages 160-170. ACM Press, 1996. [ .html ]
Write a review. Read reviews.
- Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, and Brian N. Bershad. Fast, effective dynamic compilation. In SIGPLAN Conference on Programming Language Design and Implementation, pages 149-159, 1996. [ .html ]
Write a review. Read reviews.
- C. Hawblitzel, C.-C. Chang, G. Czajkowski, D. Hu, and T. von Eicken. Implementing multiple protection domains in Java. In 1998 USENIX Annual Technical Conference, pages 259-270, New Orleans, LA, 1998. [ .html ]
Write a review. Read reviews.
- Algis Rudys, John Clements, and Dan S. Wallach. Termination in language-based systems. In Network and Distributed Systems Security Symposium, 2001. Detailed journal version at http://www.cs.rice.edu/~dwallach/pub/tissec2002.html. [ .html ]
Write a review. Read reviews.
- Algis Rudys and Dan S. Wallach. Transactional rollback for language-based systems. In Proceedings of theInternational Conference on Dependable Systems and Networks (DSN-2002), June 2002. [ .html
Write a review. Read reviews.