@inproceedings{Cerny_CHRRST_15, address = {San Francisco, USA}, author = {Cerny, Pavol and Clarke, Edmund and Henzinger, Thomas and Radhakrishna, Arjun and Ryzhyk, Leonid and Samanta, Roopsha and Tarrach, Thorsten}, booktitle = { International Conference on Computer Aided Verification}, keywords = {synthesis for concurrency, computer-aided programming, device drivers}, month = jul, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8582.pdf}, slides = {https://trustworthy.systems/publications/nicta_slides/8582.pdf}, title = {From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis}, year = {2015} }