Jingmei Hu

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 8

Top Topics

Technical Report

Guided Exploration

Program Synthesis

Top Venues

ICSE (Companion Volume)

IEEE Trans. Mob. Comput.

Publications

Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Towards Porting Operating Systems with Program Synthesis. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Towards Porting Operating Systems with Program Synthesis. CoRR (2022)
Jingmei Hu, Priyan Vaithilingam, Stephen Chong, Margo I. Seltzer, Elena L. Glassman
Assuage: Assembly Synthesis Using A Guided Exploration. UIST (2021)
Jingmei Hu, Jiwon Joung, Maia Jacobs, Krzysztof Z. Gajos, Margo I. Seltzer
ProvBuild: improving data scientist efficiency with provenance. ICSE (Companion Volume) (2020)
Jingmei Hu, Jiwon Joung, Maia Jacobs, Krzysztof Z. Gajos, Margo I. Seltzer
Improving data scientist efficiency with provenance. ICSE (2020)
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Trials and Tribulations in Synthesizing Operating Systems. PLOS@SOSP (2019)
Ming Kawaguchi, Jingmei Hu, Eric Lu, David A. Holland, Stephen Chong, Margo I. Seltzer
Aquarium Technical Report Preprint. CoRR (2019)
Hongzi Zhu, Jingmei Hu, Shan Chang, Li Lu
ShakeIn: Secure User Authentication of Smartphones with Single-Handed Shakes. IEEE Trans. Mob. Comput. 16 (10) (2017)