WorkCrews: An abstraction for controlling parallelism. - Mark T. Vandevoorde; Eric S. Roberts (Int. J. Parallel Program., 1988)

Optimizing Programs with Partial Specifications. - Mark T. Vandevoorde (Larch, 1992)

Specifications Can Make Programs Run Faster. - Mark T. Vandevoorde (TAPSOFT, 1993)

Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. - Mark T. Vandevoorde; John V. Guttag (SIGSOFT FSE, 1994)

Parallel User Interfaces for Parallel Applications. - Mark T. Vandevoorde; Deepak Kapur (HPDC, 1996)

Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover. - Mark T. Vandevoorde; Deepak Kapur (RTA, 1996)

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)

Efficient and Flexible Value Sampling. - Michael Burrows; Úlfar Erlingsson; Shun-Tak Leung; Mark T. Vandevoorde; Carl A. Waldspurger; Kip Walker; William E. Weihl (ASPLOS, 2000)