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},
url = {https://dsal.dcc.uchile.cl/2006/accepted_papers.html}
}
@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 = {https://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},
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},
doi = {10.1109/CSMR-WCRE.2014.6747223},
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},
doi = {10.3233/978-1-61499-381-0-507}
}
@inproceedings{BaggeHaveraaen2014hilt,
author = {Bagge, Anya Helene and Haveraaen, Magne},
title = {Specification of Generic APIs, or: Why Algebraic May Be Better Than Pre/Post},
booktitle = {Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology},
series = {HILT '14},
year = {2014},
isbn = {978-1-4503-3217-0},
location = {Portland, Oregon, USA},
pages = {71--80},
numpages = {10},
url = {http://doi.acm.org/10.1145/2663171.2663183},
doi = {10.1145/2663171.2663183},
acmid = {2663183},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {api specification, apis, axioms, generic programming, program specification}
}
@inproceedings{ZaytsevBagge2014models,
author = {Vadim Zaytsev and
Anya Helene Bagge},
title = {Parsing in a Broad Sense},
booktitle = {Model-Driven Engineering Languages and Systems - 17th International
Conference, {MODELS} 2014, Valencia, Spain, September 28 - October
3, 2014. Proceedings},
pages = {50--67},
year = {2014},
doi = {10.1007/978-3-319-11653-2_4},
editor = {J{\"{u}}rgen Dingel and
Wolfram Schulte and
Isidro Ramos and
Silvia Abrah{\~{a}}o and
Emilio Insfr{\'{a}}n},
series = {Lecture Notes in Computer Science},
volume = {8767},
publisher = {Springer},
isbn = {978-3-319-11652-5}
}
@inproceedings{BaggeLammelZaytsev2014models-educators,
author = {Anya Helene Bagge and
Ralf L{\"{a}}mmel and
Vadim Zaytsev},
title = {Reflections on Courses for Software Language Engineering},
booktitle = {Proceedings of the {MODELS} Educators Symposium co-located with the {ACM/IEEE} 17th International Conference on Model Driven Engineering Languages and Systems ({MODELS} 2014), Valencia, Spain, September 29, 2014.},
pages = {54--63},
year = {2014},
url = {http://ceur-ws.org/Vol-1346/edusymp2014_paper_6.pdf},
editor = {Birgit Demuth and
Dave R. Stikkolorum},
series = {{CEUR} Workshop Proceedings},
volume = {1346},
publisher = {CEUR-WS.org},
urn = {urn:nbn:de:0074-1346-4}
}
@inproceedings{BaggeBaggeBuanesEilertsenHerlandIvanova2014nik,
author = {May{-}Lill Bagge and
Anya Helene Bagge and
Baste Nesse Buanes and
Anna Maria Eilertsen and
Alf Kristoffer Herland and
Sofija Ivanova},
title = {Nerding for Newbies 2014 {A} Summer School in Computers {\&} Programming},
booktitle = {27th Norsk Informatikkonferanse, {NIK} 2014, H{\o}gskolen i {\O}stfold,
Fredrikstad, Norway, November 17-19, 2014},
year = {2014},
url = {http://ojs.bibsys.no/index.php/NIK/article/view/22},
publisher = {Bibsys Open Journal Systems, Norway}
}
@inproceedings{BaggeZaytsev2014sattose,
author = {Anya Helene Bagge and
Vadim Zaytsev},
title = {Languages, Models and Megamodels},
booktitle = {Post-proceedings of the Seventh Seminar on Advanced Techniques and
Tools for Software Evolution, SATToSE 2014, L'Aquila, Italy, 9-11
July 2014.},
pages = {132--143},
year = {2014},
url = {http://ceur-ws.org/Vol-1354/paper-12.pdf},
editor = {Davide Di Ruscio and
Vadim Zaytsev},
series = {{CEUR} Workshop Proceedings},
volume = {1354},
publisher = {CEUR-WS.org}
}
@inproceedings{JarviFoustHaveraaen2014gpce,
author = {J\"{a}rvi, Jaakko and Foust, Gabriel and Haveraaen, Magne},
title = {Specializing Planners for Hierarchical Multi-way Dataflow Constraint Systems},
booktitle = {Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences},
series = {GPCE 2014},
year = {2014},
isbn = {978-1-4503-3161-6},
location = {V\&\#228;ster\&\#229;s, Sweden},
pages = {1--10},
numpages = {10},
doi = {10.1145/2658761.2658762},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {DFAs, Dataflow constraint systems, program specialization, user interfaces}
}
@inproceedings{Bagge2015sle,
author = {Bagge, Anya Helene},
title = {Analysis and Transformation with the Nuthatch Tree-walking Library},
booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering},
series = {SLE 2015},
year = {2015},
isbn = {978-1-4503-3686-4},
location = {Pittsburgh, PA, USA},
pages = {83--88},
numpages = {6},
doi = {10.1145/2814251.2814264},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Tree walking, pattern matching, transformation, tree traversal}
}
@article{BaggeZaytsev2015sigsoft,
author = {Anya Helene Bagge and
Vadim Zaytsev},
title = {Open and Original Problems in Software Language Engineering 2015 Workshop
Report},
journal = {{ACM} {SIGSOFT} Software Engineering Notes},
volume = {40},
number = {3},
pages = {32--37},
year = {2015},
doi = {10.1145/2757308.2757313}
}
@article{TangJarvi2015scp,
author = {Xiaolong Tang and
Jaakko J{\"{a}}rvi},
title = {Axioms as generic rewrite rules in {C++} with concepts},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {320--330},
year = {2015},
doi = {10.1016/j.scico.2014.05.006}
}
@inproceedings{FoustJarviParent2015gpce,
author = {Foust, Gabriel and J\"{a}rvi, Jaakko and Parent, Sean},
title = {Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems},
booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences},
series = {GPCE 2015},
year = {2015},
isbn = {978-1-4503-3687-1},
location = {Pittsburgh, PA, USA},
pages = {121--130},
numpages = {10},
doi = {10.1145/2814204.2814207},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Dataflow constraint systems, Graphical user interfaces, asynchronous programming}
}
@inproceedings{WilkinsJarviJainKejriwalKerneGumudavelly2015interact,
author = {Jason Wilkins and
Jaakko J{\"{a}}rvi and
Ajit Jain and
Gaurav Kejriwal and
Andruid Kerne and
Vijay Gumudavelly},
title = {EvolutionWorks - Towards Improved Visualization of Citation Networks},
booktitle = {Human-Computer Interaction - {INTERACT} 2015 - 15th {IFIP} {TC} 13
International Conference, Bamberg, Germany, September 14-18, 2015,
Proceedings, Part {IV}},
pages = {213--230},
year = {2015},
doi = {10.1007/978-3-319-22723-8_17},
editor = {Julio Abascal and
Simone D. J. Barbosa and
Mirko Fetter and
Tom Gross and
Philippe A. Palanque and
Marco Winckler},
series = {Lecture Notes in Computer Science},
volume = {9299},
publisher = {Springer},
url = {https://doi.org/10.1007/978-3-319-22723-8},
isbn = {978-3-319-22722-1}
}
@article{HaveraaenMorrisRousonRadhakrishnanCarson2015sp,
author = {Magne Haveraaen and
Karla Morris and
Damian W. I. Rouson and
Hari Radhakrishnan and
Clayton Carson},
title = {High-Performance Design Patterns for Modern Fortran},
journal = {Scientific Programming},
volume = {2015},
pages = {942059:1--942059:14},
year = {2015},
url = {https://doi.org/10.1155/2015/942059},
doi = {10.1155/2015/942059}
}
@inproceedings{HasuHaveraaen2016nik,
author = {Tero Hasu and
Magne Haveraaen},
title = {Errors as Data Values},
booktitle = {29th Norsk Informatikkonferanse, {NIK} 2016, H{\o}gskolen i Bergen,
Bergen, Norway, November 28-30, 2016},
year = {2016},
url = {http://ojs.bibsys.no/index.php/NIK/article/view/358},
publisher = {Bibsys Open Journal Systems, Norway}
}
@inproceedings{JarviParent16,
author = {Jaakko J{\"{a}}rvi and
Sean Parent},
title = {One Way to Select Many},
booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
July 18-22, 2016, Rome, Italy},
pages = {14:1--14:26},
year = {2016},
doi = {10.4230/LIPIcs.ECOOP.2016.14},
editor = {Shriram Krishnamurthi and
Benjamin S. Lerner},
series = {LIPIcs},
volume = {56},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-014-9},
isbn = {978-3-95977-014-9}
}
@article{JarviParent2016darts-artifact,
author = {Jaakko J{\"{a}}rvi and
Sean Parent},
title = {One Way to Select Many (Artifact)},
journal = {{DARTS}},
volume = {2},
number = {1},
pages = {07:1--07:2},
year = {2016},
doi = {10.4230/DARTS.2.1.7},
timestamp = {Mon, 29 May 2017 13:22:05 +0200},
biburl = {https://dblp.org/rec/bib/journals/darts/JarviP16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{RamanathanJarvi2016nik,
author = {Anirudh Ramanathan and
Jaakko J{\"{a}}rvi},
title = {Reusable Multi-selection in Touch-Screen User Interfaces},
booktitle = {29th Norsk Informatikkonferanse, {NIK} 2016, H{\o}gskolen i Bergen,
Bergen, Norway, November 28-30, 2016},
year = {2016},
url = {http://ojs.bibsys.no/index.php/NIK/article/view/357},
publisher = {Bibsys Open Journal Systems, Norway}
}
@article{Bagge2017scp,
author = {Anya Helene Bagge},
title = {Managing facts and resources with the Pica {IDE} infrastructure library},
journal = {Sci. Comput. Program.},
volume = {134},
pages = {100--111},
year = {2017},
doi = {10.1016/j.scico.2016.09.004}
}
@inproceedings{Haveraaen2017ershov,
author = {Magne Haveraaen},
title = {Domain Engineering the {Magnolia} Way},
booktitle = {Perspectives of System Informatics - 11th International Andrei P.
Ershov Informatics Conference, {PSI} 2017, Moscow, Russia, June 27-29,
2017, Revised Selected Papers},
pages = {196--210},
year = {2017},
doi = {10.1007/978-3-319-74313-4_15},
editor = {Alexander K. Petrenko and
Andrei Voronkov},
series = {Lecture Notes in Computer Science},
volume = {10742},
publisher = {Springer},
url = {https://doi.org/10.1007/978-3-319-74313-4},
isbn = {978-3-319-74312-7}
}
@inproceedings{Haveraaen2018array-pldi,
author = {Haveraaen, Magne},
title = {Proving a Core Code for {FDM} Correct by $2+Dw$ Tests},
booktitle = {Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming},
series = {ARRAY 2018},
year = {2018},
isbn = {978-1-4503-5852-1},
location = {Philadelphia, PA, USA},
pages = {42--49},
numpages = {8},
doi = {10.1145/3219753.3219759},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Array abstraction, CPU, GPU, correctness by testing, discrete API, explicit finite difference method, generic programming, ringfield/grid-free API, user defined abstraction}
}
@inproceedings{BurrowsFriisHaveraaen2018array-pldi,
author = {Burrows, Eva and Friis, Helmer Andr{\'e} and Haveraaen, Magne},
title = {An Array API for Finite Difference Methods},
booktitle = {Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming},
series = {ARRAY 2018},
year = {2018},
isbn = {978-1-4503-5852-1},
location = {Philadelphia, PA, USA},
pages = {59--66},
numpages = {8},
doi = {10.1145/3219753.3219761},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Array API, Exascale Computing, Explicit Finite Difference Methods, Multiarray API, Scientific Computing, Stencil Computations}
}
This file was generated by bibtex2html 1.96.