Barış Bayazıt

• A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants LMPL 2025
  [paper|doi]
  Barış Bayazıt, Yao Li, Xujie Si
• RESpecBench: How Reliable Is LLM-as-a-Judge? Rigorous Evaluation of Specification Generation with Automated Verification Preprint
  Barış Bayazıt, Xujie Si
• VerifyThisBench: Joint Evaluation of Code, Specifications, and Proof Under review
  [arXiv|code]
  Xun Deng, Barış Bayazıt, Si Cheng Zhong, Andreas Veneris, Fan Long, Xujie Si
• Verified Stack Switching in CompCert In progress
  [poster]
  Effect handlers and stack switching across every CompCert IR, mechanized in Rocq. With Ningning Xie and Oghenevwogaga Ebresafe.
• Linear Stages In progress
  A staged, linearly typed calculus with mutable references, mechanized in Rocq. With Ningning Xie and Maite Kramarz.

Talks

• A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants — LMPL, Singapore Oct 2025
• RESpecBench — POPL Student Research Competition, Rennes Jan 2026
• RESpecBench — ARIA, Toronto Nov 2025

Service

• Student volunteer, POPL 2026
• Orientation leader, Victoria College, University of Toronto 2026
• Web engineering lead, Computer Science Student Union, University of Toronto 2024–2025