BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Vandevoorde:Mark_T=

Contributed to:

ASPLOS 20002000
SOSP 19971997
HPDC 19961996
RTA 19961996
FSE 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.