Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Julian Seward | Researchclopedia

Back to researchers

Julian Seward

12

Works

4,090

Citations

8

h-index

8

i10-index

Research Topics

Parallel Computing and Optimization Techniques Logic, programming, and type systems Security and Verification in Computing

Affiliations

Open Group2005–2007

University of Manchester1994–2005

Victoria School of Management1995–1995

University of Glasgow2000–2000

Top Works

Nicholas Nethercote,Julian Seward

20072,239 citations

Software Testing and Debugging Techniques

Radiation Effects in Electronics

Nicholas Nethercote,Julian Seward

2007678 citations

Nicholas Nethercote,Julian Seward

2003456 citations

Using Valgrind to detect undefined value errors with bit-precision

Julian Seward,Nicholas Nethercote

2005297 citations

How to shadow every byte of memory used by a program

Nicholas Nethercote,Julian Seward

2007238 citations

Composing contracts

Simon Peyton Jones,Jean‐Marc Eber,et al.

200098 citations

Composing contracts

Simon Peyton Jones,Jean‐Marc Eber,et al.

200040 citations

Composing contracts: an adventure in financial engineering

SL Peyton Jones,J-M Eber,et al.

200031 citations

Polymorphic strictness analysis using frontiers

19937 citations