Nicholas V. Lewchenko

I am currently a PhD student at the University of Colorado Boulder, advised by Pavol Černý.

My computer science research interests lie at the intersection of Programming Languages, Verification, and Distributed Computation. My primary goal in this area is to find programming language abstractions that make distributed programs as natural to write, formally verify, and informally think about as traditional sequential programs.

Significant publications


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.

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.