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 info session, you’ll learn about emerging roles in embedded technology and the essential skills that make your resume stand out. Discover how AI is being […]
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 1970’s. We have also utilized simulation in our prior work, where we formalized and proved a folklore claim that the state-based and operation-based approaches to […]
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 […]
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 […]
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 […]
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 […]
The Division of Student Affairs and Success invites parents and families to the next installment of the Ecosystem of Care webinar series, featuring Career Success. The Ecosystem of Care virtual webinar […]
Strong business skills are the key to success. Join our live virtual discussion to explore how our courses and expert instructors can help you build a versatile and successful career […]
While Large Language Models exhibit remarkable capabilities, their reliance on the standard Transformer architecture imposes prohibitive computational costs and quadratic memory complexity. To bridge the gap between biological efficiency and […]
Quantum Key Distribution (QKD) provides information-theoretic security for cryptographic key establishment, but existing protocols exhibit limited noise tolerance, restricting their applicability in practical quantum channels with finite resources. This work […]
The Everett Program Presents: Envisioning Digital Justice Together | 7th Annual Project Showcase
This showcase aims to highlight the incredible work of our students, who have completed a year-long practicum conceptualizing and using digital technology to work with nonprofit organizations on social justice issues from climate justice to the racist impacts of the carceral state.
This year, Showcase is an event in which the audience can not only come together to support these wonderful students and their work, but to envision a range of digital futures together.
All are welcome! RSVP with the QR Code found on the poster 🙂
Data analysts are in high demand Even as hiring slows in certain tech sectors, organizations across industries are actively seeking professionals with data expertise. The ability to extract insights from […]
Translation is a central and highly regulated step of gene expression, yet there are few quantitative, high-throughput tools to study translation. Existing methods such as sucrose gradients provide only bulk […]
Transcriptomic profiling has been transformative in pediatric oncology. Pediatric cancers arise from disrupted developmental programs. Their impaired transcriptional states reflect cell lineage infidelity, aberrant differentiation, and immune-microenvironment interactions distinct from […]