Announcement_2

“Sibyl: Improving Software Engineering Tools with SMT Selection” was selected as 1 of 10 papers to earn the ACM SIGSOFT Distinguished Paper Award at ICSE 2023!




Enjoy Reading This Article?

Here are some more articles you might like to read next:

  • My Experience in Dissertating
  • The Academic Job Hunt
  • Big Wall of Quotes
  • Rejections Can Help
  • Quals