Louis Mandel
Louis Mandel
IBM Research
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
ReactiveML: a reactive extension to ML
L Mandel, M Pouzet
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 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
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
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
Lucy-n: a n-synchronous extension of Lustre
L Mandel, F Plateau, M Pouzet
Mathematics of Program Construction: 10th International Conference, MPC 2010 …, 2010
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
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
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
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
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
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
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
Interactive programming of reactive systems
L Mandel, F Plateau
Electronic Notes in Theoretical Computer Science 238 (1), 21-36, 2009
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
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
Simulation of mobile ad hoc network protocols in ReactiveML
L Mandel, F Benbadis
Proceedings of Synchronous Languages, Applications, and Programming, 2005
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
ReactiveML, ten years later
L Mandel, C Pasteur, M Pouzet
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
ReactiveML: un langage fonctionnel pour la programmation réactive
M Pouzet, L Mandel
Technique et Science Informatiques 27 (9-10), 1097-1128, 2008
A principled approach to GraphQL query cost analysis
A Cha, E Wittern, G Baudart, JC Davis, L Mandel, JA Laredo
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20