| ReactiveML: a reactive extension to ML L Mandel, M Pouzet Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 159 | 2005 |
| Simulation and verification of asynchronous systems by means of a synchronous model N Halbwachs, L Mandel Sixth International Conference on Application of Concurrency to System …, 2006 | 65 | 2006 |
| GLONEMO: Global and accurate formal models for the analysis of ad-hoc sensor networks L Samper, F Maraninchi, L Mounier, L Mandel Proceedings of the first international conference on Integrated internet ad …, 2006 | 62 | 2006 |
| An empirical study of GraphQL schemas E Wittern, A Cha, JC Davis, G Baudart, L Mandel Service-Oriented Computing: 17th International Conference, ICSOC 2019 …, 2019 | 51 | 2019 |
| Generating chat bots from web API specifications M Vaziri, L Mandel, A Shinnar, J Siméon, M Hirzel Proceedings of the 2017 ACM SIGPLAN international symposium on new ideas …, 2017 | 41 | 2017 |
| Lucy-n: a n-synchronous extension of Lustre L Mandel, F Plateau, M Pouzet Mathematics of Program Construction: 10th International Conference, MPC 2010 …, 2010 | 39 | 2010 |
| Reactive probabilistic programming G Baudart, L Mandel, E Atkinson, B Sherman, M Pouzet, M Carbin Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 38 | 2020 |
| Abstraction of clocks in synchronous data-flow systems A Cohen, L Mandel, F Plateau, M Pouzet Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008 | 33 | 2008 |
| Generating chat bots from web API specifications M Hirzel, L Mandel, AE Shinnar, J Simeon, M Vaziri, C Wiecha US Patent 10,388,285, 2019 | 29 | 2019 |
| Specifying a conversational computer agent and its outcome with a grammar MJ Hirzel, L Mandel, AE Shinnar, J Simeon, M Vaziri US Patent 10,796,088, 2020 | 24 | 2020 |
| Reactive chatbot programming G Baudart, M Hirzel, L Mandel, A Shinnar, J Siméon Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and …, 2018 | 23 | 2018 |
| Time refinement in a functional synchronous language L Mandel, C Pasteur, M Pouzet Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 22 | 2013 |
| Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler JS Auerbach, M Hirzel, L Mandel, A Shinnar, J Siméon Proceedings of the 2017 ACM International Conference on Management of Data …, 2017 | 20 | 2017 |
| Semi-symbolic inference for efficient streaming probabilistic programming E Atkinson, C Yuan, G Baudart, L Mandel, M Carbin Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1668-1696, 2022 | 19 | 2022 |
| Conception, Sémantique et Implantation de ReactiveML: un langagea la ML pour la programmation réactive L Mandel PhD thesis, Université Pierre et Marie Currie (Paris 6), 2006 | 19 | 2006 |
| Interactive programming of reactive systems L Mandel, F Plateau Electronic Notes in Theoretical Computer Science 238 (1), 21-36, 2009 | 18 | 2009 |
| META: Middleware for events, transactions, and analytics M Arnold, D Grove, B Herta, M Hind, M Hirzel, A Iyengar, L Mandel, ... IBM Journal of Research and Development 60 (2-3), 15: 1-15: 10, 2016 | 16* | 2016 |
| ReactiveML, ten years later L Mandel, C Pasteur, M Pouzet Proceedings of the 17th International Symposium on Principles and Practice …, 2015 | 16 | 2015 |
| Simulation of mobile ad hoc network protocols in ReactiveML L Mandel, F Benbadis Proceedings of Synchronous Languages, Applications, and Programming, 2005 | 16 | 2005 |
| Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming G Baudart, J Burroni, M Hirzel, L Mandel, A Shinnar Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 15 | 2021 |
Guillaume BaudartInria ParisEmail verificata su inria.fr
