James Hook - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2019

Max-Balanced Hungarian ScalingsJames Hook, Jennifer Pestana, Françoise Tisseur, Jonathan D. Hogg. siammax, 40(1):320-346, 2019. [doi]

2018

Performance analysis of asynchronous parallel JacobiJames Hook, Nicholas J. Dingle. na, 77(3):831-866, 2018. [doi]

A Max-Plus Approach to Incomplete Cholesky Factorization PreconditionersJames Hook, Jennifer A. Scott, Françoise Tisseur, Jonathan Hogg. siamsc, 40(4), 2018. [doi]

Latitude: A Model for Mixed Linear-Tropical Matrix FactorizationSanjar Karaev, James Hook, Pauli Miettinen. sdm 2018: 360-368 [doi]

2017

Incomplete LU Preconditioner Based on Max-Plus Approximation of LU FactorizationJames Hook, Françoise Tisseur. siammax, 38(4):1160-1189, 2017. [doi]

Max-Plus Algebraic Statistical Leverage ScoresJames Hook. siammax, 38(4):1410-1433, 2017. [doi]

2013

Critical Path Statistics of Max-Plus Linear Systems with Gaussian NoiseJames Hook. jap, 50(3):654-670, 2013. [doi]

2009

Achieving information flow security through monadic control of effectsWilliam L. Harrison, James Hook. jcs, 17(5):599-653, 2009. [doi]

2008

The ICFP developer conference 2008James Hook, Michael Sperber. SIGPLAN, 43(5):3-4, 2008. [doi]

2005

Achieving Information Flow Security through Precise Control of EffectsWilliam L. Harrison, James Hook. csfw 2005: 16-30 [doi]

2004

Certifying Temporal Properties for Compiled C ProgramsSongtao Xia, James Hook. vmcai 2004: 161-174 [doi]

2003

Experience with Abstraction-carrying CodeSongtao Xia, James Hook. ENTCS, 89(3):433-449, 2003. [doi]

2002

Fine Control of Demand in HaskellWilliam L. Harrison, Tim Sheard, James Hook. mpc 2002: 68-93 [doi]

1999

Client-Side Web Scripting with HaskellScriptErik Meijer, Daan Leijen, James Hook. PADL 1998: 196-210 [doi]

1998

Haskell as an Automation ControllerDaan Leijen, Erik Meijer, James Hook. afp 1998: 268-289

1997

Type-Driven DefunctionalizationJeffrey M. Bell, Françoise Bellegarde, James Hook. ICFP 1997: 25-37

1996

A Software Engineering Experiment in Software Component GenerationRichard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton. ICSE 1996: 542-552 [doi]

1995

Teaching Software Quality and Leadership: Experiences and SuccessesJudy Bamberger, James Hook. apsec 1995: 333-344 [doi]

Calculating Software Generators from Solution SpecificationsRichard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou. tapsoft 1995: 546-560

1994

Software design for reliability and reuse: a proof-of-concept demonstrationJeffrey 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. sigada 1994: 396-404 [doi]

Substitution: A Formal Methods Case Study Using Monads and TransformationsFrançoise Bellegarde, James Hook. SCP, 23(2-3):287-311, 1994.

1993

Monads, Indexes and TransformationsFrançoise Bellegarde, James Hook. tapsoft 1993: 314-327

Static Single Assignment for Explicitely Parallel ProgramsHarini Srinivasan, James Hook, Michael Wolfe. POPL 1993: 260-272

1990

The Romulus Proof CheckerCarl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger. cade 1990: 651-652

1988

Abstract Types & Dependence in Programming LanguagesJames Hook. PhD thesis, Cornell University, USA, 1988.

1984

Understanding Russell- A First AttemptJames Hook. sdt 1984: 69-86

Sign in or sign up to see more results.

runs on WebDSL