James Hook

According to our database, James Hook authored at least 23 papers between 1988 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Bayesian Screening: Multi-test Bayesian Optimization Applied to in silico Material Screening.

James Hook, Calum Hand, Emma Whitfield

CoRR, 2020

2018

Performance analysis of asynchronous parallel Jacobi.

James Hook, Nicholas J. Dingle

Numer. Algorithms, 2018

2017

Max-Plus Algebraic Statistical Leverage Scores.

James Hook

SIAM J. Matrix Anal. Appl., 2017

2016

Max-plus statistical leverage scores.

James Hook

CoRR, 2016

2013

Critical Path Statistics of Max-Plus Linear Systems with Gaussian Noise.

James Hook

J. Appl. Probab., 2013

2009

Achieving information flow security through monadic control of effects.

William L. Harrison, James Hook

J. Comput. Secur., 2009

2008

The ICFP developer conference 2008.

James Hook, Michael Sperber

ACM SIGPLAN Notices, 2008

2005

Achieving Information Flow Security through Precise Control of Effects.

William L. Harrison, James Hook

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Certifying Temporal Properties for Compiled C Programs.

Songtao Xia, James Hook

Proceedings of the Verification, 2004

2003

Experience with Abstraction-carrying Code.

Songtao Xia, James Hook

Proceedings of the 2003 Workshop on Software Model Checking, 2003

2002

Fine Control of Demand in Haskell.

William L. Harrison, Tim Sheard, James Hook

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

1999

Client-Side Web Scripting with HaskellScript.

Erik Meijer, Daan Leijen, James Hook

Proceedings of the Practical Aspects of Declarative Languages, 1999

1998

Haskell as an Automation Controller.

Daan Leijen, Erik Meijer, James Hook

Proceedings of the Advanced Functional Programming, 1998

1997

Type-Driven Defunctionalization.

Jeffrey M. Bell, Françoise Bellegarde, James Hook

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

A Software Engineering Experiment in Software Component Generation.

Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Calculating Software Generators from Solution Specifications.

Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Teaching Software Quality and Leadership: Experiences and Successes.

Judy Bamberger, James Hook

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

Substitution: A Formal Methods Case Study Using Monads and Transformations.

Françoise Bellegarde, James Hook

Sci. Comput. Program., 1994

Software design for reliability and reuse: a proof-of-concept demonstration.

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

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1993

Monads, Indexes and Transformations.

Françoise Bellegarde, James Hook

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Static Single Assignment for Explicitely Parallel Programs.

Harini Srinivasan, James Hook, Michael Wolfe

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1990

The Romulus Proof Checker.

Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger

Proceedings of the 10th International Conference on Automated Deduction, 1990

1988

Abstract Types & Dependence in Programming Languages.

James Hook

PhD thesis, 1988