| Can reactive synthesis and syntax-guided synthesis be friends? W Choi, B Finkbeiner, R Piskac, M Santolucito Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 17 | 2022 |
| Boltzmann enhancements of biquasile counting invariants WH Choi, D Needell, S Nelson Journal of Knot Theory and Its Ramifications 27 (14), 1850068, 2018 | 6 | 2018 |
| Program synthesis for musicians: A usability testbed for temporal logic specifications W Choi, M Vazirani, M Santolucito Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021 | 4 | 2021 |
| TSL Synthesis Synthesizer: Reconfigurable Signal Flows through Program Synthesis M Vazirani, W Choi, M Santolucito NIME 2021, 2021 | | 2021 |
| (r)-Pancyclic, (r)-Bipancyclic and Oddly (r)-Bipancyclic Graphs A Khodkar, O Sawin, L Mueller, W Choi Journal of Combinatorial Mathematics and Combinatorial Computing 102, 253-266, 2017 | | 2017 |
Deanna NeedellProfessor of Mathematics, UCLAVerified email at cmc.edu
