INF328 - Programmeringsspråkelementer
Spring 2017
Contents on this web page
The seminar is reactive, and the content is adapted to the wishes of the participating students.
This semester the course started with covering the Magnolia tutorials.
Then the students presented papers on abstractions for high performance computing and testing of generic code.
INF328 is a 5 study point course available to Bachelor, Master and PhD students. Some programming background is needed. The course is small enough to be taken in addition to the regular study program, or it can be expanded with a selected reading to fill a regular slot in the studies.
The contents of the course is expected to change the next time it is provided.
Reading Material
There is no specific text book.
The curriculum will consist of technical notes, possibly a few papers and discussions related to the material's content.
Active student participation is expected, both in presenting sections of the papers and in the discussions.
The reading list is provided as the course evolves.
- Magnolia tutorials and library overview
- Paper presentations
- Anya Helene Bagge, Magne Haveraaen:
Specification of generic APIs, or: why algebraic may be better than pre/post. HILT 2014: 71-80
Student presentation
- Magne Haveraaen, Karla Morris, Damian W. I. Rouson, Hari Radhakrishnan, Clayton Carson:
High-Performance Design Patterns for Modern Fortran. Scientific Programming 2015: 942059:1-942059:14 (2015)
Student presentation
- Magne Haveraaen:
Institutions, property-aware programming and testing. LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design: 21-30
Student presentation
- Eva Burrows, Helmer André Friis, Magne Haveraaen:
An Array API for FDM. Proceedings of the Third International Workshop on Sustainable Ultrascale Computing Systems (NESUS 2016), Sofia, Bulgaria, 59-68
Student presentation
- Anya Helene Bagge, Valentin David, Magne Haveraaen:
Testing with Axioms in C++ 2011. Journal of Object Technology 10: 10: 1-32 (2011)
Student presentation
- Magne Haveraaen, Helmer André Friis:
Coordinate-free numerics: all your variation points for free? IJCSE 4(4): 223-230 (2009)
Student presentation
- Anya Helene Bagge, Valentin David, Magne Haveraaen:
The axioms strike back: testing with concepts and axioms in C++. GPCE 2009: 15-24
Student presentation
- Andrew Sutton, Marcin Zalewski:
Testing C++ generic libraries. ICSM 2012: 36-45
Student presentation
- Xiaolong Tang, Jaakko Järvi:
Axioms as generic rewrite rules in C++ with concepts. Sci. Comput. Program. 97: 320-330 (2015)
Student presentation
- Magne Haveraaen, Helmer André Friis, Tor Arne Johansen:
Formal Software Engineering for Computational Modelling. Nord. J. Comput. 6(3): 241-270 (1999)
Student presentation
- Denis Demidov, Karsten Ahnert, Karl Rupp, Peter Gottschling:
Programming CUDA and OpenCL: A Case Study Using Modern C++ Libraries. SIAM J. Scientific Computing 35(5) (2013)
Student presentation
- Shane Ryoo, Christopher I. Rodrigues, Sara S. Baghsorkhi, Sam S. Stone, David Blair Kirk, Wen-mei W. Hwu:
Optimization principles and application performance evaluation of a multithreaded GPU using CUDA. PPOPP 2008: 73-82
Student presentation
- Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen:
Testing Polymorphic Properties. ESOP 2010: 125-144
Student presentation
Lecturer and course responsible: Magne Haveraaen
Teaching assistant: none
- Tuesdays 10:15-12:00 in seminar room 209N1
- Wednesdays 14:15-16:00 in seminar room 205M3
The course commences Tuesday 17 January 2017 (week 3).
Teaching will be in the form of lectures, student presentations, discussion, exercises and time off for self studies.
The course is pass/fail based on sufficient activity during the semester.
Latest update 2017-12-01 by
Magne Haveraaen