7 events found.
Week of Events
Monday, December 1, 2025
No events on this day.
Tuesday, December 2, 2025
No events on this day.
Wednesday, December 3, 2025
No events on this day.
Thursday, December 4, 2025
No events on this day.
Friday, December 5, 2025
-
Hybrid EventDecember 5, 2025Littschwager, N. (CSE) – A Proposal for Characterizing Replicated Systems and Emulators
-
Hybrid EventDecember 5, 2025DeGrendele, C. (AM) – Learning-Augmented and Structure-Preserving Methods for Conservation Law Solvers
-
Hybrid EventDecember 5, 2025Garg, S. (CSE) – MAPPING ANNOTATIONS FROM NETLIST TO SOURCE CODE
Hybrid Event
Littschwager, N. (CSE) – A Proposal for Characterizing Replicated Systems and Emulators
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 […]
Hybrid Event
DeGrendele, C. (AM) – Learning-Augmented and Structure-Preserving Methods for Conservation Law Solvers
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 […]
Hybrid Event
Garg, S. (CSE) – MAPPING ANNOTATIONS FROM NETLIST TO SOURCE CODE
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 […]
Saturday, December 6, 2025
No events on this day.
Sunday, December 7, 2025
No events on this day.