HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Thu, 25 Dec 2025 18:46:12 GMT access-control-allow-origin: * etag: W/"694d8674-2a11" expires: Tue, 30 Dec 2025 00:09:24 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: 687F:2685F2:953A6A:A7B3A4:695315DB accept-ranges: bytes age: 0 date: Mon, 29 Dec 2025 23:59:24 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210068-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1767052764.138014,VS0,VE216 vary: Accept-Encoding x-fastly-request-id: 4572f09070e8dfdb98c3e92775fcfd82928ec7ed content-length: 4043

Chiké Abuah, PhD google scholar github linkedin name pronunciation Interests My interests include programming languages, formal verification and generative AI. Teaching I am the Instructor for CS450: Modern Software Engineering Walla Walla University, Fall 2025. I was the Instructor for Computing II (Data Structures) UMass Lowell, Summer 2017. Recent 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) Books & Other Publications I am the author of the executable book: Programming Generative AI 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) Service I was acknowledged for contributing to the book: Programming Language Foundations in Agda. 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. Bio Chiké Abuah is a computer scientist, specializing in formal verification, generative AI, and program analysis. He received his PhD in computer science at the University of Vermont. Currently he researches and implements tools which help programmers build reliable software.