John Hui

According to our database, John Hui authored at least 7 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Timestamp Peripherals for Precise Real-Time Programming.

John Hui, Kyle J. Edwards, Stephen A. Edwards

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Towards Sparse Synchronous Programming in Lua.

John Hui, Stephen A. Edwards

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

Creating a Language for Writing Real-Time Applications for the Internet of Things.

Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

2021

Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version).

Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu

CoRR, 2021

Gleipnir: toward practical error analysis for Quantum programs.

Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

The Sparse Synchronous Model.

Stephen A. Edwards, John Hui

Proceedings of the Forum for Specification and Design Languages, 2020

2005

A novel substrate-triggered ESD protection structure for a bus switch IC with on-chip substrate-pump.

Paul C. F. Tong, Ping-Ping Xu, Wensong Chen, John Hui, Patty Z. Q. Liu

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005