CSE News and Announcements

Jun 08, 2006
CSE graduate students win First IEEE Programming Challenge    Bookmark and Share
CSE graduate students Kai-Hui Chang and David Papa were honored at the 2006 International Workshop on Logic and Synthesis (IWLS) in Vail, CO for their winning entry in the First IEEE Programming Challenge at IWLS, sponsored by IEEE Council on Electronic Design Automation (CEDA), with additional financial sponsorship by Cadence and Synplicity. They shared first place and a monetary award with a team from UC Berkeley. Participants are expected to implement one or more logic optimization algorithms on the industrial EDA database OpenAccess, and use the OA Gear infrastructure.

Among major results of this work is a runtime improvement of over 100 times over pre-existing software for logic simulation and equivalence checking, as well as new interfaces and metrics for incremental logic verification. The software developed by U-M students will be included in the next release of the open-source OA Gear package from Cadence Berkeley Laboratories and is described in the paper "Fast Simulation and Equivalence Checking Using OAGear" co-authored with their advisors Igor Markov and Valeria Bertacco.

Read more about the contest in the EE Times.

 
EECS News by Topic
EECS News by Faculty Name
CSE in the News 
04/17/14 Heartbleed Software Snafu: The Good, the Bad and the Ugly
04/17/14 New York Times: Study Finds No Evidence of Heartbleed Attacks Before the Bug Was E...
04/15/14 Michigan Daily: Internet security flaw left University sites vulnerable
04/15/14 Researchers find thousands of potential targets for Heartbleed OpenSSL bug
04/15/14 Hacker From China Wastes Little Time in Exploiting Heartbleed
04/15/14 Heartbleed Hackers Steal Encryption Keys in Threat Test

CSE Research News 
04/17/14 Halderman and Lafortune Join TerraSwarm Research Center
04/07/14 Michael Lewis says the market is rigged. But his Flash Boys rigged themselves.
04/01/14 Researchers Win Best Paper Award at ISPASS 2014
04/01/14 Technological Singularity Passes, Unnoticed Until Now
03/05/14 Michael Wellman Recognized with ACM/SIGAI Autonomous Agents Research Award
02/21/14 New Center Develops Technologies to Help Youths with Disabilities

CSE News 
04/11/14 Hands-On Robotics (video)
03/26/14 CSE Connects at SXSW 2014
03/24/14 Prospective Grad Students Visit, Learn About CSE
03/13/14 CSE Connects at Tapia Celebration of Diversity in Computing
02/03/14 Karem Sakallah Continues Commitment to Qatar Computing Research Institute
01/30/14 State Farm Gift Supports Student Projects Lab

CSE Faculty and Staff Awards 
04/03/14 Noble and Wilson Named as Learning Analytics Fellows
03/26/14 Kevin Fu Selected for World Economic Forum Young Scientist Award
02/25/14 Narayanasamy and Olson Named Morris Wellman Faculty Development Professors
02/07/14 Daniel Atkins Elected to National Academy of Engineering
01/24/14 2014 EECS Outstanding Achievement Awards
01/23/14 Four CSE Faculty Selected for College of Engineering Awards

CSE Student News and Awards 
04/23/14 EECS Students Attend National NSBE Convention - Come Back Psyched
04/22/14 gEECS Hosts High School Students at {Girls Code}
04/18/14 Jill Bender Chosen for CoE Distinguished Leadership Award
04/16/14 SWE Hosts G.R.E.A.T. Day for Girls
04/08/14 Forest Agostinelli Selected for NSF Graduate Research Fellowship
04/08/14 Branden Ghena Selected for NSF Graduate Research Fellowship

CSE Alumni News 
03/07/14 Alumni Spotlight-Dawson Yee: Kinect-ing Xbox to the World
03/03/14 CSE Alum Dongyoon Lee Selected for ProQuest Dissertation Award
12/20/13 Hector J. Garcia Selected for Bouchet Graduate Honor Society
11/12/13 CSE Alumna Mona Attariyan Selected for Ritchie Disseration Award
07/23/13 Tony Fadell: From Apple to Nest Labs, Always a Designer
06/26/13 Computer Engineering Alum Marius Eriksen Featured in Wired

CSE Course Announcements 
04/09/14 Fall 2014: Hands-On Robotics
04/03/14 Fall 2014: EECS 598-002 Power Semiconductor Devices
04/03/14 Fall 2014: EECS 598-001 Analysis of Electric Power Distribution Systems and Loads
03/20/14 Fall 2014: Applied matrix algorithms for signal processing, data analysis and mach...
11/26/13 Winter 2014: EECS 498-003 Multidisciplinary Capstone (MDE) Design Pilot
11/06/13 Winter 2014: EECS 598-007 Infrastructure for Vehicle Electrification

Add News Item     Update News Items