<< Week of May 05 >>

Monday, May 6, 2019

Dissertation Talk: FPGA-Accelerated Evaluation and Verification of RTL Designs

Presentation: Dissertation Talk: CS | May 6 | 9:30-10:30 a.m. | 380 Soda Hall

 Electrical Engineering and Computer Sciences (EECS)

This thesis describes fast and accurate RTL simulation methodologies for performance, power, and energy evaluation as well as verification and debugging using FPGAs in the hardware/software co-design flow.

Dissertation Talk: Measuring Generalization and Overfitting in Machine Learning

Seminar: Dissertation Talk: CS | May 6 | 1-2 p.m. | 405 Soda Hall

 Rebecca Roelofs

 Electrical Engineering and Computer Sciences (EECS)

Due to the prevalence of machine learning (ML) algorithms and the potential for their decisions to profoundly impact billions of human lives, it is crucial that they are robust, reliable, and understandable. This thesis examines key theoretical pillars of ML surrounding generalization and overfitting, and tests the extent to which empirical behavior matches existing theory. We develop novel...   More >

Dissertation Talk: Towards Secure Computation with Optimal Complexity

Seminar: Dissertation Talk: CS | May 6 | 2-3 p.m. | 606 Soda Hall

 Peihan Miao

 Electrical Engineering and Computer Sciences (EECS)

Secure computation enables a set of mutually distrusting parties to collaboratively compute a public function over their private data while keeping those data private. A central question in the cryptography community, that has been studied for decades, is whether secure computation protocols can be efficient enough to serve for its countless applications. In this talk, I will present my efforts...   More >

Between Shannon and Hamming: how bad can the channel be?: BLISS Seminar

Seminar: EE: Berkeley Laboratory for Information and System Sciences (BLISS) | May 6 | 3-4 p.m. | 540 Cory Hall

 Anand Sarwate, Rutgers

 Electrical Engineering and Computer Sciences (EECS)

The information theory community has traditionally studied two different models for communication. The Shannon-theoretic model treats the channel’s impact as random, so codes must correct almost all error patterns of a given weight; this is an average-case analysis. The coding-theoretic (Hamming-theoretic?) model treats the channel as adversarial, so codes must correct all error patterns of a...   More >

Space Tech Symposium 2.0 at Berkeley: Hosted by Space Technologies at Cal

Conference/Symposium: EE | May 6 | 4:30-8:30 p.m. |  Sibley Auditorium, Bechtel Engineering Center

 Space Technologies at Cal, Berkeley SkyDeck

