1 / 26

FMCAD 2008 Business Meeting

FMCAD 2008 Business 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

ksena
Download Presentation

FMCAD 2008 Business Meeting

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. FMCAD 2008Business Meeting November 18, 2008 Portland, OR

  2. 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

  3. 2008 Best Paper Murali Talupur and Mark R. Tuttle Going with the Flow: Parameterized Verification Using Message Flows

  4. 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

  5. 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)

  6. 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 Organizing Committee: Thanks!

  7. Special Recognition Local Arrangements Chair (hotel, registration, badges, A/V, menu, dinner cruise, more) Annette Bunker

  8. 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

  9. 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 2008 Program Committee

  10. 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

  11. PC Involvement # reviews, revisions of reviews, and total comments by Program Committee member

  12. Comments per paper

  13. 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

  14. 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

  15. 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

  16. By Geography 2008 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

  17. By Organization 19 Intel 7 Mentor Graphics 6 Synopsys 6 IBM 5 UC Berkeley 5 U. of British Columbia 6 U. of Texas at Austin 4 Galois, Inc. 4 Microsoft 3 Chalmers U. of Technology 3 Portland State U. 2 FBK-irst 2 Rambus 2 Rice U. 2 U. of Iowa 2 U. of Oxford 1 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

  18. 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"

  19. 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

  20. Steering Committee Comments

  21. FMCAD 2009 Chairs: Armin Biere (Johannes Kepler U.) Carl Pixley (Synopsys) Location: Austin Dates: still open, likely the week after ICCAD.

  22. Discussion, Q/A

  23. ACM SIG on Design Automation Jin Yang

  24. 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/

  25. 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.

  26. 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!

More Related