Louis Mandel
Louis Mandel
IBM Research
Verified email at us.ibm.com - Homepage
Title
Cited by
Cited by
Year
ReactiveML: a reactive extension to ML
L Mandel, M Pouzet
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
1392005
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
602006
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
592006
Lucy-n: a n-synchronous extension of Lustre
L Mandel, F Plateau, M Pouzet
International Conference on Mathematics of Program Construction, 288-309, 2010
302010
Abstraction of clocks in synchronous data-flow systems
A Cohen, L Mandel, F Plateau, M Pouzet
ASIAN Symposium on Programming Languages and Systems, 237-254, 2008
302008
Time refinement in a functional synchronous language
L Mandel, C Pasteur, M Pouzet
Science of Computer Programming 111, 190-211, 2015
202015
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
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
172017
Interactive programming of reactive systems
L Mandel, F Plateau
Electronic Notes in Theoretical Computer Science 238 (1), 21-36, 2009
162009
Simulation of mobile ad hoc network protocols in ReactiveML
L Mandel, F Benbadis
Proceedings of Synchronous Languages, Applications, and Programming, 2005
162005
An empirical study of GraphQL schemas
E Wittern, A Cha, JC Davis, G Baudart, L Mandel
International Conference on Service-Oriented Computing, 3-19, 2019
142019
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
14*2016
ReactiveML, ten years later
L Mandel, C Pasteur, M Pouzet
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
142015
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
122017
Programming in JoCaml (Tool Demonstration)
L Mandel, L Maranget
European Symposium on Programming, 108-111, 2008
122008
ReactiveML: un langage fonctionnel pour la programmation réactive
M Pouzet, L Mandel
Technique et Science Informatiques 27 (9-10), 1097-1128, 2008
11*2008
I can parse you: Grammars for dialogs
M Hirzel, L Mandel, A Shinnar, J Siméon, M Vaziri
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
102017
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music
G Baudart, F Jacquemard, L Mandel, M Pouzet
2013 Proceedings of the International Conference on Embedded Software …, 2013
102013
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
92018
Programming mixed music in ReactiveML
G Baudart, L Mandel, M Pouzet
Proceedings of the first ACM SIGPLAN workshop on Functional art, music …, 2013
92013
The system can't perform the operation now. Try again later.
Articles 1–20