Compiler Construction Proseminar

General Information

... on the administrative structure of the seminar can be found here.

Course on Literature Research

You are required to participate in a course on literature research organized by the Computer Science Library. Further details can be found here.

Topics

[1]
H. Wang et al., “Automating reinforcement learning architecture design for code optimization,” in Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction, in CC 2022. New York, NY, USA: Association for Computing Machinery, Mar. 2022, pp. 129–143. doi: 10.1145/3497776.3517769.
[2]
S. Kourta et al., “Caviar: an e-graph based TRS for automatic code optimization,” in Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction, in CC 2022. New York, NY, USA: Association for Computing Machinery, Mar. 2022, pp. 54–64. doi: 10.1145/3497776.3517781.
[3]
A. Dura and C. Reichenbach, “Clog: A Declarative Language for C Static Code Checkers,” in Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, in CC 2024. New York, NY, USA: Association for Computing Machinery, Feb. 2024, pp. 186–197. doi: 10.1145/3640537.3641579.
[4]
C. Cummins et al., “CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research,” Apr. 2022, pp. 92–105. doi: 10.1109/CGO53902.2022.9741258.
[5]
P. Mu et al., “CoSense: Compiler Optimizations using Sensor Technical Specifications,” in Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, in CC 2024. New York, NY, USA: Association for Computing Machinery, Feb. 2024, pp. 73–85. doi: 10.1145/3640537.3641576.
[6]
A. F. da Silva, B. N. B. de Lima, and F. M. Q. Pereira, “Exploring the space of optimization sequences for code-size reduction: insights and tools,” in Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, in CC 2021. New York, NY, USA: Association for Computing Machinery, Feb. 2021, pp. 47–58. doi: 10.1145/3446804.3446849.
[7]
K. Chitre, P. Kedia, and R. Purandare, “HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance,” in Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, in CC ’26. New York, NY, USA: Association for Computing Machinery, Jan. 2026, pp. 180–193. doi: 10.1145/3771775.3786270.
[8]
D. Nuzman, A. Zaks, and Z. Ben-Zion, “If-Convert as Early as You Must,” in Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, in CC 2024. New York, NY, USA: Association for Computing Machinery, Feb. 2024, pp. 26–38. doi: 10.1145/3640537.3641562.
[9]
B. Campos Ferreira Guimarães and F. M. Quintão Pereira, “Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need,” in Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, in CC 2023. New York, NY, USA: Association for Computing Machinery, Feb. 2023, pp. 239–249. doi: 10.1145/3578360.3580270.
[10]
C. Courbet, “NSan: a floating-point numerical sanitizer,” in Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, in CC 2021. New York, NY, USA: Association for Computing Machinery, Feb. 2021, pp. 83–93. doi: 10.1145/3446804.3446848.
[11]
C. Salvador Rohwedder, J. P. L. De Carvalho, and J. N. Amaral, “Region-Based Data Layout via Data Reuse Analysis,” in Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, in CC 2024. New York, NY, USA: Association for Computing Machinery, Feb. 2024, pp. 49–59. doi: 10.1145/3640537.3641571.
[12]
S. Jamilan, S. Kumar, and H. Litz, “RIFS: Run-Time Invariant Function Specialization,” in Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, in CC ’26. New York, NY, USA: Association for Computing Machinery, Jan. 2026, pp. 40–52. doi: 10.1145/3771775.3786274.
[13]
S. VenkataKeerthy et al., “The Next 700 ML-Enabled Compiler Optimizations,” in Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, in CC 2024. New York, NY, USA: Association for Computing Machinery, Feb. 2024, pp. 238–249. doi: 10.1145/3640537.3641580.

Agenda

  • Kick-Off: 17.04.2026 at 8:30am, room 231, IT Center, Seffenter Weg 23.
  • Proposal (MOTIVATE): Presentation on 08.05.2026 at 10:30am in room 231.
  • Intermediate presentation (TEACH). Presentation on 19.06.2026 at 10am in room 231
  • Final presentation (SELL). Presentation on 17.07.2026 at 10am in room 231.
  • Publication (PDF report) by 26.07.2026 at 11:59pm.