Seguir
Isil Dillig
Título
Citado por
Citado por
Año
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
5842014
Synthesizing data structure transformations from input-output examples
JK Feser, S Chaudhuri, I Dillig
ACM SIGPLAN Notices 50 (6), 229-239, 2015
3792015
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
3332017
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
2062017
Inductive invariant generation via abductive inference
I Dillig, T Dillig, B Li, K McMillan
Acm Sigplan Notices 48 (10), 443-456, 2013
1862013
Program synthesis using conflict-driven learning
Y Feng, R Martins, O Bastani, I Dillig
ACM SIGPLAN Notices 53 (4), 420-435, 2018
1802018
Sound, complete and scalable path-sensitive analysis
I Dillig, T Dillig, A Aiken
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1662008
Component-based synthesis for complex APIs
Y Feng, R Martins, Y Wang, I Dillig, TW Reps
POPL, 2017
1642017
Cartesian hoare logic for verifying k-safety properties
M Sousa, I Dillig
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
1602016
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
1512007
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
1222015
Lambdanet: Probabilistic type inference using graph neural networks
J Wei, M Goyal, G Durrett, I Dillig
arXiv preprint arXiv:2005.02161, 2020
1212020
Fluid updates: Beyond strong vs. weak updates
I Dillig, T Dillig, A Aiken
Programming Languages and Systems: 19th European Symposium on Programming …, 2010
1202010
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
1122011
Program synthesis using abstraction refinement
X Wang, I Dillig, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
1072017
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
1052019
Simplifying loop invariant generation using splitter predicates
R Sharma, I Dillig, T Dillig, A Aiken
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1052011
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability
Y Feng, O Bastani, R Martins, I Dillig, S Anand
NDSS'17, 0
105*
Static error detection using semantic inconsistency inference
I Dillig, T Dillig, A Aiken
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
982007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20