Nicholas V. Lewchenko

According to our database, Nicholas V. Lewchenko authored at least 8 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Ravencheck: Effectively-Propositional Reasoning for Rust.

Kunha Kim, Nicholas V. Lewchenko, Bor-Yuh Evan Chang, Gowtham Kaki

Proceedings of the 15th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2026

2025

Bolt-On Strong Consistency: Specification, Implementation, and Verification.

Nicholas V. Lewchenko, Gowtham Kaki, Bor-Yuh Evan Chang

Proc. ACM Program. Lang., 2025

2022

RunTime-assisted convergence in replicated data types.

Gowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2019

Sequential programming for replicated data stores.

Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný

Proc. ACM Program. Lang., 2019

2018

Conflict-Aware Replicated Data Types.

Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný

CoRR, 2018

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ý

Proceedings of the 40th International Conference on Software Engineering, 2018

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

Computer-assisted specification of asynchronous interfaces with non-deterministic behavior.

Nicholas V. Lewchenko

Proceedings of the Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, 2017