Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Gabriel Dos Reis, assistant professor at Texas A&M University, visited the Gallium team in July 2012, to work on the formal semantics of the C and C++ languages.

Internships

Joseph Tassarotti, undergraduate student at Harvard University, did an internship at Gallium from June to August 2012. He worked on register allocation and instruction scheduling for the CompCert verified compiler.