Zachary Susag

According to our database, Zachary Susag authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

Symbolic Semantics for Probabilistic Programs (extended version).

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski

CoRR, 2023

Symbolic Semantics for Probabilistic Programs.

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2022

Symbolic execution for randomized programs.

Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy

Proc. ACM Program. Lang., 2022