Cited By
View all- Pham LSaad FHoffmann J(2024)Robust Resource Bounds with Static Analysis and Bayesian InferenceProceedings of the ACM on Programming Languages10.1145/36563808:PLDI(76-101)Online publication date: 20-Jun-2024
- Zhang EWu FLu X(2024)An Intelligent Scheduling System for Large-Scale Online JudgingComputer Science and Education. Computer Science and Technology10.1007/978-981-97-0730-0_24(265-279)Online publication date: 26-Feb-2024
- Liu HLi G(2024)Empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with PruningTheoretical Aspects of Software Engineering10.1007/978-3-031-64626-3_19(324-342)Online publication date: 29-Jul-2024
- Show More Cited By