Personensuche
X
?
Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E ,
1
Theia: automatically generating correct program state visua..:
, In:
?
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology ,
2
Tea : A High-level Language and Runtime System for Autom..:
, In:
?
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages ,
3
Relay: a new IR for machine learning frameworks:
, In:
?
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems ,
4
An Architecture Supporting Formal and Compositional Binary ..:
, In:
?
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering ,
5
Fuzzing the rust typechecker using CLP:
, In:
?
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering ,
6
Language fuzzing using constraint logic programming:
, In:
?
Proceedings of the 9th symposium on Dynamic languages ,
7