Julian Seward

12 papers A* 1A 2B 4C 1Unranked 3
YearRankTypeTitle / Venue / Authors
2007 B conf
How to shadow every byte of memory used by a program.
VEE
Nicholas Nethercote, Julian Seward
2007 A* conf
Valgrind: a framework for heavyweight dynamic binary instrumentation.
PLDI
Nicholas Nethercote, Julian Seward
2005 — conf
Using Valgrind to Detect Undefined Value Errors with Bit-Precision.
USENIX ATC, General Track
Julian Seward, Nicholas Nethercote
2003 — conf
Valgrind: A Program Supervision Framework.
RV@CAV
Nicholas Nethercote, Julian Seward
2001 B conf
Space-Time Tradeoffs in the Inverse B-W Transform.
Data Compression Conference
Julian Seward
2000 A conf
Composing contracts: an adventure in financial engineering, functional pearl.
ICFP
Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward
2000 B conf
On the Performance of BWT Sorting Algorithms.
Data Compression Conference
Julian Seward
1995 B conf
Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell
SAS
Julian Seward
1993 C conf
Polymorphic Strictness Analysis using Frontiers.
PEPM
Julian Seward
1993 A conf
Solving recursive domain equations by term rewriting.
Functional Programming
Julian Seward
1992 — conf
Generational Garbage Collection for Lazy Graph Reduction.
IWMM
Julian Seward
1991 — —
Towards a strictness analyser for Haskell - putting theory into practice.
Julian Seward