Probabilistic Programs as Spreadsheet Queries
No abstract available.
DOI 10.1007/978-3-662-46669-8_1
Related papers
- Transforming spreadsheet data types using examples POPL 2016
- CheckCell: data debugging for spreadsheets OOPSLA 2014
- FlashRelate: extracting relational data from semi-structured spreadsheets using examples PLDI 2015
- Compiling Markov chain Monte Carlo algorithms for probabilistic modeling PLDI 2017
- GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables PLDI 2024
- Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion POPL 2022
- FlashExtract: a framework for data extraction by examples PLDI 2014
- POPACheck: A Model Checker for Probabilistic Pushdown Automata CAV 2025