@article{AGM:PLDI:23,
 author    = {Martin Avanzini and
                  Georg Moser and
                  Michael Schaper},
 title     = {Automated Expected Value Analysis of Recursive Programs},
 year      = {2023},
 journal   = {Proc. {ACM} Program. Lang.},
 volume    = {7},
 pages     = {1050--1072},
 number    = {{PLDI}},
 doi       = {10.1145/3591263},
 keywords  = {article}
}