Please join us to learn more about the UC Santa Cruz Comprehensive Habitat Conservation Plan (HCP). The Campus Planning Department is hosting an upcoming informational webinar about the proposed Comprehensive Habitat Conservation […]
Interested in a career in generative AI? Join us Dec. 2 from 7 – 8 PM for our Virtual Information Session. Learn more about our program, based at the UCSC […]
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 […]
Applied Microeconomics and Trade Seminar: Matt Weinberg
Career success arts marketing
Transform learning. Join Educational Therapy certificate program chair Sharmila Roy for a thoughtful program overview and hear how the uniquely designed curriculum empowers educators and professionals to make a lasting […]
Presenter 1: Gali Bai, BME/PBSE Doctoral Candidate, Brooks Lab, UC Santa Cruz Title 1: Dissecting the contribution of chromatin accessibility to RNA transcription and processing with long-read sequencing Description: Although […]
About the Talk: The history of hinterland communities is largely written in remote landscapes that today are often targeted for infrastructural development that forcibly relocates existing residents and transforms the land, […]
Economics Behavioral, Econometrics and Theory Seminar: Jacopo Magnani
Join Dean PK Agarwal for this free online session. He’ll lead a forward-looking conversation on emerging job roles in tech, sustainability, health, and creative industries. Learn how industry convergence and […]
Build Your Career in Embedded Systems While hiring has slowed in some tech sectors, the demand for skilled Embedded Systems professionals continues to grow across industries. At this free winter […]
Simulation is a coinductive proof technique to assert the behavioral equivalence of computing systems that has seen fruitful application in distributed systems, concurrent process calculi, and programming languages, since the […]
In this work, we develop numerical methods for conservation laws that explore statistical, structure-preserving, and machine-learning-based approaches, each built on top of traditional numerical solvers. First, we develop a general […]
Hardware design flows have become increasingly complex as modern chips integrate billions of transistors and rely on aggressive synthesis optimizations to meet performance, area, and power targets. While these transformations […]
First Saturday Tours are a wonderful way to introduce yourself to the Arboretum or to deepen your knowledge of the Arboretum’s plant collections. Each tour is a little different depending […]
Please join the Dickens Project for the rescheduled Dickens Universe talk by John Jordan, Dickens Project Co-Founder and Co-Director. Delve into the sounds of ‘The Old Curiosity Shop’ on Sunday, December 7, from 1:00-2:30 PM (Pacific time).
Modern applications, such as data center workloads, have become increasingly complex. These applications primarily operate on massive datasets, which involve large memory footprints, irregular access patterns, and complex control and […]
Presenter: Andrew Myers, Cornell University Abstract: Modern civilization depends on complex, interconnected software systems that must safeguard trustworthy or private data. We have ever-growing mountains of code yet lack principled […]
Reinforcement Learning (RL) is a machine learning paradigm that trains a decision maker, or policy, by learning from interaction with an environment. The power of RL lies in its ability […]
Transient execution attacks are serious security threats in modern-day processors. Out-of-order execution compels the processor to access data that should not be otherwise perceived. Leakage of that secret information creates […]