1 × Austria
1 × India
1 × Russia
1 × USA
T.A.Henzinger A.Radhakrishna P.Cerný L.Ryzhyk R.Samanta A.Gupta E.M.Clarke
synthesi (3) concurr (3) preemptiv (2) transform (1) represent (1) synchron (1) succinct (1) schedul (1) regress (1) preserv (1)
Person: Thorsten Tarrach
Wrote 4 papers:
- CAV-2015-CernyCHRRST #scheduling #synthesis #using
- From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis (PC, EMC, TAH, AR, LR, RS, TT), pp. 180–197.
- POPL-2015-GuptaHRST #concurrent #representation #set
- Succinct Representation of Concurrent Trace Sets (AG, TAH, AR, RS, TT), pp. 433–444.
- CAV-2014-CernyHRRT #concurrent #synthesis
- Regression-Free Synthesis for Concurrency (PC, TAH, AR, LR, TT), pp. 568–584.
- CAV-2013-CernyHRRT #concurrent #performance #semantics #synthesis
- Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (PC, TAH, AR, LR, TT), pp. 951–967.