Chike Abuah

According to our database, Chike Abuah authored at least 7 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., June, 2023

2022

Solo: a lightweight static analysis for differential privacy.

Chike Abuah, David Darais, Joseph P. Near

Proc. ACM Program. Lang., 2022

2021

Solo: Enforcing Differential Privacy Without Fancy Types.

Chike Abuah, David Darais, Joseph P. Near

CoRR, 2021

DDUO: General-Purpose Dynamic Analysis for Differential Privacy.

Chike Abuah, Alex Silence, David Darais, Joseph P. Near

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Contextual Linear Types for Differential Privacy.

Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter

CoRR, 2020

2019

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, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song

Proc. ACM Program. Lang., 2019

2018

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, Diane Schilder

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018