| 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 | 78 | 2016 |
| 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 | 41 | 2017 |
| 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 | 38 | 2014 |
| 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 | 28 | 2014 |
| Gray-box monitoring of hyperproperties S Stucki, C Sánchez, G Schneider, B Bonakdarpour International Symposium on Formal Methods, 406-424, 2019 | 27 | 2019 |
| Gray-box monitoring of hyperproperties S Stucki, C Sánchez, G Schneider, B Bonakdarpour International Symposium on Formal Methods, 406-424, 2019 | 27 | 2019 |
| Reversible sesqui-pushout rewriting V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Graph Transformation, 161-176, 2014 | 15 | 2014 |
| 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 | 12 | 2015 |
| Approximations for stochastic graph rewriting V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Formal Engineering Methods, 1-10, 2014 | 9 | 2014 |
| 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 | 8 | 2015 |
| Moment semantics for reversible rule-based systems V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Reversible Computation, 3-26, 2015 | 7 | 2015 |
| Higher-Order Subtyping with Type Intervals S Stucki EPFL, 2017 | 6 | 2017 |
| 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 | 5 | 2013 |
| 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 | 5 | 2013 |
| Rate Equations for Graphs V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Computational Methods in Systems Biology, 3-26, 2020 | 4 | 2020 |
| Yin-Yang: Concealing the Deep Embedding of DSLs (GPCE 2014) V Jovanovic, A Shaikhha, S Stucki, V Nikolaev, C Koch, M Odersky ACM, 2014 | 4 | 2014 |
| 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 | 4 | 2013 |
| Transforming data flow diagrams for privacy compliance (long version) H Alshareef, S Stucki, G Schneider arXiv preprint arXiv:2011.12028, 2020 | 3 | 2020 |
| 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 | 3 | 2015 |
| What are the Odds? S Stucki, N Amin, M Jonnalageda, T Rompf Probabilistic programming in Scala. In Scala 13, 360-384, 0 | 3 | |
Martin OderskyEPFLVerified email at epfl.ch
