Videos

Allen School for CSE Colloquia: Virginia Smith (UC Berkeley)

9 months ago
Systems-Aware Optimization for Machine Learning at Scale Abstract New computing systems have emerged in response to the increasing size and complexity of modern datasets. For best performance, machine learning methods must be designed to closely align with the underlying properties of these systems. In this talk, we illustrate the impact of systems-aware machine learning in […]

CSEP 551, Lecture 10

UW CSE Colloquia: Justin Cheng (Stanford University)

9 months ago
Antisocial Computing: Explaining and Predicting Negative Behavior Online Abstract Antisocial behavior and misinformation are increasingly prevalent online. As users interact with one another on social platforms, negative interactions can cascade, resulting in complex changes in behavior that are difficult to predict. My research introduces computational methods for explaining the causes of such negative behavior and […]

UW CSE Colloquia: Daehwan Kim (University of Maryland/Johns Hopkins University)

10 months ago
Next-Generation Analysis of Our Genomes Abstract Recent rapid advances in next-generation sequencing (NGS) technologies have dramatically changed our ability to perform genome-scale analyses of human genomes, including variant detection, gene expression analysis, and the study of gene structures. In this talk, I will describe computational approaches for conducting these analyses, with an emphasis on variant […]

UW CSE Colloquia: Christopher De Sa (Stanford)

10 months ago
Relaxing Bottlenecks for Fast Machine Learning Abstract As machine learning applications become larger and more widely used, there is an increasing need for efficient systems solutions. The performance of essentially all machine learning applications is limited by bottlenecks with effects that cut across traditional layers in the software stack. Because of this, addressing these bottlenecks […]

CSEP 551, Lecture 9

UW CSE Colloquia: Christopher De Sa (Stanford)

10 months ago
Relaxing Bottlenecks for Fast Machine Learning Abstract As machine learning applications become larger and more widely used, there is an increasing need for efficient systems solutions. The performance of essentially all machine learning applications is limited by bottlenecks with effects that cut across traditional layers in the software stack. Because of this, addressing these bottlenecks […]

FM Backscatter

10 months ago
A team of UW CSE and EE researchers have pioneered a technique that enables “smart” posters and clothing to communicate directly with your car radio or smartphone using outdoor FM radio signals. Our key innovation is a modulation technique that transforms backscatter, which is a multiplication operation on RF signals, into an addition operation on […]

PLSE Seminar Series Ranjit Jhala, “Refinement Types for Dynamic Languages”

10 months ago
ABSTRACT We present Refined TypeScript (RSC), a lightweight refinement type system for verifying user-defined safety properties of TypeScript programs. RSC addresses two key challenges that arise in dynamic, higher-order imperative programs. The first is the ubiquity of value-based overloading, where a given function can dynamically reflect upon and behave according to the types of its […]

PLSE Seminar Series Claire Le Goues, “Scalable Semantic Code Search for High-Quality Program Repair”

10 months ago
ABSTRACT Bugs in programs remain a pernicious problem. Research techniques in automated program improvement and repair are typically classified as either heuristic—searching over a set of syntactic changes, often drawn from an existing body of code—or semantic—leveraging symbolic analysis or synthesis to construct program-improving changes with respect to an inferred specification. In this talk, I […]

PLSE Seminar Series Matthew Flatt, “Let’s Build a Hygienic Macro Expander!”

10 months ago
ABSTRACT Racket provides a smooth path from simple language extensions to whole new programming languages by building on a foundation of hygienic macro expansion. Hygienic macros make pattern matching and template substitution robust against choices of variable names, much in the same way that lexical scope enables function composition independent of local variable names. Compared […]

PLSE Seminar Series Ravi Chugh, “Direct Manipulation Programming Systems”

10 months ago
ABSTRACT Imagine that you want to create a complex digital artifact, such as a document, spreadsheet, illustration, visualization, or Web application. As an expert, you know that programming is the way to go. But you also know that, by choosing this route, you will forgo the joys of direct manipulation, graphical user interfaces. In this […]