no code implementations • 26 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.
no code implementations • 2 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