Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Markus Schordan
@incollection{DBLP:books/sp/22/SchordanR22,
author = {Markus Schordan and
Fabrice Rastello},
editor = {Fabrice Rastello and
Florent Bouchez{-}Tichadou},
title = {Introduction},
booktitle = {SSA-based Compiler Design},
pages = {91--93},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-80515-9\_7},
doi = {10.1007/978-3-030-80515-9\_7},
timestamp = {Thu, 23 Feb 2023 08:52:21 +0100},
biburl = {https://dblp.org/rec/books/sp/22/SchordanR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/ParasyrisGMDLOS21,
author = {Konstantinos Parasyris and
Giorgis Georgakoudis and
Harshitha Menon and
James Diffenderfer and
Ignacio Laguna and
Daniel Osei{-}Kuffuor and
Markus Schordan},
editor = {Bronis R. de Supinski and
Mary W. Hall and
Todd Gamblin},
title = {{HPAC:} evaluating approximate computing techniques on {HPC} OpenMP
applications},
booktitle = {International Conference for High Performance Computing, Networking,
Storage and Analysis, {SC} 2021, St. Louis, Missouri, USA, November
14-19, 2021},
pages = {86},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3458817.3476216},
doi = {10.1145/3458817.3476216},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/ParasyrisGMDLOS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/Schordan20,
author = {Markus Schordan},
title = {Introduction of the Software Technology Department},
journal = {{IT} Prof.},
volume = {22},
number = {2},
pages = {10--13},
year = {2020},
url = {https://doi.org/10.1109/MITP.2019.2957619},
doi = {10.1109/MITP.2019.2957619},
timestamp = {Thu, 30 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itpro/Schordan20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiswc/ParasyrisLMSOGL20,
author = {Konstantinos Parasyris and
Ignacio Laguna and
Harshitha Menon and
Markus Schordan and
Daniel Osei{-}Kuffuor and
Giorgis Georgakoudis and
Michael O. Lam and
Tristan Vanderbruggen},
title = {HPC-MixPBench: An {HPC} Benchmark Suite for Mixed-Precision Analysis},
booktitle = {{IEEE} International Symposium on Workload Characterization, {IISWC}
2020, Beijing, China, October 27-30, 2020},
pages = {25--36},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IISWC50251.2020.00012},
doi = {10.1109/IISWC50251.2020.00012},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iiswc/ParasyrisLMSOGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchordanBB20,
author = {Markus Schordan and
Dirk Beyer and
Irena Bojanova},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Software Verification Tools (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12479},
pages = {177--181},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83723-5\_12},
doi = {10.1007/978-3-030-83723-5\_12},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SchordanBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/SchordanOTG20,
author = {Markus Schordan and
Tomas Oppelstrup and
Michael Kirkedal Thomsen and
Robert Gl{\"{u}}ck},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Reversible Languages and Incremental State Saving in Optimistic Parallel
Discrete Event Simulation},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {187--207},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_9},
doi = {10.1007/978-3-030-47361-7\_9},
timestamp = {Fri, 14 May 2021 08:30:49 +0200},
biburl = {https://dblp.org/rec/series/lncs/SchordanOTG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LinLSK19,
author = {Pei{-}Hung Lin and
Chunhua Liao and
Markus Schordan and
Ian Karlin},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Exploring Regression of Data Race Detection Tools Using DataRaceBench},
booktitle = {2019 {IEEE/ACM} 3rd International Workshop on Software Correctness
for {HPC} Applications (Correctness), Denver, CO, USA, November 18,
2019},
pages = {11--18},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/Correctness49594.2019.00007},
doi = {10.1109/CORRECTNESS49594.2019.00007},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/LinLSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LamVMS19,
author = {Michael O. Lam and
Tristan Vanderbruggen and
Harshitha Menon and
Markus Schordan},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Tool Integration for Source-Level Mixed Precision},
booktitle = {2019 {IEEE/ACM} 3rd International Workshop on Software Correctness
for {HPC} Applications (Correctness), Denver, CO, USA, November 18,
2019},
pages = {27--35},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/Correctness49594.2019.00009},
doi = {10.1109/CORRECTNESS49594.2019.00009},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/LamVMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JasperMMSHSSHSK19,
author = {Marc Jasper and
Malte Mues and
Alnis Murtovi and
Maximilian Schl{\"{u}}ter and
Falk Howar and
Bernhard Steffen and
Markus Schordan and
Dennis Hendriks and
Ramon R. H. Schiffelers and
Harco Kuppens and
Frits W. Vaandrager},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {{RERS} 2019: Combining Synthesis with Real-World Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {101--115},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_7},
doi = {10.1007/978-3-030-17502-3\_7},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JasperMMSHSSHSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/SchordanOJB18,
author = {Markus Schordan and
Tomas Oppelstrup and
David R. Jefferson and
Peter D. Barnes Jr.},
title = {Generation of Reversible {C++} Code for Optimistic Parallel Discrete
Event Simulation},
journal = {New Gener. Comput.},
volume = {36},
number = {3},
pages = {257--280},
year = {2018},
url = {https://doi.org/10.1007/s00354-018-0038-2},
doi = {10.1007/S00354-018-0038-2},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/SchordanOJB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Schordan0S18,
author = {Markus Schordan and
Dirk Beyer and
Stephen F. Siegel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Evaluating Tools for Software Verification (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {139--143},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_10},
doi = {10.1007/978-3-030-03421-4\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Schordan0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LinLSK18,
author = {Pei{-}Hung Lin and
Chunhua Liao and
Markus Schordan and
Ian Karlin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime and Memory Evaluation of Data Race Detection Tools},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {179--196},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_13},
doi = {10.1007/978-3-030-03421-4\_13},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LinLSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwomp/LiaoLSK18,
author = {Chunhua Liao and
Pei{-}Hung Lin and
Markus Schordan and
Ian Karlin},
editor = {Bronis R. de Supinski and
Pedro Valero{-}Lara and
Xavier Martorell and
Sergi Mateo Bellido and
Jes{\'{u}}s Labarta},
title = {A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard
Coverage},
booktitle = {Evolving OpenMP for Evolving Architectures - 14th International Workshop
on OpenMP, {IWOMP} 2018, Barcelona, Spain, September 26-28, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11128},
pages = {189--202},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98521-3\_13},
doi = {10.1007/978-3-319-98521-3\_13},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwomp/LiaoLSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/YeSLLKS18,
author = {Fangke Ye and
Markus Schordan and
Chunhua Liao and
Pei{-}Hung Lin and
Ian Karlin and
Vivek Sarkar},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Using Polyhedral Analysis to Verify OpenMP Applications are Data Race
Free},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {42--50},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00010},
doi = {10.1109/CORRECTNESS.2018.00010},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/YeSLLKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/MenonLOSLMH18,
author = {Harshitha Menon and
Michael O. Lam and
Daniel Osei{-}Kuffuor and
Markus Schordan and
Scott Lloyd and
Kathryn M. Mohror and
Jeffrey Hittinger},
title = {{ADAPT:} algorithmic differentiation applied to floating-point precision
tuning},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage, and Analysis, {SC} 2018, Dallas, TX, USA, November
11-16, 2018},
pages = {48:1--48:13},
publisher = {{IEEE} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3291720},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/MenonLOSLMH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgo/2018,
editor = {Jens Knoop and
Markus Schordan and
Teresa Johnson and
Michael F. P. O'Boyle},
title = {Proceedings of the 2018 International Symposium on Code Generation
and Optimization, {CGO} 2018, V{\"{o}}sendorf / Vienna, Austria,
February 24-28, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3179541},
doi = {10.1145/3179541},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/Cingolani0SQJ17,
author = {Davide Cingolani and
Alessandro Pellegrini and
Markus Schordan and
Francesco Quaglia and
David R. Jefferson},
editor = {Wentong Cai and
Yong Meng Teo and
Philip A. Wilsey and
Kevin Jin},
title = {Dealing with Reversibility of Shared Libraries in {PDES}},
booktitle = {Proceedings of the 2017 {ACM} {SIGSIM} Conference on Principles of
Advanced Discrete Simulation, {SIGSIM-PADS} 2017, Singapore, May 24-26,
2017},
pages = {41--52},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064911.3064927},
doi = {10.1145/3064911.3064927},
timestamp = {Mon, 04 Oct 2021 14:20:51 +0200},
biburl = {https://dblp.org/rec/conf/pads/Cingolani0SQJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LiaoLASK17,
author = {Chunhua Liao and
Pei{-}Hung Lin and
Joshua Asplund and
Markus Schordan and
Ian Karlin},
editor = {Bernd Mohr and
Padma Raghavan},
title = {DataRaceBench: a benchmark suite for systematic evaluation of data
race detection tools},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2017, Denver, CO, USA, November
12 - 17, 2017},
pages = {11},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3126908.3126958},
doi = {10.1145/3126908.3126958},
timestamp = {Tue, 08 Nov 2022 16:03:02 +0100},
biburl = {https://dblp.org/rec/conf/sc/LiaoLASK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/SchordanHLM17,
author = {Markus Schordan and
Jan H{\"{u}}ckelheim and
Pei{-}Hung Lin and
Harshitha Menon},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Verifying the Floating-Point Computation Equivalence of Manually and
Automatically Differentiated Code},
booktitle = {Proceedings of the First International Workshop on Software Correctness
for {HPC} Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November
12, 2017},
pages = {34--41},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3145344.3145489},
doi = {10.1145/3145344.3145489},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/SchordanHLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JasperFSSMPHS17,
author = {Marc Jasper and
Maximilian Fecke and
Bernhard Steffen and
Markus Schordan and
Jeroen Meijer and
Jaco van de Pol and
Falk Howar and
Stephen F. Siegel},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {The {RERS} 2017 challenge and workshop (invited paper)},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {11--20},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3098206},
doi = {10.1145/3092282.3098206},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/JasperFSSMPHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Schordan0L16,
author = {Markus Schordan and
Dirk Beyer and
Jonas Lundberg},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Evaluation and Reproducibility of Program Analysis and Verification
(Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {191--194},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_13},
doi = {10.1007/978-3-319-47166-2\_13},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Schordan0L16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JasperS16,
author = {Marc Jasper and
Markus Schordan},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Multi-core Model Checking of Large-Scale Reactive Systems Using Different
State Representations},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {212--226},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_15},
doi = {10.1007/978-3-319-47166-2\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JasperS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GeskeJSHSP16,
author = {Maren Geske and
Marc Jasper and
Bernhard Steffen and
Falk Howar and
Markus Schordan and
Jaco van de Pol},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{RERS} 2016: Parallel and Sequential Benchmarks with Focus on {LTL}
Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {787--803},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_59},
doi = {10.1007/978-3-319-47169-3\_59},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/GeskeJSHSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/SchordanOJBQ16,
author = {Markus Schordan and
Tomas Oppelstrup and
David R. Jefferson and
Peter D. Barnes Jr. and
Daniel J. Quinlan},
editor = {Richard Fujimoto and
Brian W. Unger and
Christopher D. Carothers},
title = {Automatic Generation of Reversible {C++} Code and Its Performance
in a Scalable Kinetic Monte-Carlo Application},
booktitle = {Proceedings of the 2016 annual {ACM} Conference on {SIGSIM} Principles
of Advanced Discrete Simulation, {SIGSIM-PADS} 2016, Banff, Alberta,
Canada, May 15-18, 2016},
pages = {111--122},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2901378.2901394},
doi = {10.1145/2901378.2901394},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pads/SchordanOJBQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/SchordanJBOQ15,
author = {Markus Schordan and
David R. Jefferson and
Peter D. Barnes Jr. and
Tomas Oppelstrup and
Daniel J. Quinlan},
editor = {Jean Krivine and
Jean{-}Bernard Stefani},
title = {Reverse Code Generation for Parallel Discrete Event Simulation},
booktitle = {Reversible Computation - 7th International Conference, {RC} 2015,
Grenoble, France, July 16-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9138},
pages = {95--110},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20860-2\_6},
doi = {10.1007/978-3-319-20860-2\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/rc/SchordanJBOQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/PavluSK14,
author = {Viktor Pavlu and
Markus Schordan and
Andreas Krall},
title = {Computation of alias sets from shape graphs for comparison of shape
analysis precision},
journal = {{IET} Softw.},
volume = {8},
number = {3},
pages = {120--133},
year = {2014},
url = {https://doi.org/10.1049/iet-sen.2012.0049},
doi = {10.1049/IET-SEN.2012.0049},
timestamp = {Wed, 09 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/PavluSK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchordanP14,
author = {Markus Schordan and
Adrian Prantl},
title = {Combining static analysis and state transition graphs for verification
of event-condition-action systems in the {RERS} 2012 and 2013 challenges},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {493--505},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0338-x},
doi = {10.1007/S10009-014-0338-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchordanP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchordanLB14,
author = {Markus Schordan and
Welf L{\"{o}}we and
Dirk Beyer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Evaluation and Reproducibility of Program Analysis (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {479--481},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_37},
doi = {10.1007/978-3-662-45231-8\_37},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SchordanLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchordanLQP14,
author = {Markus Schordan and
Pei{-}Hung Lin and
Daniel J. Quinlan and
Louis{-}No{\"{e}}l Pouchet},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verification of Polyhedral Optimizations with Constant Loop Bounds
in Finite State Space Computations},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {493--508},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_41},
doi = {10.1007/978-3-662-45231-8\_41},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SchordanLQP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchreinerBSK13,
author = {Dietmar Schreiner and
Gerg{\"{o}} Barany and
Markus Schordan and
Jens Knoop},
title = {Comparison of type-based and alias-based component recognition for
embedded systems software},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {1},
pages = {41--52},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0251-0},
doi = {10.1007/S10009-012-0251-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchreinerBSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhpca/MartinoMQS12,
author = {Beniamino Di Martino and
Eduard Mehofer and
Daniel J. Quinlan and
Markus Schordan},
title = {Graphical processing units and scientific applications},
journal = {Int. J. High Perform. Comput. Appl.},
volume = {26},
number = {3},
pages = {189--191},
year = {2012},
url = {https://doi.org/10.1177/1094342012448133},
doi = {10.1177/1094342012448133},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijhpca/MartinoMQS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KirnerKPSK11,
author = {Raimund Kirner and
Jens Knoop and
Adrian Prantl and
Markus Schordan and
Albrecht Kadlec},
title = {Beyond loop bounds: comparing annotation languages for worst-case
execution time analysis},
journal = {Softw. Syst. Model.},
volume = {10},
number = {3},
pages = {411--437},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0161-0},
doi = {10.1007/S10270-010-0161-0},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/KirnerKPSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/PavluSK11,
author = {Viktor Pavlu and
Markus Schordan and
Andreas Krall},
title = {Computation of Alias Sets from Shape Graphs for Comparison of Shape
Analysis Precision},
booktitle = {11th {IEEE} Working Conference on Source Code Analysis and Manipulation,
{SCAM} 2011, Williamsburg, VA, USA, September 25-26, 2011},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SCAM.2011.11},
doi = {10.1109/SCAM.2011.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/PavluSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/SchreinerSG09,
author = {Dietmar Schreiner and
Markus Schordan and
Karl M. G{\"{o}}schka},
title = {Component Based Middleware-Synthesis for {AUTOSAR} Basic Software},
booktitle = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
March 2009},
pages = {236--243},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISORC.2009.47},
doi = {10.1109/ISORC.2009.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/SchreinerSG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/SchreinerSK09,
author = {Dietmar Schreiner and
Markus Schordan and
Jens Knoop},
title = {Adding Timing-Awareness to {AUTOSAR} Basic-Software -- {A} Component
Based Approach},
booktitle = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
March 2009},
pages = {288--292},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISORC.2009.46},
doi = {10.1109/ISORC.2009.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/SchreinerSK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PrantlKKKS09,
author = {Adrian Prantl and
Jens Knoop and
Raimund Kirner and
Albrecht Kadlec and
Markus Schordan},
editor = {Niklas Holsti},
title = {From Trusted Annotations to Verified Knowledge},
booktitle = {9th Intl. Workshop on Worst-Case Execution Time Analysis, {WCET} 2009,
Dublin, Ireland, July 1-3, 2009},
series = {OASIcs},
volume = {10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2282},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/wcet/PrantlKKKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2251,
author = {Adrian Prantl and
Jens Knoop and
Markus Schordan and
Markus Triska},
title = {Constraint solving for high-level {WCET} analysis},
journal = {CoRR},
volume = {abs/0903.2251},
year = {2009},
url = {http://arxiv.org/abs/0903.2251},
eprinttype = {arXiv},
eprint = {0903.2251},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-2251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GustafssonLSFGJB08,
author = {Jan Gustafsson and
Bj{\"{o}}rn Lisper and
Markus Schordan and
Christian Ferdinand and
Peter Gliwa and
Marek Jersak and
Guillem Bernat},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{ALL-TIMES} - {A} European Project on Integrating Timing Technology},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {445--459},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_31},
doi = {10.1007/978-3-540-88479-8\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GustafssonLSFGJB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HolstiGBBBBCCKKKLMMPRRSS08,
author = {Niklas Holsti and
Jan Gustafsson and
Guillem Bernat and
Cl{\'{e}}ment Ballabriga and
Armelle Bonenfant and
Roman Bourgade and
Hugues Cass{\'{e}} and
Daniel Cordes and
Albrecht Kadlec and
Raimund Kirner and
Jens Knoop and
Paul Lokuciejewski and
Nicholas Merriam and
Marianne De Michiel and
Adrian Prantl and
Bernhard Rieder and
Christine Rochange and
Pascal Sainrat and
Markus Schordan},
editor = {Raimund Kirner},
title = {{WCET} 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop
on Worst-Case Execution Time {(WCET)} Analysis},
booktitle = {8th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
Prague, Czech Republic, July 1, 2008},
series = {OASIcs},
volume = {8},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1663},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/wcet/HolstiGBBBBCCKKKLMMPRRSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KirnerKPSK08,
author = {Raimund Kirner and
Albrecht Kadlec and
Adrian Prantl and
Markus Schordan and
Jens Knoop},
editor = {Raimund Kirner},
title = {Towards a Common {WCET} Annotation Language: Essential Ingredients},
booktitle = {8th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
Prague, Czech Republic, July 1, 2008},
series = {OASIcs},
volume = {8},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1657},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/KirnerKPSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PrantlSK08,
author = {Adrian Prantl and
Markus Schordan and
Jens Knoop},
editor = {Raimund Kirner},
title = {TuBound - {A} Conceptually New Tool for Worst-Case Execution Time
Analysis},
booktitle = {8th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
Prague, Czech Republic, July 1, 2008},
series = {OASIcs},
volume = {8},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1661},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/PrantlSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8161,
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08161/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MartinNRS08,
author = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {08161 Abstracts Collection - Scalable Program Analysis},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1576/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MartinNRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schordan08,
author = {Markus Schordan},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Source-To-Source Analysis with SATIrE - an Example Revisited},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1569/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Schordan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KirnerKPSW07,
author = {Raimund Kirner and
Jens Knoop and
Adrian Prantl and
Markus Schordan and
Ingomar Wenzel},
editor = {Christine Rochange},
title = {{WCET} Analysis: The Annotation Language Challenge},
booktitle = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
Pisa, Italy, July 3, 2007},
series = {OASIcs},
volume = {6},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1197},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/wcet/KirnerKPSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Schordan06,
author = {Markus Schordan},
title = {The Language of the Visitor Design Pattern},
journal = {J. Univers. Comput. Sci.},
volume = {12},
number = {7},
pages = {849--867},
year = {2006},
url = {https://doi.org/10.3217/jucs-012-07-0849},
doi = {10.3217/JUCS-012-07-0849},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Schordan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/QuinlanSVY06,
author = {Daniel J. Quinlan and
Markus Schordan and
Richard W. Vuduc and
Qing Yi},
title = {Annotating user-defined abstractions for optimization},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639722},
doi = {10.1109/IPDPS.2006.1639722},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/QuinlanSVY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/SchordanQ05,
author = {Markus Schordan and
Daniel J. Quinlan},
title = {Specifying Transformation Sequences as Computation on Program Fragments
with an Abstract Attribute Grammar},
booktitle = {5th {IEEE} International Workshop on Source Code Analysis and Manipulation
{(SCAM} 2005), 30 September - 1 October 2005, Budapest, Hungary},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SCAM.2005.23},
doi = {10.1109/SCAM.2005.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/SchordanQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/QuinlanSMK04,
author = {Daniel J. Quinlan and
Markus Schordan and
Brian Miller and
Markus Kowarschik},
title = {Parallel object-oriented framework optimization},
journal = {Concurr. Comput. Pract. Exp.},
volume = {16},
number = {2-3},
pages = {293--302},
year = {2004},
url = {https://doi.org/10.1002/cpe.775},
doi = {10.1002/CPE.775},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/QuinlanSMK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/QuinlanSYS04a,
author = {Daniel J. Quinlan and
Markus Schordan and
Qing Yi and
Andreas S{\ae}bj{\o}rnsen},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Classification and Utilization of Abstractions for Optimization},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {2--9},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/QuinlanSYS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/QuinlanSYS04,
author = {Daniel J. Quinlan and
Markus Schordan and
Qing Yi and
Andreas S{\ae}bj{\o}rnsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Classification and Utilization of Abstractions for Optimization},
booktitle = {Leveraging Applications of Formal Methods, First International Symposium,
ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4313},
pages = {57--73},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11925040\_5},
doi = {10.1007/11925040\_5},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/QuinlanSYS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/GerndtTOS03,
author = {Michael Gerndt and
Chau{-}Wen Tseng and
Michael F. P. O'Boyle and
Markus Schordan},
editor = {Harald Kosch and
L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
Hermann Hellwagner},
title = {Topic Introduction},
booktitle = {Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference,
Klagenfurt, Austria, August 26-29, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2790},
pages = {241},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45209-6\_37},
doi = {10.1007/978-3-540-45209-6\_37},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/GerndtTOS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jmlc/SchordanQ03,
author = {Markus Schordan and
Daniel J. Quinlan},
editor = {L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
Peter Schojer},
title = {A Source-to-Source Architecture for User-Defined Optimizations},
booktitle = {Modular Programming Languages, Joint Modular Languages Conference,
{JMLC} 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2789},
pages = {214--223},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45213-3\_27},
doi = {10.1007/978-3-540-45213-3\_27},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jmlc/SchordanQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/QuinlanSYS03,
author = {Daniel J. Quinlan and
Markus Schordan and
Qing Yi and
Bronis R. de Supinski},
editor = {Lawrence Rauchwerger},
title = {Semantic-Driven Parallelization of Loops Operating on User-Defined
Containers},
booktitle = {Languages and Compilers for Parallel Computing, 16th International
Workshop, {LCPC} 2003, College Station, TX, USA, October 2-4, 2003,
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2958},
pages = {524--538},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24644-2\_34},
doi = {10.1007/978-3-540-24644-2\_34},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/QuinlanSYS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wompat/QuinlanSYS03,
author = {Daniel J. Quinlan and
Markus Schordan and
Qing Yi and
Bronis R. de Supinski},
editor = {Michael Voss},
title = {A {C++} Infrastructure for Automatic Introduction and Translation
of OpenMP Directives},
booktitle = {OpenMP Shared Memory Parallel Programming, International Workshop
on OpenMP Applications and Tools, {WOMPAT} 2003, Toronto, Canada,
June 26-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2716},
pages = {13--25},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45009-2\_2},
doi = {10.1007/3-540-45009-2\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/wompat/QuinlanSYS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/QuinlanMPS02,
author = {Daniel J. Quinlan and
Brian Miller and
Bobby Philip and
Markus Schordan},
title = {Treating a User-Defined Parallel Library as a Domain-Specific Language},
booktitle = {16th International Parallel and Distributed Processing Symposium {(IPDPS}
2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
Proceedings},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/IPDPS.2002.1016490},
doi = {10.1109/IPDPS.2002.1016490},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/QuinlanMPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/QuinlanSPK01,
author = {Daniel J. Quinlan and
Markus Schordan and
Bobby Philip and
Markus Kowarschik},
editor = {Henry G. Dietz},
title = {The Specification of Source-to-Source Transformations for the Compile-Time
Optimization of Parallel Object-Oriented Scientific Applications},
booktitle = {Languages and Compilers for Parallel Computing, 14th International
Workshop, {LCPC} 2001, Cumberland Falls, KY, USA, August 1-3, 2001.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2624},
pages = {383--394},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-35767-X\_25},
doi = {10.1007/3-540-35767-X\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/QuinlanSPK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AmmeSBR99,
author = {Wolfram Amme and
Markus Schordan and
L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
Wilhelm R. Rossak},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {{PAOLA} - Program Analysis of Object-Oriented Languages},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {143--146},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/AmmeSBR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jit/SchordanK98,
author = {Markus Schordan and
Harald Kosch},
editor = {Clemens H. Cap},
title = {JavaSet - eine Spracherweiterung von Java um persistente Mengen},
booktitle = {{JIT} '98, Java-Informations-Tage 1998, Frankfurt/Main, 12./13. November
1998},
series = {Informatik Aktuell},
pages = {39--48},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-642-59984-2\_4},
doi = {10.1007/978-3-642-59984-2\_4},
timestamp = {Tue, 25 Jun 2019 12:37:38 +0200},
biburl = {https://dblp.org/rec/conf/jit/SchordanK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
