 | 2000 |
|---|
| 8 |       | 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 | | 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 | | 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 | | 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 |
