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 Gaussian-process-based “recipe’’ for constructing high-order linear operators such as interpolation, reconstruction, and derivative approximations. Building on this recipe, we derive a kernel-agnostic convergence theory for […]
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 improve circuit efficiency, they also erase the correspondence between gate-level netlists and their originating HDL source lines. The loss of traceability makes post-synthesis debugging, timing […]
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 on the time of year, the interests of the tour guide, and the people who join in. For example, you might learn about the birds […]
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 data flows. The processor-memory speed gap, combined with these complexities, can lead to unexpected performance inefficiencies in these applications, preventing them from achieving optimal performance. […]
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 ways to build large systems that are secure. What is missing is a way to securely build these systems compositionally: module by module and layer […]
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 to learn complex strategies without explicit human instruction, which can lead to better solutions that human designers overlook in domains ranging from robotics to scientific […]
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 a covert channel for the attacker for various types of transient and speculative attacks. Transient based execution attacks emanate when the secret information is leaked […]
The growing integration of Large Language Models (LLMs) into real-world applications has heightened concerns about their trustworthiness, as models may reveal private information, reproduce copyrighted content, propagate biases, or generate harmful instructions. These risks, alongside emerging privacy regulations, motivate the need for LLM unlearning, methods that remove the influence of specific data while preserving overall […]
Immigration and Workforce Strategy: Creating Successful Teams Join Program Chair Philip Ziman and explore UCSC Silicon Valley’s Human Resource Management certificate, designed to help you recruit, develop, and retain top talent in a changing global landscape. Learn to align HR strategies with business goals, leverage AI-driven people analytics for stronger workforce insights, and navigate the evolving immigration climate […]