• Sign in
  • Sign up
conf.researchr.org / Georg Moser
  • ETAPS 2019 profile
  • ICFP 2017 profile
  • ICFP 2023 profile
  • PLDI 2023 profile
  • POPL 2016 profile
  • SPLASH 2020 profile
  • SPLASH 2024 profile

Not registered as user

Name:Georg Moser
Affiliation:University of Innsbruck

Contributions

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
xFri 13 Jun 09:35
using conf.researchr.org (v1.69.0)
Support page
Sign Up