embedded systems

• Thierry J-F. OMNES, Interuniversity Micro-Electronics Centre (IMEC)
  • title: "Acropolis: a parallel multimedia software precompiler"
  • advisor: Prof. Francky Cathoor, Design Technology for Integrated Information and Communication Systems (DESICS)
  • travel grant $: 1300

• Imed Ben Dhaou, Royal Institure of Technology
  • title: "Design methodologies for mobile multimedia devices"
  • advisor: Hannu Tenhunen, Dept. Of electronics
  • url: http://www.ele.kth.se/
  • travel grant $: 1300

• Naruemon Wattanapongsakorn, University of Pittsburgh
  • title: "Integrating Dependability Analysis into the Embedded System Design Process"
  • advisor: Dr. Steven P. Levitan, Electrical Engineering
  • url: http://www.pitt.edu/~nawst13/
  • travel grant $: 750

verification

• Clayton B. McDonald, Carnegie Mellon University
  • title: "Symbolic Functional and Timing Verification of Transistor-Level Circuits"
  • advisor: Randal E. Bryant, Electrical and Computer Engineering
  • url: http://www.ece.cmu.edu/~clayton/

• Fadi A. Aloul, University of Michigan
  • title: "An Exploration of Boolean Satisfiability Solvers and their Application in Hardware Verification"
  • advisor: Prof. Karem Sakallah, Department of Electrical Engineering and Computer Science
  • travel grant $: 750

• Malay K Ganai, The University of Texas at Austin
  • title: "Efficient State Space Search Algorithms"
  • advisor: Dr. Adnan Aziz, Electrical and Computer Engineering
  • url: http://www.ece.utexas.edu/~malay/hmpg/
  • travel grant $: 750

• Philippe Georgelin, Université Joseph Fourier, Grenoble, France
  • title: "Formal Verification of VHDL using the ACL2 theorem prover"
  • advisor: Prof. Dominique Borrione, Laboratoire TIMA
  • url: http://www-tima-vds.imag.fr/

• Miroslav N. Velev, Carnegie Mellon University
  • title: "Formal Verification of VLIW Processors with Speculative Execution"
  • advisor: Prof. Randal E. Bryant, Electrical and Computer Engineering
  • url: http://www.wcw.cmu.edu/~mvelev/

• Mark Weiss, University of Nebraska-Lincoln
  • title: "A Unified Approach to Testing and Verification of Designs Synthesized from High-Level Specifications"
  • advisor: Sharad Seth, Computer Science & Engineering

hardware/software codesign

• Renner, Frank-Michael, Darmstadt University of Technology
  • title: "Modeling, Generation and Optimization of Communication Architectures for Embedded Real-Time Systems"
  • advisor: Prof. Dr. Dr. h. c. mult. Manfred Glesner, Institute of Microelectronic Systems
  • url: http://www.microelectronic.e-technik.tu-darmstadt.de/staff/renner/
  • travel grant $: 1300

• Sumit Gupta, University of California, Irvine
  • title: "Co-ordinated Fine and Coarse Grain Optimizations for Hardware/Software Co-design"
  • advisor: Rajesh Gupta, Information and Computer Science
  • url: http://www.ics.uci.edu/~sumitg/

mixed signal/analog

• Mao-Feng Lan, Iowa State University
  • title: "Simulation of Matching-Critical Circuits with Laterally Distributed Process and Device Parameters"
  • advisor: Randall Geiger, Electrical Engineering
  • travel grant $: 850

• Jan Vandenbussche, K.U.Leuven
  • title: "Systematic Design of High Performance D/A Converters and A/D Converters"
  • advisor: Professor Georges Gielen, ESAT-MICAS
  • url: http://www.esat.kuleuven.ac.be/~vandenbu/

• Francis G. Wolff, Case Western Reserve University
  • title: "An Approach to Analog Digital Codesign"
  • advisor: Professor Chris Papachristou, Electrical Engineering and Computer Science
  • travel grant $: 500

reconfigurable

• hartej singh, university of california, irvine
  • title: "Reconfigurable Architectures for Data-Parallel and Multimedia Application Domains"
  • advisor: Prof Nader Bagherzadeh , Prof Fadi Kurdahi, electrical and computer engineering
  • travel grant $: 250

