Julian Seward

According to our database, Julian Seward authored at least 12 papers between 1991 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2007

How to shadow every byte of memory used by a program.

Nicholas Nethercote, Julian Seward

Proceedings of the 3rd International Conference on Virtual Execution Environments, 2007

Valgrind: a framework for heavyweight dynamic binary instrumentation.

Nicholas Nethercote, Julian Seward

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2005

Using Valgrind to Detect Undefined Value Errors with Bit-Precision.

Julian Seward, Nicholas Nethercote

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

2003

Valgrind: A Program Supervision Framework.

Nicholas Nethercote, Julian Seward

Proceedings of the Third Workshop on Run-time Verification, 2003

2001

Space-Time Tradeoffs in the Inverse B-W Transform.

Julian Seward

Proceedings of the Data Compression Conference, 2001

2000

Composing contracts: an adventure in financial engineering, functional pearl.

Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

On the Performance of BWT Sorting Algorithms.

Julian Seward

Proceedings of the Data Compression Conference, 2000

1995

Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell

Julian Seward

Proceedings of the Static Analysis, 1995

1993

Polymorphic Strictness Analysis using Frontiers.

Julian Seward

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

Solving recursive domain equations by term rewriting.

Julian Seward

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1992

Generational Garbage Collection for Lazy Graph Reduction.

Julian Seward

Proceedings of the Memory Management, 1992

1991

Towards a strictness analyser for Haskell - putting theory into practice.

Julian Seward

PhD thesis, 1991