BLDL Publications (newest first)

See also: BLDL (by author), SAGA publications.

[1] Magne Haveraaen. Proving a core code for FDM correct by 2+dw tests. In Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2018, pages 42-49, New York, NY, USA, 2018. ACM. [ bib | DOI ]
Keywords: Array abstraction, CPU, GPU, correctness by testing, discrete API, explicit finite difference method, generic programming, ringfield/grid-free API, user defined abstraction
[2] Eva Burrows, Helmer André Friis, and Magne Haveraaen. An array api for finite difference methods. In Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2018, pages 59-66, New York, NY, USA, 2018. ACM. [ bib | DOI ]
Keywords: Array API, Exascale Computing, Explicit Finite Difference Methods, Multiarray API, Scientific Computing, Stencil Computations
[3] Anya Helene Bagge. Managing facts and resources with the pica IDE infrastructure library. Sci. Comput. Program., 134:100-111, 2017. [ bib | DOI ]
[4] Magne Haveraaen. Domain engineering the Magnolia way. In Alexander K. Petrenko and Andrei Voronkov, editors, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, volume 10742 of Lecture Notes in Computer Science, pages 196-210. Springer, 2017. [ bib | DOI | http ]
[5] Tero Hasu and Magne Haveraaen. Errors as data values. In 29th Norsk Informatikkonferanse, NIK 2016, Høgskolen i Bergen, Bergen, Norway, November 28-30, 2016. Bibsys Open Journal Systems, Norway, 2016. [ bib | http ]
[6] Jaakko Järvi and Sean Parent. One way to select many. In Shriram Krishnamurthi and Benjamin S. Lerner, editors, 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, volume 56 of LIPIcs, pages 14:1-14:26. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [ bib | DOI | http ]
[7] Jaakko Järvi and Sean Parent. One way to select many (artifact). DARTS, 2(1):07:1-07:2, 2016. [ bib | DOI ]
[8] Anirudh Ramanathan and Jaakko Järvi. Reusable multi-selection in touch-screen user interfaces. In 29th Norsk Informatikkonferanse, NIK 2016, Høgskolen i Bergen, Bergen, Norway, November 28-30, 2016. Bibsys Open Journal Systems, Norway, 2016. [ bib | http ]
[9] Anya Helene Bagge. Analysis and transformation with the nuthatch tree-walking library. In Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, pages 83-88, New York, NY, USA, 2015. ACM. [ bib | DOI ]
Keywords: Tree walking, pattern matching, transformation, tree traversal
[10] Anya Helene Bagge and Vadim Zaytsev. Open and original problems in software language engineering 2015 workshop report. ACM SIGSOFT Software Engineering Notes, 40(3):32-37, 2015. [ bib | DOI ]
[11] Xiaolong Tang and Jaakko Järvi. Axioms as generic rewrite rules in C++ with concepts. Sci. Comput. Program., 97:320-330, 2015. [ bib | DOI ]
[12] Gabriel Foust, Jaakko Järvi, and Sean Parent. Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems. In Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2015, pages 121-130, New York, NY, USA, 2015. ACM. [ bib | DOI ]
Keywords: Dataflow constraint systems, Graphical user interfaces, asynchronous programming
[13] Jason Wilkins, Jaakko Järvi, Ajit Jain, Gaurav Kejriwal, Andruid Kerne, and Vijay Gumudavelly. Evolutionworks - towards improved visualization of citation networks. In Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe A. Palanque, and Marco Winckler, editors, Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV, volume 9299 of Lecture Notes in Computer Science, pages 213-230. Springer, 2015. [ bib | DOI | http ]
[14] Magne Haveraaen, Karla Morris, Damian W. I. Rouson, Hari Radhakrishnan, and Clayton Carson. High-performance design patterns for modern fortran. Scientific Programming, 2015:942059:1-942059:14, 2015. [ bib | DOI | http ]
[15] Anya Helene Bagge and Vadim Zaytsev. Workshop on open and original problems in software language engineering. In Software Evolution Week 2014 (CSMR/WCRE'14), 2014. [ bib | DOI ]
[16] Eva Burrows. Compiling a dataflow-based language abstraction onto an FPGA. In 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, 2014. [ bib | DOI ]
[17] Anya Helene Bagge and Magne Haveraaen. Specification of generic apis, or: Why algebraic may be better than pre/post. In Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology, HILT '14, pages 71-80, New York, NY, USA, 2014. ACM. [ bib | DOI | http ]
Keywords: api specification, apis, axioms, generic programming, program specification
[18] Vadim Zaytsev and Anya Helene Bagge. Parsing in a broad sense. In Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, and Emilio Insfrán, editors, Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings, volume 8767 of Lecture Notes in Computer Science, pages 50-67. Springer, 2014. [ bib | DOI ]
[19] Anya Helene Bagge, Ralf Lämmel, and Vadim Zaytsev. Reflections on courses for software language engineering. In Birgit Demuth and Dave R. Stikkolorum, editors, 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., volume 1346 of CEUR Workshop Proceedings, pages 54-63. CEUR-WS.org, 2014. [ bib | .pdf ]
[20] May-Lill Bagge, Anya Helene Bagge, Baste Nesse Buanes, Anna Maria Eilertsen, Alf Kristoffer Herland, and Sofija Ivanova. Nerding for newbies 2014 A summer school in computers & programming. In 27th Norsk Informatikkonferanse, NIK 2014, Høgskolen i Østfold, Fredrikstad, Norway, November 17-19, 2014. Bibsys Open Journal Systems, Norway, 2014. [ bib | http ]
[21] Anya Helene Bagge and Vadim Zaytsev. Languages, models and megamodels. In Davide Di Ruscio and Vadim Zaytsev, editors, Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, SATToSE 2014, L'Aquila, Italy, 9-11 July 2014., volume 1354 of CEUR Workshop Proceedings, pages 132-143. CEUR-WS.org, 2014. [ bib | .pdf ]
[22] Jaakko Järvi, Gabriel Foust, and Magne Haveraaen. Specializing planners for hierarchical multi-way dataflow constraint systems. In Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014, pages 1-10, New York, NY, USA, 2014. ACM. [ bib | DOI ]
Keywords: DFAs, Dataflow constraint systems, program specialization, user interfaces
[23] Tero Hasu, Anya Helene Bagge, and Magne Haveraaen. Inferring required permissions for statically composed programs. In Hanne Riis Nielson and Dieter Gollmann, editors, Proceedings of the 18th Nordic Conference on Secure IT Systems (NordSec'13), volume 8208 of LNCS, pages 51-66. Springer, October 2013. [ bib | DOI ]
[24] Anya Helene Bagge and Tero Hasu. A pretty good formatting pipeline. In Martin Erwig, Richard F. Paige, and Eric Van Wyk, editors, Proceedings of the 6th International Conference on Software Language Engineering, volume 8225 of LNCS, pages 177-196. Springer, October 2013. [ bib | DOI | http ]
[25] Anya Helene Bagge. Facts, resources and the IDE/compiler mind-meld. In Proceedings of the 4th International Workshop on Academic Software Development Tools and Techniques (WASDeTT'13), July 2013. [ bib | .pdf ]
[26] Anya Helene Bagge and Ralf Lämmel. Walk your tree any way you want. In Keith Duddy and Gerti Kappel, editors, Proceedings of the Sixth International Conference on Model Transformation (ICMT'13), volume 7909 of LNCS, pages 33-49. Springer, June 2013. [ bib | DOI | http ]
[27] Alexander Hoem Rosbach and Anya Helene Bagge. Classifying and measuring student problems and misconceptions. In Norsk informatikkonferanse (NIK'2013), pages 110-121. Akademika Forlag, 2013. [ bib ]
[28] Magne Haveraaen, Karla Morris, and Damian Rouson. High-performance design patterns for modern fortran. In Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, SE-HPCCSE '13, pages 1-8, New York, NY, USA, 2013. ACM. [ bib | DOI | .html ]
Keywords: Fortran, co-arrays, compute globally - return locally, coordinate-free programming, high performance computing, scientific computing
[29] Anya Helene Bagge and Vadim Zaytsev. Workshop on open and original problems in software language engineering. In 20th Working Conference on Reverse Engineering (WCRE'13), pages 493-494, 2013. [ bib | DOI ]
[30] Anya Helene Bagge. Separating exceptional concerns. In Proceedings of the 5th International Workshop on Exception Handling (WEH'12), pages 49-51. IEEE, June 2012. [ bib | DOI ]
[31] Tero Hasu. Concrete error handling mechanisms should be configurable. In Proceedings of the 5th International Workshop on Exception Handling (WEH'12), pages 46-48. IEEE, June 2012. [ bib | DOI ]
[32] Eva Burrows and Magne Haveraaen. Programmable data dependencies and placements. In Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming, DAMP '12, pages 31-40, New York, NY, USA, 2012. ACM. [ bib | DOI ]
Keywords: FPGA, GPGPU, data dependency, hardware abstraction, manycore, platform-independence
[33] Jaakko Järvi, Magne Haveraaen, John Freeman, and Mat Marcus. Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious. In Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, WGP '12, pages 25-32, New York, NY, USA, 2012. ACM. [ bib | DOI ]
Keywords: code reuse, data-flow constraint systems, generic programming
[34] Eva Burrows. Programming with Explicit Dependencies: A Framework for Portable Parallel Programming. PhD thesis, Research School in Information and Communication Technology, Department of Informatics, University of Bergen, Norway, PB 7803, 5020 Bergen, Norway, 2011. [ bib | .pdf ]
[35] Anya Helene Bagge, Valentin David, and Magne Haveraaen. Testing with axioms in C++ 2011. Journal of Object Technology, 10:10:1-32, 2011. [ bib | DOI | .html ]
[36] Anya Helene Bagge. Language description for front end implementation. In Claus Brabrand and Pierre-Etienne Moreau, editors, Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA '10, pages 9:1-9:8, New York, NY, USA, November 2010. ACM. [ bib | DOI ]
[37] Anya Helene Bagge. Yet another language extension scheme. In Mark van den Brand, Dragan Gašević, and Jeff Gray, editors, SLE '09: Proceedings of the Second International Conference on Software Language Engineering, volume 5969 of LNCS, pages 123-132. Springer, March 2010. [ bib | DOI ]
[38] Anya Helene Bagge and Magne Haveraaen. Interfacing concepts: Why declaration style shouldn't matter. In Torbjörn Ekman and Jurgen J. Vinju, editors, Proceedings of the Ninth Workshop on Language Descriptions, Tools and Applications (LDTA '09), volume 253 of Electronic Notes in Theoretical Computer Science, pages 37-50, York, UK, 2010. Elsevier. [ bib | DOI | http ]
[39] Adis Hodzic and Magne Haveraaen. Software institutions. In Magne Haveraaen, Marina Lenisa, John Power, and Monika Seisenberger, editors, CALCO Young Researchers Workshop 2009 - CALCO-jnr, pages 47-62, 2010. [ bib | .pdf ]
[40] Anya Helene Bagge and Magne Haveraaen. Axiom-based transformations: Optimisation and testing. In Jurgen J. Vinju and Adrian Johnstone, editors, Eighth Workshop on Language Descriptions, Tools and Applications (LDTA 2008), volume 238 of Electronic Notes in Theoretical Computer Science, pages 17-33, Budapest, Hungary, 2009. Elsevier. [ bib | DOI ]
[41] Anya Helene Bagge. Constructs & Concepts: Language Design for Flexibility and Reliability. PhD thesis, Research School in Information and Communication Technology, Department of Informatics, University of Bergen, Norway, PB 7803, 5020 Bergen, Norway, 2009. [ bib | .pdf ]
[42] Valentin David. Language Constructs for C++-like Languages: Tools and Extensions. PhD thesis, Research School in Information and Communication Technology (ICT), University of Bergen, PB 7803, 5020 Bergen, Norway, 2009. [ bib | .pdf ]
[43] Anya Helene Bagge, Valentin David, and Magne Haveraaen. The axioms strike back: Testing with concepts and axioms in C++. In GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering, pages 15-24, New York, NY, USA, 2009. ACM. [ bib | DOI ]
[44] Eva Burrows and Magne Haveraaen. A hardware independent parallel programming model. Journal of Logic and Algebraic Programming, 78:519-538, 2009. [ bib | DOI ]
[45] Eva Burrows and Magne Haveraaen. Dependency-driven parallel programming. In Proceedings of the Norsk Informatikk Konferanse (NIK 2009), Trondheim, Norway, 2009. [ bib ]
[46] Magne Haveraaen and Helmer André Friis. Coordinate-free numerics: all your variation points for free? Int. J. Comput. Sci. Eng., 4(4):223-230, 2009. [ bib | DOI ]
[47] Valentin David and Magne Haveraaen. Concepts as syntactic sugar. In SCAM '09: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pages 147-156, Washington, DC, USA, 2009. IEEE Computer Society. [ bib | DOI ]
[48] Anya Helene Bagge, Valentin David, and Magne Haveraaen. Axiom-based testing for C++. In OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pages 721-722, New York, NY, USA, 2008. ACM. [ bib | DOI ]
[49] Anya Helene Bagge, Valentin David, and Magne Haveraaen. Testing with concepts and axioms in C++. In OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pages 773-774, New York, NY, USA, 2008. ACM. [ bib | DOI ]
[50] Magne Haveraaen and Karl Trygve Kalleberg. JAxT and JDI: The simplicity of JUnit applied to axioms and data invariants. In OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pages 731-732, New York, NY, USA, 2008. ACM. [ bib | DOI ]
[51] Valentin David. Preparing for C++0x. In OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pages 769-770, New York, NY, USA, 2008. ACM. [ bib | DOI ]
[52] Magne Haveraaen. Institutions, property-aware programming and testing. In LCSD '07: Proceedings of the 2007 Symposium on Library-Centric Software Design, pages 21-30, New York, NY, USA, 2007. ACM. [ bib | DOI ]
[53] Anya Helene Bagge and Karl Trygve Kalleberg. DSAL = library+notation: Program transformation for domain-specific aspect languages. In Proceedings of the Domain-Specific Aspect Languages Workshop, October 2006. [ bib | .html ]
[54] Anya Helene Bagge, Valentin David, Magne Haveraaen, and Karl Trygve Kalleberg. Stayin' alert: moulding failure and exceptions to your needs. In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering, pages 265-274, New York, NY, USA, 2006. ACM. [ bib | DOI ]
[55] Anya Helene Bagge, Martin Bravenboer, Karl Trygve Kalleberg, Koen Muilwijk, and Eelco Visser. Adaptive code reuse by aspects, cloning and renaming. Technical Report UU-CS-2005-031, Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, August 2005. [ bib | .pdf ]
[56] Magne Haveraaen and Enida Brkic. Structured testing in Sophus. In Eivind Coward, editor, Norsk informatikkonferanse NIK'2005, pages 43-54. Tapir akademisk forlag, Trondheim, Norway, 2005. [ bib | http ]
[57] Alexa Anderlik and Magne Haveraaen. On the category of data dependency algebras and embeddings. Proceedings of the Estonian Academy of Sciences, Physics, Mathematics, 52(4):337-355, 2003. [ bib | http ]

This file was generated by bibtex2html 1.96.