The United Nations (UN) and the Baskin School of Engineering at the University of California, Santa Cruz, are collaborating to bring the “Reboot the Earth” hackathon to the West Coast […]
Presenter: Luis Lamb, Catholic Institute of Technology Abstract: Neurosymbolic AI brings together the statistical nature of machine learning with the formal reasoning capabilities of symbolic AI. It seeks to offer a […]
Presenter: Ranjit Jhala, UCSD Abstract: Rust has risen as a language of choice for new systems code — from OS kernels to hypervisors, firmware and run-times — as it is memory safe and provides the sort of abstractions needed for efficient low-level systems implementation. We present Flux, a refinement type checker for Rust that shows how […]
Dear Baskin Engineering community, We’re excited to invite you to the kickoff of this year’s BE Climate Connectors series — a monthly gathering designed to bring together faculty, instructors, researchers, graduate students, and key staff working on climate solutions. When: Thursday, October 16 at 4:00 PM Where: E2 599 What: Wine, beer, and light snacks provided These informal monthly […]
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 […]
The United Nations (UN) and the Baskin School of Engineering at the University of California, Santa Cruz, are collaborating to bring the “Reboot the Earth” hackathon to the West Coast […]
Presenter: Luis Lamb, Catholic Institute of Technology Abstract: Neurosymbolic AI brings together the statistical nature of machine learning with the formal reasoning capabilities of symbolic AI. It seeks to offer a […]
Presenter: Ranjit Jhala, UCSD Abstract: Rust has risen as a language of choice for new systems code — from OS kernels to hypervisors, firmware and run-times — as it is memory safe and provides the sort of abstractions needed for efficient low-level systems implementation. We present Flux, a refinement type checker for Rust that shows how […]
Dear Baskin Engineering community, We’re excited to invite you to the kickoff of this year’s BE Climate Connectors series — a monthly gathering designed to bring together faculty, instructors, researchers, graduate students, and key staff working on climate solutions. When: Thursday, October 16 at 4:00 PM Where: E2 599 What: Wine, beer, and light snacks provided These informal monthly […]
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 […]