Hi, everyone! I'm a fifth-year PhD student supervised by Sam Staton. I am interested in programming language semantics, with a focus on the semantics of probabilistic programming.

I am a teaching assistant at the Department of Computer Science, and run the labs for Functional Programming, Compilers, Imperative Programming I+II, Design and Analysis of Algorithms. Additionally I am a "Stipendiary Lecturer" at Jesus College, where I run tutorials for the Compilers and the Concurrent Programming courses.

swaraj.dash at cs.ox.ac.uk

Room 375
Wolfson Building, Parks Road
Oxford OX1 3QD

Publications

• S. Dash, Y. Kaddar, H. Paquet, and S. Staton Affine monads and lazy structures for Bayesian programming. To appear in Proceedings of 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). [pdf]
• S. Dash and S. Staton. Monads for measurable queries in probabilistic databases. To appear in Proceedings of 37th Conference on Mathematical Foundations of Programming Semantics (MFPS 2021). [pdf]
• S. Dash and S. Staton. A monad for probabilistic point processes. In Proceedings of Applied Category Theory 2020 (ACT 2020). Open access: [pdf]