Chike Abuah, Ph.D.
google scholar


My interests include data privacy (especially differential privacy), cybersecurity, and programming languages.


  • Invited to the TPDP: Theory and Practice of Differential Privacy’22 Program Committee (PC)!
  • Invited to the OOPSLA’22 Extended Review and Artifact Evaluation Committee (ERC+AEC)!
  • Received a PhD in Computer Science from the University of Vermont! (October 2021)


  • DDUO: General-Purpose Dynamic Analysis for Differential Privacy.
    Chike 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, Chike 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.
    Chike T. Abuah, David Darais, Joseph P. Near.
    Under conference review. (pdf)

  • Contextual Linear Types for Differential Privacy.
    Matias Toro, David Darais, Chike T. Abuah, Joseph P. Near, Federico Olmedo, Eric Tanter.
    Under journal review. (pdf)


Other Writing


DDUO @ CSF 2021

SOLO @ FCS 2021


Contributions/Acknowledgements/Older Projects


Chike Abuah is a computer science researcher, specializing in cybersecurity and programming languages. He received his PhD in computer science at the University of Vermont in 2021. Currently he researches and implements programming languages and analysis tools which help programmers build reliable software. Chike received his BA from Grinnell College, and MS from the University of Massachusetts.

I am grateful for my mentors and advisers Joe Near and David Darais

Chike Abuah