Travelled to:1 × Canada
1 × Denmark
1 × France
1 × USA
1 × United Kingdom
Collaborated with:∅ N.Nethercote S.L.P.Jones J.Eber
Talks about:polymorph (2) analysi (2) heavyweight (1) instrument (1) implement (1) framework (1) valgrind (1) prototyp (1) function (1) frontier (1)
Person: Julian Seward
DBLP: Seward:Julian
Contributed to:
2007
2000
1995
1993
1992Wrote 5 papers:
- PLDI-2007-NethercoteS #framework #named
- Valgrind: a framework for heavyweight dynamic binary instrumentation (NN, JS), pp. 89–100.
- ICFP-2000-JonesES #contract #functional
- Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.
- SAS-1995-Seward #analysis #haskell #implementation #polymorphism #prototype
- Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell (JS), pp. 382–399.
- PEPM-1993-Seward #analysis #polymorphism #strict #using
- Polymorphic Strictness Analysis using Frontiers (JS), pp. 186–193.
- IWMM-1992-Seward #garbage collection #graph #lazy evaluation #reduction
- Generational Garbage Collection for Lazy Graph Reduction (JS), pp. 200–217.