Travelled to:
1 × France
1 × Japan
1 × Poland
1 × United Kingdom
3 × USA
Collaborated with:
∅ A.Blewitt A.Bundy S.Lindley U.Schöpp A.Armstrong Thomas Bauereiss Brian Campbell 0001 A.Reid K.E.Gray Robert M. Norton Prashanth Mundkur Mark Wassell Jon French Christopher Pulte S.Flur Neel Krishnaswami P.Sewell
Talks about:
calculus (2) pattern (2) automat (2) design (2) verif (2) model (2) type (2) name (2) java (2) abstract (1)
Person: Ian Stark
DBLP: Stark:Ian
Contributed to:
Wrote 8 papers:
- ASE-2005-BlewittBS #automation #design pattern #java #verification
- Automatic verification of design patterns in Java (AB, AB, IS), pp. 224–232.
- FoSSaCS-2005-Stark #algebra #modelling #π-calculus
- Free-Algebra Models for the π-Calculus (IS), pp. 155–169.
- TLCA-2005-LindleyS
- Reducibility and TT-Lifting for Computation Types (SL, IS), pp. 262–277.
- CSL-2004-SchoppS #dependent type #type system
- A Dependent Type Theory with Names and Binding (US, IS), pp. 235–249.
- ASE-2001-BlewittBS #automation #design pattern #java #verification
- Automatic Verification of Java Design Patterns (AB, AB, IS), pp. 324–327.
- TLCA-1997-Stark #equation
- Names, Equations, Relations: Practical Ways to Reason about new (IS), pp. 336–353.
- LICS-1996-Stark #abstract domain #domain model #π-calculus
- A Fully Abstract Domain Model for the π-Calculus (IS), pp. 36–42.
- POPL-2019-ArmstrongBCRGNM #semantics
- ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.