Search for persons
X
?
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3 ,
1
Felix: Optimizing Tensor Programs with Gradient Descent:
, In:
?
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
5
ViX: Analysis-driven Compiler for Efficient Low-Precision V..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
7
AquaSense: Automated Sensitivity Analysis of Probabilistic ..:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ,
8
Balancing Effectiveness and Flakiness of Non-Deterministic ..:
, In:
?
2022 IEEE Conference on Software Testing, Verification and Validation (ICST) ,
12