CIS Seminar: “Made to Order: Verifying Correctness and Security of Hardware through Event Orderings”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Correctness and security problems in modern computer systems can result from problematic hardware event orderings and interleavings during an application’s execution. Since hardware designs are complex and since a single user-facing instruction can exhibit a variety of different hardware execution sequences, analyzing and verifying systems for correct event orderings is challenging. My work addresses these […]

MEAM Seminar: “Hairy Hydrodynamics”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Flexible slender structures in flow are everywhere. While a great deal is known about individual flexible fibers interacting with fluids, considerably less work has been done on fiber ensembles — such as fur or hair — in flow. These hairy surfaces are abundant in nature and perform multiple functions from thermal regulation to water harvesting […]

ESE Seminar: “Liquid Silicon: A New Computing Paradigm Enabled by Monolithic 3D Cross-Point Memory”

Room 337, Towne Building 220 South 33rd Street, Philadelphia, PA, United States

Almost every subfield of electrical engineering and computer science are undergoing disruptive times. With Moore's Law coming to an end, an expanded roadmap for semiconductors beyond traditional CMOS scaling becomes unclear. At the other end, traditional application software development is being replaced by emerging machine learning techniques whose success will, in turn, rely on the […]

MEAM Seminar: “Fluid Mechanics and Turbulence in Extended Wind Farms”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

In this presentation we discuss several properties of the flow structure and turbulence in the wind turbine array boundary layer (WTABL). This particular type of shear flow develops when the atmospheric boundary layer interacts with an array of large wind turbines. Based on such understanding, we aim to develop reduced order, analytically tractable models. These […]

PRiML Seminar: “Optimizing probability distributions for learning: sampling meets optimization”

Room 401B, 3401 Walnut 3401 Walnut Street, Philadelphia, PA, United States

Optimization and sampling are both of central importance in large-scale machine learning problems, but they are typically viewed as very different problems. This talk presents recent results that exploit the interplay between them. Viewing Markov chain Monte Carlo sampling algorithms as performing an optimization over the space of probability distributions, we demonstrate analogs of Nesterov's acceleration approach in the sampling domain, […]