Sandro Stucki

30 papers A 1B 6C 3Journal 12Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Agda standard library: version 2.0.
J. Open Source Softw.
Matthew L. Daggitt, Guillaume Allais, James McKinna, Andreas Abel, Van Doorn, Nathan, James Wood, Ulf Norell, Donnacha Oisín Kidney, Sergei Meshveliani, Sandro Stucki, Jacques Carette, Alex Rice, Jason Z. S. Hu, Li-yao Xia, Shu-Hung You, Reed Mullanix, Wen Kokke
2023 J jnl
Design and Implementation of a Lightweight Deep CNN-Based Plant Biometric Authentication System.
IEEE Access
Wenqing Yan, Jingwei Tang, Sandro Stucki
2023 B conf
Lifting On-Demand Analysis to Higher-Order Languages.
SAS
Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang
2023 J jnl
Reconciling Shannon and Scott with a Lattice of Computable Information.
Proc. ACM Program. Lang.
Sebastian Hunt, David Sands, Sandro Stucki
2022 B conf
Precise Analysis of Purpose Limitation in Data Flow Diagrams.
ARES
Hanaa Alshareef, Katja Tuma, Sandro Stucki, Gerardo Schneider, Riccardo Scandariato
2022 J jnl
Reconciling Shannon and Scott with a Lattice of Computable Information.
CoRR
Sebastian Hunt, David Sands, Sandro Stucki
2021 J jnl
A Theory of Higher-Order Subtyping with Type Intervals (Extended Version).
CoRR
Sandro Stucki, Paolo G. Giarrusso
2021 J jnl
A theory of higher-order subtyping with type intervals.
Proc. ACM Program. Lang.
Sandro Stucki, Paolo G. Giarrusso
2021 J jnl
Gray-box monitoring of hyperproperties with an application to privacy.
Formal Methods Syst. Des.
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2021 B conf
Refining Privacy-Aware Data Flow Diagrams.
SEFM
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
2021 C conf
Transforming Data Flow Diagrams for Privacy Compliance.
MODELSWARD
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
2020 — conf
Rate Equations for Graphs.
CMSB
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2020 J jnl
Rate Equations for Graphs.
CoRR
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2020 J jnl
Transforming Data Flow Diagrams for Privacy Compliance (Long Version).
CoRR
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
2019 B conf
Gray-Box Monitoring of Hyperproperties.
FM
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2019 J jnl
Gray-box Monitoring of Hyperproperties (Extended Version).
CoRR
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2018 J jnl
Simplicitly: foundations and applications of implicit function types.
Proc. ACM Program. Lang.
Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki
2017 — —
Higher-Order Subtyping with Type Intervals.
Sandro Stucki
2016 — ed.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016
SCALA@SPLASH
Aggelos Biboudis, Manohar Jonnalagedda, Sandro Stucki, Vlad Ureche
2016 — conf
The Essence of Dependent Object Types.
A List of Successes That Can Change the World
Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
2015 — conf
Fold-based fusion as a library: a generative programming pearl.
Scala@PLDI
Manohar Jonnalagedda, Sandro Stucki
2015 C conf
Moment Semantics for Reversible Rule-Based Systems.
RC
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2014 C conf
Approximations for Stochastic Graph Rewriting.
ICFEM
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2014 J jnl
Mean Quantitative Coverability in Stochastic Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki
2014 B conf
Reversible Sesqui-Pushout Rewriting.
ICGT
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2014 A conf
Staged parser combinators for efficient data processing.
OOPSLA
Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky
2014 B conf
Yin-yang: concealing the deep embedding of DSLs.
GPCE
Vojin Jovanovic, Amir Shaikhha, Sandro Stucki, Vladimir Nikolaev, Christoph Koch, Martin Odersky
2013 — conf
What are the Odds?: probabilistic programming in Scala.
SCALA@ECOOP
Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf
2012 — conf
Coarse-graining the Dynamics of Ideal Branched Polymers.
SASB
Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
2012 — conf
Rigid Geometric Constraints for Kappa Models.
SASB
Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki