My research and teaching is in building and helping programmers use quantum, analog, and other emerging computer architectures for the post-Moore’s Law era of computing.
I am actively hiring graduate students and recruiting undergraduate students for research in quantum computing and computer architecture.
News
- Congratulations to Arpan Gupta and Michael Schleppy on winning the ACM Student Research Competition undergrad division at PACT 2022!
- Congratulations to group alumni Soham on receiving the 2022 Chancellor-Provost’s Research Excellence Award!
- Congratulations to Arpan, Michael, and Aayushi on this year’s Aresty projects
Research
Visiting Scholars / PhD Students
- Sungwoo Ahn
- Adeeb Kabir
- Zirui Li
Independent Study / CS Honors Capstone / Aresty Research Assistants
- Arpan Gupta
- Cyrus Majd
- Ian Martin
- Alex Miralles
- Mukund Ramakrishnan
Publications
Yipeng Huang, Steven Holtzen, Todd Millstein, Guy Van den Broeck, and Margaret Martonosi. 2021.
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation.
26th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’21).
(2021 MICRO Top Picks honorable mention)
[paper] [arXiv] [lightning] [slides]
Yipeng Huang, Steven Holtzen, Todd Millstein, Guy Van den Broeck, and Margaret Martonosi. 2020.
Logic Formulas as Program Abstractions for Quantum Circuits: A Case Study in Noisy Variational Algorithm Simulation.
First International Workshop on Quantum Computing Software.
[summary] [slides]
Yipeng Huang and Margaret Martonosi. 2019.
Statistical assertions for validating patterns and finding bugs in quantum programs.
In Proceedings of the 46th International Symposium on Computer Architecture (ISCA ’19).
[paper] [summary] [arXiv] [lightning] [slides]
Yipeng Huang and Margaret Martonosi. 2018.
QDB: From quantum algorithms towards correct quantum programs.
9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018).
[paper] [arXiv] [poster] [slides]
Yipeng Huang. 2018.
Hybrid Analog-Digital Co-Processing for Scientific Computation.
[dissertation] [defense]
Y. Huang, N. Guo, S. Sethumadhavan, M. Seok and Y. Tsividis,
“A Case Study in Analog Co-Processing for Solving Stochastic Differential Equations,”
2018 IEEE 23rd International Conference on Digital Signal Processing (DSP), Shanghai, China, 2018, pp. 1-5.
[paper]
Yipeng Huang, Ning Guo, Mingoo Seok, Yannis Tsividis, Kyle Mandli, and Simha Sethumadhavan. 2017.
Hybrid analog-digital solution of nonlinear partial differential equations.
In Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-50 ’17). ACM, New York, NY, USA, 665-678.
(2017 MICRO Top Picks honorable mention)
[paper] [summary] [poster] [lightning] [slides]
Y. Huang, N. Guo, M. Seok, Y. Tsividis and S. Sethumadhavan,
“Analog Computing in a Modern Context: A Linear Algebra Accelerator Case Study,”
in IEEE Micro, vol. 37, no. 3, pp. 30-38, 2017.
[paper]
Yipeng Huang, Ning Guo, Mingoo Seok, Yannis Tsividis, and Simha Sethumadhavan. 2016.
Evaluation of an analog accelerator for linear algebra.
In Proceedings of the 43rd International Symposium on Computer Architecture (ISCA ’16). IEEE Press, Piscataway, NJ, USA, 570-582.
(2016 MICRO Top Picks)
[paper] [summary] [slides]
N. Guo et al.,
“Energy-Efficient Hybrid Analog/Digital Approximate Computation in Continuous Time,”
in IEEE Journal of Solid-State Circuits, vol. 51, no. 7, pp. 1514-1524, July 2016.
N. Guo et al.,
“Continuous-time hybrid computation with programmable nonlinearities,”
ESSCIRC Conference 2015 – 41st European Solid-State Circuits Conference (ESSCIRC), Graz, 2015, pp. 279-282.
J. Weisz, Y. Huang, F. Lier, S. Sethumadhavan and P. Allen,
“RoboBench: Towards sustainable robotics system benchmarking,”
2016 IEEE International Conference on Robotics and Automation (ICRA), Stockholm, 2016, pp. 3383-3389.
[paper]
Simha Sethumadhavan, Adam Waksman, Matthew Suozzo, Yipeng Huang, and Julianna Eum. 2015.
Trustworthy hardware from untrusted components.
Commun. ACM 58, 9 (August 2015), 60-71.
Teaching
Service
Academic service
| Venue | Role | Years |
|---|---|---|
| IEEE International Symposium on High Performance Computer Architecture (HPCA) | PC | 2021, 2022, 2023 |
| IEEE/ACM International Symposium on Microarchitecture (MICRO) | PC | 2020, 2021, 2022 |
| Brookhaven National Laboratory New York Scientific Data Summit 2020 | PC | 2020 |
| Programming Languages and Quantum Computing workshop at POPL/PLDI | PC | 2020, 2021 |
| ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | ERC | 2019, 2020, 2021 |
| ACM/IEEE International Symposium on Computer Architecture (ISCA) | ERC | 2019, 2020, 2022 |
| IEEE/ACM International Symposium on Microarchitecture (MICRO) | ERC | 2019 |
Science education outreach
| Organization | Role | Years |
|---|---|---|
| Summer Science Program | Admissions committee | 2019, 2020, 2021, 2022 |
| New York Hall of Science STEM Night: Exploring the Tech Workforce | Panelist | October 2019 |
| FIRST Robotics Competition | Team mentor | Spring 2014 |
| Western Aerospace Scholars at the Seattle Museum of Flight | Summer residency mentor | 2012, 2013 |