Wonhyuk Choi

Orcid: 0000-0001-7030-0031

According to our database¹, Wonhyuk Choi authored at least 3 papers between 2021 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

Can reactive synthesis and syntax-guided synthesis be friends?

[BibT_eX]

[DOI]

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Can reactive synthesis and syntax-guided synthesis be friends?

[BibT_eX]

[DOI]

Wonhyuk Choi

Proceedings of the SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17, 2021

Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications.

[BibT_eX]

[DOI]

Wonhyuk Choi

Michel Vazirani

Mark Santolucito

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

Wonhyuk Choi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...