Computer-assisted specification of asynchronous interfaces with non-deterministic behavior. - Nicholas V. Lewchenko (SPLASH (Companion Volume), 2017)

Learning Asynchronous Typestates for Android Classes. - Arjun Radhakrishna; Nicholas V. Lewchenko; Shawn Meier; Sergio Mover; Krishna Chaitanya Sripada; Damien Zufferey; Bor-Yuh Evan Chang; Pavol Cerný (CoRR, 2017)

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 Cerný (ICSE, 2018)

Conflict-Aware Replicated Data Types. - Nicholas V. Lewchenko; Arjun Radhakrishna; Pavol Cerný (CoRR, 2018)

Sequential programming for replicated data stores. - Nicholas V. Lewchenko; Arjun Radhakrishna; Akash Gaonkar; Pavol Cerný (Proc. ACM Program. Lang., 2019)

RunTime-assisted convergence in replicated data types. - Gowtham Kaki; Prasanth Prahladan; Nicholas V. Lewchenko (PLDI, 2022)

Bolt-On Strong Consistency: Specification, Implementation, and Verification. - Nicholas V. Lewchenko; Gowtham Kaki; Bor-Yuh Evan Chang (Proc. ACM Program. Lang., 2025)