bldl.bib

@inproceedings{BaggeDavidHaveraaen2008oopsla_demo,
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
  title = {Axiom-based testing for {C++}},
  booktitle = {OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications},
  year = {2008},
  isbn = {978-1-60558-220-7},
  pages = {721--722},
  location = {Nashville, TN, USA},
  doi = {10.1145/1449814.1449829},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{BaggeDavidHaveraaen2008oopsla_poster,
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
  title = {Testing with concepts and axioms in {C++}},
  booktitle = {OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications},
  year = {2008},
  isbn = {978-1-60558-220-7},
  pages = {773--774},
  location = {Nashville, TN, USA},
  doi = {10.1145/1449814.1449855},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{BDHK06,
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen and Karl Trygve Kalleberg},
  title = {Stayin' alert: moulding failure and exceptions to your needs},
  booktitle = {GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering},
  year = {2006},
  isbn = {1-59593-237-2},
  pages = {265--274},
  location = {Portland, Oregon, USA},
  doi = {10.1145/1173706.1173747},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@techreport{BBKMV05,
  author = {Anya Helene Bagge and Martin Bravenboer and Karl Trygve Kalleberg and Koen Muilwijk and Eelco Visser},
  title = {Adaptive Code Reuse by Aspects, Cloning and Renaming},
  institution = {Department of Information and Computing Sciences, Universiteit Utrecht},
  year = 2005,
  number = {UU-CS-2005-031},
  address = {Utrecht, The Netherlands},
  month = {August},
  url = {http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-031.pdf},
  urltr = {http://www.cs.uu.nl/research/techreps/UU-CS-2005-031.html}
}
@inproceedings{BH08-axioms,
  author = {Anya Helene Bagge and Magne Haveraaen},
  title = {Axiom-Based Transformations: Optimisation and Testing},
  booktitle = {Eighth Workshop on Language Descriptions, Tools and Applications (LDTA 2008)},
  year = {2009},
  address = {Budapest, Hungary},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {238},
  issue = {5},
  pages = {17--33},
  doi = {10.1016/j.entcs.2009.09.038},
  publisher = {Elsevier},
  editor = {Jurgen J. Vinju and Adrian Johnstone}
}
@inproceedings{BaggeKalleberg2006dsal,
  author = {Anya Helene Bagge and Karl Trygve Kalleberg},
  title = {{DSAL} = library+notation: Program Transformation for Domain-Specific Aspect Languages},
  booktitle = {Proceedings of the Domain-Specific Aspect Languages Workshop},
  editors = {Thomas Cleenewerck et al},
  year = 2006,
  month = {October},
  location = {Portland, Oregon, USA},
  category = {refereed, online}
}
@inproceedings{HaveraaenBrkic2005nik,
  author = {Magne Haveraaen and Enida Brkic},
  title = {Structured testing in {Sophus}},
  editor = {Eivind Coward},
  booktitle = {Norsk informatikkonferanse NIK'2005},
  subbooktitle = {Norsk informatikkonferanse Bergen, November 21--23 2005},
  year = 2005,
  pages = {43--54},
  publisher = {Tapir akademisk forlag, Trondheim, Norway},
  url = {http://www.nik.no/2005/}
}
@inproceedings{bagge-haveraaen-ldta09,
  author = {Anya Helene Bagge and Magne Haveraaen},
  title = {Interfacing Concepts: Why Declaration Style Shouldn't Matter},
  booktitle = {Proceedings of the Ninth Workshop on Language Descriptions, Tools and Applications (LDTA '09)},
  address = {York, UK},
  series = {Electronic Notes in Theoretical Computer Science},
  editor = {Torbj{\"o}rn Ekman and Jurgen J. Vinju},
  publisher = {Elsevier},
  volume = {253},
  issue = {7},
  pages = {37--50},
  year = {2010},
  issn = {1571-0661},
  doi = {10.1016/j.entcs.2010.08.030},
  url = {http://www.sciencedirect.com/science/article/B75H1-50YNH9B-4/2/667b42e4dc112a786dcb3c8ff8f3e8bf}
}
@inproceedings{bagge-sle09-yales,
  author = {Bagge, Anya Helene},
  title = {Yet Another Language Extension Scheme},
  booktitle = {SLE '09: Proceedings of the Second International Conference on Software Language Engineering},
  year = {2010},
  month = {March},
  series = {LNCS},
  pages = {123-132},
  volume = {5969},
  editor = {Mark van den Brand and Dragan Gašević and Jeff Gray},
  location = {Denver, Colorado, USA},
  publisher = {Springer},
  doi = {10.1007/978-3-642-12107-4_9}
}
@phdthesis{bagge-thesis-2009,
  author = {Anya Helene Bagge},
  title = {Constructs \& {C}oncepts: Language Design for Flexibility and Reliability},
  year = 2009,
  school = {Research School in Information and Communication Technology, Department of Informatics, University of Bergen, Norway},
  address = {PB 7803, 5020 Bergen, Norway},
  isbn = {978-82-308-0887-0},
  www = {http://www.ii.uib.no/~anya/phd/},
  url = {http://bldl.ii.uib.no/phd/bagge-phd-web.pdf}
}
@phdthesis{david-thesis-2009,
  author = {Valentin David},
  title = {Language Constructs for {C++}-like Languages: Tools and Extensions},
  school = {Research School in Information and Communication Technology (ICT), University of Bergen},
  institution = {University of Bergen},
  address = {PB 7803, 5020 Bergen, Norway},
  year = 2009,
  www = {http://bldl.ii.uib.no/phd/david.html},
  url = {http://bldl.ii.uib.no/phd/david.pdf}
}
@inproceedings{bagge-david-haveraaen-2009-testing,
  author = {Bagge, Anya Helene and David, Valentin and Haveraaen, Magne},
  title = {The Axioms Strike Back: Testing with Concepts and Axioms in {C++}},
  booktitle = {GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering},
  year = {2009},
  isbn = {978-1-60558-494-2},
  pages = {15--24},
  location = {Denver, Colorado, USA},
  doi = {10.1145/1621607.1621612},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{haveraaen-kalleberg-2008-jaxt,
  author = {Haveraaen, Magne and Kalleberg, Karl Trygve},
  title = {{JAxT} and {JDI}: The Simplicity of {JUnit} Applied to Axioms and Data Invariants},
  booktitle = {OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications},
  year = {2008},
  isbn = {978-1-60558-220-7},
  pages = {731--732},
  location = {Nashville, TN, USA},
  doi = {10.1145/1449814.1449834},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{david-2008-concepts,
  author = {David, Valentin},
  title = {Preparing for {C++0x}},
  booktitle = {OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications},
  year = {2008},
  isbn = {978-1-60558-220-7},
  pages = {769--770},
  location = {Nashville, TN, USA},
  doi = {10.1145/1449814.1449853},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@article{burrows-haveraaen-09-jlap,
  author = {Eva Burrows and Magne Haveraaen},
  title = {A Hardware Independent Parallel Programming Model},
  journal = {Journal of Logic and Algebraic Programming},
  year = 2009,
  volume = {78},
  issue = {7},
  nonumber = {0},
  nopages = {22},
  pages = {519-538},
  publisher = {Elsevier},
  doi = {10.1016/j.jlap.2009.06.002}
}
@inproceedings{burrows-haveraaen-09-nik,
  author = {Eva Burrows and Magne Haveraaen},
  title = {Dependency-driven Parallel Programming},
  booktitle = {Proceedings of the Norsk Informatikk Konferanse (NIK 2009)},
  year = 2009,
  publihser = {Tapir},
  address = {Trondheim, Norway}
}
@article{AnderlikHaveraaen2003fm,
  author = {Alexa Anderlik and Magne Haveraaen},
  title = {On the category of data dependency algebras and embeddings},
  journal = {Proceedings of the Estonian Academy of Sciences, Physics, Mathematics},
  year = 2003,
  volume = {52},
  number = {4},
  pages = {337--355},
  url = {http://www.kirj.ee/public/va_fm/s03-4-fm.htm}
}
@inproceedings{Haveraaen2007lcsd,
  author = {Haveraaen, Magne},
  title = {Institutions, property-aware programming and testing},
  booktitle = {LCSD '07: Proceedings of the 2007 Symposium on Library-Centric Software Design},
  year = {2007},
  isbn = {978-1-60558-086-9},
  pages = {21--30},
  location = {Montreal, Canada},
  doi = {10.1145/1512762.1512765},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@article{HaveraaenFriis2009ijcse,
  author = {Magne Haveraaen and Helmer Andr{\'e} Friis},
  title = {Coordinate-free numerics: all your variation points for free?},
  journal = {Int. J. Comput. Sci. Eng.},
  volume = {4},
  number = {4},
  year = {2009},
  issn = {1742-7185},
  pages = {223--230},
  publisher = {Inderscience Publishers},
  address = {Inderscience Publishers, Geneva, Switzerland},
  doi = {10.1504/IJCSE.2009.029159}
}
@inproceedings{DavidHaveraaen2009scam,
  author = {David, Valentin and Haveraaen, Magne},
  title = {Concepts as Syntactic Sugar},
  booktitle = {SCAM '09: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation},
  year = {2009},
  isbn = {978-0-7695-3793-1},
  pages = {147--156},
  doi = {10.1109/SCAM.2009.26},
  publisher = {IEEE Computer Society},
  address = {Washington, DC, USA},
  acmref = 1638016
}
@inproceedings{bagge-2010-langspec,
  editor = {Claus Brabrand and Pierre-Etienne Moreau},
  author = {Bagge, Anya Helene},
  title = {Language description for Front End implementation},
  booktitle = {Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications},
  series = {LDTA '10},
  year = {2010},
  month = {November},
  isbn = {978-1-4503-0063-6},
  location = {Paphos, Cyprus},
  pages = {9:1--9:8},
  articleno = {9},
  numpages = {8},
  doi = {10.1145/1868281.1868290},
  acmid = {1868290},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{hodzic-haveraaen-2010-institutions,
  author = {Adis Hodzic and Magne Haveraaen},
  title = {Software Institutions},
  editor = {Magne Haveraaen and Marina Lenisa and John Power and Monika Seisenberger},
  booktitle = {CALCO Young Researchers Workshop 2009 -- CALCO-jnr},
  pages = {47--62},
  year = 2010,
  url = {http://calco09.dimi.uniud.it/calcojnr_booklet.pdf}
}
@phdthesis{burrows-thesis-2011,
  author = {Eva Burrows},
  title = {Programming with Explicit Dependencies: A Framework for Portable Parallel Programming},
  year = 2011,
  school = {Research School in Information and Communication Technology, Department of Informatics, University of Bergen, Norway},
  address = {PB 7803, 5020 Bergen, Norway},
  isbn = {978-82-308-1730-8},
  www = {http://bldl.ii.uib.no/phd/burrows.html},
  url = {http://bldl.ii.uib.no/phd/burrows.pdf}
}
@article{bagge-david-haveraaen-2011-jot-testing,
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
  title = {Testing with Axioms in {C++~2011}},
  journal = {Journal of Object Technology},
  volume = {10},
  issn = {1660-1769},
  year = {2011},
  pages = {10:1-32},
  doi = {10.5381/jot.2011.10.1.a10},
  url = {http://www.jot.fm/contents/issue_2011_01/article10.html}
}
@inproceedings{burrows-haveraaen-2012-damp,
  author = {Burrows, Eva and Haveraaen, Magne},
  title = {Programmable Data Dependencies and Placements},
  booktitle = {Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming},
  series = {DAMP '12},
  year = {2012},
  isbn = {978-1-4503-1117-5},
  location = {Philadelphia, Pennsylvania, USA},
  pages = {31--40},
  numpages = {10},
  doi = {10.1145/2103736.2103741},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {FPGA, GPGPU, data dependency, hardware abstraction, manycore, platform-independence}
}
@inproceedings{bagge-2012-alerts,
  author = {Bagge, Anya Helene},
  title = {Separating Exceptional Concerns},
  booktitle = {Proceedings of the 5th International Workshop on Exception Handling (WEH'12)},
  year = {2012},
  location = {Z\"{u}rich, Switzerland},
  pages = {49--51},
  publisher = {IEEE},
  doi = {10.1109/WEH.2012.6226599},
  month = {June}
}
@inproceedings{hasu-2012-errors,
  author = {Hasu, Tero},
  title = {Concrete Error Handling Mechanisms Should Be Configurable},
  booktitle = {Proceedings of the 5th International Workshop on Exception Handling (WEH'12)},
  year = {2012},
  location = {Z\"{u}rich, Switzerland},
  pages = {46--48},
  publisher = {IEEE},
  doi = {10.1109/WEH.2012.6226598},
  month = {June}
}
@inproceedings{Jarvi:2012:EMD:2364394.2364399,
  author = {J\"{a}rvi, Jaakko and Haveraaen, Magne and Freeman, John and Marcus, Mat},
  title = {Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious},
  booktitle = {Proceedings of the 8th ACM SIGPLAN workshop on Generic programming},
  series = {WGP '12},
  year = {2012},
  isbn = {978-1-4503-1576-0},
  location = {Copenhagen, Denmark},
  pages = {25--32},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/2364394.2364399},
  doi = {10.1145/2364394.2364399},
  acmid = {2364399},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {code reuse, data-flow constraint systems, generic programming}
}
@inproceedings{bagge-laemmel-icmt13-nuthatch,
  author = {Bagge, Anya Helene and L\"{a}mmel, Ralf},
  title = {Walk Your Tree Any Way You Want},
  booktitle = {Proceedings of the Sixth International Conference on Model Transformation (ICMT'13)},
  year = {2013},
  month = {June},
  series = {LNCS},
  editor = {Keith Duddy and Gerti Kappel},
  location = {Budapest, Hungary},
  publisher = {Springer},
  url = {http://nuthatchery.org/icmt13/},
  doi = {10.1007/978-3-642-38883-5_3},
  pages = {33-49},
  volume = {7909}
}
@inproceedings{bagge-wasdett13-ide,
  author = {Anya Helene Bagge},
  title = {Facts, Resources and the {IDE}/Compiler Mind-Meld},
  booktitle = {Proceedings of the 4th International Workshop on Academic Software Development Tools and Techniques (WASDeTT'13)},
  year = {2013},
  month = {July},
  location = {Montpellier, France},
  url = {http://wasdett.org/2013/submissions/wasdett2013_submission_10.pdf}
}
@inproceedings{hasu-etal-nordsec13-permissions,
  author = {Hasu, Tero and Bagge, Anya Helene and Haveraaen, Magne},
  title = {Inferring Required Permissions for Statically Composed Programs},
  booktitle = {Proceedings of the 18th Nordic Conference on Secure IT Systems (NordSec'13)},
  editor = {Hanne Riis Nielson and Dieter Gollmann},
  series = {LNCS},
  volume = 8208,
  pages = {51--66},
  year = {2013},
  month = {October},
  publisher = {Springer},
  location = {Ilulissat, Greenland},
  doi = {10.1007/978-3-642-41488-6_4}
}
@inproceedings{bagge-hasu-13-pretty,
  author = {Bagge, Anya Helene and Hasu, Tero},
  title = {A Pretty Good Formatting Pipeline},
  booktitle = {Proceedings of the 6th International Conference on Software Language Engineering},
  editor = {Martin Erwig and Richard F. Paige and Eric Van Wyk},
  series = {LNCS},
  volume = 8225,
  pages = {177--196},
  year = 2013,
  month = {October},
  publisher = {Springer},
  location = {Indianapolis, Indiana},
  url = {http://nuthatchery.org/sle13/},
  doi = {10.1007/978-3-319-02654-1_10}
}
@inproceedings{rosbach-bagge-13-misconceptions,
  author = {Rosbach, Alexander Hoem and Bagge, Anya Helene},
  title = {Classifying and Measuring Student Problems and Misconceptions},
  booktitle = {Norsk informatikkonferanse (NIK'2013)},
  year = 2013,
  location = {Stavanger, Norway},
  publisher = {Akademika Forlag},
  isbn = {978-82-321-0365-2},
  pages = {110-121}
}
@inproceedings{haveraaen-morris-rouson-2013,
  author = {Haveraaen, Magne and Morris, Karla and Rouson, Damian},
  title = {High-performance Design Patterns for Modern Fortran},
  booktitle = {Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering},
  series = {SE-HPCCSE '13},
  year = {2013},
  isbn = {978-1-4503-2499-1},
  location = {Denver, Colorado},
  pages = {1--8},
  numpages = {8},
  url = {http://sc13.supercomputing.org/sites/default/files/PostersArchive/post259.html},
  doi = {10.1145/2532352.2532358},
  acmid = {2532358},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {Fortran, co-arrays, compute globally -- return locally, coordinate-free programming, high performance computing, scientific computing}
}
@inproceedings{bagge-zaytsev-13-oopsle,
  author = {Bagge, Anya Helene and Zaytsev, Vadim},
  booktitle = {20th Working Conference on Reverse Engineering (WCRE'13)},
  title = {Workshop on Open and Original Problems in Software Language Engineering},
  year = {2013},
  pages = {493-494},
  doi = {10.1109/WCRE.2013.6671334},
  kind = {workshop-description},
  category = {sle}
}
@inproceedings{bagge-zaytsev-14-oopsle,
  author = {Bagge, Anya Helene and Zaytsev, Vadim},
  booktitle = {Software Evolution Week 2014 (CSMR/WCRE'14)},
  title = {Workshop on Open and Original Problems in Software Language Engineering},
  year = {2014},
  note = {To appear},
  kind = {workshop-description},
  category = {sle}
}
@inproceedings{Burrows-FPGA14,
  author = {Eva Burrows},
  title = {Compiling a Dataflow-based Language Abstraction onto an {FPGA}},
  booktitle = {Parallel Computing: Accelerating Computational Science and Engineering
               (CSE), Proceedings of the International Conference on Parallel Computing,
               ParCo 2013, 10-13 September 2013, Garching (near Munich), Germany},
  pages = {507--514},
  year = {2014},
  url = {http://dx.doi.org/10.3233/978-1-61499-381-0-507},
  doi = {10.3233/978-1-61499-381-0-507}
}

This file was generated by bibtex2html 1.98.