E-LIB Suche - Ergebnisse für: Winwood, Simon

1

Daedalus: Safer Document Parsing:

Diatchki, Iavor S. ; Dodds, Mike ; Goldstein, Harrison...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 816-840 , 2024

Link: https://doi.org/10.1145/..

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

Guilt free ivory:

, In: Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell,

Elliott, Trevor ; Pike, Lee ; Winwood, Simon... - p. 189-200 , 2015

Link: https://dl.acm.org/doi/1..

4

Singleton : a general-purpose dependently-typed assembly..:

, In: Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation,

Winwood, Simon ; Chakravarty, Manuel - p. 3-14 , 2011

Link: https://dl.acm.org/doi/1..

5

seL4: formal verification of an operating-system kernel:

Klein, Gerwin ; Andronick, June ; Elphinstone, Kevin...
Communications of the ACM. 53 (2010) 6 - p. 107-115 , 2010

Link: https://doi.org/10.1145/..

6

seL4 : formal verification of an operating-system kernel:

Klein, Gerwin ; Andronick, June ; Elphinstone, Kevin...
Communications of the ACM. 53 (2010) 6 - p. 107-115 , 2010

Link: https://dl.acm.org/doi/1..

7

seL4 : formal verification of an OS kernel:

, In: Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles,

Klein, Gerwin ; Elphinstone, Kevin ; Heiser, Gernot... - p. 207-220 , 2009

Link: https://dl.acm.org/doi/1..

8

A general-purpose dependently-typed assembly language:

Winwood, Simon
http://hdl.handle.net/1959.4/54920. , 2010

Link: http://hdl.handle.net/19..

9

Legba: Fast Hardware Support for Fine-Grained Protection:

Wiggins, Adam ; Winwood, Simon ; Tuch, Harvey.
http://hdl.handle.net/1959.4/39918. , 2003

Link: http://hdl.handle.net/19..

10

Mind the Gap: Verification Framework for Low-Level C:

Winwood, Simon ; Klein, Gerwin ; Sewell, Thomas...
International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009). ,

Link: http://hdl.handle.net/18..

11

seL4: Formal Verification of an OS Kernel:

Klein, Gerwin ; Elphinstone, Kevin ; Heiser, Gernot...
ACM Symposium on Operating Systems Principles (SOSP 2009). ,

Link: http://hdl.handle.net/18..

12

SeL4: Formal verification of an operating-system kernel:

Klein, Gerwin ; Andronick, June ; Elphinstone, Kevin...
0001-0782. ,

Link: http://hdl.handle.net/18..

13

Vote Of Thanks:

Appleyard, J. ; Armstrong, Michael ; Bassett, J. B....
The British Medical Journal. 4 (1969) 5681 - p. 498 ff. , 1969

Link: https://www.jstor.org/st..

14

The interactive effect of valence and context on reversal l..:

Levy-Gigi, Einat ; Haim-Nachum, Shilat ; Hall, Julie M....
Neuroscience Letters. 692 (2019) - p. 216-224 , 2019

Link: https://doi.org/10.1016/..

15

Vote of thanks:

Appleyard, J ; Armstrong, Michael ; Bassett, J. B...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1630505. , 1969

Link: http://www.ncbi.nlm.nih...