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 × Australia
1 × Greece
1 × Israel
10 × USA
2 × Denmark
2 × The Netherlands
Collaborated with:
S.J.Garland J.J.Horning G.Ganeshapillai D.R.Musser A.H.Shoeb R.Stata M.T.Vandevoorde A.Lo D.Kapur E.Horowitz J.J.Gong T.M.Sundt J.D.Rawn D.Evans Y.M.Tan A.Birrell R.Levin J.F.Søgaard-Andersen N.A.Lynch A.Pogosyants
Talks about:
specif (9) larch (5) formal (3) tool (3) data (3) use (3) modular (2) rewrit (2) reason (2) method (2)

Person: John V. Guttag

DBLP DBLP: Guttag:John_V=

Contributed to:

KDD 20152015
ICML c2 20132013
KDD 20132013
ICML 20102010
OOPSLA 19951995
FSE 19941994
CAV 19931993
RTA 19891989
CADE 19881988
POPL 19881988
SOSP 19871987
ICALP 19821982
PS 19811981
POPL 19801980
ICSE 19761976
VDM Europe (1) 19911991
VDM Europe (2) 19911991

Wrote 21 papers:

KDD-2015-GongSRG #modelling
Instance Weighting for Patient-Specific Risk Stratification Models (JJG, TMS, JDR, JVG), pp. 369–378.
ICML-c2-2013-GaneshapillaiGL #learning
Learning Connections in Financial Time Series (GG, JVG, AL), pp. 109–117.
KDD-2013-GaneshapillaiG #data-driven
A data-driven method for in-game decision making in MLB: when to pull a starting pitcher (GG, JVG), pp. 973–979.
ICML-2010-ShoebG #detection #machine learning
Application of Machine Learning To Epileptic Seizure Detection (AHS, JVG), pp. 975–982.
OOPSLA-1995-StataG #composition #reasoning #subclass
Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.
FSE-1994-EvansGHT #named #specification #using
LCLint: A Tool for Using Specifications to Check Code (DE, JVG, JJH, YMT), pp. 87–96.
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.
CAV-1993-Sogaard-AndersenGGLP #proving #simulation
Computer-Assisted Simulation Proofs (JFSA, SJG, JVG, NAL, AP), pp. 305–319.
RTA-1989-GarlandG #overview
An Overview of LP, The Larch Power (SJG, JVG), pp. 137–151.
CADE-1988-GarlandG #named #proving
LP: The Larch Prover (SJG, JVG), pp. 748–749.
POPL-1988-GarlandG #data type #induction #reasoning
Inductive Methods for Reasoning about Abstract Data Types (SJG, JVG), pp. 219–228.
SOSP-1987-BirrellGHL #multi #specification
Synchronization Primitives for a Multiprocessor: A Formal Specification (AB, JVG, JJH, RL), pp. 94–102.
ICALP-1982-GuttagKM #term rewriting #tool support
Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems (JVG, DK, DRM), pp. 300–312.
PS-1981-Guttag #effectiveness #specification
A few Remarks on Putting Formal Specifications to Productive Use (JVG), pp. 370–380.
POPL-1980-GuttagH #design #specification
Formal Specification as a Design Tool (JVG, JJH), pp. 251–261.
ICSE-1976-GuttagHM #data type #design #specification
The Design of Data Type Specifications (JVG, EH, DRM), pp. 414–420.
VDME-1991-Guttag #approach #specification
The Larch Approach to Specification (JVG), p. 10.
VDME-1991-GuttagH #interface #tutorial
A Tutorial on LARCH and LCL, A LARCH/C Interface Language (JVG, JJH), pp. 1–78.
TAPSOFT-1993-Guttag #specification
Goldilocks and the Three Specifications (JVG), pp. 1–14.

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.