Sandro Stucki

According to our database, Sandro Stucki authored at least 14 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Gray-box Monitoring of Hyperproperties (Extended Version).

Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour

CoRR, 2019

Gray-Box Monitoring of Hyperproperties.

Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Simplicitly: foundations and applications of implicit function types.

Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki

Proc. ACM Program. Lang., 2018

2016

The Essence of Dependent Object Types.

Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Coarse-graining the Dynamics of Ideal Branched Polymers.

Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki

Electron. Notes Theor. Comput. Sci., 2015

Rigid Geometric Constraints for Kappa Models.

Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki

Electron. Notes Theor. Comput. Sci., 2015

Moment Semantics for Reversible Rule-Based Systems.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Reversible Computation - 7th International Conference, 2015

Fold-based fusion as a library: a generative programming pearl.

Manohar Jonnalagedda, Sandro Stucki

Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015

2014

Mean Quantitative Coverability in Stochastic Graph Transformation Systems.

Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki

ECEASST, 2014

Staged parser combinators for efficient data processing.

Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Approximations for Stochastic Graph Rewriting.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Formal Methods and Software Engineering, 2014

Yin-yang: concealing the deep embedding of DSLs.

Vojin Jovanovic, Amir Shaikhha, Sandro Stucki, Vladimir Nikolaev, Christoph Koch, Martin Odersky

Proceedings of the Generative Programming: Concepts and Experiences, 2014

Reversible Sesqui-Pushout Rewriting.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Graph Transformation - 7th International Conference, 2014

2013

What are the Odds?: probabilistic programming in Scala.

Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf

Proceedings of the 4th Workshop on Scala, 2013