Sidney Amani

According to our database1, Sidney Amani authored at least 11 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Towards verifying ethereum smart contract bytecode in Isabelle/HOL.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2016
A methodology for trustworthy file systems.
PhD thesis, 2016

COGENT: Certified Compilation for a Functional Systems Language.
CoRR, 2016

COMPLX: A Verification Framework for Concurrent Imperative Programs.
Arch. Formal Proofs, 2016

Refinement through restraint: bringing down the cost of verification.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

CoGENT: Verifying High-Assurance File System Implementations.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015
Specifying a Realistic File System.
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

2014
File systems deserve verification too!
ACM SIGOPS Oper. Syst. Rev., 2014

Automatic verification of active device drivers.
ACM SIGOPS Oper. Syst. Rev., 2014

2012
Automatic Verification of Message-Based Device Drivers
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011
Static analysis of device drivers: we can do better!
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011


  Loading...