I find it much more interesting to solve problems than documenting the solutions. Still, a few of the things I have done have ended up being documented in some way or another. Some of the unpublished papers may be turned into published papers or technical reports in the future (if I happen to be bored one week; slim chance :-).
The copyright on some of the papers referenced below has been transferred to third-party. For that reason, please notice the following:
The documents referenced below are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright.
Steensgaard, B., ``Thread-Specific Heaps for Multi-Threaded Programs,'' In Proceedings of the ISMM 2000, International Symposium on Memory Management, October 2000, also published as SIGPLAN Notices 36(1), January 2001, ACM.
Fitzgerald, R.P., Knoblock, T.B., Ruf, E., Steensgaard, B., Tarditi, D., ``Marmot: An Optimizing Compiler for Java,'' Software -- Practice and Experience, 30(3): 199-232 (2000).
Gay, D. and Steensgaard, B., ``Fast Escape Analysis and Stack Allocation for Object-Based Programs,'' In Proceedings of the 2000 International Conference on Compiler Construction, number 1781 in Lecture Notes in Computer Science, pages 82--93, Springer-Verlag, April 2000.
Steensgaard, B., ``Points-to Analysis by Type Inference of Programs with Structures and Unions,'' In Proceedings of the 1996 International Conference on Compiler Construction, number 1060 in Lecture Notes in Computer Science, pages 136-150, Springer-Verlag, April 1996.
Steensgaard, B., ``Points-to Analysis in Almost Linear Time,'' In Proceedings of the Twentythird Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 32-41, January 1996. A different algorithm than the one presented in MSR-TR-95-08.
Steensgaard, B., and Jul, E., ``Object and Native Code Thread Mobility Among Heterogeneous Computers,'' In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pp. 68--78, December 1995.
Steensgaard, B., ``Sparse Functional Stores for Imperative Programs,'' In Proceedings of the ACM SIGPLAN Workshop on Intermediate Representations, pp. 62-70, January 1995. Proceedings published as ACM SIGPLAN Notices 30(3), March 1995.
Weise D., Crew, R., Ernst, M., and Steensgaard, B., ``Value Dependence Graphs: Representation without taxation,'' In Proceedings of the Twentyfirst Annual ACM SIGPLAN Symposium on Principles of Programming Languages, pp. 297-310, January 1994.
Steensgaard, B., ``A Sparse representation of the Store in Programs with Pointers,'' Atlantique workshop on Semantics Based Program Manipulation, January 1994.
Jul, E., and Steensgaard, B., ``Implementation of Distributed Objects in Emerald,'' 1991 International Workshop on Object Orientation in Operating Systems, October 1991.
Steensgaard, B., and Jul, E., ``Object and Native Code Mobility Among Heterogeneous Computers,'' Microsoft Research Technical Report MSR-TR-95-17, 18 pages, March 1995.
Steensgaard, B., ``Probabilistic Scoreboards for Superscalar Processors,'' Microsoft Research Technical Report MSR-TR-95-09, 10 pages, March 1995.
Steensgaard, B., ``Points-to analysis in almost linear time,'' Microsoft Research Technical Report MSR-TR-95-08, 12 pages, March 1995.
Steensgaard, B., ``Sparse Functional Stores for Imperative Programs,'' Microsoft Research Technical Report MSR-TR-95-07, 13 pages, March 1995.
Weise, D., Crew, R. F., Ernst, M., and Steensgaard, B., ``Value Dependence Graphs: Representation Without Taxation,'' Microsoft Research Techical Report MSR-TR-94-03, 30 pages, April 1994.
Steensgaard, B., ``Sequentializing Program Dependence Graphs for Irreducible Programs,'' Microsoft Research Technical Report MSR-TR-93-14, 14 pages, October 1993. Note: an unpublished follow-up paper clarifies a few points in this technical report.
Steensgaard, B., ``Points-to Analysis by Polymorphic Type Inference,'' October 1995.
Steensgaard, B., and Marquard, M., ``A Polyvariant Closure Analysis with Dynamic Widening,'' 13 pages, May 1994.
Marquard, M., and Steensgaard, B., ``Partial Evaluation of an Object-Oriented Imperative Language,'' Master's Thesis, Department of Computer Science, University of Copenhagen, Denmark, April 1992. 442 pages (including 215 pages appendices).