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.
CV
Curriculum Vitae
- Download here
- Last update was September, 2024
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
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.
ShakeIn: secure user authentication of smartphones with single-handed shakes
Hongzi Zhu, Jingmei Hu, Shan Chang, and Li Lu. 2017. ShakeIn: secure user authentication of smartphones with single-handed shakes. In IEEE Transactions on Mobile Computing. vol. 16, no. 10, pp. 2901-2912. DOI:https://doi.org/10.1109/TMC.2017.2651820.
Talks
- Assuage Talk https://www.youtube.com/watch?v=1UrRaQMOEM8
- ProvBuild Talk https://www.youtube.com/watch?v=K02Fc2plF4A
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
Teaching Experience
- COMPSCI 61 Systems Programming and Machine Organization, Fall 2017
- Harvard University
Skills
- Programming Languages
- (advanced) Python, Objective Caml (OCaml), HTML/CSS/JavaScript, C/C++
- (intermediate) Assembly Languages, SQL, MATLAB, Java
- Research skills
- familiar with cloud services (AWS) and common testing techniques
- familiar with human interaction related 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