2012

Co-located with the
Design Automation Conference

21st International Workshop
on Logic & Synthesis

June 1 - 3, 2012


University of California, Berkeley - Berkeley, CA
Photo credit: Steve McConnell / UC Berkeley Photo credit: Steve McConnell / UC Berkeley

Our sponsors:
       

Mission: The International Workshop on Logic and Synthesis is dedicated to research in synthesis, optimization, and verification of integrated circuits. Research on logic synthesis for emerging technologies and for novel computing platforms, such as nanoscale systems and biological systems, is also strongly encouraged. The workshop accepts complete papers as well as abstracts highlighting important new problems in the early stages of development. The emphasis is on novelty and intellectual rigor.

The International Workshop on Logic and Synthesis is the premier forum for research in synthesis, optimization, and verification of integrated circuits. Research on logic synthesis for emerging technologies and for novel computing platforms, such as nanoscale systems and biological systems, is also strongly encouraged. The workshop accepts complete papers as well as abstracts, highlighting important new problems in the early stages of development, without providing complete solutions. The emphasis is on novelty and intellectual rigor.

Topics of interest include (but are not limited to): synthesis and optimization; power and timing analysis; testing, validation and verification; architectures and compilation; and design experiences. Submissions on modeling, analysis and synthesis for emerging technologies and platforms are also encouraged. Both complete papers as well as extended abstracts highlighting new problems and new topics of research are welcomed. Only original and previously unpublished material is permitted.

Accepted papers are distributed only to IWLS participants. The workshop format includes paper presentations, posters, invited talks, social lunch and dinner gatherings, and recreational activities.

Location

The workshop will be held in Wozniak Lounge (Room 430-8 Soda Hall) at the University of California, Berkeley, Electrical Engineering and Computer Science Department.

This map has the location of the workshop and of the parking facility marked. We have arranged for a limited number of parking permits for Friday to park in the structure. You can also park without permit at Lower Hearst Structure, further west on Hearst Ave. (not too far away), or do street parking (max 2 h).

The workshop is on 3rd floor, which, if you enter on the east side of Soda, is entrance floor. You can also access Woziniak lounge (which we will be using) from the terrace on the northern side of Soda, accessible from Le Roy Ave.

Technical Program

The technical program consists of 22 regular talks, 3 invited talks, 1 special session and 4 poster presentations.

Invited talks:

"Transforming Biology to an Information Science"


Ajay Royyuru - Computational Biology Center - IBM Research
Abstract and Bio

"Exascale Visualization: Get Ready for a New World"


Hank Childs - Computer Systems Engineer - Visualization Group, Computational Research Division, Lawrence Berkeley National Laboratory
Professional Researcher - Department of Computer Science, University of California, Davis
Abstract and Bio

"Processing Streaming Data on Novel Computing Platforms (how hard can it be?)"


Eamonn Keogh - Professor - UC Riverside
Abstract and Bio

Special Session: "Software Verification and Testing"

"Corral: A Solver for Reachability-Modulo-Theories"

Shaz Qadeer - Microsoft Research, USA
Abstract and Bio

"Automated Atomicity-Violation Fixing"

Ben Liblit - University of Wisconsin–Madison, USA
Abstract and Bio

"Debugging Concurrent Programs"

Vineet Kahlon - NEC Laboratories America, USA
Abstract and Bio

Registration

Rates for registration::

ACM/IEEE members: Students and unemployed professionals$200
Others$300
 
Non ACM/IEEE members: Students and unemployed professionals$250
Others$400


Rates for late registration (effective May 8, 2012):

ACM/IEEE members: Students and unemployed professionals$300
Others$400
 
Non ACM/IEEE members: Students and unemployed professionals$350
Others$500

To register at the unemployed rate, please contact Ilya Wagner at ilya dot wagner at intel dot com
The cost of registration includes breakfasts, lunches, dinners and coffee break service.
You must go to the DAC registration page in order to register for IWLS. Please follow the instructions below to register:
  1. Go to https://reg.mpassociates.com/reglive/PromoCode.aspx?confid=139
  2. Select Register. This will direct you to the registration page. Complete all the contact information and select your products.
  3. Select the "Colocated Conferences" tab on the right hand side of the registration page. Select the IWLS option and proceed to checkout.
For any question regarding the registration process, please email Register@dac.com or call the DAC offices at 303-530-4333

Organizing Committee

General ChairIlya WagnerIntel Corp.
Technical Program ChairPhilip BriskUniversity of California, Riverside
Special Sessions Chair Andrea PellegriniUniversity of Michigan
Local Arrangements Chair Alan MishchenkoUniversity of California, Berkeley
Special Activities Chair Tobias WelpUniversity of California, Berkeley
Executive Committee
Valeria BertaccoUniversity of Michigan
Igor MarkovUniversity of Michigan

Benchmarks

The IWLS community maintains a set of benchmarks, synthesized and mapped in Verilog and OpenAccess.

Links to Past Workshops

IWLS 2011: June 3 - June 5, 2011, San Diego, California

IWLS 2010: June 18 - June 20, 2010, Irvine, California

IWLS 2009: July 31 - August 2, 2009, Berkeley, California

IWLS 2008: June 4 - 6, 2008, Lake Tahoe, California

IWLS 2007: May 30 - June 1, 2007, San Diego, California

IWLS 2006: June 7 - 9, 2006, Vail, Colorado

IWLS 2005: June 8 - 10, 2005, Lake Arrowhead, California

IWLS 2004: June 2 - 4, 2004, Temecula Creek, California

IWLS 2003: May 28 - 30, 2003, Laguna Beach, California

IWLS 2002: June 4 - 7, 2002, New Orleans, Louisiana

IWLS 2001: June 12 - 15, 2001, Lake Tahoe, California

IWLS 2000: May 31 - June 2, 2000, Dana Point, California

Mailing List

Subscribe to the IWLS mailing list. (The list is hidden, and only its administrator can post to it.)

Related Conferences