Search for persons
X
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
2
Practical Inference of Nullability Types:
, In:
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
3
Last Diff Analyzer: Multi-language Automated Approver for B..:
, In:
?
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice ,
4
Piranha : reducing feature flag debt at uber:
, In:
?
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
5
NullAway: practical type-based null safety for Java:
, In:
?
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
6
Safe Stream-Based Programming with Refinement Types:
, In:
?
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering ,
7
Safe stream-based programming with refinement types:
, In:
?
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering ,
8
Minimizing GUI event traces:
, In:
?
Proceedings of the 2015 International Symposium on Software Testing and Analysis ,
9