News

"Oracle-Guided Component-Based Program Synthesis" wins 2020 ICSE Most Influential Paper Award

The paper "Oracle-Guided Component-Based Program Synthesis," co-authored by alumnus Susmit Jha (M.S./Ph.D. '11), Sumit Gulwani (Ph.D. '05, advisor: George Necula), EECS Prof. Sanjit A. Seshia, and Ashish Tiwari--and part of Susmit Jha's Ph.D. dissertation advised by Sanjit Seshia--will receive the 2020 Most Influential Paper Award by the ACM/IEEE International Conference on Software Engineering (ICSE). ICSE is the premier conference on software engineering and this award recognizes the paper judged to have had the most influence on the theory or practice of software engineering during the 10 years since its original publication. The citation says, in part, that the paper: "...has made a significant impact in Software Engineering and beyond, inspiring subsequent work not only on program synthesis and learning, but also on automated program repair, controller synthesis, and interpretable artificial intelligence."

Using deep learning to expertly detect hemorrhages in brain scans

A computer algorithm co-developed by Vision Group alumnus Weicheng Kuo (Ph.D. '19), post doc Christian Hӓne, their advisor Prof. Jitendra Malik, and researchers at UCSF, bested two out of four expert radiologists at finding tiny brain hemorrhages in head scans, an advance that one day may help doctors treat patients with traumatic brain injuries, strokes and aneurysms.  The algorithm found some small abnormalities that the experts missed, noted their location within the brain, and classified them according to subtype.  The researchers used of a type of deep learning known as a fully convolutional neural network (FCN) to train the algorithm on a relatively small number of images that were packed with data.  Each small abnormality was manually delineated at the pixel level. The richness of this data — along with other steps that prevented the model from misinterpreting random variations, or “noise,” as meaningful — created an extremely accurate algorithm.

Corelight raises $50m for network traffic analysis in the cloud

Corelight, a start-up founded by CS Prof. Vern Paxson, has secured an additional $50 million in Series C financing for its network traffic analysis (NTA) solutions for cybersecurity.  The company has raised a total of $84 million to date, with investment from General Catalyst, Accel, Osage University Partners and Riverbed Technology Co-founder (and former Berkeley CS professor) Steve McCanne. It has more than doubled in size since its Series B in September 2018.  Corelight  is built on an open source framework called Zeek (formerly Bro), which Paxson began developing in 1995.  Zeek is now widely regarded as the gold standard for both network security management (NSM) and NTA, and has been deployed by thousands of organizations around the world.
Alexandra von Meier

Alexandra von Meier explains why locally sourced power may be the solution to California's vulnerable energy grid

EE Adjunct Prof. Alexandra von Meier, who is the director of the CITRIS California Institute for Energy and Environment (CIEE)’s Electric Grid program, is the subject of a Berkeley News interview titled "Our energy grid is vulnerable. Locally sourced power may be the answer."   In light of last week's massive PG&E power outage, Von Meier discusses why the current power grid is a fire hazard, why solar power is not a practical alternative during a power outage, and ways to make the grid safer.  She also explains how one of CIEE's research projects, EcoBlock, which is looking into stand-alone microgrids of electrical generation and storage that could be shared among multiple households on a city block, might offer a possible solution.

Ren Ng weighs in on why your photos are about to get a lot better

CS Prof. Ren Ng is quoted in a New York Times article titled "The Reason Your Photos Are About to Get a Lot Better."  The article describes how computational photography is driving the future of phone cameras.  “Most photos you take these days are not a photo where you click the photo and get one shot,” said Ng. “These days it takes a burst of images and computes all of that data into a final photograph.”  He and his students are researching new techniques in computational photography, like applying portrait-mode effects to videos.  One type of effect could be to set the recorded footage to automatically focus on whomever is speaking.  “These are examples of capabilities that are completely new and emerging in research that could completely change what we think of that’s possible,” said Ng.

How to Stop Superhuman A.I. Before It Stops Us

EECS Prof. Stuart Russell has penned a New York Times Op-Ed titled "How to Stop Superhuman A.I. Before It Stops Us," in which he explains why we need to design artificial intelligence that is beneficial, not just smart.  "Instead of building machines that exist to achieve their objectives," he writes, we need to build "machines that have our objectives as their only guiding principle..."   This will make them "necessarily uncertain about what these objectives are, because they are in us — all eight billion of us, in all our glorious variety, and in generations yet unborn — not in the machines."  Russell has just published a book titled "Human Compatible: Artificial Intelligence and the Problem of Control" (Viking , October 8, 2019).

Pragya Kushwaha wins 2019 IEEE EDS Early Career Award

EECS Postdoctoral researcher Pragya Kushwaha, currently working with Prof. Chenming Hu and Prof. Sayeef Salahuddin in the Berkeley Short-channel IGFET Model (BSIM) group, has won a prestigious 2019 IEEE Electron Devices Society (EDS) Early Career Award.  This award is presented annually to an IEEE EDS member who has made early career contributions to the field.  Kushwaha develops compact models for emerging electronic devices, now considered the industry standard.  The models are used by circuit designers to predict device behavior (i.e., current, power, and noise) to simulate their circuits during design before fabrication. This honor was previously won by BSAC Postdoc Chen Yang in 2010.

Rod Brooks' EECS Colloquium lecture makes IEEE Spectrum Video Friday

A video of the lecture that MIT Prof. Emeritus Rodney Brooks gave at last week's EECS Joint Colloquium has made IEEE Spectrum's Video Friday,  a weekly selection of "awesome robot videos."  Brooks' talk,  titled "Steps Toward Super Intelligence and the Search for a New Path," examines what we might need to do over the next (few) hundred years  to give AI human level--or even super--intelligence.  He questions the assumptions on which the AI field has been built, and whether both AI and neuroscience will need a fundamental reboot in order to make real progress.  Brooks is known for giving "some of the best video talks ever."

Alvin Kao and Titan Yuan honored as Siebel Scholars

5th Year CS Master's students Alvin Kao (B.S. '19)  and Titan Yuan (B.S. '19) have been named to the Siebel Scholars Foundation’s 2020 class.  Kao is working on problems in the autonomous vehicle setting, like predicting the behavior of other agents and trajectory planning.  Yuan is working with the Swarm Lab on embedded software for some of the world’s tiniest wireless devices, so that they can be used as miniature temperature sensors and Bluetooth beacons.

Srinivasan Keshav named IIT Delhi 2019 Distinguished Alumnus

CS alumnus Srinivasan Keshav (Ph.D. '91, advisor: Domenico Ferrari) has won a 2019 Indian Institute of Technology (IIT) Delhi Distinguished Alumni Award.  Keshav is a Professor in the Cheriton School of Computer Science at the University of Waterloo, Canada. He is known for his cutting-edge research in the areas of computer networking and energy informatics and currently focuses on research on blockchains for transactive energy.  His work has been cited more than 16,000 times and he holds 73 patents worldwide. He has been the co-director of the Information Systems and Science for Energy (ISS4E) Laboratory at the University of Waterloo since 2010.