Chike Abuah

11 papers A 2Journal 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Programming Differential Privacy.
Found. Trends Program. Lang.
Joseph P. Near, Chike Abuah
2023 J jnl
Contextual Linear Types for Differential Privacy.
ACM Trans. Program. Lang. Syst.
Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
2022 J jnl
Solo: a lightweight static analysis for differential privacy.
Proc. ACM Program. Lang.
Chike Abuah, David Darais, Joseph P. Near
2021 A conf
DDUO: General-Purpose Dynamic Analysis for Differential Privacy.
CSF
Chike Abuah, Alex Silence, David Darais, Joseph P. Near
2021 J jnl
DDUO: General-Purpose Dynamic Analysis for Differential Privacy.
CoRR
Chike Abuah, Alex Silence, David Darais, Joe Near
2021 J jnl
Solo: Enforcing Differential Privacy Without Fancy Types.
CoRR
Chike Abuah, David Darais, Joseph P. Near
2020 J jnl
Contextual Linear Types for Differential Privacy.
CoRR
Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter
2019 J jnl
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy.
CoRR
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
2019 J jnl
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy.
Proc. ACM Program. Lang.
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
2018 A conf
The Tablet Game: An Embedded Assessment for Measuring Students' Programming Skill in App Inventor (Abstract Only).
SIGCSE
Fred Martin, Chike Abuah, Subhajit Chakrabarty, David Nguyen, Mark Sherman, Diane Schilder
2018 J jnl
The tablet game: an embedded assessment for measuring students' programming skill in app inventor.
J. Comput. Sci. Coll.
Chike Abuah, Diane Schilder, Mark Sherman, Fred Martin