James Hook

Publication Activity (10 Years)

Years Active: 1990-2020
Publications (10 Years): 4

Top Topics

Sparse Linear Systems

Statistical Significance

Monte Carlo Sampling

Top Venues

J. Appl. Probab.

SIAM J. Matrix Anal. Appl.

Numer. Algorithms

Publications

James Hook, Calum Hand, Emma Whitfield
Bayesian Screening: Multi-test Bayesian Optimization Applied to in silico Material Screening. CoRR (2020)
James Hook, Nicholas J. Dingle
Performance analysis of asynchronous parallel Jacobi. Numer. Algorithms 77 (3) (2018)
James Hook
Max-Plus Algebraic Statistical Leverage Scores. SIAM J. Matrix Anal. Appl. 38 (4) (2017)
James Hook
Max-plus statistical leverage scores. CoRR (2016)
James Hook
Critical Path Statistics of Max-Plus Linear Systems with Gaussian Noise. J. Appl. Probab. 50 (3) (2013)
William L. Harrison, James Hook
Achieving information flow security through monadic control of effects. J. Comput. Secur. 17 (5) (2009)
James Hook, Michael Sperber
The ICFP developer conference 2008. ACM SIGPLAN Notices 43 (5) (2008)
William L. Harrison, James Hook
Achieving Information Flow Security through Precise Control of Effects. CSFW (2005)
Songtao Xia, James Hook
Certifying Temporal Properties for Compiled C Programs. VMCAI (2004)
Songtao Xia, James Hook
Experience with Abstraction-carrying Code. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
William L. Harrison, Tim Sheard, James Hook
Fine Control of Demand in Haskell. MPC (2002)
Erik Meijer, Daan Leijen, James Hook
Client-Side Web Scripting with HaskellScript. PADL (1999)
Daan Leijen, Erik Meijer, James Hook
Haskell as an Automation Controller. Advanced Functional Programming (1998)
Jeffrey M. Bell, Françoise Bellegarde, James Hook
Type-Driven Defunctionalization. ICFP (1997)
Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton
A Software Engineering Experiment in Software Component Generation. ICSE (1996)
Judy Bamberger, James Hook
Teaching Software Quality and Leadership: Experiences and Successes. APSEC (1995)
Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
Calculating Software Generators from Solution Specifications. TAPSOFT (1995)
Françoise Bellegarde, James Hook
Subsitution: A Formal Methods Case Study Using Monads and Transformations. Sci. Comput. Program. 23 (2-3) (1994)
Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou
Software design for reliability and reuse: a proof-of-concept demonstration. TRI-Ada (1994)
Françoise Bellegarde, James Hook
Monads, Indexes and Transformations. TAPSOFT (1993)
Harini Srinivasan, James Hook, Michael Wolfe
Static Single Assignment for Explicitely Parallel Programs. POPL (1993)
Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger
The Romulus Proof Checker. CADE (1990)