IP

• Gang Qu, University of Californis, Los Angeles
  • title: "Constraint-Based Intellectual Property Protection Techniques"
  • advisor: Miodrag Potkonjak, Computer Science Department
  • url: http://www.cs.ucla.edu/~gangqu/

MEMS CAD

• Timothy P. Kurzweg, University of Pittsburgh
  • title: "A CAD Tool for Optical MEMS"
  • advisor: Steven P. Levitan, Electrical Engineering
  • url: http://ee.pitt.edu/~tim/

abstraction

• Yuan Lu, Carnegie Mellon University
  • title: "Automatic Abstraction Using Counterexample-guided Refinement"
  • advisor: Edmund M. Clarke, Electrical and Computer Engineering

validation

• Noppanunt Utamaphethai, Carnegie Mellon University
  • title: "Buffer-Oriented Microarchitecture Validation"
  • advisor: Prof. Shawn Blanton, Electrical and Computer Engineering
  • url: http://www.ece.cmu.edu/~nau/

interconnect

• Jiang Hu, University of Minnesota, Minneapolis
  • title: "Performance Optimization of VLSI Interconnect"
  • advisor: Professor Sachin S. Sapatnekar, Department of Electrical and Computer Engineering
  • travel grant $: 1000

power

• Yung-Hsiang Lu, Stanford
  • title: "Operating-System Directed Power Reduction"
  • advisor: Giovanni De Micheli, Electrical Engineering
  • travel grant $: 700

• Alberto Macii, Politecnico di Torino
  • title: "Memory Design Techniques and Tools for Low-Energy Embedded Systems"
  • advisor: Prof. Angelo Raffaele Meo, Dipartimento di Automatica e Informatica
  • travel grant $: 1300

• Pasin Israsena, University of Warwick
  • title: "Gate Level Power Estimation for ATP (Area-Time-Power) Optimization of VLSI Pipelined WDF (Wave Digital Filters)"
  • advisor: Dr. S. Summerfield, Engineering
  • url: http://www.eng.warwick.ac.uk/~esrqz/
  • travel grant $: 1300

physical

• William E Dougherty, Carnegie Mellon University
  • title: "Unifying Behavioral Synthesis and Physical Design"
  • advisor: Donald E Thomas, Electrical and Computer Engineering
  • url: http://www.ece.cmu.edu/~wed/

testing

• Arani Sinha, University of Southern California
  • title: "Validation and Test Generation for Inductance Induced Noise in VLSI Interconnects"
  • advisor: Melvin A. Breuer, Sandeep K. Gupta, Dept. of Electrical Engineering-Systems
  • travel grant $: 200

• Manish Sharma, University of Illinois at Urbana-Champaign
  • title: "Delay Fault Testing for Enhanced Scan Based Circuits"
  • advisor: Prof. Janak H. Patel, Electrical & Computer Engineering
  • url: http://www.crhc.uiuc.edu/~msharma/
  • travel grant $: 850

• Aurélia PETITQUEUX, University of Montpellier
  • title: "Built-in-self test for sequential circuits partial reset techniques"
  • advisor: Christian LANDRAULT, Marie-Lise FLOTTES, Microelectronic
  • url: http://www.lirmm.fr/
  • travel grant $: 1300

• Rahul Kundu, Carnegie Mellon University
  • title: "Dynamic Logic Test"
  • advisor: R.D. Shawn Blanton, Electrical and Computer Engineering

• Kumar Dwarakanath, Carnegie Mellon University
  • title: "True Hierarchical Test"
  • advisor: Prof. Shawn Blanton, Electrical & Computer Engineering
  • url: http://www.ece.cmu.edu/~nari/

• Mustapha REZZOUG, University of MONTPELLIER II
  • title: "Deep Submicron CMOS Designs Speed Performance Characterization"
  • advisor: Pr Daniel AUVERGNE, LIRMM. Microelectronics Department

high-level synthesis

• Victor N. Kravets, University of Michigan
  • title: "Structure-Aware Functional Decomposition in Logic Synthesis"
  • advisor: Karem A. Sakallah, Electrical Engineering and Computer Science
  • url: http://andante.eecs.umich.edu/