James Hook

24 papers A* 2A 3B 2C 2Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2020 J jnl
Bayesian Screening: Multi-test Bayesian Optimization Applied to in silico Material Screening.
CoRR
James Hook, Calum Hand, Emma Whitfield
2018 J jnl
Performance analysis of asynchronous parallel Jacobi.
Numer. Algorithms
James Hook, Nicholas J. Dingle
2017 J jnl
Max-Plus Algebraic Statistical Leverage Scores.
SIAM J. Matrix Anal. Appl.
James Hook
2016 J jnl
Max-plus statistical leverage scores.
CoRR
James Hook
2013 J jnl
Critical Path Statistics of Max-Plus Linear Systems with Gaussian Noise.
J. Appl. Probab.
James Hook
2009 J jnl
Achieving information flow security through monadic control of effects.
J. Comput. Secur.
William L. Harrison, James Hook
2008 A ed.
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008
ICFP
James Hook, Peter Thiemann
2008 J jnl
The ICFP developer conference 2008.
ACM SIGPLAN Notices
James Hook, Michael Sperber
2005 — conf
Achieving Information Flow Security through Precise Control of Effects.
CSFW
William L. Harrison, James Hook
2004 B conf
Certifying Temporal Properties for Compiled C Programs.
VMCAI
Songtao Xia, James Hook
2003 — conf
Experience with Abstraction-carrying Code.
SoftMC@CAV
Songtao Xia, James Hook
2002 B conf
Fine Control of Demand in Haskell.
MPC
William L. Harrison, Tim Sheard, James Hook
1999 C conf
Client-Side Web Scripting with HaskellScript.
PADL
Erik Meijer, Daan Leijen, James Hook
1998 — conf
Haskell as an Automation Controller.
Advanced Functional Programming
Daan Leijen, Erik Meijer, James Hook
1997 A conf
Type-Driven Defunctionalization.
ICFP
Jeffrey M. Bell, Françoise Bellegarde, James Hook
1996 A* conf
A Software Engineering Experiment in Software Component Generation.
ICSE
Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton
1995 — conf
Calculating Software Generators from Solution Specifications.
TAPSOFT
Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
1995 C conf
Teaching Software Quality and Leadership: Experiences and Successes.
APSEC
Judy Bamberger, James Hook
1994 — conf
Software design for reliability and reuse: a proof-of-concept demonstration.
TRI-Ada
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
1994 J jnl
Substitution: A Formal Methods Case Study Using Monads and Transformations.
Sci. Comput. Program.
Françoise Bellegarde, James Hook
1993 — conf
Monads, Indexes and Transformations.
TAPSOFT
Françoise Bellegarde, James Hook
1993 A* conf
Static Single Assignment for Explicitely Parallel Programs.
POPL
Harini Srinivasan, James Hook, Michael Wolfe
1990 A conf
The Romulus Proof Checker.
CADE
Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger
1988 — —
Abstract Types & Dependence in Programming Languages.
James Hook