Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
ShakeIn: secure user authentication of smartphones with single-handed shakes
Published in IEEE Transactions on Mobile Computing, 2017
Download paper here
Recommended Citation 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.
Aquarium: Cassiopea and Alewife Languages
Published in arXiv (Technical Report), 2019
Download paper here
Recommended Citation 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.
Trials and Tribulations in Synthesizing Operating Systems
Published in the 10th Workshop on Programming Languages and Operating Systems (PLOS'19), 2019
Download paper here
Recommended Citation 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.
ProvBuild: Improving Data Scientist Efficiency with Provenance (An Extended Abstract)
Published in the ACM/IEEE 42nd International Conference on Software Engineering (ICSE'20) : Companion Proceedings, 2020
Download paper here
Recommended Citation 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.
Improving Data Scientist Efficiency with Provenance
Published in the ACM/IEEE 42nd International Conference on Software Engineering (ICSE'20), 2020
Download paper here
Recommended Citation 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.
Assuage: Assembly Synthesis Using A Guided Exploration
Published in the 34th ACM Symposium on User Interface Software and Technology (UIST'21), 2021
Download paper here
Recommended Citation 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.
Towards Porting Operating Systems with Program Synthesis
Published in ACM Transactions on Programming Languages and Systems, 2022
Download paper here
Recommended Citation 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.
Parallel Assembly Synthesis
Published in International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'24), 2024
Download paper here
Recommended Citation 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.