Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Amani, Sidney"'
Autor:
O'Connor, Liam, Rizkallah, Christine, Chen, Zilin, Amani, Sidney, Lim, Japheth, Nagashima, Yutaka, Sewell, Thomas, Hixon, Alex, Keller, Gabriele, Murray, Toby, Klein, Gerwin
We present a self-certifying compiler for the COGENT systems language. COGENT is a restricted, polymorphic, higher-order, and purely functional language with linear types and without the need for a trusted runtime or garbage collector. It compiles to
Externí odkaz:
http://arxiv.org/abs/1601.05520
Autor:
Amani, Sidney, Murray, Toby
Publikováno v:
EPTCS 196, 2015, pp. 1-9
We present the most interesting elements of the correctness specification of BilbyFs, a performant Linux flash file system. The BilbyFs specification supports asynchronous writes, a feature that has been overlooked by several file system verification
Externí odkaz:
http://arxiv.org/abs/1511.04169
Autor:
Amani, Sidney, Chubb, Peter, Donaldson, Alastair F., Legg, Alexander, Ryzhyk, Leonid, Zhu, Yanjin
Publikováno v:
EPTCS 102, 2012, pp. 4-17
We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver architecture and verification tools. It supports drivers written in C
Externí odkaz:
http://arxiv.org/abs/1211.6185
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
O'Connor, Liam, Chen, Zilin, Rizkallah, Christine, Amani, Sidney, Lim, Japheth, Murray, Toby, Nagashima, Yutaka, Sewell, Thomas, Klein, Gerwin
Publikováno v:
ACM / SIGPLAN Notices; Sep2016, Vol. 51 Issue 9, p89-102, 14p
Autor:
Amani, Sidney, Hixon, Alex, Chen, Zilin, Rizkallah, Christine, Chubb, Peter, O'Connor, Liam, Beeren, Joel, Nagashima, Yutaka, Lim, Japheth, Sewell, Thomas, Tuong, Joseph, Keller, Gabriele, Murray, Toby, Klein, Gerwin, Heiser, Gernot
Publikováno v:
ACM SIGOPS Operating Systems Review; January 2017, Vol. 50 Issue: 2 p175-188, 14p
Autor:
Amani, Sidney, Ryzhyk, Leonid, Donaldson, Alastair F., Heiser, Gernot, Legg, Alexander, Zhu, Yanjin
Publikováno v:
Proceedings of the Second Asia-Pacific Workshop: Systems; Jul2011, p1-5, 5p
Autor:
Amani, Sidney, Hixon, Alex, Chen, Zilin, Rizkallah, Christine, Chubb, Peter, O'Connor, Liam, Beeren, Joel, Nagashima, Yutaka, Lim, Japheth, Sewell, Thomas, Tuong, Joseph, Keller, Gabriele, Murray, Toby, Klein, Gerwin, Heiser, Gernot
Publikováno v:
ACM SIGARCH Computer Architecture News; May2016, Vol. 44 Issue 2, p175-188, 14p