Kyeling Ong

According to our database, Kyeling Ong authored at least 2 papers between 2022 and 2025.

Collaborative distances:

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

2025

Neurosymbolic Modular Refinement Type Inference.

Georgios Sakkas, Pratyush Sahu, Kyeling Ong, Ranjit Jhala

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2022

Exploring Group Dynamics in a Group-Structured Computing Undergraduate Research Experience.

Katherine Izhikevich, Kyeling Ong, Christine Alvarado

Proceedings of the ICER 2022: ACM Conference on International Computing Education Research, Lugano and Virtual Event, Switzerland, August 7, 2022