fmcad 2008 business meeting november 18, 2008 portland, or

FMCAD 2008Business Meeting

November 18, 2008

Portland, OR

Best Paper Process

• Top papers from program committee scores were automatically considered

• Program committee had the opportunity to nominate other papers for consideration

• Chairs selected four PC members to be the best paper committee– Two from last year, two new for this year– One had to drop out because of work constraints

• Process was independent of the Chairs• Decision was unanimous

2008 Best Paper

Murali Talupur and Mark R. Tuttle

Going with the Flow:

Parameterized Verification

Using Message Flows

2008 Sponsors

• We are grateful to our sponsors for their support– FMCAD, Inc. – IEEE Council on Electronic Design Automation (CEDA)

• We thank the ACM Special Interest Group on Design Automation (SIGDA) for their support of FMCAD as an in-cooperation event.

• We gratefully acknowledge financial support from:– Cadence – Galois – IBM– Intel– NEC Labs America – Synopsys

• Fundamental effort from internal people

2008 Program Highlights

• Technical paper presentations– 24 regular papers, 5 short– best paper award

• Full day of tutorials (4 speakers)

• 2 invited talks

• 2 panels (with 4 and 3 panelists each)

Organizing Committee: Thanks!

• Local Arrangements: Annette Bunker • Publicity: Lee Pike• Tutorials: Anna Slobodova• Panels: Carl Pixley• Webmasters: Alberto Griggio and Anders Franzen

• Steering Committee: Jason Baumgartner, Aarti Gupta, Warren Hunt, Pete Manolios, Mary Sheeran– FMCAD'07 chairs

Special Recognition

Local Arrangements Chair(hotel, registration, badges, A/V, menu, dinner cruise, more)

Annette Bunker

FMCAD Web Pages

• FMCAD site will be kept “live” through the year– 2009 pages will be added shortly

• All slides will be published on web– Unless asked not to– Publish in one week; please make changes before

then if you wish to edit

• List of participants will be published on web– Names and affiliations only (no e-mail)– Please let us know if you do not want to be included

2008 Program Committee

• Mark Aagaard• Jason Baumgartner• Valeria Bertacco• Armin Biere• Per Bjesse• Roderick Bloem• Dominique Borrione• Gianpiero Cabodi• Alessandro Cimatti• Koen Claessen• Ganesh Gopalakrishnan• Aarti Gupta• Alan J. Hu• Robert Jones• Daniel Kroening• Andreas Kuehlmann

• Wolfgang Kunz• Shuvendu Lahiri• Jeremy Levitt• Panagiotis Manolios• Andy Martin• Tom Melham• Ken McMillan• John O'Leary• Lee Pike• Rajeev Ranjan• Sandip Ray• Alper Sen• Natasha Sharygina• Eli Singerman• Fei Xie• Karen Yorav

Review of Technical Papers

• Paper submissions: – 2008: 70 (61 regular, 9 short)– 2007: 82 (65 regular, 17 short)

• Papers accepted: – 2008: 29 (41%, 24 regular, 5 short)– 2007: 31 (38%, 23 regular, 8 short)

• Review process: very thorough– 4-6 reviews per paper

• 311 reviews total– PC “paper ownership” to ensure consensus

• And “as useful as possible” of author feedback– Detailed on-line discussions

• 447 comments– Rebuttal phase

• 60 out of 70 papers• Nearly all reviews were turned in before rebuttal• Many reviews modified after rebuttals, additional reviews

– Shepherding for 5 papers

PC Involvement

0

5

10

15

20

25

30

35

40

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

Reviews

Revised

Comments

# reviews, revisions of reviews, and total commentsby Program Committee member

Comments per paper

Comments

0

5

10

15

20

25

30

35

1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 65 67 69

Comments

Credits for Reviewing Process

• Thanks to Program Committee!

• Thanks to Andrei Voronkov for EasyChair

• Special thanks to shepherds– Mark Aagaard– Jason Baumgartner– Per Bjesse– Jeremy Levitt– Tom Melham

• Special thanks to Best Paper committee– Especially since they are anonymous

2008 Participation

• Number registered: 108– 52 from academia, 56 from industry

• Tutorials-only: 0

• Regular: 89– 49 IEEE/ACM members, 40 non-members

• Students: 19– 8 IEEE/ACM members, 11 non-members– 16 of 29 papers had student co-authors

2008 vs 2007

• Number registered: 108 vs 130– 52 vs 68.5 from academia, 56 vs 61.5 from industry

• Tutorials-only: 0 vs 5

• Regular: 89 vs 95– 49 vs 53 IEEE/ACM members, 40 vs 42 non-members

• Students: 19 vs 30– 8 vs 13 IEEE/ACM members, 11 vs 17 non-members

• 16 of 29 vs 18 of 31 papers had student co-authors

By Geography2008

• Total: 108– US: 72 (67%)– Non-US: 36 (33%)– Europe: 21 (19%)

