Cited By
View all- Lei YSui YTan SZhang Q(2023)Recursive State Machine Guided Graph Folding for Context-Free Language ReachabilityProceedings of the ACM on Programming Languages10.1145/35912337:PLDI(318-342)Online publication date: 6-Jun-2023
- Zuo ZWang KHussain ASani AZhang YLu SDou WWang LLi XWang CXu G(2021)Systemizing Interprocedural Static Analysis of Large-scale Systems Code with GraspanACM Transactions on Computer Systems10.1145/346682038:1-2(1-39)Online publication date: 29-Jul-2021
- Zhai JShi YPan MZhou GLiu YFang CMa STan LZhang XDevanbu PCohen MZimmermann T(2020)C2S: translating natural language comments to formal program specificationsProceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3368089.3409716(25-37)Online publication date: 8-Nov-2020
- Show More Cited By