6 papers
Software Testing Meets Bayesian Workflow: A Literature-Driven Artifact Study of Probabilistic Programs
Oleg Jarma, Maja Dall, Raúl Pardo +2
Automated testing is an effective software quality assurance method, but it is rarely used for probabilistic models. This is despite the heavy use of probabilistic programming for…
Scalable Thread-Safety Analysis of Java Classes with CodeQL
Bjørnar Haugstad Jåtten, Simon Boye Jørgensen, Rasmus Petersen +1
In object-oriented languages software developers rely on thread-safe classes to implement concurrent applications. However, determining whether a class is thread-safe is a challeng…
ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
Katrine Christensen, Mahsa Varshosaz, Raúl Pardo
Testing probabilistic programs is non-trivial due to their stochastic nature. Given an input, the program may produce different outcomes depending on the underlying stochastic choi…
Symbolic Quantitative Information Flow for Probabilistic Programs
Philipp Schröer, Francesca Randone, Raúl Pardo +1
It is of utmost importance to ensure that modern data intensive systems do not leak sensitive information. In this paper, the authors, who met thanks to Joost-Pieter Katoen, discus…
Towards a Proof System for Probabilistic Dynamic Logic
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo +2
Whereas the semantics of probabilistic languages has been extensively studied, specification languages for their properties have received less attention -- with the notable excepti…
Model-Checking the Implementation of Consent
Raúl Pardo, Daniel Le Métayer
Privacy policies define the terms under which personal data may be collected and processed by data controllers. The General Data Protection Regulation (GDPR) imposes requirements o…