The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark T. Vandevoorde: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002