Michael Hsiao
Virginia Polytechnic Institute and State University
H-index: 41
North America-United States
Top articles of Michael Hsiao
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Validatable Generation of System Verilog Assertions from Natural Language Specifications | FNU Aditi Michael S Hsiao | 2023/9/25 | |
Automated Suggestions Framework for Processing Hardware Specifications Written in English | Rahul Krishnamurthy Michael S Hsiao | 2022/9/14 | |
Virginia 4-H and Virginia Tech Use Video Game Design Platform to Engage Teens as Teachers | 2022 VCE Winter Conference | Jennifer Bowen Erika Bonnett Michael Hsiao Shikhar Kashyap | 2022/1/31 |
Hybrid rule-based and machine learning system for assertion generation from natural language specifications | Fnu Aditi Michael S Hsiao | 2022/11/21 | |
A Hybrid Approach for Automatic Feedback Generation in Natural Language Programming | Yue Zhan Michael S Hsiao | 2022/9/19 | |
Bingo: A dependency grammar framework to understand hardware specifications written in english | Rahul Krishnamurthy Michael S Hsiao | 2021/12 | |
Multi-phase context vectors for generating feedback for natural-language based programming | Michael Hsiao | 2021/9 | |
Formal Validation for Natural Language Programming using Hierarchical Finite State Automata. | Yue Zhan Michael S Hsiao | 2021 | |
Breaking down high-level robot path-finding abstractions in natural language programming | Yue Zhan Michael S. Hsiao | 2020/11 | |
Automated assertion generation from natural language specifications | Steven J Frederiksen John Aromando Michael S Hsiao | 2020/11/1 | |
Transforming natural language specifications to logical forms for hardware verification | Rahul Krishnamurthy Michael S Hsiao | 2020/10/18 |