• About
• Consortium
• Focus Areas
• Publications
• Deliverables
• Internal

Publications

2011

• [1] 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}},
  booktitle = {22nd International Symposium on Implementation and Application of Functional Languages (IFL'10), Alphen a/d Rijn, Netherlands, Revised Selected Papers},
  year = {2011},
  editor = {J. Haage and M. Moraz\'an},
  volume = {6647},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag, Berlin, Heidelberg, New York},
  note = {to appear},
  topics = {SAC}
}
• [2] K. Hammond, Parallel Haskell, in Encyclopedia of Parallel Computing, 2011. bibtex
  @INPROCEEDINGS{EPC2011b,
  author = {Hammond, K.},
  title = {{Parallel Haskell}},
  booktitle = {Encyclopedia of Parallel Computing},
  year = {2011},
  editor = {Padua, David},
  publisher = {Springer}
}
• [3] K. Hammond, H. -W. Loidl, and P. W. Trinder, Parallel Functional Languages, in Encyclopedia of Parallel Computing, 2011. bibtex
  @INPROCEEDINGS{EPC2011a,
  author = {Hammond, K. and Loidl, H.-W. and Trinder, P.W.},
  title = {{Parallel Functional Languages}},
  booktitle = {Encyclopedia of Parallel Computing},
  year = {2011},
  editor = {Padua, David},
  publisher = {Springer}
}
• [4] 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 Performance Analysis, 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 Performance Analysis}},
  booktitle = {15th International Conference on Parallel Computing (ParCo'11), Ghent, Belgium},
  year = {2011},
  topics = {SAC,SNet}
}
• [5] C. Grelck, The Essence of Synchronisation in Asynchronous Data Flow, in 25th IEEE International Parallel and Distributed Processing Symposium (IPDPS’11), Anchorage, USA, 2011. bibtex
  @INPROCEEDINGS{GrelckIPDPS11,
  author = {C. Grelck},
  title = {The Essence of Synchronisation in Asynchronous Data Flow},
  booktitle = {25th IEEE International Parallel and Distributed Processing Symposium (IPDPS'11), Anchorage, USA},
  year = {2011},
  publisher = {IEEE Computer Society Press},
  note = {to appear}
}
• [6] R. de Groote, J. Kuper, and G. Smit, Efficient timing analysis of synchronous dataflow graphs, in submitted for publication, 2011. bibtex
  @INPROCEEDINGS{Groote:2011,
  author = {Robert {de Groote} and Jan Kuper and Gerard Smit},
  title = {Efficient timing analysis of synchronous dataflow graphs},
  booktitle = {submitted for publication},
  year = {2011},
  month = {Mar.},
  note = {submitted}
}
• [7] C. M. Brown, H. -W. Loidl, J. Berthold, and K. Hammond, Improving your CASH flow: The Computer Algebra SHell. 2011. bibtex
  @INPROCEEDINGS{IFL2010,
  author = {Brown, C. M. and Loidl, H.-W. and Berthold, J. and Hammond, K.},
  title = {{Improving your CASH flow: The Computer Algebra SHell}},
  year = {2011},
  publisher = {Springer},
  bookitle = {Proc. 2010 International Symposium on Implementation and Applications of Functional Languages (IFL 2010)}
}
• [8] W. Cheng, B. Scheuermann, and M. Middendorf, Quick-ACO: Accelerating ant decisions and pheromone updates in ACO, in Proc. of the 11th European Conference on Evolutionary Computation in Combinatorial Optimisation (EvoCOP), 2011, pp. 238-249. bibtex
  @INPROCEEDINGS{QuickACO11,
  author = {W. Cheng and B. Scheuermann and M. Middendorf},
  title = {Quick-ACO: Accelerating ant decisions and pheromone updates in ACO},
  booktitle = {Proc. of the 11th European Conference on Evolutionary Computation in Combinatorial Optimisation (EvoCOP)},
  year = {2011},
  pages = {238-249}
}
• [9] K. Hammond, Why Parallel Functional Programming Matters: Panel Statement, in Proc. Ada Europe 2011, Edinburgh, UK, 2011. bibtex
  @INPROCEEDINGS{AdaEurope2011,
  author = {Kevin Hammond},
  title = {{{Why Parallel Functional Programming Matters: Panel Statement}}},
  booktitle = {Proc. Ada Europe 2011, Edinburgh, UK},
  year = {2011},
  month = {June}
}
• [10] V. Wieser, C. Grelck, H. Schoener, P. Haslinger, and B. Moser, GPU-based Image Precessing Use Cases: A High-Level Approach, in 15th International Conference on Parallel Computing (ParCo’11), Ghent, Belgium, 2011. bibtex
  @INPROCEEDINGS{Parco2011WieserGrelck,
  author = {Volkmar Wieser and Clemens Grelck and Holger Schoener and Peter Haslinger and Bernhard Moser},
  title = {{GPU-based Image Precessing Use Cases: A High-Level Approach}},
  booktitle = {{15th International Conference on Parallel Computing (ParCo'11), Ghent, Belgium}},
  year = {2011},
  publisher = {IOS Press},
  owner = {wieser},
  timestamp = {2011.10.27}
}
• [11] 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 QCAV’2011, 10th International Conference on Quality Control by Artificial Vision, 2011. bibtex
  @INPROCEEDINGS{HP2SAC_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 = {{QCAV'2011, 10th International Conference on Quality Control by Artificial Vision}},
  year = {2011},
  note = {to appear},
  owner = {Wieser},
  timestamp = {2011.03.10}
}
• [12] A. Shafarenko and R. Kirner, CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks, University of Hertfordshire, Hatfield, UK2011. bibtex
  @TECHREPORT{Shafarenko:arXiv2011_cal_report,
  author = {Alex Shafarenko and Raimund Kirner},
  title = {{CAL}: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks},
  institution = {University of Hertfordshire},
  year = {2011},
  address = {Hatfield, UK},
  month = {Jan.},
  note = {available at \url{http://arxiv.org/abs/1101.3356}}
}

2010

• [13] 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}},
  booktitle = {15th Workshop on Compilers for Parallel Computing (CPC'10)},
  year = {2010},
  publisher = {Vienna University of Technology, Vienna, Austria},
  topics = {SAC}
}
• [14] S. Scholz, S. Herhut, C. Grelck, and F. Penczek, Single Assignment C Tutorial, 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},
  title = {{S}ingle {A}ssignment {C} Tutorial},
  institution = {School of Computer Science, University of Hertfordshire},
  year = {2010},
  number = {498}
}
• [15] C. Grelck, T. van Deurzen, S. Herhut, and S. B. Scholz, An Adaptive Compilation Framework for Generic Data-Parallel Array Programming, in 27th GI Workshop on Programming Languages and ComputingConcepts, Bad Honnef, Germany, 2010, pp. 23-33. bibtex
  @INPROCEEDINGS{GrelDeurHerh+10,
  author = {C. Grelck and T. van Deurzen and S. Herhut and S.B. Scholz},
  title = {An Adaptive Compilation Framework for Generic Data-Parallel Array Programming},
  booktitle = {27th GI Workshop on Programming Languages and ComputingConcepts, Bad Honnef, Germany},
  year = {2010},
  editor = {M. Hanus and F. Reck},
  volume = {1010},
  series = {Technischer Bericht},
  pages = {23-33},
  publisher = {Christian-Albrechts-Universit\"at zu Kiel, Institut f\"ur Informatik und Praktische Mathematik}
}
• [16] C. Grelck, The Essence of Synchronisation in Asynchronous Data Flow Programming, in 22nd International Symposium on Implementation and Application of Functional Languages (IFL’10), Alphen aan den Rijn, Netherlands, 2010, pp. 159-172. bibtex
  @INPROCEEDINGS{GrelckIFL10,
  author = {Clemens Grelck},
  title = {{The Essence of Synchronisation in Asynchronous Data Flow Programming}},
  booktitle = {22nd International Symposium on Implementation and Application of Functional Languages (IFL'10), Alphen aan den Rijn, Netherlands},
  year = {2010},
  editor = {Jurriaan Hage},
  volume = {UU-CS-2010-020},
  series = {Technical Report},
  pages = {159--172},
  publisher = {Department of Information and Computing Sciences, Utrecht University},
  issn = {0924-3275},
  topics = {SNet}
}
• [17] 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}},
  booktitle = {Parallel Computing: From Multicores and GPU's to Petascale},
  publisher = {IOS Press},
  year = {2010},
  editor = {Barbara Chapman and Fr\'ed\'eric Desprez and Gerhard Joubert and Alain Lichnewsky and Frans Peters and Thierry Priol},
  volume = {19},
  series = {Advances in Parallel Computing},
  pages = {467-474},
  doi = {http://dx.doi.org/10.3233/978-1-60750-530-3-467},
  isbn = {978-1-60750-529-7},
  topics = {SNet}
}
• [18] V. Janjic and K. Hammond, Granularity-Aware Work-Stealing for Computationally-Uniform Grids, in 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, CCGrid 2010, 17-20 May 2010, Melbourne, Victoria, Australia, 2010, pp. 123-134. bibtex
  @INPROCEEDINGS{DBLP:conf/ccgrid/JanjicH10,
  author = {Vladimir Janjic and Kevin Hammond},
  title = {Granularity-Aware Work-Stealing for Computationally-Uniform Grids},
  booktitle = {10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, CCGrid 2010, 17-20 May 2010, Melbourne, Victoria, Australia},
  year = {2010},
  pages = {123-134},
  publisher = {IEEE},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/ccgrid/2010},
  ee = {http://dx.doi.org/10.1109/CCGRID.2010.49}
}
• [19] 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{Zolda:ISOLA2010_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},
  month = {Oct.},
  publisher = {Springer Verlag},
  location = {Amirandes, Crete}
}
• [20] T. Bernard, C. Grelck, and C. Jesshope, On the Compilation of a Language for General Concurrent Target Architectures, Parallel Processing Letters, vol. 20, iss. 1, pp. 51-69, 2010. bibtex
  @ARTICLE{BernGrelJess10,
  author = {T. Bernard and C. Grelck and C. Jesshope},
  title = {On the Compilation of a Language for General Concurrent Target Architectures},
  journal = {Parallel Processing Letters},
  year = {2010},
  volume = {20},
  pages = {51-69},
  number = {1}
}
• [21] E. Brady and K. Hammond, Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols, Fundamenta Informaticae, vol. 102, iss. 2, pp. 145-176, 2010. bibtex
  @ARTICLE{DBLP:journals/fuin/BradyH10,
  author = {Edwin Brady and Kevin Hammond},
  title = {{Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols}},
  journal = {Fundamenta Informaticae},
  year = {2010},
  volume = {102},
  pages = {145-176},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.3233/FI-2010-303}
}
• [22] 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}},
  booktitle = {1st ACM SIGPLAN Workshop on Advances in Message Passing(AMP'10), Toronto, Canada, 2010},
  year = {2010},
  publisher = {ACM Press, New York City, New York, USA},
  topics = {SNet}
}
• [23] 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}},
  booktitle = {Cluster, Cloud and Grid Computing (CCGrid'10), 10th IEEE/ACM International Conference Melbourne, Australia},
  year = {2010},
  pages = {587-588},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4244-6987-1},
  topics = {SNet}
}
• [24] C. Jesshope, M. Hicks, M. Lankamp, R. Poss, and L. Zhang, Making multi-cores mainstream — from security to scalability. IOS Press, 2010, vol. 18. bibtex
  @INCOLLECTION{jesshope.09.parco,
  author = {Chris Jesshope and Michael Hicks and Mike Lankamp and Raphael Poss and Li Zhang},
  title = {Making multi-cores mainstream -- from security to scalability},
  booktitle = {Advances in Parallel Computing},
  publisher = {{IOS} Press},
  year = {2010},
  volume = {18}
}
• [25] R. Kirner, S. Herhut, and S. Scholz, Compiler-Support for Robust Multi-Core Computing, in Proc. 4th Int’l Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2010, pp. 47-57. bibtex
  @INPROCEEDINGS{Kirner:ISOLA2010_robustness,
  author = {Raimund Kirner and Stephan Herhut and Sven-Bodo Scholz},
  title = {Compiler-Support for Robust Multi-Core Computing},
  booktitle = {Proc. 4th Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
  year = {2010},
  pages = {47-57},
  month = {Oct.},
  publisher = {Springer Verlag},
  location = {Amirandes, Crete}
}
• [26] 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{Kirner:SEUS2010_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},
  series = {LNCS 6399},
  pages = {23-34},
  address = {Waidhofen/Ybbs, Austria},
  month = {Oct}
}
• [27] S. Linton, K. Hammond, A. Konovalov, A. D. Al Zain, P. Trinder, P. Horn, and D. Roozemond, Easy Composition of Symbolic Computation Software: a new Lingua Franca for Symbolic Computation, in Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), 2010, pp. 339-346. bibtex
  @INPROCEEDINGS{ISSAC2010,
  author = {Linton, S. and Hammond, K. and Konovalov, A. and Al Zain, A. D. and Trinder, P. and Horn, P. and Roozemond, D.},
  title = {{Easy Composition of Symbolic Computation Software: a new Lingua Franca for Symbolic Computation}},
  booktitle = {Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 2010)},
  year = {2010},
  pages = {339--346}
}
• [28] R. Kirner, S. Scholz, F. Penczek, and A. Shafarenko, PS-NET – A Predictable Typed Coordination Language for Stream Processing in Resource-Constrained Environments, in Proc. 1st Int’l Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, 2010. bibtex
  @INPROCEEDINGS{Kirner:COMPTOOL2010_psnet,
  author = {Raimund Kirner and Sven-Bodo Scholz and Frank Penczek and Alex Shafarenko},
  title = {{PS-NET} - A Predictable Typed Coordination Language for Stream Processing in Resource-Constrained Environments},
  booktitle = {Proc. 1st Int'l Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking},
  year = {2010},
  month = {Nov.},
  location = {Lisbon, Portugal}
}
• [29] C. A. Herrmann and K. Hammond, Compositional Resource Analysis of Parametric Box-based Autonomous Vehicle Systems, in SEAS DTC Conference Proceedings, Edinburgh, UK, 2010, p. a8/1-18/12. bibtex
  @INPROCEEDINGS{SEAS2010,
  author = {Herrmann, C. A. and Hammond, K.},
  title = {{Compositional Resource Analysis of Parametric Box-based Autonomous Vehicle Systems}},
  booktitle = {SEAS DTC Conference Proceedings, Edinburgh, UK},
  year = {2010},
  pages = {A8/1-18/12}
}
• [30] 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
  @ARTICLE{PenHerGre+ICCS10,
  author = {Frank Penczek and Stephan Herhut and Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko and R\'emi Barri\`ere and Eric Lenormand},
  title = {Parallel signal processing with {S-Net}},
  journal = {Procedia Computer Science},
  year = {2010},
  volume = {1},
  pages = {2079 - 2088},
  number = {1},
  note = {ICCS 2010},
  doi = {DOI: 10.1016/j.procs.2010.04.233},
  issn = {1877-0509},
  keywords = {Parallel programming models},
  publisher = {Elsevier, Amsterdam},
  url = {http://www.sciencedirect.com/science/article/B9865-506HM1Y-88/2/87fcf1cee7899f0eeaadc90bd0d56cd3}
}
• [31] 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},
  pages = {38--67},
  number = {1},
  doi = {10.1007/s10766-009-0121-x},
  topics = {SNet}
}
• [32] 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 2.0, University of Hertfordshire, School of Computer Science, Hatfield, England, United Kingdom, Technical Report 499, 2010. bibtex
  @TECHREPORT{GrelShafCTCA10,
  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 2.0}},
  institution = {University of Hertfordshire, School of Computer Science},
  year = {2010},
  type = {Technical Report},
  number = {499},
  address = {Hatfield, England, United Kingdom},
  sourceurl = {http://www.snet-home.org/?page_id=7},
  topics = {SNet}
}
• [33] R. Poss and C. Jesshope, Towards scalable implicit communication and synchronization, in 1st ACM SIGPLAN Workshop on Advances in Message Passing(AMP’10), Toronto, Canada, 2010, 2010. bibtex
  @INPROCEEDINGS{xxx,
  author = {Raphael Poss and Chris Jesshope},
  title = {Towards scalable implicit communication and synchronization},
  booktitle = {1st ACM SIGPLAN Workshop on Advances in Message Passing(AMP'10), Toronto, Canada, 2010},
  year = {2010},
  month = {June},
  publisher = {ACM}
}
• [34] 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, 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},
  year = {2010},
  volume = {0},
  pages = {405-412},
  address = {Los Alamitos, CA, USA},
  doi = {http://doi.ieeecomputersociety.org/10.1109/ICPPW.2010.61},
  isbn = {978-0-7695-4157-0},
  issn = {1530-2016},
  publisher = {IEEE Computer Society}
}
• [35] E. Brady and K. Hammond, Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation, in Proc. ACM International Conference on Functional Programming (ICFP~2010), Baltimore, Maryland, USA, September 27-29, 2010, 2010, pp. 297-308. bibtex
  @INPROCEEDINGS{DBLP:conf/icfp/BradyH10,
  author = {Edwin Brady and Kevin Hammond},
  title = {{Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation}},
  booktitle = {Proc. ACM International Conference on Functional Programming (ICFP~2010), Baltimore, Maryland, USA, September 27-29, 2010},
  year = {2010},
  pages = {297-308},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/icfp/2010},
  ee = {http://doi.acm.org/10.1145/1863543.1863587}
}

Announcements

• • FD-COMA Workshop at HiPEAC Conference 2012
  • ADVANCE meeting in Riga/Latvia from 25. to 31. 7. 2011
  • First Project Review on 21./22. March 2011
  • ADVANCE technical meetings, 13. - 17. Dec. 2010
  • Project Coordinator gives presentation to High Performance Computing Consortium
  • ADVANCE project meeting in Vienna on 04./05. Oct. 2010
  • Project meeting on May 10, 2010
  • SAC Technology Workshop 26./27. May 2010

• Projects

  • The SAC Project
  • The S-Net project

• Mailing Lists

  • Advance-Public
  • Advance-Admin (internal)
  • Advance-Talk (internal)

• Feeds

• News