Roesch, Jared
7  Ergebnisse:
Personensuche X
?
1

Theia: automatically generating correct program state visua..:

, In: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E,
Pollock, Josh ; Roesch, Jared ; Woos, Doug. - p. 46-56 , 2019
 
?
2

Tea : A High-level Language and Runtime System for Autom..:

, In: Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology,
Jun, Eunice ; Daum, Maureen ; Roesch, Jared... - p. 591-603 , 2019
 
?
3

Relay: a new IR for machine learning frameworks:

, In: Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages,
 
?
4

An Architecture Supporting Formal and Compositional Binary ..:

, In: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems,
 
?
5

Fuzzing the rust typechecker using CLP:

, In: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering,
Dewey, Kyle ; Roesch, Jared ; Hardekopf, Ben - p. 482-493 , 2015
 
?
6

Language fuzzing using constraint logic programming:

, In: Proceedings of the 29th ACM/IEEE international conference on Automated software engineering,
Dewey, Kyle ; Roesch, Jared ; Hardekopf, Ben - p. 725-730 , 2014
 
?
7

Improved type specialization for dynamic scripting language:

, In: Proceedings of the 9th symposium on Dynamic languages,
 
1-7