Travelled to:1 × France
4 × USA
Collaborated with:D.Kapur J.V.Guttag ∅ S.Leung C.A.Waldspurger W.E.Weihl M.Burrows Ú.Erlingsson K.Walker J.M.Anderson L.M.Berc J.Dean S.Ghemawat M.R.Henzinger R.L.Sites
Talks about:parallel (3) specif (2) prover (2) base (2) distribut (1) procedur (1) interfac (1) special (1) program (1) modular (1)
Person: Mark T. Vandevoorde
DBLP: Vandevoorde:Mark_T=
Contributed to:
2000
1997
1996
1996
1994
1993Wrote 6 papers:
- ASPLOS-2000-BurrowsELVWWW #flexibility #performance
- Efficient and Flexible Value Sampling (MB, ÚE, STL, MTV, CAW, KW, WEW), pp. 160–167.
- SOSP-1997-AndersonBDGHLSVWW #profiling #question
- Continuous Profiling: Where Have All the Cycles Gone? (JAMA, LMB, JD, SG, MRH, STL, RLS, MTV, CAW, WEW), pp. 1–14.
- HPDC-1996-VandevoordeK #parallel #user interface
- Parallel User Interfaces for Parallel Applications (MTV, DK), pp. 161–170.
- RTA-1996-VandevoordeK #distributed #empirical #proving #rule-based
- Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover (MTV, DK), pp. 420–423.
- FSE-1994-VandevoordeG #analysis #composition #runtime #using
- Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity (MTV, JVG), pp. 121–127.
- TAPSOFT-1993-Vandevoorde #performance #source code #specification
- Specifications Can Make Programs Run Faster (MTV), pp. 215–229.