• 72 US– 32 Portland (44%)– 48 West Coast (67%)– 12 Austin (17%)

• 36 Non-US (21 Europe)– 7 Israel– 6 Canada– 4 Italy– 4 United Kingdom– 3 Spain– 3 Sweden– 2 Austria– 2 Germany– 2 Switzerland– 1 China– 1 Japan– 1 Netherlands

2007• Total: 130

– US: 82 (63%)– Non-US: 48 (37%)– Europe: 23 (18%)

• 82 US– 27 Austin (33%)

• 48 Non-US (23 Europe)– 12 Canada– 10 Israel– 6 Switzerland– 6 United Kingdom– 4 Germany– 3 Sweden– 1 France– 1 India– 1 Italy– 1 S. Korea– 1 Turkey

By Organization

19 Intel7 Mentor Graphics6 Synopsys6 IBM5 UC Berkeley5 U. of British Columbia6 U. of Texas at Austin4 Galois, Inc.4 Microsoft3 Chalmers U. of Technology3 Portland State U.2 FBK-irst2 Rambus2 Rice U.2 U. of Iowa2 U. of Oxford1 Averant, Cadence, Calypto Design Systems, Centaur Technology, DoD, ETH Zuerich, Graz U. of

Technology, Jasper Design Automation, JKU, Nanjing U., NEC, Northeastern U., Politecnico Di Torino, Robert Bosch GmbH, Rockwell Collins, Software Engineering Institute, Stanford University, Technical University of Catalonia, Technion, UC San Diego, U. Politecnica de Catalunya, U. of Cambridge, U. of Girona, U. of Kaiserslautern, U. of Roma “La Sapienza”, U. of South Florida, U. of Utah, USI Switzerland

Participation Trends• FMCAD08: 108• FMCAD07: 130• FMCAD06: ~96

• Positive factors– Location and local arrangements (thanks Annette)– Publicity: (thanks Lee and the PC)

• Negative– Disintegrating economy– Reduced student attendance (down by 35%)– PC attendance (18/31, last year 27/31)

• Okay: “Company cut budget"• Not okay: “Dog ate my ticket"

2008 Compared with 2007• Similar

– Affiliation with IEEE and ACM– Proceedings published by IEEE Computer Society Press– Available through IEEE Xplore and ACM Digital Library– Short paper category (4 pages)– Use of EasyChair– Rebuttal Phase– Best paper award

• Novel– Shepherding– Held the registration costs constant – Later than usual

• ICCAD moved because of election• we moved because of ICCAD

Steering Committee Comments

FMCAD 2009

• Chairs: – Armin Biere (Johannes Kepler U.)– Carl Pixley (Synopsys)

• Location: Austin

• Dates: still open, likely the week after ICCAD.

Discussion, Q/A

ACM SIG ON DESIGN AUTOMATIONJin Yang

ACM SIG on Design Automation• SIGDA is ACM's professional development organization for the Electronic

Design Automation (EDA) community. • SIGDA supports EDA conferences and other events:

– The four flagship EDA conferences: DAC, ICCAD, DATE, ASPDAC– More than a dozen symposia/workshops

• SIGDA supports EDA technical activities and new initiatives: – Technical Committees

• SIGDA supports EDA publications: – Multimedia Monographs, E-Newsletter– TODAES - ACM Transactions on the Design Automation of Electronic Systems.

• SIGDA supports students (and young professors): – Undergraduate and graduate scholarships, awards, travel grants– University Booth, PhD Forum, Design Automation Summer School at DAC– CADathlon at ICCAD

• SIGDA sponsored 2007 ACM Turing Award Winner Lecture at DAC– Edmund M. Clarke (CMU), E. Allen Emerson (UTexas at Austin) and Joseph

Sifakis (Verimag Labs) for their role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.

http://www.sigda.org/

SIGDA Verification Technical Committee

• Committee– Jin Yang, Intel Corp. (Chair)– Carl Pixley, Synopsys Inc. (Co-Chair)– Tom Ball, Microsoft– Valeria Bertacco, UMich– Limor Fix, Intel Research Pittsburgh– Tom Melham, Oxford– Li-C. Wang, UCSB

• Vision– Stimulate, facilitate and support technological innovation and

progress in verification valuable to EDA– Cover a wide spectrum: formal and dynamic verification,

pre-si/post-si/insitu verification, design correctness, etc.

SIGDA Verification Technical Committee

• Mission and Activities– Collect and disseminate information in design automation– Organize sessions at conferences sponsored by ACM– Sponsor conferences, symposia, and workshops in verification area – Organize projects and working groups for education, research, and

development– Serve as a source of technical information for the Council and subunits of

ACM– Represent the opinions and expertise of the membership on matters of

technical interest to SIGDA or ACM– Recognize excellence in the advancement of the theory and practice

• We just started. We are looking forward to your ideas and your active involvement – Contact: jin.yang@intel.com

Thanks!