Chiké Abuah, PhD

	abuahchu@gmail.com
	google scholar
	github
	linkedin
	name pronunciation

Interests

My interests include privacy, ethical computing, and programming language design

Peer-Reviewed Publications

DDUO: General-Purpose Dynamic Analysis for Differential Privacy.
Chiké T. Abuah, Alex Silence, David Darais, Joseph P. Near.
In Computer Security Foundations (CSF), 2021. (pdf)
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy.

Joseph P. Near, David Darais, Chiké T. Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song.
In Object-oriented Programming, Systems, Languages, and Applications (OOPSLA). 2019. (pdf)
**ACM SIGPLAN Distinguished Paper Award**
Download implementation here
Solo: A Lightweight Static Analysis for Differential Privacy.
Chiké T. Abuah, David Darais, Joseph P. Near.
OOPSLA '22. (pdf)
Contextual Linear Types for Differential Privacy.
Matias Toro, David Darais, Chiké T. Abuah, Joseph P. Near, Federico Olmedo, Eric Tanter.
ACM Transactions on Programming Languages and Systems (TOPLAS). (pdf)

Other Publications

I am a co-author of the executable book: Programming Differential Privacy
I have contributed to CYBERSECURITY INSIGHTS: a NIST blog

Talks

DDUO @ CSF 2021

SOLO @ FCS 2021

SOLO @ OOPSLA 2022 (David Darais)

Teaching

I was the Lead Instructor for Computing II (Data Structures) UMass Lowell, Summer 2017.
My course evaluations are available here.

Service

I performed expert reviews for CSF (Computer Security Foundations) ’23.
I performed expert reviews for ESOP (European Symposium On Programming) ’23.
I served on the external review committee for OOPLSA ’22.
I served as a PC member of the Workshop on Theory and Practice of Differential Privacy (TPDP) ’22.
I served as a PC member of the Workshop on Foundations of Computer Security (FCS) ’22.
I served on the Program Committee for FCS 2021.
Acknowledged for contributing to the book: Programming Language Foundations in Agda.

Bio

Chiké Abuah is a computer scientist, specializing in data privacy, cybersecurity, and program analysis. He received his PhD in computer science at the University of Vermont in 2021. Currently he researches and implements program analysis tools which help programmers build reliable software. Chiké received his BA from Grinnell College, and MS from the University of Massachusetts.

Chiké Abuah