2000 |
8 | EE | 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: 160-167 |
1997 |
7 | | 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: 1-14 |
6 | EE | 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): 357-390 (1997) |
1996 |
5 | EE | Mark T. Vandevoorde,
Deepak Kapur:
Parallel User Interfaces for Parallel Applications.
HPDC 1996: 161- |
4 | | Mark T. Vandevoorde,
Deepak Kapur:
Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover.
RTA 1996: 420-423 |
1994 |
3 | EE | Mark T. Vandevoorde,
John V. Guttag:
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity.
SIGSOFT FSE 1994: 121-127 |
1993 |
2 | | Mark T. Vandevoorde:
Specifications Can Make Programs Run Faster.
TAPSOFT 1993: 215-229 |
1992 |
1 | | Mark T. Vandevoorde:
Optimizing Programs with Partial Specifications.
Larch 1992: 262-281 |