Mark T. Vandevoorde

Publication Activity (10 Years)

Years Active: 1988-2000
Publications (10 Years): 0

Publications

Michael Burrows, Úlfar Erlingsson, Shun-Tak Leung, Mark T. Vandevoorde, Carl A. Waldspurger, Kip Walker, William E. Weihl
Efficient and Flexible Value Sampling. ASPLOS (2000)
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
Continuous Profiling: Where Have All the Cycles Gone? SOSP (1997)
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
Continuous Profiling: Where Have All the Cycles Gone? ACM Trans. Comput. Syst. 15 (4) (1997)
Mark T. Vandevoorde, Deepak Kapur
Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover. RTA (1996)
Mark T. Vandevoorde, Deepak Kapur
Parallel User Interfaces for Parallel Applications. HPDC (1996)
Mark T. Vandevoorde, John V. Guttag
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. SIGSOFT FSE (1994)
Mark T. Vandevoorde
Specifications Can Make Programs Run Faster. TAPSOFT (1993)
Mark T. Vandevoorde
Optimizing Programs with Partial Specifications. Larch (1992)
Mark T. Vandevoorde, Eric S. Roberts
WorkCrews: An abstraction for controlling parallelism. Int. J. Parallel Program. 17 (4) (1988)