Louis Mandel
Louis Mandel
IBM Research
Verified email at us.ibm.com
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
1342005
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
582006
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
532006
Lucy-n: a n-synchronous extension of Lustre
L Mandel, F Plateau, M Pouzet
International Conference on Mathematics of Program Construction, 288-309, 2010
292010
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
292008
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
202006
Simulation of mobile ad hoc network protocols in ReactiveML
L Mandel, F Benbadis
Proceedings of Synchronous Languages, Applications, and Programming, 2005
182005
Time refinement in a functional synchronous language
L Mandel, C Pasteur, M Pouzet
Science of Computer Programming 111, 190-211, 2015
172015
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
162017
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
152016
Interactive programming of reactive systems
L Mandel, F Plateau
Electronic Notes in Theoretical Computer Science 238 (1), 21-36, 2009
152009
Static scheduling of latency insensitive designs with Lucy-n
L Mandel, F Plateau, M Pouzet
2011 Formal Methods in Computer-Aided Design (FMCAD), 171-175, 2011
142011
ReactiveML, ten years later
L Mandel, C Pasteur, M Pouzet
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
122015
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
L Mandel, M Pouzet
112008
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
92013
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
82017
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
82017
Reactivity of cooperative systems
L Mandel, C Pasteur
International Static Analysis Symposium, 219-236, 2014
82014
Programming mixed music in ReactiveML
G Baudart, L Mandel, M Pouzet
Proceedings of the first ACM SIGPLAN workshop on Functional art, music …, 2013
82013
The system can't perform the operation now. Try again later.
Articles 1–20