Presenter: Suresh Jagganathan, Purdue University Abstract: Unlike program verifiers, symbolic execution and property-based testing tools underapproximate program behavior: they aim to report only real bugs (no false positives), at the cost […]
This is a programming contest, but with a twist! Instead of scoring you based on your speed and solution accuracy, we score you based on your programming quality and solution accuracy. This means that instead of looking at how fast you can program a solution, we look at your number of compiles/runs instead.* The contestant that […]
Join us for an exciting pre-hackathon mixer at University of California, Santa Cruz! Get ready to mingle, form teams, and start brainstorming ideas for your projects before the QBI Hackathon kicks off at UCSF in June 2026. Agenda 5:00 PM – Doors Open 5:30 PM – Pitch Session 6:00 PM – Networking & Mingling We […]