Search for persons
X
?
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 ,
1
FPGA Technology Mapping Using Sketch-Guided Program Synthes..:
, In:
?
Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming ,
4
Magic Markup: Maintaining Document-External Markup with an ..:
, In:
?
Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology ,
6
Odyssey: An Interactive Workbench for Expert-Driven Floatin..:
, In:
?
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design ,
9
Exploring Self-Embedded Knitting Programs with Twine:
, In:
?
Proceedings of the 59th ACM/IEEE Design Automation Conference ,
11
ADA, the Center for Applications Driving Architectures: acc..:
, In:
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
14