Welcome at the Formal Languages and Compilers Group at Politecnico di Milano.

Our research interests range from theoretical foundations of formal languages to compilers design and implementation, both in static and dynamic context.

Recent and open projects regard compiler techniques to support non-functional characteristics such as security, and compilers and runtime systems for parallel programming (OpenCL, OpenMP) on both high performance computing systems (NUMA x86_64) and embedded many-/multi-cores (STM P2012/xP70, PULP/OpenRISC).

Past project included JIT design for Java and .NET platforms, dynamic scheduling on VLIW architectures, loop optimization for reconfigurable architectures and affine transformations to extract loop coarse grain parallelism.

Our team is composed by full, associate and assistant professors, post docs and Phd students, and master thesis students.