Come expand your network at Space Tech Symposium 2.0 @ Berkeley (https://stac.berkeley.edu/sts2) on May 6 by meeting researchers, CEOs of the hottest space startups, and Berkeley faculty as they discuss their visions for the future of space development.

Mobility between space and non-space fields is at an all-time high and we'd love to have you join this conversation. Panelists from NASA,...   More >

 $10 Student Tickets, $30 Industry / Faculty Tickets

  Buy tickets online

Join us on May 6th for Space Tech Symposium!

Tuesday, May 7, 2019

Dissertation Talk: On Systems and Algorithms for Distributed Machine Learning

Presentation: Dissertation Talk: CS | May 7 | 1-2 p.m. | 521 Cory Hall

 Electrical Engineering and Computer Sciences (EECS)

The advent of algorithms capable of leveraging vast quantities of data and computational resources has led to the proliferation of systems and tools aimed to facilitate the development and usage of these algorithms. Hardware trends, including the end of Moore's Law and the maturation of cloud computing, have placed a premium on the development of scalable algorithms designed for parallel...   More >

Dissertation Talk: Approximation and Hardness: Beyond P and NP

Seminar: Dissertation Talk: CS | May 7 | 2-3 p.m. | 310 Soda Hall

 Pasin Manurangsi, University of California, Berkeley

 Electrical Engineering and Computer Sciences (EECS)

The theory of NP-hardness of approximation has led to numerous tight characterizations of approximability of hard combinatorial optimization problems. Nonetheless, there are many fundamental problems which are out of reach for these techniques, such as problems that can be solved (or approximated) in quasi-polynomial time...   More >

Dissertation Talk: Low Power, Crystal-Free Design for Monolithic Receivers

Seminar: Dissertation Talk: EE | May 7 | 4-5 p.m. | 490 Cory Hall

 Brad Wheeler

 Electrical Engineering and Computer Sciences (EECS)

In this talk I will discuss my work on a crystal-free IEEE 802.15.4 receiver for the Single Chip Mote project.

Wednesday, May 8, 2019

Dissertation Talk: Learning to Predict Human Behavior from Video

Seminar: Dissertation Talk: EE | May 8 | 12-1 p.m. | 337A Cory Hall

 College of Engineering

In recent times, the field of computer vision has made great progress with recognizing and tracking people and their activities in videos. However, for systems designed to interact dynamically with humans, tracking and recognition are insufficient; the ability to predict behavior is requisite. In this talk, I will present my work on learning to make predictions from visual input. Using team...   More >

Dissertation Talk: Coded Illumination for Multidimensional Quantitative Phase Microscopy

Seminar: Dissertation Talk: EE | May 8 | 12:30-1:30 p.m. | Soda Hall, Visual Computing Lab (VCL)

 Michael Chen, UC Berkeley

 Electrical Engineering and Computer Sciences (EECS)

Imaging biological samples under optical microscopes is challenging, since the absorption is too weak to form images with informative contrast. Besides fluorescent imaging techniques, label-free phase contrast imaging methods have been proposed to greatly improve the contrast of transparent samples. In order to efficiently recover quantitative properties, such as 2D phase projection and 3D...   More >

Scientific Computing and Matrix Computations Seminar: A Backward Error Formula for the Global Least-Squares Problem

Seminar: Scientific Computing: CS | May 8 | 2-3 p.m. | 380 Soda Hall

 Eric Hallman, UCB

 Electrical Engineering and Computer Sciences (EECS)

In this talk we present formulas for the normwise backward error for the problems AX=B and min_X ||AX-B||_F, extending the results of Walden/Karlson/Sun (1998) and Sun/Sun (1997) to systems with multiple right hand sides. These formulas are valid for matrices of any dimension and rank. We also propose two estimates that numerical experiments suggest are highly reliable, one of which may be...   More >

Dissertation Talk: Realization of Integrated Coherent LiDAR

Seminar: Dissertation Talk: EE | May 8 | 4-5 p.m. | Cory Hall, 490H (Immersion Room in Swarm Lab)

 Taehwan Kim, UC Berkeley

 Electrical Engineering and Computer Sciences (EECS)

LiDAR (Light Detection and Ranging) captures high-definition real-time 3D images of the surrounding environment, which makes it a crucial sensing modality for applications such as self-driving cars. However, high price tag of existing commercial LiDAR modules based on mechanical beam scanners and intensity-based detection scheme prohibits them from being extensively applied to consumer products....   More >

Dissertation talk: Machine Learning---Why Do Simple Algorithms Work So Well?

Lecture: Dissertation Talk: CS | May 8 | 4-5 p.m. | 540AB Cory Hall

 Chi Jin

 Electrical Engineering and Computer Sciences (EECS)

While state-of-the-art machine learning models are deep, large-scale, sequential and highly nonconvex, the backbone of modern learning algorithms are simple algorithms such as stochastic gradient descent, or Q-learning (in the case of reinforcement learning tasks). A basic question endures---why do simple algorithms work so well even in these challenging settings?

This talk focuses on two...   More >

Thursday, May 9, 2019

Dissertation talk: Computational speckle structured illumination for high-content microscopy

Presentation: Dissertation Talk: EE | May 9 | 9-10 a.m. | 540AB Cory Hall

 Li-Hao Yeh, UC Berkeley

 Electrical Engineering and Computer Sciences (EECS)

High-content microscopy targets high-resolution imaging across large fields-of-view (FOVs). Recent works have demonstrated that computational imaging, which generalizes the information...   More >

Dissertation Talk: Building Interactive Query Systems at Scale

Seminar: Dissertation Talk: CS | May 9 | 10-11 a.m. | 465H Soda Hall

 Anurag Khandelwal, University of California at Berkeley

 Electrical Engineering and Computer Sciences (EECS)

Modern cloud data services aim to support increasingly sophisticated queries with interactive response times. These services can be broadly divided into two categories: read-intensive applications such as web services, and write-intensive applications such as real-time monitoring of event streams. In both cases, supporting sophisticated queries interactively and at scale raises significant...   More >

Dissertation Talk: Faster Algorithms and Graph Structure via Gaussian Elimination

Colloquium: Dissertation Talk: CS | May 9 | 11 a.m.-12 p.m. | 606 Soda Hall

 Aaron Schild

 Electrical Engineering and Computer Sciences (EECS)

Dissertation Talk: Constructive Formal Control Synthesis through Abstraction and Decomposition

Presentation: Dissertation Talk: EE | May 9 | 11 a.m.-12 p.m. | 531 Cory Hall

 Electrical Engineering and Computer Sciences (EECS)

It is often easier to describe what we want an autonomous system to do rather than how to do it. A control synthesizer bridges that gap by automatically constructing control software so the closed loop dynamics enforce a desired behavior such as safety or reachability. While many specific instances of control synthesis have elegant mathematical solutions, designing tractable algorithms to compute...   More >

Dissertation talk: Untethered Microrobots of the Rolling, Jumping and Flying Kinds

Presentation: Dissertation Talk: EE | May 9 | 1-2 p.m. | Cory Hall, 521 Hogan room

 Palak Bhushan, EECS Dept, UC Berkeley

 Electrical Engineering and Computer Sciences (EECS)

In this talk we will look at the design of 0.1gram centimeter-scale microbots utilizing different locomotion strategies as a means of transport. The focus won't be on the brain or useful payloads for these bots, but instead on the electro-mechanical design to make these tether-less, which is a necessary precursor to making autonomous microbots.

We start with the design of a micro-ratcheting...   More >

Dissertation Talk: Chip-Scale Fluorescence Microscope

Seminar: Dissertation Talk: EE | May 9 | 3:30-4:30 p.m. | Cory Hall, 490H (Immersion Room in Swarm Lab)

 Efthymios Philip Papageorgiou

 Electrical Engineering and Computer Sciences (EECS)

This talks presents a chip-scale fluorescence microscope for the detection of microscopic residual disease, small clusters of hundreds to thousands of cancer cells left behind after the gross tumor is removed during a surgical resection.

Friday, May 10, 2019

Dissertation Talk: The Design and Implementation of Low-Latency Prediction Serving Systems

Seminar: Dissertation Talk: CS | May 10 | 9-10 a.m. | 606 Soda Hall

 Daniel Crankshaw

 Electrical Engineering and Computer Sciences (EECS)

Machine learning is being deployed in a growing number of applications which demand real-time, accurate, and cost-efficient predictions under heavy query load. These applications employ a variety of machine learning frameworks and models, often composing several models within the same application. However, most machine learning frameworks and systems are optimized for model training and not...   More >

EECS Student Awards

Special Event: Departmental: EE: CS | May 10 | 11 a.m.-1:30 p.m. |  Sibley Auditorium, Bechtel Engineering Center

 Electrical Engineering and Computer Sciences (EECS)

Each year the EECS Student Awards Committee selects winners for each of our department awards, many based on nominations gathered from EECS students, faculty and staff.

Dissertation Talk: Expert-Level Detection of Acute Intracranial Hemorrhage on Head Computed Tomography using Deep Learning

Presentation: Dissertation Talk: EE | May 10 | 1-2 p.m. |  Sutardja Dai Hall

 WEICHENG KUO

 Electrical Engineering and Computer Sciences (EECS)

Head CT is the workhorse medical imaging modality used worldwide to diagnose neurologic emergencies. We demonstrated state-of-the-art exam-level classification performance, comparable to that of U.S. board-certified radiologists, in addition to robust localization of abnormalities, both of which are important to this application.

Dissertation Talk: Towards Automatic Machine Learning Pipeline Design

Presentation: Dissertation Talk: CS | May 10 | 1-2 p.m. | 380 Soda Hall

 Mitar Milutinovic

 Electrical Engineering and Computer Sciences (EECS)

In the talk we will present our work in designing components for an AutoML solution.

Solid State Technology and Devices Seminar: High-Q chalcogenide device platform without direct etching process for non-linear and mid-IR Applications

Seminar: Solid State Technology and Devices: EE: CS | May 10 | 1-2 p.m. | Cory Hall, The Hogan Room, 521

 Sangyoon Han, Postdoc, KAIST, Korea

 Electrical Engineering and Computer Sciences (EECS)

In this talk, I will show our new device platform that defines chalcogenide devices without direct etching process. Using our platform, we have demonstrated chalcogenide resonators with record high (for on-chip chalcogenide devices) Q-factor (1.2 x 10^7) and Brillouin lasers with record low (for on-chip chalcogenide devices) threshold power (2.5mW).

Dissertation Talk: Low Power Design with Spintronic MTJ Devices

Seminar: Dissertation Talk: EE | May 10 | 2-3 p.m. | 250 Sutardja Dai Hall

 Yoonhwan Kang, UC Berkeley

 Electrical Engineering and Computer Sciences (EECS)

Lowering power consumption of electronics is driven by three reasons: i) the worldwide energy consumption of semiconductor chips is a sizable contributor to the global warming, ii) the high-power density of the chips is one of the main obstacles to the scalability of the transistors, and iii) the market of Internet-of-Things has risen to a nontrivial sector of the global electronics market....   More >

