Consignes
- Synthèses sur 4 pages
- Présentations de 15 mn
Liste des articles
- K. Okuda and S. Amarasinghe, “AskIt: Unified Programming Interface for Programming with Large Language Models,” in CGO 2024 (pdf)
- X. Guan et al., “PresCount: Effective Register Allocation for Bank Conflict Reduction,” CGO 2024 (pdf)
- T. McMichen et al., “Representing Data Collections in an SSA Form,”, CGO 2024 (pdf)
- Peihua Zhang, Chenggang Wu, Mingfan Peng, Kai Zeng, Ding Yu, Yuanming Lai, Yan Kang, Wei Wang, and Zhe Wang. 2023. Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques. CGO 2023, (pdf)
- Vijay Kandiah, Daniel Lustig, Oreste Villa, David Nellans, and Nikos Hardavellas. 2023. Parsimony: Enabling SIMD/Vector Programming in Standard Compiler Flows. CGO 2023, (pdf)
- Rodrigo C. O. Rocha, Pavlos Petoumenos, Björn Franke, Pramod Bhatotia, and Michael O’Boyle. 2022. Loop rolling for code size reduction. CGO 2022, (pdf)
- Jean-Christophe Léchenet, Sandrine Blazy & David Pichardie, “A Fast Verified Liveness Analysis in SSA Form”, IJCAR 2020, (pdf)
- Z. Zhang and B. Liu, “SDC-based modulo scheduling for pipeline synthesis,”, ICCAD 2013. (pdf)
- N. Bellec et al. RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems, ECRTS 2022, (pdf)
- A. Morvan et al “Polyhedral Bubble Insertion: A Method to Improve Nested Loop Pipelining for High-Level Synthesis” IEEE TCAD 2013, (pdf)
- Kafshdooz et al. A Compile-Time Optimization Method for WCET Reduction in Real-Time Embedded Systems through Block Formation. TACO 2016, (pdf)
- Fellmuth et al. Instruction Caches in Static WCET Analysis of Artificially Diversified Software. ECRTS 2018, (pdf)
- De Albuquerque Silva et al. ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems. ECRTS 2023, (pdf)
- Matheus Schuh et al. A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory. RTSS 2020, (pdf)
- M. Dardaillon et al. Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation. RTSS 2019, (pdf)
