113 citations · 319 across the 18 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.AR2024★ 1 cited
Relaxed exception semantics for Arm-A (extended version)
Ben Simner, Alasdair Armstrong, Thomas Bauereiss +4
To manage exceptions, software relies on a key architectural guarantee, precision: that exceptions appear to execute between instructions. However, this definition, dating back ove…
cs.PL2024
Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
Oliver Goldstein, Ohad Kammar
Probabilistic programming languages, which exist in abundance, are languages that allow users to calculate probability distributions defined by probabilistic programs, by using inf…