Sandro Stucki
Sandro Stucki
University of Gothenburg | Chalmers University of Technology
Verified email at gu.se - Homepage
Title
Cited by
Cited by
Year
The essence of dependent object types
N Amin, S Grütter, M Odersky, T Rompf, S Stucki
A List of Successes That Can Change the World, 249-272, 2016
612016
Yin-Yang: Concealing the deep embedding of DSLs
V Jovanovic, A Shaikhha, S Stucki, V Nikolaev, C Koch, M Odersky
Proceedings of the 2014 International Conference on Generative Programming …, 2014
372014
Simplicitly: foundations and applications of implicit function types
M Odersky, O Blanvillain, F Liu, A Biboudis, H Miller, S Stucki
Proceedings of the ACM on Programming Languages 2 (POPL), 42, 2017
322017
Staged parser combinators for efficient data processing
M Jonnalagedda, T Coppey, S Stucki, T Rompf, M Odersky
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
262014
Gray-box monitoring of hyperproperties
S Stucki, C Sánchez, G Schneider, B Bonakdarpour
International Symposium on Formal Methods, 406-424, 2019
182019
Gray-box monitoring of hyperproperties
S Stucki, C Sánchez, G Schneider, B Bonakdarpour
International Symposium on Formal Methods, 406-424, 2019
182019
Fold-based fusion as a library: A generative programming pearl
M Jonnalagedda, S Stucki
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 41-50, 2015
122015
Reversible sesqui-pushout rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Graph Transformation, 161-176, 2014
122014
Approximations for stochastic graph rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Formal Engineering Methods, 1-10, 2014
92014
Moment semantics for reversible rule-based systems
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Reversible Computation, 3-26, 2015
72015
Rigid geometric constraints for Kappa models
V Danos, R Honorato-Zimmer, S Jaramillo-Riveri, S Stucki
Electronic Notes in Theoretical Computer Science 313, 23-46, 2015
72015
Higher-Order Subtyping with Type Intervals
S Stucki
EPFL, 2017
52017
Yin-yang: Transparent deep embedding of dsls
V Jovanovic, V Nikolaev, ND Pham, V Ureche, S Stucki, C Koch, ...
Technical Report EPFL-REPORT-185832, EPFL, Lausanne, Switzerland, 2013
52013
Deriving rate equations for site graph rewriting systems
V Danos, R Harmer, R Honorato-Zimmer, S Stucki
Fourth International Workshop on Static Analysis and Systems Biology, SASB 13, 2013
52013
What are the Odds? probabilistic programming in Scala
S Stucki, N Amin, M Jonnalagedda, T Rompf
Proceedings of the 4th Workshop on Scala, 1-9, 2013
42013
Coarse-graining the dynamics of ideal branched polymers
V Danos, R Honorato-Zimmer, S Jaramillo-Riveri, S Stucki
Electronic Notes in Theoretical Computer Science 313, 47-64, 2015
32015
What are the Odds?
S Stucki, N Amin, M Jonnalageda, T Rompf
Probabilistic programming in Scala. In Scala 13, 360-384, 0
3
Transforming Data Flow Diagrams for Privacy Compliance (Long Version)
H Alshareef, S Stucki, G Schneider
arXiv preprint arXiv:2011.12028, 2020
12020
Computing approximations for graph transformation systems
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
MeMo 2015, 33, 2015
12015
Gray-box monitoring of hyperproperties with an application to privacy
S Stucki, C Sánchez, G Schneider, B Bonakdarpour
Formal Methods in System Design, 1-34, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20