Fabian Zaiser

14 papers A* 4Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops.
Proc. ACM Program. Lang.
Fabian Zaiser, Andrzej S. Murawski, C.-H. Luke Ong
2024 J jnl
Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops.
CoRR
Fabian Zaiser, Andrzej S. Murawski, C.-H. Luke Ong
2023 A* conf
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach.
NeurIPS
Fabian Zaiser, Andrzej S. Murawski, Chih-Hao Luke Ong
2023 J jnl
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach.
CoRR
Fabian Zaiser, Andrzej S. Murawski, Luke Ong
2022 J jnl
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming.
CoRR
Raven Beutner, Luke Ong, Fabian Zaiser
2022 A* conf
Guaranteed bounds for posterior inference in universal probabilistic programming.
PLDI
Raven Beutner, C.-H. Luke Ong, Fabian Zaiser
2022 A* conf
Nonparametric Involutive Markov Chain Monte Carlo.
ICML
Carol Mak, Fabian Zaiser, Luke Ong
2022 J jnl
Nonparametric Involutive Markov Chain Monte Carlo.
CoRR
Carol Mak, Fabian Zaiser, Luke Ong
2021 — conf
Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes.
SMT
Fabian Zaiser, Luke Ong
2021 A* conf
Nonparametric Hamiltonian Monte Carlo.
ICML
Carol Mak, Fabian Zaiser, Luke Ong
2021 J jnl
Nonparametric Hamiltonian Monte Carlo.
CoRR
Carol Mak, Fabian Zaiser, Luke Ong
2020 — conf
The Extended Theory of Trees and Algebraic (Co)datatypes.
VPT/HCVS@ETAPS
Fabian Zaiser, C.-H. Luke Ong
2020 J jnl
The approximation ratio of the 2-Opt Heuristic for the metric Traveling Salesman Problem.
Oper. Res. Lett.
Stefan Hougardy, Fabian Zaiser, Xianghui Zhong
2019 J jnl
The Approximation Ratio of the 2-Opt Heuristic for the Metric Traveling Salesman Problem.
CoRR
Stefan Hougardy, Fabian Zaiser, Xianghui Zhong
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski