Sidney Amani

Binding

CPP '18: Certified Proofs and Programs Los Angeles CA USA January, 201..., pp.66-77, (2018)

CPP, pp.138-150, (2017)

Special Interest Group on Programming Languages, no. 4 (2016): 175-188

Special Interest Group on Programming Languages, no. 9 (2016): 89-102

ICFP, pp.89-102, (2016)

Architectural Support for Programming Languages and Operating Systems, no. 2 (2016): 175-188

arXiv: Programming Languages, (2016)

MARS, (2015)

Operating Systems Review, (2014)

Operating Systems Review, no. 1 (2014): 106-118

Operating Systems Review, no. 1 (2014): 58-64

SSV, (2012): 4-17

ApSys, (2011)