Search Results for author: Pavol Černý

Found 2 papers, 0 papers with code

DroidStar: Callback Typestates for Android Classes

no code implementations26 Jan 2017 Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Černý

We use DroidStar to learn callback typestates for Android classes both for cases where one is already provided by the documentation, and for cases where the documentation is unclear.

Active Learning

Proceedings Fourth Workshop on Synthesis

no code implementations2 Feb 2016 Pavol Černý, Viktor Kuncak, Madhusudan Parthasarathy

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems.

Programming Languages Logic in Computer Science

Cannot find the paper you are looking for? You can Submit a new open access paper.