Maximilian Algehed

Doktorand vid Chalmers, Data- och informationsteknik, Funktionell programmering

Visar 7 publikationer

2018

A perspective on the dependency core calculus

Maximilian Algehed
Proceedings of the ACM Conference on Computer and Communications Security, p. 24-28
Paper i proceeding
2018

Saint: an API-generic type-safe interpreter

Maximilian Algehed, Patrik Jansson, Sólrún Einarsdóttir et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. TODO (TODO)
Paper i proceeding
2018

Faceted secure multi execution

Thomas Schmitz, Cormac Flanagan, Maximilian Algehed et al
Proceedings of the ACM Conference on Computer and Communications Security, p. 1617-1634
Paper i proceeding
2017

Quick Specifications for the Busy Programmer

Nicholas Smallbone, Moa Johansson, Koen Lindström Claessen et al
Journal of Functional Programming. Vol. 27
Artikel i vetenskaplig tidskrift
2017

Encoding DCC in Haskell

Maximilian Algehed, Alejandro Russo
Paper i proceeding
2017

QuickSpec: A Lightweight Theory Exploration Tool for Programmers

Maximilian Algehed, Koen Lindström Claessen, Moa Johansson et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (10), p. 38-39
Paper i proceeding
2017

VisPar: Visualising dataflow graphs from the Par monad

Maximilian Algehed, Patrik Jansson
6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC 2017, Oxford, United Kingdom, 7 September 2017, p. 24-29
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 1 forskningsprojekt

2015–2018

Verktyg för snabb analys av globala system med hjälp av språk för funktionell och villkors-programmering

Patrik Jansson Programvaruteknik
Maximilian Algehed Funktionell programmering
Irene Lobo Valbuena Programvaruteknik
Sólrún Einarsdóttir Funktionell programmering
Alex Gerdes Funktionell programmering
Europeiska kommissionen (Horisont 2020)

Det kan finnas fler projekt där Maximilian Algehed medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.