Follow
Chiké Abuah
Chiké Abuah
Other namesChukwunweike Abuah, Chike Abuah, C Abuah
Amazon Web Services (AWS)
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy
JP Near, D Darais, C Abuah, T Stevens, P Gaddamadugu, L Wang, ...
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 172, 2019
422019
Myr: A web-based platform for teaching coding using vr
C Berns, G Chin, J Savitz, J Kiesling, F Martin
Proceedings of the 50th acm technical symposium on computer science …, 2019
282019
Programming Differential Privacy
JP Near, C Abuah
https://programming-dp.com/, 2021
16*2021
DDUO: General-Purpose Dynamic Analysis for Differential Privacy
C Abuah, A Silence, D Darais, JP Near
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
72021
Contextual linear types for differential privacy
M Toro, D Darais, C Abuah, JP Near, D Árquez, F Olmedo, É Tanter
ACM Transactions on Programming Languages and Systems 45 (2), 1-69, 2023
52023
The tablet game: an embedded assessment for measuring students' programming skill in app inventor
C Abuah, D Schilder, M Sherman, F Martin
Journal of Computing Sciences in Colleges 33 (6), 9-21, 2018
3*2018
Guidelines for Evaluating Differential Privacy Guarantees
J Near, D Darais, N Lefkovitz, G Howarth
National Institute of Standards and Technology, 2023
22023
Solo: a lightweight static analysis for differential privacy
C Abuah, D Darais, JP Near
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 699-728, 2022
2*2022
Automatic Proofs of Differential Privacy
C Abuah
Cybersecurity Insights, 2021
2021
Language-Based Analysis of Differential Privacy
CC Abuah
University of Vermont, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–10