الوحدات الحالية : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
الفـرق السـابـقــة : | ACASA |
- T. Bourke, L. Brun, P.‑E. Dagand, X. Leroy, M. Pouzet, L. Rieg : “A Formally Verified Compiler for Lustre”, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelone, Spain [Bourke 2017a]
- T. Bourke, P.‑E. Dagand, M. Pouzet, L. Rieg : “Vérification de la génération modulaire du code impératif pour Lustre”, JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Gourette, France [Bourke 2017b]
- R. Gouicem, J. Sopena, J. Lawall, G. Muller, B. Lepers, W. Zwaenepoel, J.‑P. Lozi, N. Palix : “Ipanema : un langage dédié pour le développement d'ordonnanceurs multi-coeur sûrs”, Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Sophia Antipolis, France [Gouicem 2017]
- J. Lawall, D. Palinski, L. Gnirke, G. Muller : “Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers”, 2017 USENIX Annual Technical Conference, Santa Clara, CA, United States, pp. 12 [Lawall 2017a]
- J. Lawall, G. Muller : “JMake: Dependable Compilation for Kernel Janitors”, The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, Denver,Colorado, United States [Lawall 2017b]
- G. Lena Cota, S. Ben Mokhtar, G. Gianini, E. Damiani, J. Lawall, G. Muller, L. Brunie : “Analysing Selfishness Flooding with SEINE”, The 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17), Denver, Colorado, United States, pp. 603-614 [Lena Cota 2017]
- B. Lepers, W. Zwaenepoel, J.‑P. Lozi, N. Palix, R. Gouicem, J. Sopena, J. Lawall, G. Muller : “Towards Proving Optimistic Multicore Schedulers”, HotOS 2017 - 16th Workshop on Hot Topics in Operating Systems, Whistler, British Columbia, Canada, pp. 6 [Lepers 2017]
- V. Miraldo, P.‑E. Dagand, W. Swierstra : “Type-directed diffing of structured data”, TyDe 2017 - 2nd ACM SIGPLAN International Workshop on Type-Driven Development, Oxford, United Kingdom, pp. 2-15, (ACM) [Miraldo 2017]
- K. Narasimhan, Ch. Reichenbach, J. Lawall : “Interactive Data Representation Migration: Exploiting Program Dependence to Aid Program Transformation”, PEPM 2017 Workshop on Partial Evaluation and Program Manipulation, Paris, France [Narasimhan 2017]