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
6082014
Synthesizing data structure transformations from input-output examples
JK Feser, S Chaudhuri, I Dillig
ACM SIGPLAN Notices 50 (6), 229-239, 2015
4112015
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
3702017
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
2062018
Inductive invariant generation via abductive inference
I Dillig, T Dillig, B Li, K McMillan
Acm Sigplan Notices 48 (10), 443-456, 2013
1972013
Component-based synthesis for complex APIs
Y Feng, R Martins, Y Wang, I Dillig, TW Reps
POPL, 2017
1852017
Sound, complete and scalable path-sensitive analysis
I Dillig, T Dillig, A Aiken
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1722008
Cartesian hoare logic for verifying k-safety properties
M Sousa, I Dillig
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
1702016
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
1562007
Lambdanet: Probabilistic type inference using graph neural networks
J Wei, M Goyal, G Durrett, I Dillig
arXiv preprint arXiv:2005.02161, 2020
1352020
Automated error diagnosis using abductive inference
I Dillig, T Dillig, A Aiken
ACM SIGPLAN Notices 47 (6), 181-192, 2012
1352012
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
1282015
Fluid updates: Beyond strong vs. weak updates
I Dillig, T Dillig, A Aiken
Programming Languages and Systems: 19th European Symposium on Programming …, 2010
1242010
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
1212019
Program synthesis using abstraction refinement
X Wang, I Dillig, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
1212017
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
1182011
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability
Y Feng, O Bastani, R Martins, I Dillig, S Anand
NDSS'17, 0
116*
Simplifying loop invariant generation using splitter predicates
R Sharma, I Dillig, T Dillig, A Aiken
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1072011
Static error detection using semantic inconsistency inference
I Dillig, T Dillig, A Aiken
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
1042007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20