Nicholas V. Lewchenko

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

Collaborative distances:

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

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