Chiao Hsieh

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 16

Top Topics

Manufacturing Systems

Recursive Programs

Heterogeneous Distributed

Formation Control

Top Venues

Proc. ACM Program. Lang.

Publications

Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra
Perception Contracts for Safety of ML-Enabled Systems. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. CoRR (2022)
Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. EMSOFT (2022)
Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Chiao Hsieh, Daniel Wu, Yubin Koh, Sayan Mitra
Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems. CASE (2022)
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra
Assuring safety of vision-based swarm formation control. CoRR (2022)
Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions. CoRR (2021)
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, Sayan Mitra
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. ITSC (2021)
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination. ICRA (2020)
Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra
Koord: a language for programming and verifying distributed robotics application. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. CoRR (2020)
Chiao Hsieh, Sayan Mitra
Dione: A Protocol Verification System Built with Dafny for I/O Automata. IFM (2019)
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination. CoRR (2019)
Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
PAC learning-based verification and model synthesis. ICSE (2016)
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). TACAS (2015)
Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
PAC Learning-Based Verification and Model Synthesis. CoRR (2015)
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
Verifying Recursive Programs Using Intraprocedural Analyzers. SAS (2014)
Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang
Symbolic model checking on SystemC designs. DAC (2012)