Travelled to:1 × Belgium
1 × Denmark
1 × Estonia
1 × Germany
1 × Portugal
1 × Spain
1 × The Netherlands
1 × United Kingdom
3 × France
3 × Italy
4 × USA
Collaborated with:D.L.Métayer P.Malacaria H.Wiklicky S.Hunt A.D.Pierro D.Clark D.J.Pearce P.H.J.Kelly E.L.Martelot C.Martin L.Errington T.P.Jensen D.Sands G.L.Burn S.L.P.Jones P.Osmon M.J.Shute
Talks about:analysi (12) program (7) type (4) approxim (3) abstract (3) strict (3) point (3) infer (3) fix (3) probabilist (2)
Person: Chris Hankin
DBLP: Hankin:Chris
Facilitated 3 volumes:
Ed
Ed
EdContributed to:
2011
2010
2007
20042005
200320022000
1999
1998
19981994199519941994
19931993199219941992
198719861985Wrote 23 papers:
- KDIR-2011-MartelotH #algorithm #community #detection #multi #optimisation #using
- Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm (ELM, CH), pp. 216–225.
- SFM-2010-PierroHW #probability #program analysis #semantics
- Probabilistic Semantics and Program Analysis (ADP, CH, HW), pp. 1–42.
- QAPL-2007-PierroHW #analysis #data flow #on the #probability
- On Probabilistic Techniques for Data Flow Analysis (ADP, CH, HW), pp. 59–77.
- PASTE-2004-PearceKH #analysis #c #performance #pointer
- Efficient field-sensitive pointer analysis for C (DJP, PHJK, CH), pp. 37–42.
- QAPL-2004-HankinW05 #program analysis #λ-calculus
- λ-calculus and Quantitative Program Analysis: (CH, HW), pp. 5–18.
- SCAM-2003-PearceKH #analysis #detection #difference #online #pointer
- Online Cycle Detection and Difference Propagation for Pointer Analysis (DJP, PHJK, CH), pp. 3–12.
- SAS-2002-PierroHW #approximate
- Analysing Approximate Confinement under Uniform Attacks (ADP, CH, HW), pp. 310–325.
- SAS-2000-ClarkHH #analysis #graph grammar #safety #strict
- Safety of Strictness Analysis via Term Graph Rewriting (DC, CH, SH), pp. 95–114.
- LICS-1999-MalacariaH #game studies #nondeterminism #program analysis #security
- Non-Deterministic Games and Program Analysis: An Application to Security (PM, CH), pp. 443–452.
- CC-1998-MalacariaH #analysis #approach #control flow
- A New Approach to Control Flow Analysis (PM, CH), pp. 95–108.
- ICALP-1998-MalacariaH #game studies
- Generalised Flowcharts and Games (PM, CH), pp. 363–374.
- ESOP-1994-HankinM #analysis #lazy evaluation #strict #type inference
- Lazy Type Inference for the Strictness Analysis of Lists (CH, DLM), pp. 257–271.
- ESOP-J-1994-HankinM95 #lazy evaluation #program analysis #type inference
- Lazy Type Inference and Program Analysis (CH, DLM), pp. 219–249.
- POPL-1994-HankinM #algorithm #analysis #strict #type inference
- Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis (CH, DLM), pp. 202–212.
- SAS-1994-HankinM #framework #program analysis #type system
- A Type-based Framework for Program Analysis (CH, DLM), pp. 380–394.
- PLILP-1993-ClarkH #graph
- A Lattice of Abstract Graphs (DC, CH), pp. 318–331.
- WSA-1993-ErringtonHJ #congruence #source code
- A Congruence for Gamma Programs (LE, CH, TPJ), pp. 242–253.
- ESOP-1992-HankinH #abstract interpretation #approximate #fixpoint
- Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 219–232.
- ESOP-J-1992-HankinH94 #abstract interpretation #approximate #fixpoint
- Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 283–306.
- WSA-1992-HankinMS #source code
- Transformation of Gamma Programs (CH, DLM, DS), pp. 12–19.
- FPCA-1987-MartinH #finite #fixpoint
- Finding fixed points in finite lattices (CM, CH), pp. 426–445.
- ESOP-1986-HankinBJ #approach #combinator #parallel #reduction
- A Safe Approach to Parallel Combinator Reduction (CH, GLB, SLPJ), pp. 99–110.
- FPCA-1985-HankinOS85 #architecture #combinator #named #reduction
- COBWEB — A Combinator Reduction Architecture (CH, PO, MJS), pp. 99–112.