Specifying a Realistic File System
Amani, Sidney, Murray, Toby
Published in Electronic proceedings in theoretical computer science (08.11.2015)
Published in Electronic proceedings in theoretical computer science (08.11.2015)
Get full text
Journal Article
Automatic Verification of Message-Based Device Drivers
Amani, Sidney, Chubb, Peter, Donaldson, Alastair F., Legg, Alexander, Ryzhyk, Leonid, Zhu, Yanjin
Published in Electronic proceedings in theoretical computer science (26.11.2012)
Published in Electronic proceedings in theoretical computer science (26.11.2012)
Get full text
Journal Article
Cogent: uniqueness types and certifying compilation
O’CONNOR, LIAM, CHEN, ZILIN, RIZKALLAH, CHRISTINE, JACKSON, VINCENT, AMANI, SIDNEY, KLEIN, GERWIN, MURRAY, TOBY, SEWELL, THOMAS, KELLER, GABRIELE
Published in Journal of functional programming (01.01.2021)
Published in Journal of functional programming (01.01.2021)
Get full text
Journal Article
COGENT: Certified Compilation for a Functional Systems Language
O'Connor, Liam, Rizkallah, Christine, Chen, Zilin, Amani, Sidney, Lim, Japheth, Nagashima, Yutaka, Sewell, Thomas, Hixon, Alex, Keller, Gabriele, Murray, Toby, Klein, Gerwin
Year of Publication 21.01.2016
Year of Publication 21.01.2016
Get full text
Journal Article
Automatic Verification of Message-Based Device Drivers
Amani, Sidney, Chubb, Peter, Donaldson, Alastair F, Legg, Alexander, Ryzhyk, Leonid, Zhu, Yanjin
Published in arXiv.org (27.11.2012)
Published in arXiv.org (27.11.2012)
Get full text
Paper
Journal Article