Samuel Judson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2023–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | soid: A Tool for Legal Accountability for Automated Decision Making. | Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Knighofer, Scott J. Shapiro, Ruzica Piskac |
| 2024 | CCS | Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users. | Zhaoxiang Liu, Ning Luo, Samuel Judson, Raj Gautam Dutta, Xiaolong Guo, Mark Santolucito |
| 2023 | CCS | Ou: Automating the Parallelization of Zero-Knowledge Protocols. | Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao |
| 2023 | IJCAI | Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. | Filip Cano Crdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjrner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Knighofer |
| 2023 | VECoS | Formal XAI via Syntax-Guided Synthesis. | Katrine Bjrner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Knighofer |