FeOFu - Compiler Seminar

Features of the Future

In this repository we'd like to collect ideas that would lead to better compilers for existing languages, better future programming languages, better APIs and better performance software solutions in the future.

This semester we hold regular meetings every Tuesday between 16:00-18:00 CEST on google meet

Join the chat at https://gitter.im/Compiler-Seminar/community

Mailing list: https://groups.google.com/d/forum/compiler-seminar-budapest

2020 spring semester:

• 15 April 2020, AST modeling in Soufflé Datalog

  Presenter: Csaba Hruska
  Recommended reading: https://souffle-lang.github.io/tutorial

• 22 April 2020, Lifetime analysis for C++

  Presenter: Gábor Horváth
  Recommended reading: Chapter 3 and Appendix A of https://www.dropbox.com/s/4iog86ljrhyehrp/thesis.pdf?dl=0 Note: The reading above is a draft, any feedback is welcome.

• 29 April 2020, Introduction to type inference (and program inference)

  Presenter: András Kovács

• 6 May 2020, (Glued) evaluation and normalization for lambda calculus

  Presenter: András Kovács

• 13 May 2020, Symbolic Execution

  Presenter: Gábor Horváth
  Recommended reading:

  • A Survey of Symbolic Execution Techniques
  • Incorrectness Logic

• 20 May 2020, Symbolic Execution - taint analysis, constraint manager in Clang

  Presenter: Balázs Benics
  Recommended reading:

  • Inspection the use of static code analysis to automatically detect security issues
  • An user configurable clang static analyzer taint checker

• 27 May 2020, Code devirtualization, packers

  Presenter: Dávid Török
  Recommended reading:

  • Unpacking Virtualization Obfuscators
  • Syntia: Synthesizing the Semantics of Obfuscated Code

---

2019 spring semester:

• 18 February 2019, Dataflow analysis

  Presenter: Gábor Horváth
  Recommended reading: Engineering a Compiler Chapter 9.2

• 25 February 2019, LambdaGen and Structured Recursion Schemes

  Presenter: Dániel Berényi
  Recommended reading: Eric Niebler: F-algebras and C++

• 04 March 2019, Using SMT solvers in Compilers

  Presenter: Réka Kovács
  Recommended reading: link

• 11 March 2019, GRIN and Heap Points To Analysis slides

  Presenter: Csaba Hruska
  Recommended reading: The GRIN Project

• 18 March 2019, Points To Analysis Overview slides

  Presenter: Csaba Hruska
  Recommended reading:

  • Tutorial / Survey '15
  • Points-to Analysis in Almost Linear Time '96
  • Fast and Accurate Flow-Insensitive Points-To Analysis '97
  • The ant and the grasshopper:fast and accurate pointer analysis for millions of lines of code '07
  • A GPU Implementation of Inclusion-based Points-to Analysis '12

• 25 March 2019, Non-intrusive testing methods, Chains of Recurrences

  Presenter: Gábor Márton
  Presenter: Gábor Horváth
  Recommended reading:

  • Chains of Recurrences

• 1 April 2019, SYCL

  Presenter: Máté Ferenc Nagy-Egri Recommended reading:

  • OpenCL overview
  • Minimal OpenCL app: C and C++
  • OpenCL-GL interop sample

• 8 April 2019, SYCL (cont.)

  Presenter: Máté Ferenc Nagy-Egri Recommended reading:

  • SYCL overview
  • SYCL SAXPY sample
  • SYCL-CL-GL interop sample
  • ComputeCpp
  • Intel SYCL implementation

• 29 April 2019, Efficient Program Analysis with Datalog

  Presenter: Csaba Hruska
  Recommended reading:

  • Introduction to Datalog
  • Pointer Analysis tutorial with Datalog
  • Soufflé (docs)

• 20 May 2019, MLIR

  Presenter: Gabor Horvath
  Links:

  • EuroLLVM MLIR Keynote
  • EuroLLVM MLIR Tutorial
  • Github