BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × India
1 × Russia
1 × USA
Collaborated with:
T.A.Henzinger A.Radhakrishna P.Cerný L.Ryzhyk R.Samanta A.Gupta E.M.Clarke
Talks about:
synthesi (3) concurr (3) preemptiv (2) transform (1) represent (1) synchron (1) succinct (1) schedul (1) regress (1) preserv (1)

Person: Thorsten Tarrach

DBLP DBLP: Tarrach:Thorsten

Contributed to:

CAV 20152015
POPL 20152015
CAV 20142014
CAV 20132013

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.