Sidney Amani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2018
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CPP | Towards verifying ethereum smart contract bytecode in Isabelle/HOL. | Sidney Amani, Myriam Bgel, Maksym Bortin, Mark Staples |
| 2017 | CPP | Complx: a verification framework for concurrent imperative programs. | Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong |
| 2016 | ASPLOS | CoGENT: Verifying High-Assurance File System Implementations. | 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 | ICFP | Refinement through restraint: bringing down the cost of verification. | Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein |
| 2013 | SOSP | File systems deserve verification too! | Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser |