ask others

Nathan Collins

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcs/AmorimCDDHPPPT16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcs/AmorimCDDHPPPT16
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach:
A verified information-flow architecture. Journal of Computer Security 24(6): 689-734 (2016)
2015
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AmorimCDDHPPPT15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/AmorimCDDHPPPT15
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach:
A Verified Information-Flow Architecture. CoRR abs/1509.06503 (2015)
2014
[c3]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/AmorimCDDHPPPT14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/popl/AmorimCDDHPPPT14
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach:
A verified information-flow architecture. POPL 2014: 165-178
2012
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/plpv/KimmellSEEFSWCSCA12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/plpv/KimmellSEEFSWCSCA12
Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn:
Equational reasoning about programs with general recursion and call-by-value semantics. PLPV 2012: 15-26
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1202-2923
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1202-2923
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich:
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems. MSFP 2012: 112-162

Coauthor Index

see FAQ

maintained by

at