Markus Klinik

According to our database, Markus Klinik authored at least 6 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Personal Prof: Automatic Code Review for Java Assignments.

Markus Klinik, Pieter W. M. Koopman, Rick van der Wal

Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021

2020

Skylines for Symbolic Energy Consumption Analysis.

Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

TopHat: A formal foundation for task-oriented programming.

Tim Steenvoorden, Nico Naus, Markus Klinik

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

A symbolic execution semantics for TopHat.

Nico Naus, Tim Steenvoorden, Markus Klinik

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2017

Predicting resource consumption of higher-order workflows.

Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines.

Markus Klinik, Jan Martin Jansen, Rinus Plasmeijer

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017