Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Georg Moser
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2017 profile
ICFP 2023 profile
ICFP 2026 profile
PLDI 2023 profile
POPL 2016 profile
SPLASH 2020 profile
SPLASH 2024 profile
SPLASH/ISSTA 2026 profile
Not registered as user
Name:
Georg Moser
Affiliation:
University of Innsbruck
Contributions
2026
Static Analysis Symposium
Author of Inferring Empirical Sound Resource Bounds via Symbolic Execution and Linear Programming within the SAS 2026-track
Haskell
Author of A Cost-Aware Probability Monad for Liquid Haskell within the Haskell 2026-track
LOPSTR
Committee Member in Program Committee within the LOPSTR+PPDP 2026-track
2024
SPLASH
Author of Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs within the OOPSLA 2024-track
2023
HOPE
Author of Semantic foundations of potential-synthesis for expected amortised-cost analysis within the HOPE 2023-track
PLDI
Author of Automated Expected Value Analysis of Recursive Programs within the PLDI Research Papers-track
2020
SPLASH
Author of A Modular Cost Analysis for Probabilistic Programs within the OOPSLA-track
2019
DICE-FOPARA
Author of Modular Runtime Complexity Analysis of Probabilistic While Programs within the DICE-FOPARA-track
2017
FSCD
Author of Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses within the FSCD 2017-track
2016
POPL
Author of The Complexity of Interaction within the Research Papers-track
Share
x
Sun 4 Oct 21:02