James Hook - RankMe

24 papers A* 2A 3B 2C 2Journal 8Unranked 6

Year	Rank	Type	Title / 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