Publications

2016

  • N. Karavadara, M. Zolda, V. T. Nga Nguyen, J. Knoop, and R. Kirner, "Dynamic Power Management for Reactive Stream Processing on the SCC Tiled Architecture," EURASIP Journal on Embedded Systems, vol. 2016, iss. 1, pp. 1-17, 2016. bibtex PDF
    @Article{KaraZold+:Eurasip16,
      author={Karavadara, Nilesh and Zolda, Michael and Nga Nguyen, Vu Thien and Knoop, Jens and Kirner, Raimund},
      title={{Dynamic Power Management for Reactive Stream Processing on the SCC Tiled Architecture}},
      journal={{EURASIP Journal on Embedded Systems}},
      year={2016},
      volume={2016},
      number={1},
      month = jun, pages={1--17},
      issn={1687-3963},
      doi={10.1186/s13639-016-0035-9},
      url={http://dx.doi.org/10.1186/s13639-016-0035-9},
      publisher={Springer Nature},
      address={London, UK},
      AFFIL = {ctca}
    }

2015

  • S. Maurer and R. Kirner, "Cross-criticality Interfaces for Cyber-physical Systems," in Proc. 1st IEEE Int’l Conference on Event-based Control, Communication, and Signal Processing, Krakow, Poland, 2015. bibtex
    @INPROCEEDINGS{MaurKirn:EBCCSP15,
      author = {Simon Maurer and Raimund Kirner},
      title = {Cross-criticality Interfaces for Cyber-physical Systems},
      booktitle = {Proc. 1st IEEE Int'l Conference on Event-based Control, Communication, and Signal Processing},
      OPTpages = {},
      year = {2015},
      OPTeditor = {},
      address = {Krakow, Poland},
      month = {June},
      AFFIL = {ctca}
    }
  • S. Maurer and R. Kirner, "Coordination with Structured Composition for Cyber-physical Systems," in Int’l Conference on Parallel Computing (ParCo’15), Edinburgh, UK, 2015. bibtex
    @INPROCEEDINGS{MaurKirn:PARCO15,
      author = {Simon Maurer and Raimund Kirner},
      title = {Coordination with Structured Composition for Cyber-physical Systems},
      booktitle = {Int'l Conference on Parallel Computing (ParCo'15)},
      OPTpages = {},
      year = {2015},
      OPTeditor = {},
      address = {Edinburgh, UK},
      month = {September},
      AFFIL = {ctca}
    }
  • N. Karavadara, M. Zolda, V. T. Nga Nguyen, and R. Kirner, "A Hierarchical Memory Management for a Load-Balancing Stream Processing Middleware on Tiled Architectures," in $18^th$ Workshop on Programming Languages and Foundations of Programming (KPS’15), 2015. bibtex PDF
    @INPROCEEDINGS{KaraZold+:KPS15,
      author = {Karavadara, Nilesh and Zolda, Michael and Nga Nguyen, Vu Thien and Kirner, Raimund},
      title = {{A Hierarchical Memory Management for a Load-Balancing Stream Processing Middleware on Tiled Architectures}},
      booktitle = {$18^{th}$ Workshop on Programming Languages and Foundations of Programming (KPS'15)},
      month = Oct, year = {2015},
      url = {http://www.complang.tuwien.ac.at/kps2015/proceedings/KPS_2015_submission_50.pdf},
      publisher = {Technische Universit{\"a}t Wien},
      location = {P\"ortschach, Austria},
      AFFIL = {ctca}
    }

2014

  • P. Zaichenkov, B. Gijsbers, C. Grelck, O. Tveretina, and A. Shafarenko, "A Case Study in Coordination Programming: Performance Evaluation of Concurrent Collections vs. S-Net," in 28th IEEE International Parallel and Distributed Processing Symposium (IPDPS’14) Workshops, Phoenix, USA, 2014. bibtex
    @INPROCEEDINGS{ ZaicGijsGrel+IPDPSWS14,
      author = {P. Zaichenkov and B. Gijsbers and C. Grelck and O. Tveretina and A. Shafarenko},
      TITLE = {A Case Study in Coordination Programming: Performance Evaluation of {Concurrent Collections vs. S-Net}},
      EDITOR = {},
      BOOKTITLE = {28th IEEE International Parallel and Distributed Processing Symposium (IPDPS'14) Workshops, Phoenix, USA},
      PUBLISHER = {IEEE Computer Society},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2014, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {},
      AFFIL = {ctca}
    }
  • V. Sanz-Marco, M. Zolda, and R. Kirner, "Efficient Leader Election for Synchronous Shared-Memory Systems," in Proc. Int’l Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES’14), 2014. bibtex
    @INPROCEEDINGS{SanzZoldKirn+:3MPCES14,
      author = {Sanz-Marco, Vicent and Zolda, Michael and Kirner, Raimund},
      keywords = {CTCA, fault tolerance, S-Net},
      month = mar, title = {Efficient Leader Election for Synchronous Shared-Memory Systems},
      booktitle = {Proc. Int'l Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES'14)},
      year = {2014},
      publisher = {Electronic Chips and Systems Design Initiative (ECSI)},
      location = {Dresden, Germany},
      abstract = {Leader election is a frequent problem for systems where it is important to coordinate activities of a group of actors. It has been extensively studied in the context of networked systems. But with the raise of many-core computer architectures, it also became important for shared-memory systems. In this paper we present an efficient leader election technique for synchronous shared-memory systems. Synchronous in our context means the response time of code sections with relevant communication patterns is bounded. Our leader election method is used to help making the scheduling layer LPEL fault tolerant. With our approach LPEL will be efficient to resolve problems when the leader fails.},
      AFFIL = {ctca}
    }
  • N. Karavadara, S. Folie, M. Zolda, V. T. N. Nguyen, and R. Kirner, "A Power-Aware Framework for Executing Streaming Programs on Networks-on-Chip," in Proc. International Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES’14), 2014. bibtex
    @INPROCEEDINGS{KaraFoliZold+:3MPCES14,
      author = {Karavadara, Nilesh and Folie, Simon and Zolda, Michael and Nguyen, Vu Thien Nga and Kirner, Raimund},
      keywords = {CTCA, S-Net, SCC},
      month = mar, title = {A Power-Aware Framework for Executing Streaming Programs on Networks-on-Chip},
      booktitle = {Proc. International Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES'14)},
      year = {2014},
      publisher = {Electronic Chips and Systems Design Initiative (ECSI)},
      location = {Dresden, Germany},
      abstract = {Software developers are discovering that practices which have successfully served single-core platforms for decades do no longer work for multi-cores. Stream processing is a parallel execution model that is well-suited for architectures with multiple computational elements that are connected by a network. We propose a power-aware streaming execution layer for network-on-chip architectures that addresses the energy constraints of embedded devices. Our proof-of-concept implementation targets the Intel SCC processor, which connects 48 cores via a network-on-chip. We motivate our design decisions and describe the status of our implementation.},
      AFFIL = {ctca}
    }

2013

  • V. T. N. Nguyen and R. Kirner, "Demand-Based Scheduling Priorities for Performance Optimisation of Stream Programs on Parallel Platforms," in ICA3PP (1), 2013, pp. 357-369. bibtex
    @inproceedings{ NguyenKirner13ICA3PP,
      author = {Vu Thien Nga Nguyen and Raimund Kirner},
      title = {Demand-Based Scheduling Priorities for Performance Optimisation of Stream Programs on Parallel Platforms},
      booktitle = {ICA3PP (1)},
      year = {2013},
      pages = {357-369},
      ee = {http://dx.doi.org/10.1007/978-3-319-03859-9_31},
      AFFIL = {ctca},
      TOPICS = {SNet}
    }
  • V. T. N. Nguyen and R. Kirner, "A Heuristic Strategy for Performance Optimisation of Stream Programs," in ICPADS, 2013, pp. 430-431. bibtex
    @inproceedings{ NguyenKirner13ICPADS,
      author = {Vu Thien Nga Nguyen and Raimund Kirner},
      title = {A Heuristic Strategy for Performance Optimisation of Stream Programs},
      booktitle = {ICPADS},
      year = {2013},
      pages = {430-431},
      ee = {http://dx.doi.org/10.1109/ICPADS.2013.70},
      AFFIL = {ctca},
      TOPICS = {SNet}
    }
  • R. Kirner, V. S. Marco, M. Zolda, and F. Penczek, "Fault-tolerant Coordination of S-Net Stream-processing Networks," in 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA’13), Berlin, Germany, 2013. bibtex
    @INPROCEEDINGS{ KirnMarcZold+FDCOMA13,
      author = {Raimund Kirner and Vicent Sanz Marco and Michael Zolda and Frank Penczek},
      TITLE = {Fault-tolerant Coordination of S-Net Stream-processing Networks},
      EDITOR = {C. Grelck and K. Hammond and S.B. Scholz},
      BOOKTITLE = {2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA'13), Berlin, Germany},
      PUBLISHER = {HiPEAC},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2013, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • M. Verstraaten, S. Kok, R. Poss, and C. Grelck, "Task Migration for S-Net/LPEL," in 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA’13), Berlin, Germany, 2013. bibtex
    @INPROCEEDINGS{ VersKokPoss+FDCOMA13,
      author = {Merijn Verstraaten and Stefan Kok and Raphael Poss and Clemens Grelck},
      TITLE = {Task Migration for S-Net/LPEL},
      EDITOR = {C. Grelck and K. Hammond and S.B. Scholz},
      BOOKTITLE = {2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA'13), Berlin, Germany},
      PUBLISHER = {HiPEAC},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2013, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • V. T. N. Nguyen and R. Kirner, "Influences on Throughput and Latency in Stream Programs," in 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA’13), Berlin, Germany, 2013. bibtex
    @INPROCEEDINGS{ NguyKirnFDCOMA13,
      author = {V.T.N. Nguyen and R. Kirner},
      TITLE = {Influences on Throughput and Latency in Stream Programs},
      EDITOR = {C. Grelck and K. Hammond and S.B. Scholz},
      BOOKTITLE = {2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA'13), Berlin, Germany},
      PUBLISHER = {HiPEAC},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2013, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • J. Sykora and S. Scholz, "Towards Self-Adaptive Concurrent Software Guided by On-line Performance Modelling," in 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA’13), Berlin, Germany, 2013. bibtex
    @INPROCEEDINGS{ SykoSchoFDCOMA13,
      author = {Jaroslav Sykora and Sven-Bodo Scholz},
      TITLE = {Towards Self-Adaptive Concurrent Software Guided by On-line Performance Modelling},
      EDITOR = {C. Grelck and K. Hammond and S.B. Scholz},
      BOOKTITLE = {2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA'13), Berlin, Germany},
      PUBLISHER = {HiPEAC},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2013, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • K. MacKenzie, P. Holzenspies, K. Hammond, R. Kirner, V. T. N. Nguyen, R. te Boekhorst, C. Grelck, R. Poss, and M. Verstraaten, "Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-Net," in 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA’13), Berlin, Germany, 2013. bibtex
    @INPROCEEDINGS{ KenzHolzHamm+FDCOMA13,
      author = {Kenneth MacKenzie and Philip Holzenspies and Kevin Hammond and Raimund Kirner and Vu Thien Nga Nguyen and Ren\'e te Boekhorst and Clemens Grelck and Raphael Poss and Merijn Verstraaten},
      TITLE = {Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-Net},
      EDITOR = {C. Grelck and K. Hammond and S.B. Scholz},
      BOOKTITLE = {2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA'13), Berlin, Germany},
      PUBLISHER = {HiPEAC},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2013, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }

2012

  • W. Cheng, F. Penczek, C. Grelck, R. Kirner, B. Scheuermann, and A. Shafarenko, "Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems," in HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA’12), Paris, France, 2012, pp. 11-18. bibtex
    @INPROCEEDINGS{ ChenPencGrel+FDCOMA12,
      author = {W. Cheng and F. Penczek and C. Grelck and R. Kirner and B. Scheuermann and A. Shafarenko},
      TITLE = {Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems},
      EDITOR = {C. Grelck and K. Hammond and S.B. Scholz},
      BOOKTITLE = {HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA'12), Paris, France},
      PUBLISHER = {HiPEAC},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2012, PAGES = {11--18},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, J. Julku, and F. Penczek, "Distributed S-Net: Cluster and Grid Computing without the Hassle," in Cluster, Cloud and Grid Computing (CCGrid’12), 12th IEEE/ACM International Conference, Ottawa, Canada, 2012. bibtex
    @INPROCEEDINGS{ GrelJulkPencCCGRID12,
      author = {C. Grelck and J. Julku and F. Penczek},
      TITLE = {Distributed {S-Net}: Cluster and Grid Computing without the Hassle},
      EDITOR = {},
      BOOKTITLE = {Cluster, Cloud and Grid Computing (CCGrid'12), 12th IEEE/ACM International Conference, Ottawa, Canada},
      PUBLISHER = {IEEE Computer Society},
      ISBN = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2012, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • V. T. N. Nguyen, R. Kirner, and F. Penczek, "Monitoring Framework for Stream-processing Networks," in HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures (FD-COMA’12), Paris, France, 2012, pp. 26-33. bibtex
    @INPROCEEDINGS{NguyenKirPenFDCOMA12,
      author = {V.T.N. Nguyen and R. Kirner and F. Penczek},
      title = {Monitoring Framework for Stream-processing Networks},
      booktitle = {HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures (FD-COMA'12), Paris, France},
      editor = {C. Grelck and K. Hammond and S.B. Scholz},
      publisher = {HiPEAC},
      year = {2012},
      pages = {26-33},
      month = {Jan.},
      AFFIL = {ctca}
    }
  • V. T. N. Nguyen, R. Kirner, and F. Penczek, "A Multi-level Monitoring Framework for Stream-based Coordination Programs," in 12th International Conference on Algorithms and Architectures for Parallel Processing, Fukuoka, Japan, 2012. bibtex
    @INPROCEEDINGS{ NguyenKirPenICA3PP12,
      author = {V.T.N Nguyen and R. Kirner and F. Penczek},
      TITLE = {A Multi-level Monitoring Framework for Stream-based Coordination Programs},
      EDITOR = {},
      BOOKTITLE = { 12th International Conference on Algorithms and Architectures for Parallel Processing, Fukuoka, Japan},
      PUBLISHER = {},
      ISBN = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2012, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • F. Penczek, W. Cheng, C. Grelck, R. Kirner, B. Scheuermann, and A. Shafarenko, "A Data-Flow Based Coordination Approach to Concurrent Software Engineering," in 2nd Workshop on Data-Flow Execution Models for Extreme Scale Computing (DFM 2012), Minneapolis, USA, 2012. bibtex
    @INPROCEEDINGS{ PencChenGrel+DFM12,
      author = {F. Penczek and W. Cheng and C. Grelck and R. Kirner and B. Scheuermann and A. Shafarenko},
      TITLE = {A Data-Flow Based Coordination Approach to Concurrent Software Engineering},
      EDITOR = {},
      BOOKTITLE = {2nd Workshop on Data-Flow Execution Models for Extreme Scale Computing (DFM 2012), Minneapolis, USA},
      PUBLISHER = {IEEE},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2012, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, T. van Deurzen, S. Herhut, and S. Scholz, "Asynchronous Adaptive Optimisation for Generic Data-Parallel Array Programming," Concurrency and Computation: Practice and Experience, vol. 24, iss. 5, pp. 499-516, 2012. bibtex
    @ARTICLE{ GrelDeurHerh+CCPE12,
      author = {Clemens Grelck and Tim {van Deurzen} and Stephan Herhut and Sven-Bodo Scholz},
      TITLE = {{Asynchronous Adaptive Optimisation for Generic Data-Parallel Array Programming}},
      JOURNAL = {Concurrency and Computation: Practice and Experience},
      YEAR = 2012, VOLUME = {24},
      NUMBER = {5},
      PAGES = {499--516},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • V. Wieser, C. Grelck, P. Haslinger, J. Guo, F. Korzeniowski, R. Bernecky, B. Moser, and S. B. Scholz, "Combining High Productivity and High Performance in Image Processing Using Single Assignment C on Multi-core CPUs and Many-core GPUs," Journal of Electronic Imaging, vol. 21, iss. 2, 2012. bibtex
    @ARTICLE{ WiesGrelHasl+JEI12,
      author = {V. Wieser and C. Grelck and P. Haslinger and J. Guo and F. Korzeniowski and R. Bernecky and B. Moser and S.B. Scholz},
      TITLE = {Combining High Productivity and High Performance in Image Processing Using {Single Assignment C} on Multi-core {CPUs} and Many-core {GPUs}},
      JOURNAL = {Journal of Electronic Imaging},
      YEAR = {2012},
      NOTE = {},
      VOLUME = {21},
      NUMBER = {2},
      PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }

2011

  • C. Grelck and F. Penczek, "Implementation Architecture and Multithreaded Runtime System of S-Net," in Implementation and Application of Functional Languages, 20th International Symposium, IFL’08, Hatfield, United Kingdom, Revised Selected Papers, 2011, pp. 60-79. bibtex
    @INPROCEEDINGS{ GrelPencIFL08,
      author = {C. Grelck and F. Penczek},
      TITLE = {{Implementation Architecture and Multithreaded Runtime System of S-Net}},
      EDITOR = {S.B. Scholz and O. Chitil},
      BOOKTITLE = {Implementation and Application of Functional Languages, 20th International Symposium, IFL'08, Hatfield, United Kingdom, Revised Selected Papers},
      PUBLISHER = {Springer-Verlag},
      SERIES = {Lecture Notes in Computer Science},
      VOLUME = {5836},
      NUMBER = {},
      YEAR = 2011, PAGES = {60-79},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, K. Hammond, H. Hertlein, P. Hölzenspies, C. Jesshope, R. Kirner, B. Scheuermann, A. Shafarenko, I. te Boekhorst, and V. Wieser, "Engineering Concurrent Software Guided by Statistical Performance Analysis," in 15th International Conference on Parallel Computing (ParCo’05), Ghent, Belgium, 2011. bibtex
    @INPROCEEDINGS{ GrelHammHert+ParCo11,
      author = {C. Grelck and K. Hammond and H. Hertlein and P. H\"olzenspies and C. Jesshope and R. Kirner and B. Scheuermann and A. Shafarenko and I. {te Boekhorst} and V. Wieser},
      TITLE = {{Engineering Concurrent Software Guided by Statistical Performance Analysis}},
      EDITOR = {},
      BOOKTITLE = {15th International Conference on Parallel Computing (ParCo'05), Ghent, Belgium},
      PUBLISHER = {},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2011, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC,SNet},
      AFFIL = {ctca}
    }
  • J. Guo, J. Thiyagalingam, and S. Scholz, "Breaking the GPU programming barrier with the auto-parallelising SAC compiler," in 6th Workshop on Declarative Aspects of Multicore Programming (DAMP’11), Austin, USA, 2011, pp. 15-24. bibtex
    @inproceedings{GuoJeyaSchoDAMP11,
      author = {Jing Guo and Jeyarajan Thiyagalingam and Sven-Bodo Scholz},
      title = {Breaking the GPU programming barrier with the auto-parallelising {SAC} compiler},
      BOOKTITLE = {6th Workshop on Declarative Aspects of Multicore Programming (DAMP'11), Austin, USA},
      PUBLISHER = {ACM Press},
      PUBADDRESS = {New York, NY, USA},
      year = {2011},
      pages = {15-24},
      AFFIL = {ctca}
    }
  • J. Guo, A. W. O. Rodrigues, J. Thiyagalingam, F. Guyomarc’h, P. Boulet, and S. Scholz, " Harnessing the Power of GPUs without Losing Abstractions in SAC and ArrayOL: A Comparative Study," in 16th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS’11), Anchorage, Alaska, USA, 2011. bibtex
    @INPROCEEDINGS{GuoWendJeya+HIPS11,
      author = {Jing Guo and Antonio Wendell O Rodrigues and Jeyarajan Thiyagalingam and Frederic Guyomarc'h and Pierre Boulet and Sven-Bodo Scholz},
      TITLE = {{ Harnessing the Power of GPUs without Losing Abstractions in SAC and ArrayOL: A Comparative Study}},
      EDITOR = {Thorsten Hoefler},
      BOOKTITLE = {16th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'11), Anchorage, Alaska, USA},
      PUBLISHER = {IEEE Xplore},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2011, PAGES = {},
      ISBN = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • V. Wieser, B. Moser, S. Scholz, S. Herhut, and J. Guo, "Combining High Productivity and High Performance in Image Processing Using Single Assignment C," in 10th International Conference on Quality Control by Artificial Vision (QCAC’11), Saint Etienne, France, 2011. bibtex
    @INPROCEEDINGS{WiesMoseScho+QCAV11,
      author = {Volkmar Wieser and Bernhard Moser and Sven-Bodo Scholz and Stephan Herhut and Jing Guo},
      title = {{C}ombining {H}igh {P}roductivity and {H}igh {P}erformance in {I}mage {P}rocessing {U}sing {S}ingle {A}ssignment {C}},
      booktitle = {10th International Conference on Quality Control by Artificial Vision (QCAC'11), Saint Etienne, France},
      year = {2011},
      note = {},
      AFFIL= {ctca}
    }
  • S. Herhut, C. Joslin, S. B. Scholz, R. Poss, and C. Grelck, "Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences," in 22nd International Symposium on Implementation and Application of Functional Languages (IFL’10), Alphen a/d Rijn, Netherlands, Revised Selected Papers, 2011. bibtex
    @INPROCEEDINGS{ HerhJoslScho++IFL10,
      author = {S. Herhut and C. Joslin and S.B. Scholz and R. Poss and C. Grelck},
      TITLE = {{Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences}},
      EDITOR = {J. Haage and M. Moraz\'an },
      BOOKTITLE = {22nd International Symposium on Implementation and Application of Functional Languages (IFL'10), Alphen a/d Rijn, Netherlands, Revised Selected Papers},
      PUBLISHER = {Springer},
      PUBADDRESS = {Berlin, Heidelberg, Germany},
      SERIES = {Lecture Notes in Computer Science},
      VOLUME = {6647},
      NUMBER = {},
      YEAR = 2011, PAGES = {},
      ISBN = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck, K. Hammond, H. Hertlein, P. Hölzenspies, C. Jesshope, R. Kirner, B. Scheuermann, A. Shafarenko, I. te Boekhorst, and V. Wieser, "Engineering Conccurrent Software Guided by Statistical PerformanceAnalysis," in 15th International Conference on Parallel Computing (ParCo’11), Ghent, Belgium, 2011. bibtex
    @INPROCEEDINGS{ GrelHammHert+ParCo11,
      author = {C. Grelck and K. Hammond and H. Hertlein and P. H\"olzenspies and C. Jesshope and R. Kirner and B. Scheuermann and A. Shafarenko and I. {te Boekhorst} and V. Wieser},
      TITLE = {{Engineering Conccurrent Software Guided by Statistical PerformanceAnalysis}},
      EDITOR = {},
      BOOKTITLE = {15th International Conference on Parallel Computing (ParCo'11), Ghent, Belgium},
      PUBLISHER = {},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2011, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC,SNet},
      AFFIL = {ctca}
    }

2010

  • C. Grelck, J. Julku, and F. Penczek, "S-Net for Multi-Memory Multicores," in 5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, Madrid, Spain, 2010, 2010, pp. 25-34. bibtex
    @INPROCEEDINGS{ GrelJulkPencDAMP10,
      author = {Clemens Grelck and Jukka Julku and Frank Penczek},
      TITLE = {{S-Net for Multi-Memory Multicores}},
      EDITOR = {Leaf Peterson and Enrico Pontelli},
      BOOKTITLE = {5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, Madrid, Spain, 2010},
      PUBLISHER = {ACM Press, New York City, New York, USA},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2010, PAGES = {25--34},
      ISBN = {978-1-60558-859-9},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, S. B. Scholz, and A. Shafarenko, "Asynchronous Stream Processing with S-Net," International Journal of Parallel Programming, vol. 38, iss. 1, pp. 38-67, 2010. bibtex
    @ARTICLE{ GrelSchoShafIJPP10,
      author = {C. Grelck and S.B. Scholz and A. Shafarenko},
      TITLE = {{Asynchronous Stream Processing with S-Net}},
      JOURNAL = {International Journal of Parallel Programming},
      YEAR = 2010, VOLUME = {38},
      NUMBER = {1},
      PAGES = {38--67},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      DOI = {10.1007/s10766-009-0121-x},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • F. Penczek, S. Herhut, C. Grelck, S. Scholz, A. Shafarenko, R. Barrière, and E. Lenormand, "Parallel signal processing with S-Net," Procedia Computer Science, vol. 1, iss. 1, pp. 2079-2088, 2010. bibtex PDF
    @article{ PenHerGre+ICCS10, title = "Parallel signal processing with {S-Net}", journal = "Procedia Computer Science", volume = "1", number = "1", pages = "2079 - 2088", year = "2010", note = "ICCS 2010", issn = "1877-0509", doi = "DOI: 10.1016/j.procs.2010.04.233", url = "http://www.sciencedirect.com/science/article/B9865-506HM1Y-88/2/87fcf1cee7899f0eeaadc90bd0d56cd3",
      author = "Frank Penczek and Stephan Herhut and Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko and R\'emi Barri\`ere and Eric Lenormand", keywords = "Parallel programming models", keywords = "Component models", keywords = "Signal processing", keywords = "Stream processing", AFFIL = {ctca}
    }
  • F. Penczek, C. Grelck, H. Cai, J. Julku, P. Hölzenspies, S. B. Scholz, and A. Shafarenko, S-Net Language Report 2.0, Grelck, C. and Shafarenko, A., Eds., Hatfield, England, United Kingdom: University of Hertfordshire, School of Computer Science, 2010. bibtex
    @BOOK{ GrelShafCTCA10, EDITOR = {C. Grelck and A. Shafarenko},
      AUTHOR = {F. Penczek and C. Grelck and H. Cai and J. Julku and P. H\"olzenspies and S.B. Scholz and A. Shafarenko},
      TITLE = {{S-Net Language Report 2.0}},
      PUBLISHER = {University of Hertfordshire, School of Computer Science},
      ADDRESS = {Hatfield, England, United Kingdom},
      SERIES = {Technical Report},
      NUMBER = {499},
      YEAR = 2010, NOTE = {},
      CONTENTS = {},
      sourceURL = {http://www.snet-home.org/?page_id=7},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • F. Penczek, C. Grelck, and S. Scholz, "An Operational Semantics for S-Net," , Chapman, B., Desprez, F., Joubert, G., Lichnewsky, A., Peters, F., and Priol, T., Eds., IOS Press, 2010, vol. 19, pp. 467-474. bibtex
    @INCOLLECTION{ PencGrelSchoAIPC10,
      author = {Frank Penczek and Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {{An Operational Semantics for S-Net}},
      EDITOR = {Barbara Chapman and Fr\'ed\'eric Desprez and Gerhard Joubert and Alain Lichnewsky and Frans Peters and Thierry Priol},
      BOOKTITLE = {Parallel Computing: From Multicores and GPU's to Petascale},
      PUBLISHER = {IOS Press},
      SERIES = {Advances in Parallel Computing},
      VOLUME = {19},
      NUMBER = {},
      YEAR = 2010, PAGES = {467-474},
      ISBN = {978-1-60750-529-7},
      DOI = {http://dx.doi.org/10.3233/978-1-60750-530-3-467},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, J. Julku, F. Penczek, and A. Shafarenko, "Cluster Computing as an Assembly Process," in Cluster, Cloud and Grid Computing (CCGrid’10), 10th IEEE/ACM International Conference Melbourne, Australia, 2010, pp. 587-588. bibtex
    @INPROCEEDINGS{ GrelJulkPencCCGRID10,
      author = {Clemens Grelck and Jukka Julku and Frank Penczek and Alex Shafarenko},
      TITLE = {{Cluster Computing as an Assembly Process}},
      EDITOR = {},
      BOOKTITLE = {Cluster, Cloud and Grid Computing (CCGrid'10), 10th IEEE/ACM International Conference Melbourne, Australia},
      PUBLISHER = {IEEE Computer Society},
      ISBN = {978-1-4244-6987-1},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2010, PAGES = {587-588},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, J. Julku, and F. Penczek, "Distributed S-Net: High-Level Message Passing without the Hassle," in 1st ACM SIGPLAN Workshop on Advances in Message Passing (AMP’10), Toronto, Canada, 2010, 2010. bibtex
    @INPROCEEDINGS{ GrelJulkPencAMP10,
      author = {Clemens Grelck and Jukka Julku and Frank Penczek},
      TITLE = {{Distributed S-Net: High-Level Message Passing without the Hassle}},
      EDITOR = {Greg Bronevetsky and Chen Ding and Sven-Bodo Scholz and Michelle Strout},
      BOOKTITLE = {1st ACM SIGPLAN Workshop on Advances in Message Passing (AMP'10), Toronto, Canada, 2010},
      PUBLISHER = {ACM Press, New York City, New York, USA},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2010, PAGES = {},
      ISBN = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • F. Penczek, S. Herhut, S. Scholz, A. Shafarenko, J. Yang, C. Chen, N. Bagherzadeh, and C. Grelck, "Message Driven Programming with S-Net: Methodology and Performance," Parallel Processing Workshops, International Conference on, San Diego, USA, pp. 405-412, 2010. bibtex
    @article{ PenHerSch+ICPPW10,
      author = {Frank Penczek and Stephan Herhut and Sven-Bodo Scholz and Alex Shafarenko and JungSook Yang and Chun-Yi Chen and Nader Bagherzadeh and Clemens Grelck},
      title = {{Message Driven Programming with S-Net: Methodology and Performance}},
      journal = {Parallel Processing Workshops, International Conference on, San Diego, USA},
      volume = {0},
      issn = {1530-2016},
      isbn = {978-0-7695-4157-0},
      year = {2010},
      pages = {405-412},
      doi = {http://doi.ieeecomputersociety.org/10.1109/ICPPW.2010.61},
      publisher = {IEEE Computer Society},
      address = {Los Alamitos, CA, USA},
      AFFIL = {ctca}
    }
  • R. Kirner, S. B. Scholz, F. Penczek, and A. Shafarenko, "PS-NET – A Predictable Typed Coordination Language for Stream Processing in Resource-Constrained Environments," in 1st Int’l Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPTOOL’10), Lisbon, Portugal, 2010. bibtex
    @INPROCEEDINGS{ KirnSchoPenc+COMPTOOL10,
      author = {R. Kirner and S.B. Scholz and F. Penczek and A. Shafarenko},
      TITLE = {{PS-NET - A Predictable Typed Coordination Language for Stream Processing in Resource-Constrained Environments}},
      EDITOR = {},
      BOOKTITLE = {1st Int'l Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPTOOL'10), Lisbon, Portugal},
      PUBLISHER = {},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2010, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • R. Kirner, "Development and Analysis of Time-Predictable Real-Time Systems," PhD Thesis , Vienna, Austria, 2010. bibtex
    @PhdThesis{Kirn:Habil10,
      author = {Raimund Kirner},
      title = {Development and Analysis of Time-Predictable Real-Time Systems},
      school = {Technische Universit{\"a}t Wien},
      year = {2010},
      type = {Habilitation Treatise},
      address = {Vienna, Austria},
      month = {Feb.},
      annote = {},
      AFFIL = {ctca}
    }
  • A. Kadlec, R. Kirner, and P. Puschner, "Avoiding Timing Anomalies using Code Transformations," in Proc. 13th IEEE International Symposium on Object-oriented Real-time distributed Computing, Carmona, Spain, 2010. bibtex
    @InProceedings{KadlKirnPusc:ISORC10_dep_insert,
      author = {Albrecht Kadlec and Raimund Kirner and Peter Puschner},
      title = {Avoiding Timing Anomalies using Code Transformations},
      booktitle = {Proc. 13th IEEE International Symposium on Object-oriented Real-time distributed Computing},
      year = {2010},
      address = {Carmona, Spain},
      month = {May},
      optpages = {?},
      annote = {IntID: paper90_o_costa_dependence_insertion, rr-2010-XX_ISORC10_dep_insert Funding: COSTA },
      AFFIL = {ctca}
    }
  • M. Zolda, S. Bünte, and R. Kirner, "Context-Sensitivity in IPET for Measurement-Based Timing Analysis," in Proc. 4th Int’l Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2010. bibtex
    @InProceedings{ZoldKirn:ISOLA10_context_mbta,
      author = {Michael Zolda and Sven B{\"u}nte and Raimund Kirner},
      title = {Context-Sensitivity in {IPET} for Measurement-Based Timing Analysis},
      booktitle = {Proc. 4th Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
      year = {2010},
      publisher = {Springer Verlag},
      location = {Amirandes, Crete},
      month = {Oct.},
      annote = {funding: FORTAS IntID: paper105_fortas_loop:ISOLA10_context_mbta},
      AFFIL = {ctca}
    }
  • S. Kandl and R. Kirner, "Error Detection Rate of MC/DC for a Case Study from the Automotive Domain," in Proc. 8th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS’10), Waidhofen/Ybbs, Austria, 2010. bibtex
    @InProceedings{KandKirn:SEUS10_mcdc,
      author = {Susanne Kandl and Raimund Kirner},
      title = {Error Detection Rate of {MC/DC} for a Case Study from the Automotive Domain},
      booktitle = {Proc. 8th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'10)},
      year = {2010},
      optpages = {},
      address = {Waidhofen/Ybbs, Austria},
      month = {Oct},
      annote = {internal number: 2010-xx},
      AFFIL = {ctca}
    }
  • Junior Scientist ConferenceVienna, Austria: , 2010. bibtex
    @Proceedings{KaisKirn:JSC10-Proc, title = {Junior Scientist Conference},
      year = {2010},
      booktitle = {Proceedings of the International Conference (JSC 2010)},
      editor = {Hans Kaiser and Raimund Kirner},
      address = {Vienna, Austria},
      month = {Apr.},
      organization = {Vienna University of Technology},
      note = {ISBN: 978-3-200-01797-9},
      annote = {http://www.tuwien.ac.at/jsc10/},
      AFFIL = {ctca}
    }
  • R. Kirner and P. Puschner, "Time-Predictable Computing," in Proc. 8th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS’10), Waidhofen/Ybbs, Austria, 2010, pp. 23-34. bibtex
    @InProceedings{KirnPusc:SEUS10_time_pred,
      author = {Raimund Kirner and Peter Puschner},
      title = {Time-Predictable Computing},
      booktitle = {Proc. 8th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'10)},
      year = {2010},
      pages = {23-34},
      address = {Waidhofen/Ybbs, Austria},
      month = {Oct},
      series = {LNCS 6399},
      AFFIL = {ctca}
    }
  • R. Kirner, J. Knoop, A. Prantl, M. Schordan, and A. Kadlec, "Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis," Software and Systems Modeling, 2010. bibtex
    @Article{KirnKnooPrant+:SOSYM10_annot_lang,
      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 = {Software and Systems Modeling},
      year = {2010},
      publisher = {Springer},
      OPTvolume = {},
      OPTnumber = {},
      OPTpages = {},
      OPTmonth = {},
      note = {{\bf (online edition)}},
      doi = {10.1007/s10270-010-0161-0},
      annote = {IntID: paper68_o_annotlang_survey Special issue: SoSyM NFPinDSML Theme Section funding: COSTA, ARTIST2, ARTIST-Design, ALL-TIMES SpringerLink date: 08.04.2010 (open access) http://dx.doi.org/10.1007/s10270-010-0161-0},
      AFFIL = {ctca}
    }
  • R. Kirner, P. Puschner, and A. Prantl, "Transforming Flow Information during Code Optimization for Timing Analysis," Real-Time Systems, vol. 45, iss. 1, pp. 72-105, 2010. bibtex
    @Article{KirnPuscPran:RTS2010_ff_trans,
      author = {Raimund Kirner and Peter Puschner and Adrian Prantl},
      title = {Transforming Flow Information during Code Optimization for Timing Analysis},
      journal = {Real-Time Systems},
      year = {2010},
      publisher = {Springer},
      volume = {45},
      number = {1},
      pages = {72-105},
      month = {June},
      doi = {10.1007/s11241-010-9091-8},
      annote = {IntID: paper89_RTS_ff_trans funding: COSTA, SECCO SpringerLink date: 09.04.2010 (open access) http://dx.doi.org/10.1007/s11241-010-9091-8},
      AFFIL = {ctca}
    }
  • D. Rolls, C. Joslin, and S. Scholz, "Unibench: A Tool for Automated and Collaborative Benchmarking," in 18th IEEE International Conference on Program Comprehension, 2010. bibtex
    @INPROCEEDINGS{ RollJoslScho+ICPC10,
      author = {Daniel Rolls and Carl Joslin and Sven-Bodo Scholz},
      TITLE = {Unibench: A Tool for Automated and Collaborative Benchmarking},
      BOOKTITLE = {18th IEEE International Conference on Program Comprehension},
      publisher = {IEEE Computer Society},
      year = {2010},
      month = {June},
      TOPICS = {unibench},
      AFFIL = {ctca}
    }
  • S. Scholz, S. Herhut, C. Grelck, and F. Penczek, "Single Assignment C Tutorial. PPoPP 2010, Bangalore, India," School of Computer Science, University of Hertfordshire, 498, 2010. bibtex
    @TECHREPORT{SchoHerhGrel+10,
      author = {Scholz, Sven-Bodo and Herhut, Stephan and Grelck, Clemens and Penczek, Frank},
      Institution = {School of Computer Science, University of Hertfordshire},
      Number = {498},
      Title = {{S}ingle {A}ssignment {C} Tutorial. PPoPP 2010, Bangalore, India},
      Year = {2010},
      AFFIL = {ctca}
    }
  • S. Herhut, C. Joslin, and S. Scholz, "Thread-Local Stacks, a Light-Weight Alternative to Thread-Local Heaps," in 15th Workshop on Compilers for Parallel Computing (CPC’10), 2010. bibtex
    @INPROCEEDINGS{ HerhJoslSchoCPC10,
      author = {Stephan Herhut and Carl Joslin and Sven-Bodo Scholz},
      TITLE = {{Thread-Local Stacks, a Light-Weight Alternative to Thread-Local Heaps}},
      EDITOR = {},
      BOOKTITLE = {15th Workshop on Compilers for Parallel Computing (CPC'10)},
      PUBLISHER = {Vienna University of Technology, Vienna, Austria},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2010, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck, T. van Deurzen, S. Herhut, and S. Scholz, "An Adaptive Compilation Framework for Generic Data-Parallel Array Programming," in 15th Workshop on Compilers for Parallel Computing (CPC’10), 2010. bibtex
    @INPROCEEDINGS{ GrelDeurHerh+CPC10,
      author = {Clemens Grelck and Tim {van Deurzen} and Stephan Herhut and Sven-Bodo Scholz},
      TITLE = {{An Adaptive Compilation Framework for Generic Data-Parallel Array Programming}},
      EDITOR = {},
      BOOKTITLE = {15th Workshop on Compilers for Parallel Computing (CPC'10)},
      PUBLISHER = {Vienna University of Technology, Vienna, Austria},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2010, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • K. Stavåker, D. Rolls, J. Guo, P. Fritzson, and S. Scholz, "Compilation of Modelica Array Computations into Single Assignment C for Efficient Execution on CUDA-enabled GPU," in 3rd International Workshop on Equation-Based Object-Oriented Languages and Tools, Oslo, Norway, 2010. bibtex
    @INPROCEEDINGS{ RollSchoJoslStav+EOOLT10,
      author = {Kristian Stav{\aa}ker and Daniel Rolls and Jing Guo and Peter Fritzson and Sven-Bodo Scholz},
      TITLE = {Compilation of Modelica Array Computations into Single Assignment C for Efficient Execution on CUDA-enabled GPU},
      EDITOR = {},
      BOOKTITLE = {3rd International Workshop on Equation-Based Object-Oriented Languages and Tools, Oslo, Norway},
      PUBLISHER = {},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      MONTH = {October},
      YEAR = {2010},
      TOPICS = {SAC, cuda, Modelica, Openmodelica},
      AFFIL = {ctca}
    }
  • R. Kirner, S. Herhut, and S. Scholz, "Compiler-Support for Robust Multi-Core Computing," in 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2010. bibtex
    @INPROCEEDINGS{KirnHerhScho10,
      author = {Raimund Kirner and Stephan Herhut and Sven-Bodo Scholz},
      TITLE = {{Compiler-Support for Robust Multi-Core Computing}},
      EDITOR = {},
      BOOKTITLE = {4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
      PUBLISHER = {Springer Verlag},
      PUBADDRESS = {Berlin, Heidelberg, Germany},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      MONTH = {},
      YEAR = {2010},
      TOPICS = {SAC, robustness, compiler-based robustness, fault-tolerance},
      LOCATION = {Amirandes, Crete},
      AFFIL = {ctca}
    }
  • S. Herhut and S. Scholz, "Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences," in Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010), 2010. bibtex
    @INPROCEEDINGS{HerhSchoIFL10draft,
      author = {Stephan Herhut and Sven-Bodo Scholz},
      TITLE = {{Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences}},
      YEAR = {2010},
      BOOKTITLE = {Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010)},
      NUMBER = {UU-CS-2010-020},
      SERIES = {Technical Reports},
      INSTITUTION = {Department of Information and Computing Sciences, Utrecht University},
      EDITOR = {Jurriaan Hage},
      AFFIL = {ctca}
    }

2009

  • C. Grelck, (. A. Shafarenko, F. Penczek, C. Grelck, H. Cai, J. Julku, P. Hölzenspies, S. B. . Scholz, and A. Shafarenko, "S-Net Language Report 1.0," University of Hertfordshire, School of Computer Science, Hatfield, England, United Kingdom, Technical Report 487, 2009. bibtex
    @TECHREPORT{ GrelShafCTCA09,
      author = {C. Grelck and {Shafarenko, A. (eds):} and F. Penczek and C. Grelck and H. Cai and J. Julku and P. H\"olzenspies and {Scholz, S.B.} and A. Shafarenko},
      TITLE = {{S-Net Language Report 1.0}},
      INSTITUTION = {University of Hertfordshire, School of Computer Science},
      ADDRESS = {Hatfield, England, United Kingdom},
      TYPE = {Technical Report},
      NUMBER = {487},
      YEAR = 2009, NOTE = {},
      CONTENTS = {},
      sourceURL = {http://www.snet-home.org/?page_id=7},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, J. Julku, and F. Penczek, "Distributed S-Net," in Implementation and Application of Functional Languages, 21st International Symposium, IFL’09, South Orange, NJ, USA, 2009. bibtex
    @INPROCEEDINGS{ GrelJulkPencIFL09,
      author = {Clemens Grelck and Jukka Julku and Frank Penczek},
      TITLE = {{Distributed S-Net}},
      EDITOR = {M. Morazan},
      BOOKTITLE = {Implementation and Application of Functional Languages, 21st International Symposium, IFL'09, South Orange, NJ, USA},
      PUBLISHER = {Seton Hall University},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2009, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, S. Scholz, and A. Shafarenko, "Concurrency Engineering with S-Net," in Programmiersprachen und Grundlagen der Programmierung, 15.~Kolloquium (KPS’09), Maria Taferl, Österreich, 2009, pp. 78-92. bibtex
    @INPROCEEDINGS{ GrelJulkPencIFL09d,
      author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{Concurrency Engineering with S-Net}},
      EDITOR = {Jens Knoop, Adrian Prantl},
      BOOKTITLE = {Programmiersprachen und Grundlagen der Programmierung, 15.~Kolloquium (KPS'09), Maria Taferl, \"Osterreich},
      PUBLISHER = {Institut f\"ur Computersprachen, Technische Universit\"at Wien},
      SERIES = {Technischer Bericht},
      VOLUME = {2009-X-1},
      NUMBER = {},
      YEAR = 2009, PAGES = {78--92},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, S. Scholz, and A. Shafarenko, "Concurrency Engineering with S-Net," in Programming Languages and Foundations of Programming, 15th Workshop (KPS’09), Maria Taferl, Austria, 2009, pp. 78-92. bibtex
    @INPROCEEDINGS{ GrelSchoShafKPS09,
      author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{Concurrency Engineering with S-Net}},
      EDITOR = {Jens Knoop, Adrian Prantl},
      BOOKTITLE = {Programming Languages and Foundations of Programming, 15th Workshop (KPS'09), Maria Taferl, Austria},
      PUBLISHER = {Institute of Computer Languages, Vienna University of Technology},
      SERIES = {Technical Report},
      VOLUME = {2009-X-1},
      NUMBER = {},
      YEAR = 2009, PAGES = {78--92},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • A. Shafarenko, "Nondeterministic Coordination using S-Net," , Gentzsch, W., Grandinetti, L., and Joubert, G., Eds., IOS Press, 2009, vol. 18, pp. 74-96. bibtex
    @incollection{ShafAIPC09,
      author = {Alex Shafarenko},
      title = {{Nondeterministic Coordination using S-Net}},
      SERIES = {Advances in Parallel Computing},
      VOLUME = {18},
      NUMBER = {},
      pages = {74-96},
      booktitle = {High Speed and Large Scale Scientific Computing},
      publisher = {IOS Press},
      year = {2009},
      ISBN = {978-1-60750-073-5},
      editor = {Wolfgang Gentzsch and Lucio Grandinetti and Gerhard Joubert},
      AFFIL = {ctca}
    }
  • R. Kirner, "Towards Preserving Model Coverage and Structural Code Coverage," EURASIP Journal on Embedded Systems, vol. 2009, 2009. bibtex
    @Article{Kirner:EurasipJES2009_model_coverage,
      author = {Raimund Kirner},
      title = {Towards Preserving Model Coverage and Structural Code Coverage},
      journal = {EURASIP Journal on Embedded Systems},
      year = {2009},
      publisher = {Hindawi},
      volume = {2009},
      doi = {10.1155/2009/127945},
      annote = {IndID: paper79_EURASIP_model_coverage, rr-2009-027_eurasip09_model_coverage, funding: SECCO http://dx.doi.org/10.1155/2009/127945},
      AFFIL = {ctca}
    }
  • D. Rolls, S. Herhut, C. Joslin, and S. Scholz, "Unibench: The Swiss Army Knife for Collaborative, Automated Benchmarking," Seton Hall University, South Orange, NJ, USA., In: IFL ’09: Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages. SHU-TR-CS-2009-09-1, 2009. bibtex
    @TECHREPORT{RollHerhJosl+IFL09draft,
      author = {Daniel Rolls and Stephan Herhut and Carl Joslin and Sven-Bodo Scholz},
      Institution = {Seton Hall University, South Orange, NJ, USA.},
      Number = {SHU-TR-CS-2009-09-1},
      Title = {Unibench: The Swiss Army Knife for Collaborative, Automated Benchmarking},
      Year = {2009},
      Type = {In: IFL ’09: Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages.},
      AFFIL = {ctca}
    }
  • S. Herhut, S. Scholz, and C. Grelck, "Controllling Chaos — On Safe Side-Effects in Data-Parallel Operations," ACM SIGPLAN Notices, vol. 44, iss. 5, pp. 9-10, 2009. bibtex
    @ARTICLE{ HerhSchoGrelSPN09,
      author = {Stephan Herhut and Sven-Bodo Scholz and Clemens Grelck},
      TITLE = {{Controllling Chaos --- On Safe Side-Effects in Data-Parallel Operations}},
      JOURNAL = {ACM SIGPLAN Notices},
      YEAR = 2009, VOLUME = {44},
      NUMBER = {5},
      PAGES = {9--10},
      ISSN = {0362-1340},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • S. Herhut, S. Scholz, and C. Grelck, "Controllling Chaos — On Safe Side-Effects in Data-Parallel Operations," in 4th Workshop on Declarative Aspects of Multicore Programming (DAMP’09), Savannah, USA, 2009, pp. 59-67. bibtex
    @INPROCEEDINGS{ HerhSchoGrelDAMP09,
      author = {Stephan Herhut and Sven-Bodo Scholz and Clemens Grelck},
      TITLE = {{Controllling Chaos --- On Safe Side-Effects in Data-Parallel Operations}},
      EDITOR = {Manuel Chakravarty and Leaf Peterson},
      BOOKTITLE = {4th Workshop on Declarative Aspects of Multicore Programming (DAMP'09), Savannah, USA},
      PUBLISHER = {ACM Press},
      PUBADDRESS = {New York, NY, USA},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2009, PAGES = {59--67},
      ISBN = {978-1-60558-417-1},
      DOI = {http://doi.acm.org/10.1145/1481839.1481847},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck, S. Herhut, C. Jesshope, C. Joslin, M. Lankamp, S. Scholz, and A. Shafarenko, "Compiling the Functional Data-Parallel Language \sac for Microgrids of Self-Adaptive Virtual Processors," in 14th Workshop on Compilers for Parallel Computing (CPC’09), IBM Research Center, Zürich, Switzerland, 2009. bibtex
    @INPROCEEDINGS{ GrelJessJosl+CPC09,
      author = {Clemens Grelck and Stephan Herhut and Chris Jesshope and Carl Joslin and Mike Lankamp and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{Compiling the Functional Data-Parallel Language \sac for Microgrids of Self-Adaptive Virtual Processors}},
      EDITOR = {},
      BOOKTITLE = {14th Workshop on Compilers for Parallel Computing (CPC'09), IBM Research Center, Z\"urich, Switzerland},
      PUBLISHER = {},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2009, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • J. Guo, J. Thiyagalingam, and S. Scholz, "Towards Compiling SaC to CUDA," in 10th Symposium on Trends in Functional Programming (TFP’09), 2009, pp. 33-49. bibtex
    @INPROCEEDINGS{ GuoThiySchoTFP09,
      author = {Jing Guo and Jeyarajan Thiyagalingam and Sven-Bodo Scholz},
      EMAIL = {},
      TITLE = {{Towards Compiling SaC to CUDA}},
      EDITOR = {Zoltan {Horv\'ath} and {Vikt\'oria Zs\'ok}},
      BOOKTITLE = {10th Symposium on Trends in Functional Programming (TFP'09)},
      PUBLISHER = {Intellect},
      YEAR = 2009, PAGES = {33--49},
      NOTE = {},
      KEYWORDS = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC,CUDA},
      AFFIL = {ctca}
    }
  • A. Kudryavtsev, D. Rolls, S. Scholz, and A. Shafarenko, "Numerical simulations of unsteady shock wave interactions using SAC and Fortran-90," in 10th International Conference on Parallel Computing Technologies (PaCT’09), 2009, pp. 445-456. bibtex
    @INPROCEEDINGS{ RollSchoKudr+PACT09,
      author = {Alexei Kudryavtsev and Daniel Rolls and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{Numerical simulations of unsteady shock wave interactions using SAC and Fortran-90}},
      EDITOR = {},
      BOOKTITLE = {10th International Conference on Parallel Computing Technologies (PaCT'09)},
      PUBLISHER = {Springer},
      PUBADDRESS = {Berlin, Heidelberg, Germany},
      SERIES = {Lecture Notes in Computer Science},
      VOLUME = {5083},
      NUMBER = {},
      YEAR = 2009, PAGES = {445--456},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • R. Bernecky, S. Herhut, and S. Scholz, "Symbiotic Expressions," in 21st Symposium on Implementation and Application of Functional Languages (IFL’09), South Orange, NJ, USA, 2009. bibtex
    @INPROCEEDINGS{ BernHerhSchoIFL09draft,
      author = {Robert Bernecky and Stephan Herhut and Sven-Bodo Scholz},
      Publisher = {Seton Hall University, South Orange, NJ, USA.},
      Number = {{SHU-TR-CS-2009-09-1}},
      Title = {{Symbiotic Expressions}},
      Year = {2009},
      Booktitle = {21st Symposium on Implementation and Application of Functional Languages (IFL'09), South Orange, NJ, USA},
      AFFIL = {ctca}
    }
  • S. Herhut, C. Joslin, S. Scholz, and C. Grelck, "Truly Nested Data-Parallelism: Compiling SAC to the Microgrid Architecture," in 21st Symposium on Implementation and Application of Functional Languages (IFL’09), South Orange, NJ, USA, 2009. bibtex
    @INPROCEEDINGS{ HerhJoslScho+IFL09draft,
      author = {Stephan Herhut and Carl Joslin and Sven-Bodo Scholz and Clemens Grelck},
      Publisher = {Seton Hall University},
      Pubaddress = {South Orange, NJ, USA},
      Number = {SHU-TR-CS-2009-09-1},
      Title = {{Truly Nested Data-Parallelism: Compiling SAC to the Microgrid Architecture}},
      Year = {2009},
      Booktitle = {21st Symposium on Implementation and Application of Functional Languages (IFL'09), South Orange, NJ, USA},
      AFFIL = {ctca}
    }

2008

  • C. Grelck, S. Scholz, and A. Shafarenko, "A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components," Parallel Processing Letters, vol. 18, iss. 2, pp. 221-237, 2008. bibtex
    @ARTICLE{ GrelSchoShafPPL08,
      author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components}},
      JOURNAL = {Parallel Processing Letters},
      YEAR = 2008, VOLUME = {18},
      NUMBER = {2},
      PAGES = {221--237},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • F. Penczek, S. Scholz, and C. Grelck, "Towards Reconfiguration and Self-Adaptivity in S-Net," in Implementation and Application of Functional Languages, 20th International Symposium, IFL’08, Hatfield, Hertfordshire, UK, 2008, pp. 330-339. bibtex
    @INPROCEEDINGS{ PencSchoGrelIFL08draft,
      author = {Frank Penczek and Sven-Bodo Scholz and Clemens Grelck},
      TITLE = {{Towards Reconfiguration and Self-Adaptivity in S-Net}},
      EDITOR = {Sven-Bodo Scholz},
      BOOKTITLE = {Implementation and Application of Functional Languages, 20th International Symposium, IFL'08, Hatfield, Hertfordshire, UK},
      PUBLISHER = {University of Hertfordshire, UK},
      SERIES = {Technical Report 474},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2008, PAGES = {330--339},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • J. Thiyagalingam, P. Hölzenspies, S. Scholz, and A. Shafarenko, "A Stream-Order Relaxed Execution Model forAsynchronous Stream Languages," in Implementation and Application of Functional Languages, 20th international symposium, IFL’08, Hatfield, Hertfordshire, UK, 2008, pp. 316-329. bibtex
    @INPROCEEDINGS{ ThiyHoelScho+IFL08draft,
      author = {Jeyarajan Thiyagalingam and Philip H\"olzenspies and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{A Stream-Order Relaxed Execution Model forAsynchronous Stream Languages}},
      EDITOR = {Sven-Bodo Scholz},
      BOOKTITLE = {Implementation and Application of Functional Languages, 20th international symposium, IFL'08, Hatfield, Hertfordshire, UK},
      PUBLISHER = {University of Hertfordshire, England, UK},
      SERIES = {Technical Report 474},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2008, PAGES = {316--329},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • H. Cai, S. Eisenbach, C. Grelck, F. Penczek, S. Scholz, and A. Shafarenko, "S-Net Type System and Operational Semantics," in Proceedings of the Æther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS’08), Lugano, Switzerland, 2008. bibtex
    @INPROCEEDINGS{ CaiEiseGrel+AMWAS08,
      author = {Haoxan Cai and Susan Eisenbach and Clemens Grelck and Frank Penczek and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{S-Net Type System and Operational Semantics}},
      EDITOR = {},
      BOOKTITLE = {Proceedings of the {\AE}ther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'08), Lugano, Switzerland},
      PUBLISHER = {},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2008, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • K. Bousias, C. R. Jesshope, J. Thiyagalingam, S-B. Scholz, and A. Shafarenko, "Graph Walker: Implementing S-Net on the Self-adaptive Virtual Processor," in Proceedings of the Æther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS’08), Lugano, Switzerland, 2008. bibtex
    @INPROCEEDINGS{ BousJessThiy+AMWAS08,
      author = {K. Bousias and C.R. Jesshope and J. Thiyagalingam and S-B. Scholz and A. Shafarenko},
      TITLE = {{Graph Walker: Implementing S-Net on the Self-adaptive Virtual Processor}},
      EDITOR = {},
      BOOKTITLE = {Proceedings of the {\AE}ther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'08), Lugano, Switzerland},
      PUBLISHER = {},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2008, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • S. Herhut, S. Scholz, R. Bernecky, C. Grelck, and K. Trojahner, "From Contracts Towards Dependent Types: Proofs by Partial Evaluation," in 19th International Symposium on Implementation and Application of Functional Languages (IFL’07), Freiburg, Germany, Revised Selected Papers, 2008, pp. 254-273. bibtex
    @INPROCEEDINGS{ HerhSchoBern+IFL07,
      author = {Stephan Herhut and Sven-Bodo Scholz and Robert Bernecky and Clemens Grelck and Kai Trojahner},
      TITLE = {{From Contracts Towards Dependent Types: Proofs by Partial Evaluation}},
      EDITOR = {Olaf Chitil and Zoltan Horv\'ath and Vikt\'oria Zs\'ok},
      BOOKTITLE = {19th International Symposium on Implementation and Application of Functional Languages (IFL'07), Freiburg, Germany, Revised Selected Papers},
      PUBLISHER = {Springer},
      PUBADDRESS = {Berlin, Heidelberg, Germany},
      SERIES = {Lecture Notes in Computer Science},
      VOLUME = {5083},
      NUMBER = {},
      YEAR = 2008, PAGES = {254--273},
      ISBN = {978-3-540-85372-5},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck, S. Kuthe, and S. Scholz, "A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O," Parallel Processing Letters, vol. 18, iss. 1, pp. 23-37, 2008. bibtex
    @ARTICLE{ GrelKuthSchoPPL08,
      author = {Clemens Grelck and Steffen Kuthe and Sven-Bodo Scholz},
      TITLE = {{A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O}},
      JOURNAL = {Parallel Processing Letters},
      YEAR = 2008, VOLUME = {18},
      NUMBER = {1},
      PAGES = {23--37},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck and S. Scholz, "Efficient Heap Management for Declarative Data Parallel Programming on Multicores," in 3rd Workshop on Declarative Aspects of Multicore Programming (DAMP’08), San Francisco, CA, USA, 2008, pp. 17-31. bibtex
    @INPROCEEDINGS{ GrelSchoDAMP08,
      author = {Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {{Efficient Heap Management for Declarative Data Parallel Programming on Multicores}},
      EDITOR = {Manuel Hermenegildo and Leaf Peterson and Neal Glew},
      BOOKTITLE = {3rd Workshop on Declarative Aspects of Multicore Programming (DAMP'08), San Francisco, CA, USA},
      PUBLISHER = {ACM Press},
      PUBADDRESS = {New York, NY, USA},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2008, PAGES = {17--31},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • A. W. Rainer, P. C. R. Lane, J. A. Malcolm, and S. Scholz, "Using n-grams to rapidly characterise the evolution of software code," in The Fourth International ERCIM Workshop on Software Evolution and Evolvability (EVOL’08), L’Aquila, Italy, 2008, pp. 17-31. bibtex
    @INPROCEEDINGS{ RainLaneMalc+EVOL08,
      author = {A.W. Rainer and P.C.R. Lane and J.A. Malcolm and S. Scholz},
      TITLE = {{Using n-grams to rapidly characterise the evolution of software code}},
      EDITOR = {},
      BOOKTITLE = {The Fourth International ERCIM Workshop on Software Evolution and Evolvability (EVOL'08), L'Aquila, Italy},
      PUBLISHER = {accepted for publication},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2008, PAGES = {17--31},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }

2007

  • A. Shafarenko, S. Scholz, and C. Grelck, "Streaming Networks for Coordinating Data-Parallel Programs," in Perspectives of System Informatics, 6th International Andrei Ershov Memorial Conference (PSI’06), Novosibirsk, Russia, 2007, pp. 441-445. bibtex
    @INPROCEEDINGS{ GrelSchoShafPSI06,
      author = {Alex Shafarenko and Sven-Bodo Scholz and Clemens Grelck},
      TITLE = {Streaming Networks for Coordinating Data-Parallel Programs},
      EDITOR = {Irina Virbitskaite and Andrei Voronkov},
      BOOKTITLE = {Perspectives of System Informatics, 6th International Andrei Ershov Memorial Conference (PSI'06), Novosibirsk, Russia},
      PUBLISHER = {Springer-Verlag, Berlin, Heidelberg, New York},
      SERIES = {Lecture Notes in Computer Science},
      VOLUME = {4378},
      NUMBER = {},
      YEAR = 2007, PAGES = {441--445},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck and F. Penczek, "Implementing S-Net: A Typed Stream Processing Language, Part I: Compilation, Code Generation and Deployment," University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group, Hatfield, England, United Kingdom2007. bibtex
    @TECHREPORT{ GrelPencCTCA07,
      author = {Clemens Grelck and Frank Penczek},
      TITLE = {{Implementing S-Net: A Typed Stream Processing Language, Part I: Compilation, Code Generation and Deployment}},
      INSTITUTION = {University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group},
      ADDRESS = {Hatfield, England, United Kingdom},
      TYPE = {},
      NUMBER = {},
      YEAR = 2007, NOTE = {},
      CONTENTS = {},
      sourceURL = {http://www.snet-home.org/?page_id=7},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, S. Scholz, and A. Shafarenko, "Coordinating Data Parallel SAC Programs with S-Net," in Proceedings of the 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS’07), Long Beach, California, USA, 2007. bibtex
    @INPROCEEDINGS{ GrelSchoShafIPDPS07,
      author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{Coordinating Data Parallel SAC Programs with S-Net}},
      EDITOR = {},
      BOOKTITLE = {Proceedings of the 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS'07), Long Beach, California, USA},
      PUBLISHER = {IEEE Computer Society Press, Los Alamitos, California, USA},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2007, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC,SNet},
      AFFIL = {ctca}
    }
  • C. Grelck and F. Penczek, "On Implementing S-Net," in Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages (IFL’07), Freiburg, Germany, 2007, pp. 531-533. bibtex
    @INPROCEEDINGS{ GrelPencIFL07,
      author = {Clemens Grelck and Frank Penczek},
      TITLE = {{On Implementing S-Net}},
      EDITOR = {Olaf Chitil},
      BOOKTITLE = {Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages (IFL'07), Freiburg, Germany},
      PUBLISHER = {University of Kent, Computing Laboratory, Canterbury, England, UK},
      SERIES = {Technical Report 12-07},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2007, PAGES = {531--533},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • H. Cai, S. Eisenbach, A. Shafarenko, and C. Grelck, "Extending the S-Net Type System," in Proceedings of the Æther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS’07), Paris, France, 2007. bibtex
    @INPROCEEDINGS{ CaiEiseShaf+AMWAS07,
      author = {Haoxan Cai and Susan Eisenbach and Alex Shafarenko and Clemens Grelck},
      TITLE = {{Extending the S-Net Type System}},
      EDITOR = {},
      BOOKTITLE = {Proceedings of the {\AE}ther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'07), Paris, France},
      PUBLISHER = {},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2007, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • K. Trojahner, C. Grelck, and S. Scholz, "On Optimising Shape-Generic Array Programs using Symbolic Structural Information," in Implementation and Application of Functional Languages, 18th International Symposium (IFL’06), Budapest, Hungary, Revised Selected Papers, 2007, pp. 1-18. bibtex
    @INPROCEEDINGS{ TrojGrelSchoIFL06,
      author = {Kai Trojahner and Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {{On Optimising Shape-Generic Array Programs using Symbolic Structural Information}},
      EDITOR = {Zoltan Horv\'ath and Vikt\'oria Zs\'ok},
      BOOKTITLE = {Implementation and Application of Functional Languages, 18th International Symposium (IFL'06), Budapest, Hungary, Revised Selected Papers},
      PUBLISHER = {Springer},
      PUBADDRESS = {Berlin, Heidelberg, Germany},
      SERIES = {Lecture Notes in Computer Science},
      VOLUME = {4449},
      NUMBER = {},
      YEAR = 2007, PAGES = {1--18},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • R. Bernecky, S. Herhut, S. Scholz, K. Trojahner, C. Grelck, and A. Shafarenko, "Index Vector Elimination: Making Index Vectors Affordable," in Implementation and Application of Functional Languages, 18th International Symposium (IFL’06), Budapest, Hungary, Revised Selected Papers, 2007, pp. 19-36. bibtex
    @INPROCEEDINGS{ BernHerhScho+IFL06,
      author = {Robert Bernecky and Stephan Herhut and Sven-Bodo Scholz and Kai Trojahner and Clemens Grelck and Alex Shafarenko},
      TITLE = {{Index Vector Elimination: Making Index Vectors Affordable}},
      EDITOR = {Zoltan Horv\'ath and Vikt\'oria Zs\'ok and Andrew Butterfield},
      BOOKTITLE = {Implementation and Application of Functional Languages, 18th International Symposium (IFL'06), Budapest, Hungary, Revised Selected Papers},
      PUBLISHER = {Springer},
      PUBADDRESS = {Berlin, Heidelberg, Germany},
      SERIES = {Lecture Notes in Computer Science},
      VOLUME = {4449},
      NUMBER = {},
      YEAR = 2007, PAGES = {19--36},
      NOTE = {},
      CONTENTS = {[ISBN 978-3-540-74129-9]},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck and S. Scholz, "SAC: Off-the-Shelf Support for Data-Parallelism on Multicores," in 2nd Workshop on Declarative Aspects of Multicore Programming (DAMP’07), Nice, France, 2007, pp. 25-33. bibtex
    @INPROCEEDINGS{ GrelSchoDAMP07,
      author = {Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {{SAC: Off-the-Shelf Support for Data-Parallelism on Multicores}},
      EDITOR = {Neal Glew and Guy Blelloch},
      BOOKTITLE = {2nd Workshop on Declarative Aspects of Multicore Programming (DAMP'07), Nice, France},
      PUBLISHER = {ACM Press},
      PUBADDRESS = {New York, NY, USA},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2007, PAGES = {25--33},
      NOTE = {},
      CONTENTS = {ISBN:978-1-59593-690-5},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck, S. Scholz, and A. Shafarenko, "Coordinating Data Parallel SAC Programs with S-Net," in 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS’07), Long Beach, California, USA, 2007. bibtex
    @INPROCEEDINGS{ GrelSchoShafIPDPS07,
      author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{Coordinating Data Parallel SAC Programs with S-Net}},
      EDITOR = {},
      BOOKTITLE = {21st IEEE International Parallel and Distributed Processing Symposium (IPDPS'07), Long Beach, California, USA},
      PUBLISHER = {IEEE Computer Society Press, Los Alamitos, California, USA},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2007, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC,SNet},
      AFFIL = {ctca}
    }
  • S. Herhut, S. Scholz, R. Bernecky, C. Grelck, and K. Trojahner, "From Contracts Towards Dependent Types: Proofs by Partial Evaluation," in 19th International Symposium on Implementation and Application of Functional Languages (IFL’07), Freiburg, Germany, 2007, pp. 534-550. bibtex
    @INPROCEEDINGS{ HerhSchoBern+IFL07draft,
      author = {Stephan Herhut and Sven-Bodo Scholz and Robert Bernecky and Clemens Grelck and Kai Trojahner},
      TITLE = {{From Contracts Towards Dependent Types: Proofs by Partial Evaluation}},
      EDITOR = {Olaf Chitil},
      BOOKTITLE = {19th International Symposium on Implementation and Application of Functional Languages (IFL'07), Freiburg, Germany},
      PUBLISHER = {University of Kent, Computing Laboratory, Canterbury, England, UK},
      SERIES = {Technical Report 12-07},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2007, PAGES = {534--550},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • S. Herhut, S. Scholz, and C. Grelck, "Generic Programming on the Nesting Structure of Arrays," in ACM SIGAPL Conference on Array Programming Languages, Arrays and Objects, Montréal, Québèc, Canada, Oct 21–23, 2007, 2007. bibtex
    @INPROCEEDINGS{ HerhSchoGrelAPL07,
      author = {Stephan Herhut and Sven-Bodo Scholz and Clemens Grelck},
      TITLE = {Generic Programming on the Nesting Structure of Arrays},
      EDITOR = {Lynne C. Shaw},
      BOOKTITLE = {ACM SIGAPL Conference on Array Programming Languages, Arrays and Objects, Montr\'eal, Qu\'eb\`ec, Canada, Oct 21--23, 2007},
      PUBLISHER = {},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2007, PAGES = {},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }

2006

  • A. Shafarenko, S. Scholz, and C. Grelck, "Streaming Networks for Coordinating Data-Parallel Programs," in Proceedings of the 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI’06), Novosibirsk, Russia, 2006, pp. 274-276. bibtex
    @INPROCEEDINGS{ GrelSchoShafPSI06draft,
      author = {Alex Shafarenko and Sven-Bodo Scholz and Clemens Grelck},
      TITLE = {Streaming Networks for Coordinating Data-Parallel Programs},
      EDITOR = {Irina Virbitskaite and Andrei Voronkov},
      BOOKTITLE = {Proceedings of the 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI'06), Novosibirsk, Russia},
      PUBLISHER = {A.P.~Ershov Institute of Informatics Systems 2006, Novosisibirsk, Russia},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2006, PAGES = {274--276},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • A. Shafarenko, C. Grelck, and S. Scholz, "Semantics and Type Theory of S-Net," in Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL’06), Budapest, Hungary, 2006, pp. 146-166. bibtex
    @INPROCEEDINGS{ ShafGrelSchoIFL06,
      author = {Alex Shafarenko and Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {Semantics and Type Theory of {S-Net}},
      EDITOR = {Zoltan Horv\'ath and Vikt\'oria Zs\'ok},
      BOOKTITLE = {Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL'06), Budapest, Hungary},
      PUBLISHER = {E\"otv\"os Lor\'and University, Faculty of Informatics, Budapest, Hungary},
      SERIES = {Technical Report 2006-S01},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2006, PAGES = {146--166},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck, S. Scholz, and A. Shafarenko, "S-Net: A Typed Stream Processing Language," in Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL’06), Budapest, Hungary, 2006, pp. 81-97. bibtex
    @INPROCEEDINGS{ GrelSchoShafIFL06,
      author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{S-Net}: A Typed Stream Processing Language},
      EDITOR = {Zoltan Horv\'ath and Vikt\'oria Zs\'ok},
      BOOKTITLE = {Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL'06), Budapest, Hungary},
      PUBLISHER = {E\"otv\"os Lor\'and University, Faculty of Informatics, Budapest, Hungary},
      SERIES = {Technical Report 2006-S01},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2006, PAGES = {81--97},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck and A. Shafarenko, "Report on S-Net: A Typed Stream Processing Language, Part I: Foundations, Record Types and Networks," University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group, Hatfield, England, United Kingdom2006. bibtex
    @TECHREPORT{ GrelShafCTCA06,
      author = {Clemens Grelck and Alex Shafarenko},
      TITLE = {{Report on S-Net: A Typed Stream Processing Language, Part I: Foundations, Record Types and Networks}},
      INSTITUTION = {University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group},
      ADDRESS = {Hatfield, England, United Kingdom},
      TYPE = {},
      NUMBER = {},
      YEAR = 2006, NOTE = {},
      CONTENTS = {},
      sourceURL = {http://www.snet-home.org/?page_id=7},
      TOPICS = {SNet},
      AFFIL = {ctca}
    }
  • C. Grelck and S. Scholz, "Merging Compositions of Array Skeletons in SAC," in Parallel Computing: Current and Future Issues of High-End Computing, International Conference ParCo 2005, Malaga, Spain, 2006, pp. 859-866. bibtex
    @INPROCEEDINGS{ GrelSchoPARCO05,
      author = {Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {Merging Compositions of Array Skeletons in {SAC}},
      EDITOR = {G.R. Joubert and W.E. Nagel and F.J. Peters and O. Plata and P. Tirado and E. Zapata},
      BOOKTITLE = {Parallel Computing: Current and Future Issues of High-End Computing, International Conference ParCo 2005, Malaga, Spain},
      PUBLISHER = {John von Neumann Institute for Computing, J\"ulich, Germany},
      SERIES = {NIC Series},
      VOLUME = {33},
      NUMBER = {},
      YEAR = 2006, PAGES = {859--866},
      NOTE = {[ISBN 3-00-017352-8]},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • S. Scholz, "Functional Array Programming in SaC," , Horvath, Z., Ed., Springer, 2006, vol. 4164. bibtex
    @INCOLLECTION{ ScholzCEFP05,
      author = {Sven-Bodo Scholz},
      EMAIL = {},
      TITLE = {{Functional Array Programming in SaC}},
      EDITOR = {Zoltan Horvath},
      BOOKTITLE = {Central European Summer School on Functional Programming},
      SERIES = {LNCS},
      VOLUME = {4164},
      PUBLISHER = {Springer},
      PUBADDRESS = {Berlin, Heidelberg, Germany},
      YEAR = 2006, PAGES = {},
      NOTE = {},
      KEYWORDS = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC,on SAC},
      AFFIL = {ctca}
    }
  • A. Shafarenko, S. Scholz, S. Herhut, C. Grelck, and K. Trojahner, "Implementing a Numerical Solution of the KPI Equation using Single Assignment C: Lessons and Experiences," in Implementation and Application of Functional Languages, 17th International Workshop (IFL’05). Dublin, Ireland, September 19–21, 2005, Revised Selected Papers, 2006, pp. 160-177. bibtex
    @INPROCEEDINGS{ ShafSchoHerh+IFL05,
      author = {Alex Shafarenko and Sven-Bodo Scholz and Stephan Herhut and Clemens Grelck and Kai Trojahner},
      TITLE = {{Implementing a Numerical Solution of the KPI Equation using Single Assignment C: Lessons and Experiences}},
      EDITOR = {Andrew Butterfield},
      BOOKTITLE = {Implementation and Application of Functional Languages, 17th International Workshop (IFL'05). Dublin, Ireland, September 19--21, 2005, Revised Selected Papers},
      PUBLISHER = {Springer},
      PUBADDRESS = {Berlin, Heidelberg, Germany},
      SERIES = {Lecture Notes in Computer Science},
      VOLUME = {4015},
      NUMBER = {},
      YEAR = 2006, PAGES = {160--177},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck, S. Scholz, and A. Shafarenko, "A Binding Scope Analysis for Generic Programs on Arrays," in Implementation and Application of Functional Languages, 17th International Workshop (IFL’05), Dublin, Ireland, Revised Selected Papers, 2006, pp. 212-230. bibtex
    @INPROCEEDINGS{ GrelSchoShafIFL05,
      author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
      TITLE = {{A Binding Scope Analysis for Generic Programs on Arrays}},
      EDITOR = {Andrew Butterfield},
      BOOKTITLE = {Implementation and Application of Functional Languages, 17th International Workshop (IFL'05), Dublin, Ireland, Revised Selected Papers},
      PUBLISHER = {Springer},
      PUBADDRESS = {Berlin, Heidelberg, Germany},
      SERIES = {Lecture Notes in Computer Science},
      VOLUME = {4015},
      NUMBER = {},
      YEAR = 2006, PAGES = {212--230},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck, K. Hinckfuß, and S. Scholz, "With-Loop Fusion for Data Locality and Parallelism," in Implementation and Application of Functional Languages, 17th International Workshop (IFL’05), Dublin, Ireland, Revised Selected Papers, 2006, pp. 178-195. bibtex
    @INPROCEEDINGS{ GrelHincSchoIFL05,
      author = {Clemens Grelck and Karsten Hinckfu{\ss} and Sven-Bodo Scholz},
      TITLE = {{With-Loop Fusion for Data Locality and Parallelism}},
      EDITOR = {Andrew Butterfield},
      BOOKTITLE = {Implementation and Application of Functional Languages, 17th International Workshop (IFL'05), Dublin, Ireland, Revised Selected Papers},
      PUBLISHER = {Springer},
      PUBADDRESS = {Berlin, Heidelberg, Germany},
      SERIES = {Lecture Notes in Computer Science},
      VOLUME = {4015},
      NUMBER = {},
      YEAR = 2006, PAGES = {178--195},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck and S. Scholz, "Merging Compositions of Array Skeletons in SAC," Journal of Parallel Computing, vol. 32, iss. 7+8, pp. 507-522, 2006. bibtex
    @ARTICLE{ GrelSchoPARCO06,
      author = {Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {Merging Compositions of Array Skeletons in {SAC}},
      JOURNAL = {Journal of Parallel Computing},
      YEAR = 2006, VOLUME = {32},
      NUMBER = {7+8},
      PAGES = {507--522},
      NOTE = {},
      CONTENTS = {[ISSN 0167-8191},
      sourceURL = {http://dx.doi.org/10.1016/j.parco.2006.08.003},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck and S. Scholz, "SAC: A Functional Array Language for Efficient Multithreaded Execution," International Journal of Parallel Programming, vol. 34, iss. 4, pp. 383-427, 2006. bibtex
    @ARTICLE{ GrelSchoIJPP06,
      author = {Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {{SAC}: A Functional Array Language for Efficient Multithreaded Execution},
      JOURNAL = {International Journal of Parallel Programming},
      YEAR = 2006, VOLUME = {34},
      NUMBER = {4},
      PAGES = {383--427},
      NOTE = {},
      CONTENTS = {[ISSN: 0885-7458 (Paper) 1573-7640 (Online)]},
      sourceURL = {http://dx.doi.org/10.1007/s10766-006-0018-x},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • K. Trojahner, C. Grelck, and S. Scholz, "On Optimising Shape-Generic Array Programs using Symbolic Structural Information," in 18th International Symposium on Implementation and Application of Functional Languages (IFL’06), Budapest, Hungary, 2006, pp. 13-27. bibtex
    @INPROCEEDINGS{ TrojGrelSchoIFL06draft,
      author = {Kai Trojahner and Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {{On Optimising Shape-Generic Array Programs using Symbolic Structural Information}},
      EDITOR = {Zoltan Horv\'ath and Vikt\'oria Zs\'ok},
      BOOKTITLE = {18th International Symposium on Implementation and Application of Functional Languages (IFL'06), Budapest, Hungary},
      PUBLISHER = {E\"otv\"os Lor\'and University, Faculty of Informatics, Budapest, Hungary},
      SERIES = {Technical Report 2006-S01},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2006, PAGES = {13--27},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • S. Herhut and S. Scholz, "Generic Programming on the Structure of Homogeneously Nested Arrays," in 7th Symposium on Trends in Functional Programming, 2006, pp. 351-366. bibtex
    @INPROCEEDINGS{ HerhSchoTFP06,
      author = {Stephan Herhut and Sven-Bodo Scholz},
      EMAIL = {},
      TITLE = {Generic Programming on the Structure of Homogeneously Nested Arrays},
      EDITOR = {Henrik Nilsson},
      BOOKTITLE = {7th Symposium on Trends in Functional Programming},
      PUBLISHER = {University of Nottingham},
      YEAR = 2006, PAGES = {351--366},
      NOTE = {},
      KEYWORDS = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • R. Bernecky, S. Herhut, S. Scholz, K. Trojahner, C. Grelck, and A. Shafarenko, "Index Vector Elimination: Making Index Vectors Affordable," in 18th International Symposium on Implementation and Application of Functional Languages (IFL’06), Budapest, Hungary, 2006, pp. 28-43. bibtex
    @INPROCEEDINGS{ BernHerhScho+IFL06draft,
      author = {Robert Bernecky and Stephan Herhut and Sven-Bodo Scholz and Kai Trojahner and Clemens Grelck and Alex Shafarenko},
      TITLE = {{Index Vector Elimination: Making Index Vectors Affordable}},
      EDITOR = {Zoltan Horv\'ath and Vikt\'oria Zs\'ok},
      BOOKTITLE = {18th International Symposium on Implementation and Application of Functional Languages (IFL'06), Budapest, Hungary},
      PUBLISHER = {E\"otv\"os Lor\'and University, Faculty of Informatics, Budapest, Hungary},
      SERIES = {Technical Report 2006-S01},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2006, PAGES = {28--43},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }

2005

  • C. Grelck and S. Scholz, "Generic Array Programming in SAC," in 21.~Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte, Bad Honnef, Germany, 2005, pp. 43-53. bibtex
    @INPROCEEDINGS{ GrelSchoGIPR04,
      author = {Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {{Generic Array Programming in SAC}},
      EDITOR = {Wolfgang Goerigk},
      BOOKTITLE = {21.~Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte, Bad Honnef, Germany},
      PUBLISHER = {University of Kiel, Institute of Computer Science and Applied Mathematics},
      SERIES = {Technischer Bericht},
      VOLUME = {0410},
      NUMBER = {},
      YEAR = 2005, PAGES = {43--53},
      NOTE = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck, S. Kuthe, and S. -B. Scholz, "A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O," in 3rd Workshop on High-Level Parallel Programming and Applications (HLPP’05), Warwick, UK, 2005, pp. 147-160. bibtex
    @INPROCEEDINGS{ GrelKuthSchoHLPP05,
      author = {C. Grelck and S. Kuthe and S.-B. Scholz},
      EMAIL = {},
      TITLE = {{A} {H}ybrid {S}hared {M}emory {E}xecution {M}odel for a {D}ata {P}arallel {L}anguage with {I/O}},
      EDITOR = {A. Tiskin},
      BOOKTITLE = {3rd Workshop on High-Level Parallel Programming and Applications (HLPP'05), Warwick, UK},
      PUBLISHER = {University of Warwick, UK},
      YEAR = 2005, PAGES = {147-160},
      NOTE = {},
      KEYWORDS = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck and S. Scholz, "Generic Parallel Array Programming in SAC," in Tagungsband des 20.~Workshops der GI-Fachgruppe Parallel-Algorithmen, -Rechner\-struk\-tu\-ren und -Systemsoftware (PARS’05).\\ Lübeck, Germany, June 23–24, 2005, 2005, pp. 81-90. bibtex
    @INPROCEEDINGS{ GrelSchoPARS05,
      author = {Clemens Grelck and Sven-Bodo Scholz},
      TITLE = {{Generic Parallel Array Programming in SAC}},
      EDITOR = {Erik M\"ahle},
      BOOKTITLE = {Tagungsband des 20.~Workshops der GI-Fachgruppe Parallel-Algorithmen, -Rechner\-struk\-tu\-ren und -Systemsoftware (PARS'05).\\ L\"ubeck, Germany, June 23--24, 2005},
      PUBLISHER = {Gesellschaft f\"ur Informatik},
      SERIES = {PARS-Mitteilungen},
      VOLUME = {22},
      NUMBER = {},
      YEAR = 2005, PAGES = {81--90},
      NOTE = {[ISSN 0177-0454]},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }
  • C. Grelck, K. Hinckfuß, and S. Scholz, "With-Loop Fusion for Data Locality and Parallelism," in 17th International Workshop on Implementation and Application of Functional Languages (IFL’05), Dublin, Ireland, 2005, pp. 65-80. bibtex
    @INPROCEEDINGS{ GrelHincSchoIFL05draft,
      author = {Clemens Grelck and Karsten Hinckfu{\ss} and Sven-Bodo Scholz},
      TITLE = {{With-Loop Fusion for Data Locality and Parallelism}},
      EDITOR = {Andrew Butterfield},
      BOOKTITLE = {17th International Workshop on Implementation and Application of Functional Languages (IFL'05), Dublin, Ireland},
      PUBLISHER = {University of Dublin, Trinity College, Department of Computer Science},
      SERIES = {},
      VOLUME = {},
      NUMBER = {},
      YEAR = 2005, PAGES = {65--80},
      NOTE = {Technical Report TCD-CS-2005-60},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC},
      AFFIL = {ctca}
    }

2004

  • S. Herhut and S. -B. Scholz, "Towards Fully Controlled Overloading Across Module Boundaries," in 16th International Workshop on the Implementation and Application of Functional Languages (IFL’04), Lübeck, Germany, 2004, pp. 395-408. bibtex
    @INPROCEEDINGS{ HerhSchoIFL04,
      author = {S. Herhut and S.-B. Scholz},
      EMAIL = {},
      TITLE = {{T}owards {F}ully {C}ontrolled {O}verloading {A}cross {M}odule {B}oundaries},
      EDITOR = {C. Grelck and F. Huch},
      BOOKTITLE = {16th International Workshop on the Implementation and Application of Functional Languages (IFL'04), L\"ubeck, Germany},
      PUBLISHER = {University of Kiel},
      YEAR = 2004, PAGES = {395-408},
      NOTE = {},
      KEYWORDS = {},
      CONTENTS = {},
      sourceURL = {},
      TOPICS = {SAC,on SAC},
      AFFIL = {ctca}
    }