
views: 15
Sidney Amani
Sign in to view more

Ego Network
D-Core
Research Interests
Author Statistics
Experience
Sign in to view more
Education
Sign in to view more
Bio
None
Papers14 papers
Sort
By YearBy Citation
CPP '18: Certified Proofs and Programs
Los Angeles
CA
USA
January, 201..., pp.66-77, (2018)
CPP, pp.138-150, (2017)
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
Special Interest Group on Programming Languages, no. 4 (2016): 175-188
Liam O'Connor,Zilin Chen,Christine Rizkallah,Sidney Amani,Japheth Lim,Toby Murray, Yutaka Nagashima,Thomas Sewell,Gerwin Klein
Special Interest Group on Programming Languages, no. 9 (2016): 89-102
Liam O'Connor,Zilin Chen,Christine Rizkallah,Sidney Amani,Japheth Lim,Toby C. Murray, Yutaka Nagashima,Thomas Sewell,Gerwin Klein
ICFP, pp.89-102, (2016)
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
Architectural Support for Programming Languages and Operating Systems, no. 2 (2016): 175-188
Liam O'Connor,Christine Rizkallah,Zilin Chen,Sidney Amani,Japheth Lim, Yutaka Nagashima,Thomas Sewell, Alex Hixon,Gabriele Keller,Toby C. Murray,Gerwin Klein
arXiv: Programming Languages, (2016)
Operating Systems Review, (2014)
Bibtex
Operating Systems Review, no. 1 (2014): 106-118
Operating Systems Review, no. 1 (2014): 58-64
(2012)
Cited by1Bibtex
SSV, (2012): 4-17
ApSys, (2011)
View All