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
5822014
Synthesizing data structure transformations from input-output examples
JK Feser, S Chaudhuri, I Dillig
ACM SIGPLAN Notices 50 (6), 229-239, 2015
3752015
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
3262017
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
2012017
Inductive invariant generation via abductive inference
I Dillig, T Dillig, B Li, K McMillan
Acm Sigplan Notices 48 (10), 443-456, 2013
1812013
Program synthesis using conflict-driven learning
Y Feng, R Martins, O Bastani, I Dillig
ACM SIGPLAN Notices 53 (4), 420-435, 2018
1782018
Sound, complete and scalable path-sensitive analysis
I Dillig, T Dillig, A Aiken
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1642008
Component-based synthesis for complex APIs
Y Feng, R Martins, Y Wang, I Dillig, TW Reps
POPL, 2017
1592017
Cartesian hoare logic for verifying k-safety properties
M Sousa, I Dillig
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
1542016
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
1322012
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
1192020
Fluid updates: Beyond strong vs. weak updates
I Dillig, T Dillig, A Aiken
Programming Languages and Systems: 19th European Symposium on Programming …, 2010
1182010
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
1092011
Program synthesis using abstraction refinement
X Wang, I Dillig, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
1052017
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability
Y Feng, O Bastani, R Martins, I Dillig, S Anand
NDSS'17, 0
105*
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
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
1022019
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