Sandro Stucki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
10
Active years
2013–2023
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAS | Lifting On-Demand Analysis to Higher-Order Languages. | Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang |
| 2021 | MODELSWARD | Transforming Data Flow Diagrams for Privacy Compliance. | Hanaa Alshareef, Sandro Stucki, Gerardo Schneider |
| 2021 | SEFM | Refining Privacy-Aware Data Flow Diagrams. | Hanaa Alshareef, Sandro Stucki, Gerardo Schneider |
| 2019 | FM | Gray-Box Monitoring of Hyperproperties. | Sandro Stucki, Csar Snchez, Gerardo Schneider, Borzoo Bonakdarpour |
| 2015 | PLDI | Fold-based fusion as a library: a generative programming pearl. | Manohar Jonnalagedda, Sandro Stucki |
| 2015 | RC | Moment Semantics for Reversible Rule-Based Systems. | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
| 2014 | GPCE | Yin-yang: concealing the deep embedding of DSLs. | Vojin Jovanovic, Amir Shaikhha, Sandro Stucki, Vladimir Nikolaev, Christoph Koch, Martin Odersky |
| 2014 | ICFEM | Approximations for Stochastic Graph Rewriting. | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
| 2014 | OOPSLA | Staged parser combinators for efficient data processing. | Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky |
| 2013 | ECOOP | What are the Odds?: probabilistic programming in Scala. | Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf |