Dominik Wagner

According to our database, Dominik Wagner authored at least 7 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Formally Verified Cloud-Scale Authorization.

Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Reinforcement Learning with LTL and ω-Regular Objectives via Optimality-Preserving Translation to Average Rewards.

Xuan-Bach Le, Dominik Wagner, Leon Witzman, Alexander Rabinovich, Luke Ong

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterisation and Smoothing.

Dominik Wagner, Basim Khajwal, Luke Ong

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2024

2023

Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing.

Basim Khajwal, C.-H. Luke Ong, Dominik Wagner

Proceedings of the Programming Languages and Systems, 2023

2021

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.

Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere.

Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner

Proceedings of the Programming Languages and Systems, 2021

2019

HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories.

C.-H. Luke Ong, Dominik Wagner

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019