Seguir
Louis Mandel
Louis Mandel
IBM Research
Dirección de correo verificada de us.ibm.com - Página principal
Título
Citado por
Citado por
Año
ReactiveML: a reactive extension to ML
L Mandel, M Pouzet
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
1582005
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
662006
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
622006
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
442019
Lucy-n: a n-synchronous extension of Lustre
L Mandel, F Plateau, M Pouzet
Mathematics of Program Construction: 10th International Conference, MPC 2010 …, 2010
392010
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
372017
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
332008
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
312020
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
262019
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
222013
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
212020
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
202018
Interactive programming of reactive systems
L Mandel, F Plateau
Electronic Notes in Theoretical Computer Science 238 (1), 21-36, 2009
202009
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
192006
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
162017
Simulation of mobile ad hoc network protocols in ReactiveML
L Mandel, F Benbadis
Proceedings of Synchronous Languages, Applications, and Programming, 2005
162005
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
15*2016
ReactiveML, ten years later
L Mandel, C Pasteur, M Pouzet
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
152015
ReactiveML: un langage fonctionnel pour la programmation réactive
M Pouzet, L Mandel
Technique et Science Informatiques 27 (9-10), 1097-1128, 2008
14*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
122020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20