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.