Travelled to:1 × Austria
1 × Denmark
1 × Sweden
Collaborated with:G.M.Brown A.Goodloe ∅ P.C.Hickey T.Elliott J.Bielman J.Launchbury N.Wegmann S.Niller M.Tullsen N.Collins A.Tomb S.Winwood J.Sharp E.L.Seidel
Talks about:embed (3) protocol (2) vehicl (2) system (2) experi (2) verif (2) counterexampl (1) parameter (1) yourself (1) general (1)
Person: Lee Pike
DBLP: Pike:Lee
Contributed to:
20142012
2006
2018
200920142015Wrote 7 papers:
- ICFP-2014-HickeyPEBL #domain-specific language #embedded
- Building embedded systems with embedded DSLs (PCH, LP, TE, JB, JL), pp. 3–9.
- ICFP-2012-PikeWNG #case study #compilation #experience
- Experience report: a do-it-yourself high-assurance compiler (LP, NW, SN, AG), pp. 335–340.
- TACAS-2006-BrownP #protocol #verification
- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols (GMB, LP), pp. 58–72.
- CAV-2018-TullsenPCT #verification
- Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System (MT, LP, NC, AT), pp. 413–429.
- Haskell-2009-PikeBG #embedded #experience #haskell #protocol #realtime
- Roll your own test bed for embedded real-time protocols: a haskell experience (LP, GMB, AG), pp. 61–68.
- Haskell-2014-Pike #automation #named #performance #reduction
- SmartCheck: automatic and efficient counterexample reduction and generalization (LP), pp. 53–64.
- Haskell-2015-ElliottPWHBSSL
- Guilt free ivory (TE, LP, SW, PCH, JB, JS, ELS, JL), pp. 189–200.