Hjem
Click
Magne Haveraaens bilde

Magne Haveraaen

Professor
  • E-postMagne.Haveraaen@uib.no
  • Telefon+47 55 58 41 54
  • Besøksadresse
    HIB - Thormøhlensgt. 55
  • Postadresse
    Postboks 7803
    5020 Bergen
  • Haveraaen, Magne; Morris, Karla; Rouson, Damian; Radhakrishnan, Hari; Carson, Clayton. 2015. High-performance design patterns for modern Fortran. Scientific Programming. 2015:942059. 14 sider. doi: 10.1155/2015/942059
  • Bagge, Anya Helene; Haveraaen, Magne. 2014. Specification of generic APIs, or: why algebraic may be better than pre/post. Specification of generic APIs, or: why algebraic may be better than pre/post, sider 71-80. I:
    • Feldman, Michael; Taft, Tucker. 2014. Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. ACM Press. 106 sider. ISBN: 978-1-4503-3217-0.
  • Järvi, Jaakko; Foust, Gabriel; Haveraaen, Magne. 2014. Specializing planners for hierarchical multi-way dataflow constraint systems. 1, sider 1-10. I:
    • Schultz, Ulrik Pagh; Flatt, Matthew. 2014. Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences. Association for Computing Machinery (ACM). 141 sider. ISBN: 978-1-4503-3161-6.
  • Hasu, Tero; Bagge, Anya Helene; Haveraaen, Magne. 2013. Inferring Required Permissions for Statically Composed Programs. Lecture Notes in Computer Science. 8208: 51-55. doi: 10.1007/978-3-642-41488-6_4
  • Haveraaen, Magne; Morris, Karla; Rouson, Damian. 2013. High-performance design patterns for modern Fortran. Chapter, sider 1-8. I:
    • Carver, Jeffrey c; Hong, Neil chue; Ciraci, Selim. 2013. SE-HPCCSE '13 Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering. Association for Computing Machinery (ACM). 44 sider. ISBN: 978-1-4503-2499-1.
  • Burrows, Eva; Haveraaen, Magne. 2012. Programmable data dependencies and placements. SESSION: Long papers, sider 31-40. I:
    • Acar, Umut; Costa, Vítor santos. 2012. Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming. ACM Press. 54 sider. ISBN: 978-1-4503-1117-5.
  • Järvi, Jaakko; Haveraaen, Magne; Freeman, John; Marcus, Mat. 2012. Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious. Session 2, sider 25-32. I:
    • Löh, Andres; Garcia, Ronald. 2012. Proceedings of the 8th ACM SIGPLAN workshop on Generic programming. ACM Press. 80 sider. ISBN: 978-1-4503-1576-0.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2011. Testing with Axioms in C++ 2011. Journal of Object Technology. 10: 1-32. doi: 10.5381/jot.2011.10.1.a10
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2010. The Axioms Strike Back: Testing with Concepts and Axioms in C plus. SIGPLAN notices. 45: 15-24. doi: 10.1145/1837852.1621612
  • Bagge, Anya Helene; Haveraaen, Magne. 2010. Interfacing concepts: Why declaration style shouldn't matter. Electronical Notes in Theoretical Computer Science. 253: 37-50. doi: 10.1016/j.entcs.2010.08.030

Se fullstendig oversikt over publikasjoner i CRIStin.