Nicholas V. Lewchenko

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 6

Top Topics

Database Server

Class Hierarchy

Vocabulary Learning

Top Venues

Proc. ACM Program. Lang.

SPLASH (Companion Volume)

Publications

Gowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko
RunTime-assisted convergence in replicated data types. PLDI (2022)
Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný
Sequential programming for replicated data stores. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný
Conflict-Aware Replicated Data Types. CoRR (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
DroidStar: callback typestates for Android classes. ICSE (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
Learning Asynchronous Typestates for Android Classes. CoRR (2017)
Nicholas V. Lewchenko
Computer-assisted specification of asynchronous interfaces with non-deterministic behavior. SPLASH (Companion Volume) (2017)