Sandro Stucki

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 21

Top Topics

Top Venues

Proc. ACM Program. Lang.

Electron. Notes Theor. Comput. Sci.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Sebastian Hunt, David Sands, Sandro Stucki
Reconciling Shannon and Scott with a Lattice of Computable Information. Proc. ACM Program. Lang. 7 (POPL) (2023)
Wenqing Yan, Jingwei Tang, Sandro Stucki
Design and Implementation of a Lightweight Deep CNN-Based Plant Biometric Authentication System. IEEE Access 11 (2023)
Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang
Lifting On-Demand Analysis to Higher-Order Languages. SAS (2023)
Sebastian Hunt, David Sands, Sandro Stucki
Reconciling Shannon and Scott with a Lattice of Computable Information. CoRR (2022)
Hanaa Alshareef, Katja Tuma, Sandro Stucki, Gerardo Schneider, Riccardo Scandariato
Precise Analysis of Purpose Limitation in Data Flow Diagrams. ARES (2022)
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Refining Privacy-Aware Data Flow Diagrams. SEFM (2021)
Sandro Stucki, Paolo G. Giarrusso
A Theory of Higher-Order Subtyping with Type Intervals (Extended Version). CoRR (2021)
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Transforming Data Flow Diagrams for Privacy Compliance. MODELSWARD (2021)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58 (1-2) (2021)
Sandro Stucki, Paolo G. Giarrusso
A theory of higher-order subtyping with type intervals. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Rate Equations for Graphs. CoRR (2020)
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Transforming Data Flow Diagrams for Privacy Compliance (Long Version). CoRR (2020)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Rate Equations for Graphs. CMSB (2020)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-Box Monitoring of Hyperproperties. FM (2019)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-box Monitoring of Hyperproperties (Extended Version). CoRR (2019)
Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki
Simplicitly: foundations and applications of implicit function types. Proc. ACM Program. Lang. 2 (POPL) (2018)
Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
The Essence of Dependent Object Types. A List of Successes That Can Change the World (2016)
Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
Rigid Geometric Constraints for Kappa Models. Electron. Notes Theor. Comput. Sci. 313 (2015)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Moment Semantics for Reversible Rule-Based Systems. RC (2015)
Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
Coarse-graining the Dynamics of Ideal Branched Polymers. Electron. Notes Theor. Comput. Sci. 313 (2015)
Manohar Jonnalagedda, Sandro Stucki
Fold-based fusion as a library: a generative programming pearl. Scala@PLDI (2015)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Reversible Sesqui-Pushout Rewriting. ICGT (2014)
Vojin Jovanovic, Amir Shaikhha, Sandro Stucki, Vladimir Nikolaev, Christoph Koch, Martin Odersky
Yin-yang: concealing the deep embedding of DSLs. GPCE (2014)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Approximations for Stochastic Graph Rewriting. ICFEM (2014)
Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki
Mean Quantitative Coverability in Stochastic Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 68 (2014)
Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky
Staged parser combinators for efficient data processing. OOPSLA (2014)
Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf
What are the Odds?: probabilistic programming in Scala. SCALA@ECOOP (2013)