Jingmei Hu

According to our database, Jingmei Hu authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Parallel Assembly Synthesis.

Jingmei Hu, Stephen Chong, Margo I. Seltzer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

2023

Towards Porting Operating Systems with Program Synthesis.

Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer

ACM Trans. Program. Lang. Syst., March, 2023

2021

Assuage: Assembly Synthesis Using A Guided Exploration.

Jingmei Hu, Priyan Vaithilingam, Stephen Chong, Margo I. Seltzer, Elena L. Glassman

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

2020

ProvBuild: improving data scientist efficiency with provenance.

Jingmei Hu, Jiwon Joung, Maia L. Jacobs, Krzysztof Z. Gajos, Margo I. Seltzer

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Improving data scientist efficiency with provenance.

Jingmei Hu, Jiwon Joung, Maia L. Jacobs, Krzysztof Z. Gajos, Margo I. Seltzer

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Aquarium Technical Report Preprint.

Ming Kawaguchi, Jingmei Hu, Eric Lu, David A. Holland, Stephen Chong, Margo I. Seltzer

CoRR, 2019

Trials and Tribulations in Synthesizing Operating Systems.

Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer

Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

2017

ShakeIn: Secure User Authentication of Smartphones with Single-Handed Shakes.

Hongzi Zhu, Jingmei Hu, Shan Chang, Li Lu

IEEE Trans. Mob. Comput., 2017