Compilers Lab’s Post

Fernando Pereira has recently launched a new series of coding labs for UFMG's Static Program Analysis course. DCC888 - Static Program Analysis is an annual offering in the Graduate Program in Computer Science at the Federal University of Minas Gerais. The course delves into various static analysis techniques, including data-flow equations, control-flow and data-flow graphs, type systems, fixed-point theory, lattices, proofs of termination, constraint generation, and Static-Single Assignment form. Students are tasked with completing project assignments, primarily involving filling in missing parts of static analysis algorithms implemented in Python. These assignments are evaluated using UFMG's automated grading system (based on Moodle), but interested students can still try the labs: they all include doctests to guide students through completing the assignments. Check out the labs: https://lnkd.in/eA7NNpbc Check out DCC888: https://lnkd.in/dG8Wrv5k #university #computerscience #compiler #programming #science #research

  • Fernando Pereira has recently launched a new series of coding labs for UFMG's Static Program Analysis course.
Glenn Coates, PhD

Expert in Low-Level Programming (C, C++, x86, ARM) | ISO/IEC JTC 1/SC 22/WG 14 – C Programming Language Committee Member

11mo

These look excellent, thank you.

To view or add a comment, sign in

Explore topics