Published in: DARTS, Volume 5, Issue 1, Special Issue of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Jian-Jia Chen, Tobias Hahn, Ruben Hoeksma, Nicole Megow, and Georg von der Brüggen. Scheduling Self-Suspending Tasks: New and Old Results (Artifact). In Special Issue of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 1, pp. 6:1-6:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{chen_et_al:DARTS.5.1.6, author = {Chen, Jian-Jia and Hahn, Tobias and Hoeksma, Ruben and Megow, Nicole and von der Br\"{u}ggen, Georg}, title = {{Scheduling Self-Suspending Tasks: New and Old Results}}, pages = {6:1--6:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2019}, volume = {5}, number = {1}, editor = {Chen, Jian-Jia and Hahn, Tobias and Hoeksma, Ruben and Megow, Nicole and von der Br\"{u}ggen, Georg}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.5.1.6}, URN = {urn:nbn:de:0030-drops-107349}, doi = {10.4230/DARTS.5.1.6}, annote = {Keywords: Self-suspension, master-slave problem, computational complexity, speedup factors} }
Published in: LIPIcs, Volume 109, 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, and Lu Zhang. Learning to Accelerate Symbolic Execution via Code Transformation. In 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 109, pp. 6:1-6:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{chen_et_al:LIPIcs.ECOOP.2018.6, author = {Chen, Junjie and Hu, Wenxiang and Zhang, Lingming and Hao, Dan and Khurshid, Sarfraz and Zhang, Lu}, title = {{Learning to Accelerate Symbolic Execution via Code Transformation}}, booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)}, pages = {6:1--6:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-079-8}, ISSN = {1868-8969}, year = {2018}, volume = {109}, editor = {Millstein, Todd}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.6}, URN = {urn:nbn:de:0030-drops-92115}, doi = {10.4230/LIPIcs.ECOOP.2018.6}, annote = {Keywords: Symbolic Execution, Code Transformation, Machine Learning} }
Published in: Dagstuhl Reports, Volume 7, Issue 12 (2018)
Junjie Chen, Alastair F. Donaldson, Andreas Zeller, and Hongyu Zhang. Testing and Verification of Compilers (Dagstuhl Seminar 17502). In Dagstuhl Reports, Volume 7, Issue 12, pp. 50-65, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@Article{chen_et_al:DagRep.7.12.50, author = {Chen, Junjie and Donaldson, Alastair F. and Zeller, Andreas and Zhang, Hongyu}, title = {{Testing and Verification of Compilers (Dagstuhl Seminar 17502)}}, pages = {50--65}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2018}, volume = {7}, number = {12}, editor = {Chen, Junjie and Donaldson, Alastair F. and Zeller, Andreas and Zhang, Hongyu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.7.12.50}, URN = {urn:nbn:de:0030-drops-86763}, doi = {10.4230/DagRep.7.12.50}, annote = {Keywords: code generation, compiler testing, compiler verification, program analysis, program optimization} }
Feedback for Dagstuhl Publishing