Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/17 → 26/06/23 |
Research Groups and Themes
- Programming Languages
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Conference Contribution (Conference Proceeding)
-
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Yamaguchi, M., Matsuda, K., David, C. & Wang, M., 20 Oct 2021, ACM on Programming Languages: OOPSLA. OOPSLA ed. Association for Computing Machinery (ACM), Vol. 5. p. 1-31 31 p. 105. (Proceedings of the ACM on Programming Languages).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile3 Citations (Scopus)69 Downloads (Pure)