talk · community record
Validating Changes in Typechecking on Codebases with SemanticDB (Student Talk)
Student talk with Eugene Burmako (Twitter, Inc.) in the ACM SIGPLAN Scala Symposium's Student Talks 2 session, presenting the SemanticDB-based tooling used to validate that typechecking changes in a new Scala compiler produce the same semantics across large codebases. Listed on his own CV as 'Validating Typechecking Changes with SemanticDB, ICFP'.
01
Connections
1 relationship