| 2021 |
J |
jnl |
J. Funct. Program.
Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller
|
| 2018 |
B |
conf |
CPP
Sidney Amani, Myriam Bégel, Maksym Bortin, Mark Staples
|
| 2017 |
B |
conf |
CPP
Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong
|
| 2016 |
— |
— |
Sidney Amani
|
| 2016 |
J |
jnl |
CoRR
Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein
|
| 2016 |
J |
jnl |
Arch. Formal Proofs
Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong
|
| 2016 |
A* |
conf |
ASPLOS
Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser
|
| 2016 |
A |
conf |
ICFP
Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein
|
| 2015 |
— |
conf |
MARS
Sidney Amani, Toby C. Murray
|
| 2014 |
J |
jnl |
ACM SIGOPS Oper. Syst. Rev.
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu
|
| 2014 |
J |
jnl |
ACM SIGOPS Oper. Syst. Rev.
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
|
| 2013 |
— |
conf |
PLOS@SOSP
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
|
| 2012 |
— |
conf |
SSV
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu
|
| 2011 |
— |
conf |
APSys
Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu
|