Nicholas V. Lewchenko
I am a computer science PhD student at the University of Colorado Boulder, advised by Pavol Černý.
I am interested in the application of programming languages to distributed systems. My aim in this area is to find language abstractions that make distributed programs as natural to write, mechanically verify, and informally think about as traditional sequential programs.
Significant publications
-
DroidStar: Callback Typestates for Android Classes. Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Černý.
Projects
Conflict-aware replicated programming
This project aims to define a programming language and reasoning model that easily expresses the full spectrum of replicated datatype applications.
- Tech report presenting Carol, a language for declarative, safe RDT interaction.
- Discard, a Haskell library implementing the Carol language and runtime.
- DSV, a Haskell library for computing "accord sets" as used by Carol.
The current focus of the project is the design of a functional, refinement-typed language for writing and verifying programs that interact with replicated datatypes.
Active learning for asynchronous typestates
This project is extending active learning techniques to systems with asynchronous behavior. The major contribution is DroidStar, a testing library for automatically generating "callback typestates" that specify callback-based Android classes.