香蕉秀

Photo by Lee Pellegrini

Jean-Baptiste Tristan, an associate professor in the Morrissey College of Arts and Sciences Computer Science Department, is among seven co-recipients of the 2021 Association for Computing Machinery Software System Award for contributions to groundbreaking research and practical applications that impact everyday users of technology.

Tristan shared the award with French and German colleagues for the development of CompCert, the first practically useful software that was developed not by writing its code but by extracting the set of instructions from the software鈥檚 mathematical proof of existence, resulting in an error-free construction.

According to ACM, the award, which bears a $35,000, IBM-provided prize, recognizes developers of a software system that has 鈥渓asting influence, reflected in contributions to concepts, in commercial acceptance, or both.鈥�

鈥淎lthough the profound correspondence between computer programs and mathematical proofs had been understood since the 1960s, the difficulty of engineering software this way had limited its impact to toy examples,鈥� explained Tristan, who joined Boston College in August of 2020 after serving as a visiting lecturer at Harvard University and stints at Oracle Labs in Burlington, Mass. 聽鈥淲hen it was introduced in 2005, CompCert signaled a major advance for the possibility of engineering error-free software by the extraction from mathematical proofs.鈥�

CompCert continues as a research project at the French National Institute for Research in Digital Science and Technology, and is available under commercial and noncommercial licenses. Other researchers build upon CompCert, and multiple corporations use it for safety-critical applications.

鈥淣aturally, we鈥檙e delighted to see our colleague receive such a prestigious honor,鈥� said Computer Science Department Chair Howard Straubing. 鈥淭his richly deserved award for highly influential research is one more sign of the steadily rising profile of the Computer Science faculty at Boston College.鈥�

In April 2021, Tristan and co-principal investigator Joseph Tassarotti, an assistant professor in 香蕉秀鈥檚 Computer Science Department, received a $963,189 grant from the National Science Foundation鈥檚 Division of Computing and Communication Foundations to improve the quality of artificial intelligence software through probabilistic programming languages, a core tool for the development of AI applications.

ACM, founded in 1947 and based in New York City, is the world鈥檚 largest educational and scientific computing society, comprised by nearly 100,000 computing educators, researchers, professionals, and students.

Phil Gloudemans | University Communications | May 2022