Search the dblp DataBase

Publications of Author

1. Michael Burrows, Ulfar Erlingson, Shun-Tak Leung, Mark T. Vandevoorde, Carl A. Waldspurger, Kip Walker, William E. Weihl
   Efficient and Flexible Value Sampling. [Citation Graph (0, 0)][DBLP]
   ASPLOS, 2000, pp:160-167 [Conf]
   
2. Mark T. Vandevoorde, Deepak Kapur
   Parallel User Interfaces for Parallel Applications. [Citation Graph (0, 0)][DBLP]
   HPDC, 1996, pp:161-0 [Conf]
   
3. Mark T. Vandevoorde
   Optimizing Programs with Partial Specifications. [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:262-281 [Conf]
   
4. Mark T. Vandevoorde, Deepak Kapur
   Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover. [Citation Graph (0, 0)][DBLP]
   RTA, 1996, pp:420-423 [Conf]
   
5. Mark T. Vandevoorde, John V. Guttag
   Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1994, pp:121-127 [Conf]
   
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? [Citation Graph (0, 0)][DBLP]
   SOSP, 1997, pp:1-14 [Conf]
   
7. Mark T. Vandevoorde
   Specifications Can Make Programs Run Faster. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, 1993, pp:215-229 [Conf]
   
8. 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? [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Syst., 1997, v:15, n:4, pp:357-390 [Journal]