BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

ICFP 20142014
ICFP 20122012
TACAS 20062006
CAV (2) 20182018
Haskell 20092009
Haskell 20142014
Haskell 20152015

Wrote 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.
Guilt free ivory (TE, LP, SW, PCH, JB, JS, ELS, JL), pp. 189–200.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.