Towards a strictness analyser for Haskell - putting theory into practice. - Julian Seward (1991)

Generational Garbage Collection for Lazy Graph Reduction. - Julian Seward (IWMM, 1992)

Solving recursive domain equations by term rewriting. - Julian Seward (Functional Programming, 1993)

Polymorphic Strictness Analysis using Frontiers. - Julian Seward (PEPM, 1993)

Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell - Julian Seward (SAS, 1995)

On the Performance of BWT Sorting Algorithms. - Julian Seward (Data Compression Conference, 2000)

Composing contracts: an adventure in financial engineering, functional pearl. - Simon L. Peyton Jones; Jean-Marc Eber; Julian Seward (ICFP, 2000)

Space-Time Tradeoffs in the Inverse B-W Transform. - Julian Seward (Data Compression Conference, 2001)

Valgrind: A Program Supervision Framework. - Nicholas Nethercote; Julian Seward (RV@CAV, 2003)

Using Valgrind to Detect Undefined Value Errors with Bit-Precision. - Julian Seward; Nicholas Nethercote (USENIX ATC, General Track, 2005)

Valgrind: a framework for heavyweight dynamic binary instrumentation. - Nicholas Nethercote; Julian Seward (PLDI, 2007)

How to shadow every byte of memory used by a program. - Nicholas Nethercote; Julian Seward (VEE, 2007)