• Sign in
  • Sign up
conf.researchr.org / Markus de Medeiros
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2025 profile
  • SPLASH 2024 profile
Markus de Medeiros

Registered user since Tue 25 Jun 2024

Name:Markus de Medeiros
Bio:

Mastodon: @markusde@mathstodon.xyz

Country:United States
Affiliation:New York University
Personal website: http://www.markusde.ca

Contributions

2025

SPLASH

  • Author of Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees within the OOPSLA-track

PLDI

  • Author of Verified Foundations for Differential Privacy within the PLDI Research Papers-track

2024

SPLASH

  • Author of Tachis: Higher-Order Separation Logic with Credits for Expected Costs within the OOPSLA 2024-track

ICFP

  • Author of Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs within the Artifact Evaluation-track
  • Author of Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs within the ICFP Papers and Events-track
Share
xSun 2 Nov 09:30
using conf.researchr.org (v1.72.1)
Support page
Sign Up