Theo dõi
Isil Dillig
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Apposcopy: Semantics-based detection of android malware through static analysis
Y Feng, S Anand, I Dillig, A Aiken
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
5992014
Synthesizing data structure transformations from input-output examples
JK Feser, S Chaudhuri, I Dillig
ACM SIGPLAN Notices 50 (6), 229-239, 2015
4132015
Sqlizer: query synthesis from natural language
N Yaghmazadeh, Y Wang, I Dillig, T Dillig
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
3712017
Component-based synthesis of table consolidation and transformation tasks from examples
Y Feng, R Martins, J Van Geffen, I Dillig, S Chaudhuri
ACM SIGPLAN Notices 52 (6), 422-436, 2017
2222017
Program synthesis using conflict-driven learning
Y Feng, R Martins, O Bastani, I Dillig
ACM SIGPLAN Notices 53 (4), 420-435, 2018
2102018
Inductive invariant generation via abductive inference
I Dillig, T Dillig, B Li, K McMillan
Acm Sigplan Notices 48 (10), 443-456, 2013
1962013
Component-based synthesis for complex APIs
Y Feng, R Martins, Y Wang, I Dillig, TW Reps
POPL, 2017
1872017
Cartesian hoare logic for verifying k-safety properties
M Sousa, I Dillig
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
1702016
Sound, complete and scalable path-sensitive analysis
I Dillig, T Dillig, A Aiken
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1692008
An overview of the Saturn project
A Aiken, S Bugrara, I Dillig, T Dillig, B Hackett, P Hawkins
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007
1542007
Lambdanet: Probabilistic type inference using graph neural networks
J Wei, M Goyal, G Durrett, I Dillig
arXiv preprint arXiv:2005.02161, 2020
1342020
Automated error diagnosis using abductive inference
I Dillig, T Dillig, A Aiken
ACM SIGPLAN Notices 47 (6), 181-192, 2012
1342012
Static detection of asymptotic performance bugs in collection traversals
O Olivo, I Dillig, C Lin
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
1312015
Program synthesis using abstraction refinement
X Wang, I Dillig, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
1252017
Fluid updates: Beyond strong vs. weak updates
I Dillig, T Dillig, A Aiken
Programming Languages and Systems: 19th European Symposium on Programming …, 2010
1232010
Optimization and abstraction: a synergistic approach for analyzing neural network robustness
G Anderson, S Pailoor, I Dillig, S Chaudhuri
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019
1222019
Precise and compact modular procedure summaries for heap manipulating programs
I Dillig, T Dillig, A Aiken, M Sagiv
ACM SIGPLAN Notices 46 (6), 567-577, 2011
1192011
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability
Y Feng, O Bastani, R Martins, I Dillig, S Anand
NDSS'17, 0
113*
Precise reasoning for programs using containers
I Dillig, T Dillig, A Aiken
ACM SIGPLAN Notices 46 (1), 187-200, 2011
1042011
Simplifying loop invariant generation using splitter predicates
R Sharma, I Dillig, T Dillig, A Aiken
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1042011
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20