现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
- J.‑J. Bai, J. Lawall, Q.‑L. Chen, Sh. Hu : “Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers”, 2019 USENIX Annual Technical Conference, Renton, Washington, United States [Bai 2019a]
- J.‑J. Bai, J. Lawall, W. Tan, Sh. Hu : “DCNS: Automated Detection of Conservative Non-Sleep Defects in the Linux Kernel”, ASPLOS '19 Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, Providence, Rhode Island, United States, pp. 287-299, (ACM) [Bai 2019b]
- V. Bui, D. Mvondo, B. Teabe, K. Jiokeng, L. Wapet, A. Tchana, G. Thomas, D. Hagimont, G. Muller, N. Depalma : “When eXtended Para-Virtualization (XPV) meets NUMA”, EuroSys '19 Proceedings of the Fourteenth EuroSys Conference 2019, Dresde, Germany, pp. 7, (ACM Press) [Bui 2019]
- D. Carver, R. Gouicem, J.‑P. Lozi, J. Sopena, B. Lepers, W. Zwaenepoel, N. Palix, J. Lawall, G. Muller : “Fork/Wait and Multicore Frequency Scaling: a Generational Clash”, 10th Workshop on Programming Languages and Operating Systems, Huntsville, Canada, pp. 53-59, (ACM Press) [carver 2019]
- Q.‑L. Chen, J.‑J. Bai, Z.‑M. Jiang, J. Lawall, Sh. Hu : “Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers”, SANER 2019 - 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, Hangzhou, China [Chen 2019]
- C. Courtaud, J. Sopena, G. Muller, D. Gracia : “Improving Prediction Accuracy of Memory Interferences for Multicore Platforms”, RTSS 2019 - 40th IEEE Real-Time Systems Symposium, Hong-Kong, China, (IEEE) [Courtaud 2019]
- R. Gouicem, J. Sopena, J. Lawall, G. Muller, B. Lepers, W. Zwaenepoel, J.‑P. Lozi, N. Palix : “Understanding scheduler performance : a feature-based approach”, Compas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Anglet, France [Gouicem 2019]
- Th. Hoang, J. Lawall, Richard J. Oentaryo, Y. Tian, D. Lo : “PatchNet: A Tool for Deep Patch Classification”, ICSE-Companion 2019 - IEEE/ACM 41st International Conference on Software Engineering, Montreal, Canada, pp. 83-86, (IEEE) [Hoang 2019]
- Z.‑M. Jiang, J.‑J. Bai, J. Lawall, Sh. Hu : “Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection”, ISSRE 2019 - The 30th International Symposium on Software Reliability Engineering, Berlin, Germany [Jiang 2019]
- H. Kang, F. Thung, J. Lawall, G. Muller, L. Jiang, D. Lo : “Semantic Patches for Java Program Transformation”, 33rd European Conference on Object-Oriented Programming (ECOOP 2019), vol. 134, Leibniz International Proceedings in Informatics (LIPIcs), London, United Kingdom, pp. 22:1-22:27, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Kang 2019b]
- F. Laniel, D. Carver, J. Sopena, F. Wajsbürt, J. Lejeune, M. Shapiro : “Highlighting the Container Memory Consolidation Problems in Linux”, NCA 2019 - 18th IEEE International Symposium on Network Computing and Applications, Cambridge, United States, pp. 1-4, (IEEE) [Laniel 2019]
- D. Mercadier, P.‑E. Dagand : “Usuba: high-throughput and constant-time ciphers, by construction”, PLDI 2019 - 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, United States, pp. 157-173, (ACM Press) [Mercadier 2019]