Follow
Jingmei Hu
Jingmei Hu
Harvard University, Amazon
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
ShakeIn: secure user authentication of smartphones with single-handed shakes
H Zhu, J Hu, S Chang, L Lu
IEEE transactions on mobile computing 16 (10), 2901-2912, 2017
532017
Trials and tribulations in synthesizing operating systems
J Hu, E Lu, DA Holland, M Kawaguchi, S Chong, MI Seltzer
Proceedings of the 10th Workshop on Programming Languages and Operating …, 2019
132019
Assuage: Assembly synthesis using a guided exploration
J Hu, P Vaithilingam, S Chong, M Seltzer, EL Glassman
The 34th Annual ACM Symposium on User Interface Software and Technology, 134-148, 2021
92021
Improving data scientist efficiency with provenance
J Hu, J Joung, M Jacobs, KZ Gajos, MI Seltzer
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
82020
Aquarium: Cassiopea and Alewife Languages
DA Holland, J Hu, M Kawaguchi, E Lu, S Chong, MI Seltzer
arXiv preprint arXiv:1908.00093, 2019
52019
Towards Porting Operating Systems with Program Synthesis
J Hu, E Lu, DA Holland, M Kawaguchi, S Chong, MI Seltzer
ACM Transactions on Programming Languages and Systems, 2022
12022
Improving Assembly Synthesis via Interaction and Parallelism
J Hu
Harvard University, 2022
2022
ProvBuild: improving data scientist efficiency with provenance
J Hu, J Joung, M Jacobs, KZ Gajos, MI Seltzer
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–8