I agree that this site is using cookies. You can find further informations here.
X
Launchbury, John
29  results:
Articles (Online) X
Search for persons X
?
1

The HACMS program: using formal methods to eliminate exploi..:

Fisher, Kathleen ; Launchbury, John ; Richards, Raymond
Philosophical Transactions: Mathematical, Physical and Engineering Sciences.  375 (2017)  2104 - p. 1-18 , 2017
Link: https://www.jstor.org/st..
 
?
2

Guilt free ivory:

Elliott, Trevor ; Pike, Lee ; Winwood, Simon...
ACM SIGPLAN Notices.  50 (2015)  12 - p. 189-200 , 2015
Link: https://doi.org/10.1145/..
 
?
3

Building embedded systems with embedded DSLs:

Hickey, Patrick C. ; Pike, Lee ; Elliott, Trevor..
ACM SIGPLAN Notices.  49 (2014)  9 - p. 3-9 , 2014
Link: https://doi.org/10.1145/..
 
?
4

Efficient lookup-table protocol in secure multiparty comput..:

Launchbury, John ; Diatchki, Iavor S. ; DuBuisson, Thomas.
ACM SIGPLAN Notices.  47 (2012)  9 - p. 189-200 , 2012
Link: https://doi.org/10.1145/..
 
?
5

Theorem-based circuit derivation in cryptol:

Launchbury, John
ACM SIGPLAN Notices.  47 (2011)  3 - p. 185-186 , 2011
Link: https://doi.org/10.1145/..
 
?
6

Concurrent orchestration in Haskell:

Launchbury, John ; Elliott, Trevor
ACM SIGPLAN Notices.  45 (2010)  11 - p. 79-90 , 2010
Link: https://doi.org/10.1145/..
 
?
7

Galois: high assurance software:

Launchbury, John
ACM SIGPLAN Notices.  39 (2004)  9 - p. 3-3 , 2004
Link: https://doi.org/10.1145/..
 
?
8

Recursive monadic bindings:

Erkök, Levent ; Launchbury, John
ACM SIGPLAN Notices.  35 (2000)  9 - p. 174-185 , 2000
Link: https://doi.org/10.1145/..
 
?
9

On embedding a microarchitectural design language within Ha..:

Launchbury, John ; Lewis, Jeffrey R. ; Cook, Byron
ACM SIGPLAN Notices.  34 (1999)  9 - p. 60-69 , 1999
Link: https://doi.org/10.1145/..
 
?
10

Monadic state: axiomatization and type safety:

Launchbury, John ; Sabry, Amr
ACM SIGPLAN Notices.  32 (1997)  8 - p. 227-238 , 1997
Link: https://doi.org/10.1145/..
 
?
11

Disposable memo functions (extended abstract):

Cook, Byron ; Launchbury, John
ACM SIGPLAN Notices.  32 (1997)  8 - p. 310 , 1997
Link: https://doi.org/10.1145/..
 
?
12

State in Haskell:

Launchbury, John ; Peyton Jones, Simon L
LISP and Symbolic Computation.  8 (1995)  4 - p. 293-341 , 1995
Link: https://doi.org/10.1007/..
 
?
13

Lazy functional state threads:

Launchbury, John ; Peyton Jones, Simon L.
ACM SIGPLAN Notices.  29 (1994)  6 - p. 24-35 , 1994
Link: https://doi.org/10.1145/..
 
?
14

Reversing abstract interpretations:

Hughes, John ; Launchbury, John
Science of Computer Programming.  22 (1994)  3 - p. 307-326 , 1994
Link: https://doi.org/10.1016/..
 
?
15

How to give a good research talk:

Peyton Jones, Simon L. ; Hughes, John ; Launchbury, John
ACM SIGPLAN Notices.  28 (1993)  11 - p. 9-12 , 1993
Link: https://dl.acm.org/doi/1..
 
1-15