Cited By
View all- Sotiropoulos TChaliasos SSu Z(2024)API-Driven Program Synthesis for Testing Static Typing ImplementationsProceedings of the ACM on Programming Languages10.1145/36329048:POPL(1850-1881)Online publication date: 5-Jan-2024
- Zakhour GWeisenburger PSalvaneschi G(2023)Type-Checking CRDT ConvergenceProceedings of the ACM on Programming Languages10.1145/35912767:PLDI(1365-1388)Online publication date: 6-Jun-2023
- Agrawal AFirst EKaufman ZReichel TZhang SZhou TSanchez-Stern ARinger TBrun YGrundy J(2023)Proofster: Automated Formal VerificationProceedings of the 45th International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion58688.2023.00018(26-30)Online publication date: 14-May-2023
- Show More Cited By