Search for persons
X
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
2
Synthesizing analytical SQL queries from computation demons..:
, In:
?
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
3
Tree traversal synthesis using domain-specific symbolic com..:
, In:
?
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems ,
4
Falx: Synthesis-Powered Visualization Authoring:
, In:
?
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ,
7
Summary-based symbolic evaluation for smart contracts:
, In:
?
Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques ,
8
Fireiron : A Data-Movement-Aware Scheduling Language for..:
, In:
?
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems ,
12
Swizzle Inventor : Data Movement Synthesis for GPU Kerne..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
15