The Tablet Game: An Embedded Assessment for Measuring Students' Programming Skill in App Inventor (Abstract Only). - Fred Martin; Chike Abuah; Subhajit Chakrabarty; David Nguyen; Mark Sherman 002; Diane Schilder (SIGCSE, 2018)

The tablet game: an embedded assessment for measuring students' programming skill in app inventor. - Chike Abuah; Diane Schilder; Mark Sherman 002; Fred Martin (J. Comput. Sci. Coll., 2018)

Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. - Joseph P. Near; David Darais; Chike Abuah; Tim Stevens; Pranav Gaddamadugu; Lun Wang 001; Neel Somani; Mu Zhang 001; Nikhil Sharma; Alex Shan; Dawn Song (Proc. ACM Program. Lang., 2019)

Contextual Linear Types for Differential Privacy. - Matías Toro; David Darais; Chike Abuah; Joe Near; Federico Olmedo; Éric Tanter (CoRR, 2020)

DDUO: General-Purpose Dynamic Analysis for Differential Privacy. - Chike Abuah; Alex Silence; David Darais; Joseph P. Near (CSF, 2021)

Solo: Enforcing Differential Privacy Without Fancy Types. - Chike Abuah; David Darais; Joseph P. Near (CoRR, 2021)

Solo: a lightweight static analysis for differential privacy. - Chike Abuah; David Darais; Joseph P. Near (Proc. ACM Program. Lang., 2022)

Contextual Linear Types for Differential Privacy. - Matías Toro; David Darais; Chike Abuah; Joseph P. Near; Damián Árquez; Federico Olmedo; Éric Tanter (ACM Trans. Program. Lang. Syst., 2023)