Dissertation Talk: Solving Hard Computational Problems using Oscillator Networks

Seminar: Dissertation Talk: EE | May 10 | 3-4 p.m. | Cory Hall, 540A/B

 Tianshi Wang, UC Berkeley

 Electrical Engineering and Computer Sciences (EECS)

Over the last few years, there has been considerable interest in Ising machines, ie, analog hardware for solving difficult (NP hard/complete) computational problems effectively. We present a new way to make Ising machines using networks of coupled self-sustaining nonlinear oscillators. Our scheme is theoretically rooted in a novel result that connects the phase dynamics of coupled oscillator...   More >

Solving Hard Computational Problems using Oscillator Networks: PhD Dissertation Talk

Seminar: Dissertation Talk: EE | May 10 | 3-4 p.m. | 540 Cory Hall

 Tianshi Wang, Graduate Student, EECS Department, UC Berkeley

 Electrical Engineering and Computer Sciences (EECS)

I will show that the phase dynamics of sub-harmonically injection locked coupled oscillator systems are governed by a Lyapunov function that continuizes the Ising Hamiltonian.
This result is used to devise a new Ising machine scheme that can use oscillators from many different physical domains.
A demonstration of a prototype CMOS oscillator-based Ising machine of 240 spins will follow the talk.

Dissertation Talk: Efficient Sampling of SAT and SMT Solutions for Testing and Verification

Seminar: Dissertation Talk: CS | May 10 | 3:30-4:30 p.m. | 373 Soda Hall

 Rafael Dutra

 Electrical Engineering and Computer Sciences (EECS)

The problem of generating a large number of diverse solutions to a logical constraint has important applications in testing, verification, and synthesis for both software and hardware. The solutions generated could be used as inputs that exercise some target functionality in a program or as random stimuli to a hardware module. The sampling of solutions can be combined with techniques such as fuzz...   More >