Registered user since Thu 1 Aug 2019
Name: Nicholas V. Lewchenko
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.
Country: United States
Affiliation: University of Colorado Boulder
Personal website: https://www.octalsrc.org/research
Research interests: Programming Languages, Type Systems, Distributed Systems
|ICFP 2019||Author of Sequential Programming for Replicated Data Stores within the Research Papers-track|