Mark T. Vandevoorde

According to our database, Mark T. Vandevoorde authored at least 8 papers between 1988 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

Efficient and Flexible Value Sampling.

Michael Burrows, Úlfar Erlingsson, Shun-Tak Leung, Mark T. Vandevoorde, Carl A. Waldspurger, Kip Walker, William E. Weihl

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

1997

Continuous Profiling: Where Have All the Cycles Gone?

Jennifer-Ann M. Anderson, Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika Rauch Henzinger, Shun-Tak Leung, Richard L. Sites, Mark T. Vandevoorde, Carl A. Waldspurger, William E. Weihl

ACM Trans. Comput. Syst., 1997

1996

Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover.

Mark T. Vandevoorde, Deepak Kapur

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Parallel User Interfaces for Parallel Applications.

Mark T. Vandevoorde, Deepak Kapur

Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

1994

Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity.

Mark T. Vandevoorde, John V. Guttag

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

1993

Specifications Can Make Programs Run Faster.

Mark T. Vandevoorde

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

Optimizing Programs with Partial Specifications.

Mark T. Vandevoorde

Proceedings of the First International Workshop on Larch, 1992

1988

WorkCrews: An abstraction for controlling parallelism.

Mark T. Vandevoorde, Eric S. Roberts

Int. J. Parallel Program., 1988