Sandro Stucki

According to our database1, Sandro Stucki authored at least 21 papers between 2013 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



A theory of higher-order subtyping with type intervals.
Proc. ACM Program. Lang., 2021

Gray-box monitoring of hyperproperties with an application to privacy.
Formal Methods Syst. Des., 2021

A Theory of Higher-Order Subtyping with Type Intervals (Extended Version).
CoRR, 2021

Refining Privacy-Aware Data Flow Diagrams.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Transforming Data Flow Diagrams for Privacy Compliance.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Transforming Data Flow Diagrams for Privacy Compliance (Long Version).
CoRR, 2020

Rate Equations for Graphs.
Proceedings of the Computational Methods in Systems Biology, 2020

Gray-box Monitoring of Hyperproperties (Extended Version).
CoRR, 2019

Gray-Box Monitoring of Hyperproperties.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Simplicitly: foundations and applications of implicit function types.
Proc. ACM Program. Lang., 2018

The Essence of Dependent Object Types.
Proceedings of the A List of Successes That Can Change the World, 2016

Coarse-graining the Dynamics of Ideal Branched Polymers.
Electron. Notes Theor. Comput. Sci., 2015

Rigid Geometric Constraints for Kappa Models.
Electron. Notes Theor. Comput. Sci., 2015

Moment Semantics for Reversible Rule-Based Systems.
Proceedings of the Reversible Computation - 7th International Conference, 2015

Fold-based fusion as a library: a generative programming pearl.
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015

Mean Quantitative Coverability in Stochastic Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Staged parser combinators for efficient data processing.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Approximations for Stochastic Graph Rewriting.
Proceedings of the Formal Methods and Software Engineering, 2014

Yin-yang: concealing the deep embedding of DSLs.
Proceedings of the Generative Programming: Concepts and Experiences, 2014

Reversible Sesqui-Pushout Rewriting.
Proceedings of the Graph Transformation - 7th International Conference, 2014

What are the Odds?: probabilistic programming in Scala.
Proceedings of the 4th Workshop on Scala, 2013