Sponsors
Message from the General Chair
Dear IWLS contributors, attendees and enthusiasts,
Due to the current situation, IWLS is also going to embark into the virtual experience. It is the main focus of the organizing committee to provide a way to exchange new ideas and promote logic synthesis in the most engaging way, while accounting for the challenges of having colleagues all over the world. The modalities of the virtual transition will be communicated in due time.IWLS has always been an exemplary workshop for early scientific dissemination and exchange. As such, we would welcome any advices and recommendations that our community might have to make the first virtual IWLS a successful event.
Please feel free to reach out directly to the general chair, Pierre-Emmanuel Gaillardon (pierre-emmanuel.gaillardon@utah.edu) for any ideas.
Best wishes,
Pierre-Emmanuel Gaillardon, on behalf of the IWLS 2020 organizing committee
Your Session Instructions as a Speaker at Virtual IWLS
Thank you for participating in virtual IWLS 2020. Below please find information, IWLS presentation guidelines and best practices to prepare your virtual video presentation.
Each session will be a pre-recorded video with a live chat discussion with the audience following each presentation. Every presenter is required to be at their session for the entire time of the scheduled session and required to participate in the live chat discussion.
The final program scheduler is under planning. At the same time, we have provided a list of useful links below:
- Record a zoom meeting: https://support.zoom.us/hc/en-us/articles/201362473-Local-recording
- Upload a video to youtube: https://iwls20.cade.utah.edu/videos/
Important Dates
It is mandatory to register a paper by submitting an abstract before the deadline below.
Paper abstract submission: | ||
Full paper submission: | ||
Notification of acceptance: | June 16, 2020 | |
Final version due: | July 3, 2020 |
Submission Instructions
IWLS 2020 Programming Contest: Machine Learning + Logic Synthesis
- Read the contest description and download the benchmark
- Write a computer program to learn an unknown boolean function from a training set consisting of input-output pairs.
- Test your solution using the provided validation set. Notice that we will evaluate your function not on the validation set, but on a private test set.
- Submit both the program used to generate AIGs given the training data as well as the actual AIG files for each benchmark no later than
June 12, 2020June 26, 2020.
- Please submit your solution to iwls.contest.2020@gmail.com no later than the contest deadline.
- Please feel free to include external links (e.g., Google Drive, GitHub) containing your solution.
- Please include the information about the team (participants' names and affiliations) in the submission.
- Please include a brief description of your solution.
Organizing Committee
General Chair | Pierre-Emmanuel Gaillardon | University of Utah, USA | ||
Program Chairs | Luca Amaru / Heinz Riener | Synopsys, USA / EPFL, Switzerland | ||
Programming Contest Chair | Gai Liu | Xilinx Inc, USA | ||
Special Session Chair | Tsung-Yi Ho | NTHU, Taiwan | ||
Finance Chair | Cunxi Yu | University of Utah, USA | ||
Proceedings Chair | Zhufei Chu | Ningbo University, China | ||
Publicity Chair | Tsung-Wei Huang | University of Utah, USA | ||
Local Chair | Vinicius Callegaro | Mentor, a Siemens Business, USA |
Technical Program Committee
Luca Amaru | Synopsys, USA | |
Anna Bernasconi | University of Pisa, Italy | |
Vinicius Callegaro | Mentor, a Siemens business, USA | |
Kai-Hui Chang | Avery Design Systems, USA | |
Mihir Choudhury | IBM T. J. Watson, USA | |
Zhufei Chu | Ningbo University, China | |
Sabya Das | Synopsys, USA | |
Rolf Drechsler | University of Bremen, Germany | |
Elena Dubrova | KTH, Sweden | |
Stephen Edwards | Columbia University, USA | |
Petr Fiser | CTU, Czech Republic | |
Masahiro Fujita | University of Tokyo, Japan | |
Pierre-Emmanuel Gaillardon | University of Utah, USA | |
Tsung-Yi Ho | NTHU, Taiwan | |
Tsung-Wei Huang | University of Utah, USA | |
Paolo Ienne | EPFL, Switzerland | |
Hui-Ru Iris Jiang | National Taiwan University, Taiwan | |
Jie-Hong Roland Jiang | National Taiwan University, Taiwan | |
Victor Kravets | IBM T. J. Watson, USA | |
Gai Liu | Xilinx Inc, USA | |
Felipe Marranghello | Synopsys, USA | |
Mayler Martins | Mentor, a Siemens business, USA | |
Jody Matos | Silvaco, USA | |
Alan Mishchenko | UC Berkeley, USA | |
Augusto Neutzling | Cadence, UK | |
Elie EI Aaraj | Cadence, USA | |
Vinicius Possani | Synopsys, USA | |
Madhura Purnaprajna | Amrita University, India | |
Weikang Qian | Shanghai Jiao Tong University, China | |
Andre Inacio Reis | UFRGS, Brazil | |
Heinz Riener | EPFL, Switzerland | |
Tsutomu Sasao | Meiji University, Japan | |
Mathias Soeken | Microsoft, USA | |
Dirk Stroobandt | Ghent University, Belgium | |
Tiziano Villa | Universita' di Verona, Italy | |
Robert Wille | Johannes Kepler U., Austria | |
Cunxi Yu | University of Utah, USA | |
Zhiru Zhang | Cornell University, USA |
Join the IWLS Mailing List
The list is hidden and only its administrator can post to it
Related Conferences
ICCAD: International Conference on Computer-Aided Design
DATE: Design, Automation and Test in Europe
ASPDAC: Asia and South Pacific Design Automation Conference
DAC: Design Automation Conference
ISPD: International Symposium on Physical Design
ISLPED: International Symposium on Low Power Electronics and Design
IWBDA: International Symposium on Bio-Design Automation