Jingmei Hu

Orcid: 0000-0002-4434-5057

According to our database1, Jingmei Hu authored at least 7 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Towards Porting Operating Systems with Program Synthesis.
ACM Trans. Program. Lang. Syst., March, 2023

2021
Assuage: Assembly Synthesis Using A Guided Exploration.
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.
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.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Aquarium Technical Report Preprint.
CoRR, 2019

Trials and Tribulations in Synthesizing Operating Systems.
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

2017
ShakeIn: Secure User Authentication of Smartphones with Single-Handed Shakes.
IEEE Trans. Mob. Comput., 2017


  Loading...