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: Guttag:John_V=
Contributed to:
2015
201320132010
1995
1994
1993
1989
1988
1988
1987
1982
19811980
1976
19911991
1993Wrote 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.