Jingmei Hu

I joined Amazon as an Applied Scientist in 2022. I received my Ph.D. from Harvard in 2022, under the supervision of Prof. Margo Seltzer and Prof. Stephen Chong. My research focuses on program synthesis and verification for systems.

Prior to joining Harvard, I graduated from Shanghai Jiao Tong University (SJTU) in Computer Science (B.S. Degree) in 2016. I previously worked as a research assistant with Prof. Hongzi Zhu and Prof. Xinbing Wang at SJTU.


Research Interests

My research mainly focuses on program synthesis for low-level OS development. I am interested in combining program synthesis with human computer interaction and parallel computing techniques to make it more usable and efficient.

  • Program Synthesis
  • Human-Computer Interaction (in Program Languages)
  • Operating Systems
  • Distributed Systems

I successfully defended my Ph.D. dissertation on April 28th, 2022. Thanks to the many people who supported me and helped me along the way!


Work

  • Applied Scientist, 2022 - Present
    • Amazon

Education

  • Ph.D. in Computer Science, 2016 - 2022
    • Harvard University
  • M.S. in Computer Science, 2018
    • Harvard University
  • B.S. in Computer Science, 2016
    • Shanghai Jiao Tong University (SJTU)

Publications

  • Parallel Assembly Synthesis

    Jingmei Hu, Stephen Chong, Margo Seltzer. 2024. Logic-Based Program Synthesis and Transformation. LOPSTR 2024. DOI:https://doi.org/10.1007/978-3-031-71294-4_1.

  • Towards Porting Operating Systems with Program Synthesis

    Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, and Margo I. Seltzer. 2022. Towards Porting Operating Systems with Program Synthesis. ACM Transactions on Programming Languages and Systems. Just Accepted (August 2022). DOI:https://doi.org/10.1145/3563943.

  • Assuage: Assembly Synthesis Using A Guided Exploration

    Jingmei Hu, Priyan Vaithilingam, Stephen Chong, Margo Seltzer, and Elena L. Glassman. 2021. Assuage: Assembly Synthesis Using A Guided Exploration. In The 34th Annual ACM Symposium on User Interface Software and Technology (UIST '21). Association for Computing Machinery, New York, NY, USA, 134–148. DOI:https://doi.org/10.1145/3472749.3474740.

  • Improving Data Scientist Efficiency with Provenance

    Jingmei Hu, Jiwon Joung, Maia Jacobs, Krzysztof Z. Gajos, and Margo I. Seltzer. 2020. Improving data scientist efficiency with provenance. In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE '20). Association for Computing Machinery, New York, NY, USA, 1086–1097. DOI:https://doi.org/10.1145/3377811.3380366.

  • ProvBuild: Improving Data Scientist Efficiency with Provenance (An Extended Abstract)

    Jingmei Hu, Jiwon Joung, Maia Jacobs, Krzysztof Z. Gajos, and Margo I. Seltzer. 2020. ProvBuild: improving data scientist efficiency with provenance. Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings. Association for Computing Machinery, New York, NY, USA, 266–267. DOI:https://doi.org/10.1145/3377812.3390912.

  • Trials and Tribulations in Synthesizing Operating Systems

    Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, and Margo I. Seltzer. 2019. Trials and Tribulations in Synthesizing Operating Systems. In Proceedings of the 10th Workshop on Programming Languages and Operating Systems (PLOS'19). Association for Computing Machinery, New York, NY, USA, 67–73. DOI:https://doi.org/10.1145/3365137.3365401.

  • Aquarium: Cassiopea and Alewife Languages

    David A. Holland, Jingmei Hu, Ming Kawaguchi, Eric Lu, Stephen Chong, and Margo I. Seltzer. 2019. Aquarium: Cassiopea and Alewife Languages. Technical Report. DOI:https://doi.org/10.48550/arxiv.1908.00093.


Internships

  • Applied Scientist Intern, Summer 2021
    • AWS Automated Reasoning Group, Amazon
  • Applied Scientist Intern, Fall 2020
    • AWS Automated Reasoning Group, Amazon
  • Research Intern, Summer 2020
    • Systems Research Group, Microsoft Research

Honors, Awards, and Services

  • ACM‑W Scholarship, 2020
  • National Scholarship (China) (Top 1% in SJTU), 2013
  • Vice President, Harvard Chinese Student and Scholar Association, 2019 ‑ 2020