Tag: Computer
-
Quality First Coding Contest
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…
-
QB3/QBI Pre-Hackathon Mixer
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…
-
When Less is More: Applications of Type-Based Underapproximate Reasoning
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 of potentially missing some (false negatives). Recent work has sought to place such tools on a more formal footing, primarily through the development of incorrectness…