Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | ACASA |
- S. Belaid, P.‑E. Dagand, D. Mercadier, M. Rivain, R. Wintersdorff : “Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations”, EUROCRYPT, vol. 12107, Lecture Notes in Computer Science, Zagreb / Virtual, Croatia, pp. 311-341, (Springer) [Belaid 2020b]
- G. Berthou, P.‑E. Dagand, D. Demange, R. Oudin, T. Risset : “Intermittent Computing with Peripherals, Formally Verified”, LCTES '20: 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems Proceedings, London / Virtual, United Kingdom, pp. 85-96, (ACM) [Berthou 2020]
- A. Chueshev, J. Lawall, R. Bendraou, T. Ziadi : “Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers”, ICSME 2020 - International Conference on Software Maintenance and Evolution, Adélaïde / Virtual, Australia [Chueshev 2020]
- R. Gouicem, D. Carver, J.‑P. Lozi, J. Sopena, B. Lepers, W. Zwaenepoel, N. Palix, J. Lawall, G. Muller : “Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance”, 2020 USENIX Annual Technical Conference, Boston / Virtual, United States [Gouicem 2020]
- S. Haryono, F. Thung, H. Kang, L. Serrano, G. Muller, J. Lawall, D. Lo, L. Jiang : “Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example”, ICPC 2020 - 28th IEEE/ACM International Conference on Program Comprehension - ERA track, Seoul / Virtual, Korea, Republic of [Haryono 2020]
- Th. Hoang, H. Kang, D. Lo, J. Lawall : “CC2Vec: Distributed Representations of Code Changes”, ICSE 2020 - 42nd International Conference on Software Engineering, Seoul / Virtual, Korea, Republic of, pp. 518-529, (Association for Computing Machinery) [Hoang 2020]
- P. Kiaei, D. Mercadier, P.‑E. Dagand, K. Heydemann, P. Schaumont : “Custom Instruction Support for Modular Defense against Side-channel and Fault Attacks”, International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2020, Lecture Notes in Computer Science, Lugano, Switzerland [Kiaei 2020]
- F. Laniel, D. Carver, J. Sopena, F. Wajsbürt, J. Lejeune, M. Shapiro : “MemOpLight: Leveraging application feedback to improve container memory consolidation”, NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Cambridge / Virtual, United States, pp. 1-10 [Laniel 2020a]
- F. Laniel, D. Carver, J. Sopena, F. Wajsbürt, J. Lejeune, M. Shapiro : “MemOpLight: Leveraging application feedback to improve container memory consolidation”, NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Cambridge / Virtual, United States, pp. 1-10 [Laniel 2020b]
- B. Lepers, R. Gouicem, D. Carver, J.‑P. Lozi, N. Palix, M.‑V. Aponte, W. Zwaenepoel, J. Sopena, J. Lawall, G. Muller : “Provable Multicore Schedulers with Ipanema: Application to Work Conservation”, Eurosys 2020 - European Conference on Computer Systems, Heraklion / Virtual, Greece [Lepers 2020]
- L. Serrano, V.‑A. Nguyen, F. Thung, L. Jiang, D. Lo, J. Lawall, G. Muller : “SPINFER: Inferring Semantic Patches for the Linux Kernel”, USENIX Annual Technical Conference, Boston / Virtual, United States [Serrano 2020]
- F. Thung, S. Haryono, L. Serrano, G. Muller, J. Lawall, D. Lo, L. Jiang : “Automated Deprecated-API Usage Update for Android Apps: How Far Are We?”, SANER 2020 - 27th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER, RENE track), London, Ontario, Canada, pp. 602-611, (IEEE) [Thung 2020]
- N. Volanschi, J. Lawall : “The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel”, ASE 2020 - 35th IEEE/ACM International Conference on Automated Software Engineering, Melbourne / Virtual, Australia [Volanschi 2020]