Chike Abuah

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 9

Top Topics

Static Analysis

Differential Privacy

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Program. Lang. Syst.

Publications

Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
Contextual Linear Types for Differential Privacy. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Chike Abuah, David Darais, Joseph P. Near
Solo: a lightweight static analysis for differential privacy. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Chike Abuah, David Darais, Joseph P. Near
Solo: Enforcing Differential Privacy Without Fancy Types. CoRR (2021)
Chike Abuah, Alex Silence, David Darais, Joseph P. Near
DDUO: General-Purpose Dynamic Analysis for Differential Privacy. CSF (2021)
Chike Abuah, Alex Silence, David Darais, Joe Near
DDUO: General-Purpose Dynamic Analysis for Differential Privacy. CoRR (2021)
Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter
Contextual Linear Types for Differential Privacy. CoRR (2020)
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy. CoRR (2019)
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Fred Martin, Chike Abuah, Subhajit Chakrabarty, David Nguyen, Mark Sherman, Diane Schilder
The Tablet Game: An Embedded Assessment for Measuring Students' Programming Skill in App Inventor (Abstract Only). SIGCSE (2018)