C-FAR Professors Give Keynote Addresses

Wednesday, December 18, 2013

C-FAR Principal Investigators gave the following talks and keynote addresses between July and October this year:

  • Krste Asanovic, University of California--Berkeley: "ASPIRE Project", SAP, Palo Alto, CA (Sept. 9)
  • Todd Austin, University of Michigan:
    • "Toward Affordable Customization", International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2013), Montreal, Canada (Oct. 1)
    • "On the Rules of Low Power Design (and Why You Should Break Them)", Boston University, Boston, MA (Oct. 1)
    • "C-FAR: The Center for Future Architectures Research" at Intel Corp., Hudson, MA (Oct. 1) and at an IBM Corporation e-seminar (Oct. 1)
    • "Why Tools Matter", University of California--Santa Barbara, Santa Barbara, CA (Sept. 1)
  • Valeria Bertacco, University of Michigan: "Achieving Design Correctness with Runtime Checking", University of California--Santa Barbara, Santa Barbara, CA (Oct. 17)
  • Luca Carloni, Columbia University: "Scalable Design of Heterogeneous System-on-Chip Platforms", Intel Labs, Intel Corp., Hillsboro, OR (Aug. 5)
  • Luis Ceze, University of Washington: "Disciplined Approximate Computing: From Language to Hardware and Beyond" at Microsoft Research, Cambridge, United Kingdom (Sept. 18), ETH Z├╝rich, Zurich, Switzerland (Oct. 21), and University of Cambridge, Cambridge, United Kingdom (Oct. 23)
  • Deming Chen, University of Illinois at Urbana-Champaign: "Graphene Nano-Ribbon Field-Effect Transistors as Future Low-Power Devices", IEEE/ACM International Symposium on Low Power Electronics and Design, Beijing, China (Sept. 5)
  • Jason Cong, University of California--Los Angeles: "Computing Beyond Processors", 31st IEEE International Conference on Computer Design (ICCD) 2013, Ashville, NC (Oct. 8)
  • Kevin Fu, University of Michigan:
    • "Medical Device Security", Princeton University, Princeton, NJ (Oct. 10)
    • "Architectural Needs for Transiently Powered Computers", C-FAR Seminar Series, University of Michigan, Ann Arbor, MI (Sept. 17)
  • Dan Grossman, University of Washington: "Disciplined Approximate Computing: From Language to Hardware and Beyond", Intel Approximate Computing Workshop, Portland, OR (Aug. 13)
  • Mark Horowitz, Stanford University: "Rethinking Analog Design", CICC Keynote Address, IEEE Custom Integrated Circuits Conference 2013, San Jose, CA (Sept. 23)
  • Wen-mei Hwu, University of Illinois at Urbana-Champaign: "Scalability, Portability, and Numerical Stability in GPU Computing", International Workshop on Computational Science and Engineering, Taipei, Taiwan (Oct. 14)
  • Benjamin Lee, Duke University: "Foundations for Heterogeneous Datacenter Design and Management" at VMware, Palo Alto, CA (Aug. 13) and at University of Wisconsin, Madison, WI (Sept. 30)
  • Sharad Malik, Princeton University: "Boolean Satisfiabiity: From Theoretical Hardness to Practical Success", Max Weber Lecture Series, New York University, New York, NY (Oct. 31)
  • Margaret Martonosi, Princeton University: "Power-Aware Computing: Then and Now", Grace Hopper Celebration of Women in Computing. ABIE Tech Leadership Award Winner Talk, Minneapolis, MN (Oct. 4)
  • John Ousterhout, Stanford University: Reflections on Tcl, Tcl/Tk Conference, New Orleans, LA (Sept. 26)
  • Michael Taylor, University of California--San Diego:
    • "A Landscape of the New Dark Silicon Design Regime" at EECS Colloquium, UC-Berkeley, Berkeley, CA (July 29), at CS Colloquium, Columbia University, New York, NY (Sept. 3), and Berkeley Symposium on Energy Efficient Electronic Systems, UC-Berkeley, Berkeley, CA (Oct. 28)
    • "Bitcoin and The Age of Bespoke Silicon", CASES 2013, Montreal, Canada (Oct. 1)
  • Naveen Verma, Princeton University:
    • "Sensing a Physically-complex World", Intel Corporation, Hillsboro, OR (Sept. 20)
    • "Power-Management Systems: Exploiting Large-dimensioned Harvesters towards Real Applications", FlexTech Alliance Workshop on Energy Harvesting, Storage, and Usage, Minneapolis, MN (Oct. 30)
  • Thomas Wahl, Northeastern University:
    • "Predicate Abstraction for Parametric Shared-variable Concurrent Programs", NASA Ames Research Lab, Mountain View, CA (Aug. 12)
    • "Petri Nets and Beyond in Software Verification", University of Michigan, Ann Arbor, MI (Oct. 4)