Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Maximilian Algehed
conf.researchr.org general profile
ECOOP 2022 profile
ICFP 2017 profile
ICFP 2019 profile
SPLASH 2022 profile
Registered user since Mon 17 Jun 2019
Name:
Maximilian Algehed
Affiliation:
Chalmers University of Technology, Sweden
Contributions
2022
Static Analysis Symposium
Author of SecWasm: Information Flow Control for WebAssembly within the SAS-track
PAW
Author of SecWasm: Information Flow Control for WebAssembly within the PAW 2022-track
2019
ICFP
Author of Simple Noninterference from Parametricity within the Research Papers-track
2017
Haskell
Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track
FHPNC
Author of VisPar: Visualising dataflow graphs from the Par monad within the FHPC 2017-track
Share
x
Tue 3 Dec 17:57