Personensuche
X
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
2
Last Diff Analyzer: Multi-language Automated Approver for B..:
, In:
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
3
Practical Inference of Nullability Types:
, In:
?
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice ,
6
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 ,
7
NullAway: practical type-based null safety for Java:
, In:
?
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering ,
11
Safe stream-based programming with refinement types:
, In:
?
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
12
Safe Stream-Based Programming with Refinement Types:
, In:
?
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering ,
15