FMCAD 2007
Formal Methods in Computer Aided Design
Austin, TX, USA
November 11 - 14
  • Abu-Haimed, Husam, NVIDIA Corporation, Santa Clara, United States
  • Adams, Sara, Oxford University Computing Laboratory, Oxford, United Kingdom
  • Anand, Himyanshu, Freescale Semiconductor, Austin, United States
  • Axelsson, Emil, Chalmers University, Gothenburg, Sweden
  • Aziz, Adnan, University of Texas, Austin, United States
  • Babic, Domagoj, University of British Columbia, Vancouver, Canada
  • Baumgartner, Jason, IBM, Austin, United States
  • Bhadra, Jay, Freescale, Austin, United States
  • Bjesse, Per, Synopsys Inc., Hillsboro, United States
  • Bjork, Magnus, Oxford University Computing Laboratory, Oxford, United Kingdom
  • Blanc, Nicolas, ETH Computer Systems Institute, CH- Zurich, Switzerland
  • Borrione, Dominique, TIMA Labs, Grenoble, France
  • Bradley, Aaron, EPFL & CU Boulder, Lausanne, Switzerland
  • Brayton, Robert, UC Berkeley, Berkeley, United States
  • Bryant, Randal, School of Computer Science, Carnegie Mellon, Pittsburgh, United States
  • Bulach, Slava, Robert Bosch GmbH, Reutlingen, Germany
  • Bunker, Annette, Intel Corporation, Hillsboro, United States
  • Cabodi, Gianpiero, Politecnico di Torino, Torino, Italy
  • Case, Mike, UC Berkeley, Pleasanton, United States
  • Chen, Xiaofang, University of Utah, Salt Lake City, United States
  • Chen, Yan, Portland State University, Portland, United States
  • Cho, Jinhyun, Seoul National University, Seoul, South Korea
  • Chockler, Hana, IBM haifa Labs, Haifa, Israel
  • Cimatti, Alessandro, Fondazione Bruno Kessler - IRST, povo - TN, Italy
  • Claessen, Koen, Chalmers University of Technology, Gothenburg, Sweden
  • Cohen, Ariel, NYU, New York, United States
  • Dukes, Todd, Freescale Semiconductor, Austin, United States
  • Een, Niklas, Cadence Research Labs, Berkeley, United States
  • Eisner, Cindy, IBM haifaLabs, Haifa, Israel
  • Emerson, E Allen, University of Austin, Austin, United States
  • Erickson, John, UT Austin, Austin, United States
  • Evans, Neil, AWE, Reading, United Kingdom
  • Farkash, Noam, Mentor Graphics, San Jose, United States
  • Feng, Xiushan, Advanced Micro Devices, Inc., Austin, United States
  • Fisler, Kathi, WPI, Worcester, United States
  • Flaisher, Alon, Intel, Haifa, Israel
  • Foster, Harry, Mentor Graphics, Plano, United States
  • Ganai, Malay, NEC Labs America, Princeton, United States
  • Geist, Daniel, Intel Israel, Haifa, Israel
  • German, Steven, IBM, Wayland, United States
  • Ghafari, Naghmeh, University of Waterloo, Waterloo, Canada
  • Gopalakrishnan, Ganesh, University of Utah, Salt Lake City, United States
  • Grant, Neil, AWE, Reading, United Kingdom
  • Greenstreet, Mark, University of British Columbia, Vancouver, Canada
  • Gupta, Aarti, NEC Labs America, Princeton, United States
  • Gurfinkel, Arie, Software Engineering Institute / Carnegie Mellon, Pittsburgh, United States
  • Hanna, Ziyad, Jasper Design Automation, Haifa, Israel
  • Havlicek, John, Freescale Semiconductor, Austin, United States
  • Hu, Alan, University of British Columbia, Vancouver, Canada
  • Hunt Jr., Warren, University of Texas at Austin, Austin, United States
  • Hurst, Aaron, University of California, Berkeley, Oakland, United States
  • Jones, Robert, Intel, Hillsboro, United States
  • Jones, Kevin, Rambus, Hayward, United States
  • Joyner, William, Semiconductor Research Corp., Durham, United States
  • Kaiss, Daher, Intel Corp., Nahif Village, Israel
  • Kamhi, Gila, Intel Corp, Haifa, Israel
  • Kaufmann, Matt, University of Texas, Austin, United States
  • Kroening, Daniel, ETH Zuerich, Zuerich, Switzerland
  • Kuehlmann, Andreas, Cadence Design Systems, Inc, Berkeley, United States
  • Kunz, Wolfgang, U. of Kaiserslautern, Kaiserslautern, Germany
  • Kurshan, Robert, Cadence Design Systems, New Providence, United States
  • Legato, Wilfred, NSA, Ft. Meade, United States
  • Levin, Alexander, Intel, Haifa, Israel
  • Levitt, Jeremy, Mentor Graphics Corporation, San Jose, United States
  • Li, Bing, Mentor Graphics, San Jose, United States
  • Lustig, Yoad, Hebrew University of Jerusalem, Jerusalem, Israel
  • Mahajan, Yogesh, Princeton University, Princeton, United States
  • Manolios, Panagiotis, Northeastern University, Boston, United States
  • Martin, Andrew, IBM, Austin, United States
  • Matthews, John, Galois, Inc., Beaverton, United States
  • Melham, Tom, Oxford University, Oxford, United Kingdom
  • Mercer, Eric, Brigham Young University, Provo, United States
  • Miller, Hillel, freescale, austin, United States
  • Mishchenko, Alan, UC Berkeley, Berkeley, United States
  • Mony, Hari, IBM Corporation, Austin, United States
  • Moon, In-Ho, Synopsys, Hillsboro, United States
  • Najm, Farid, University of Toronto, Toronto, Canada
  • Narain, Prakash, Real Intent, Sunnyvale, United States
  • Oberkönig, Martin, University of Technology, Darmstadt, Darmstadt, Germany
  • O'Leary, John, Intel Corporation, Hillsboro, United States
  • Paruthi, Viresh, IBM Corporation, Austin, United States
  • Pike, Lee, Galois, Inc., Beaverton, United States
  • Pixley, Carl, Synopsys Inc., Hillsboro, United States
  • Plock, Cory, New York University, Danbury, United States
  • Rager, David, The University of Texas at Austin, Austin, United States
  • Ranjan, Rajeev, Jasper Design Automation, Mountain View, United States
  • Ray, Sandip, UT Austin, Austin, United States
  • Reeber, Erik, The University of Texas at Austin, Austin, United States
  • Rungta, Neha, Brigham Young University, Provo, United States
  • Safarpour, Sean, University of Toronto, Toronto, Canada
  • Sammane, Ghiath, Concordia University, Laval, Canada
  • Sawada, Jun, IBM Austin Research Lab, Austin, United States
  • Schickel, Martin, TU Darmstadt, FG Rechnersysteme, Darmstadt, Germany
  • Schmaltz, Julien, Radboud University Nijmegen, Nijmegen, Netherlands
  • Seger, Carl, Intel, Hillsboro, United States
  • Seidel, Peter-Michael, Advanced Micro Devices, Austin, United States
  • Seigler, Adrian, IBM Corporation, Poughkeepsie, United States
  • Sen, Alper, Freescale Semiconductor Inc., Austin, United States
  • Shao, Zhenhua, ibiden usa r&d, torrance, United States
  • Sharygina, Natasha, University of Lugano, Lugano, Switzerland
  • Sheeran, Mary, Chalmers Univ. of Technology, Gothenburg, Sweden
  • Shyamasundar, Rudrapatna, IBM Research, New Delhi, India
  • Simmonds, Jocelyn, University of Toronto, Toronto, Canada
  • Singerman, Eli, Intel Corp., Haifa, Israel
  • Slobodova, Anna, Intel, Austin, United States
  • Smith, Edward, University of Oxford, Northwood, United Kingdom
  • Srinivasan, Sudarshan, North Dakota State University, Fargo, United States
  • Swords, Sol, University of Texas at Austin, Austin, United States
  • Tahar, Sofiene, Concordia University, Montreal, Canada
  • Talupur, Murali, Intel/SCL, Hillsboro, United States
  • Trefler, Richard, University of Waterloo, Waterloo, Canada
  • Tuttle, Mark, Intel Strategic CAD Lab, Hudson, United States
  • Um, Hyunsun, Univ. of Texas at Austin, austin, United States
  • Utamaphethai, Noppanunt, Intel, Austin, United States
  • Vardi, Moshe, Rice University, Houston, United States
  • Velev, Miroslav, Consultant, Chicago, United States
  • Wahl, Thomas, ETH Zuerich, Zuerich, Switzerland
  • Wang, Chao, NEC Labs America, Princeton, United States
  • Weissenbacher, Georg, ETH Computer Systems Institute, CH- Zurich, Switzerland
  • Whittemore, Jesse, Intel Corp., Hillsboro, United States
  • Xie, Fei, Portland State University, Portland, United States
  • Yan, Chao, University of British Columbia, Vancouver, Canada
  • Yao, Haiqiong, University of South Florida, Tampa, United States
  • Yenigun, Husnu, Sabanci University, Istanbul, Turkey
  • Zaki Hussein, Mohamed, Concordia University, ECE dept, Montreal, Canada
  • Zaks, Aleksander, YTC America Inc., Camarillo, United States
  • Zaraket, Fadi, IBM, Austin, United States
  • Zhang, Qiang, University of Texas at Austin, Austin, United States
  • Zheng, Hao, University of South Florida, Tampa, United States
  • Zuck, Lenore, UIC, Chicago, United States