| Formal verification of workflow policies for smart contracts in azure blockchain Y Wang, SK Lahiri, S Chen, R Pan, I Dillig, C Born, I Naseer, K Ferles Verified Software. Theories, Tools, and Experiments: 11th International …, 2020 | 170* | 2020 |
| SmartPulse: automated checking of temporal properties in smart contracts J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig 2021 IEEE Symposium on Security and Privacy (SP), 555-571, 2021 | 64 | 2021 |
| Singularity: Pattern fuzzing for worst case complexity J Wei, J Chen, Y Feng, K Ferles, I Dillig Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 49 | 2018 |
| Failure-directed program trimming K Ferles, V Wüstholz, M Christakis, I Dillig Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 26 | 2017 |
| An efficient data structure for must-alias analysis G Kastrinis, G Balatsouras, K Ferles, N Prokopaki-Kostopoulou, ... Proceedings of the 27th International Conference on Compiler Construction, 48-58, 2018 | 17 | 2018 |
| A datalog model of must-alias analysis G Balatsouras, K Ferles, G Kastrinis, Y Smaragdakis Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017 | 15 | 2017 |
| Practical Security Analysis of {Zero-Knowledge} Proof Circuits H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ... 33rd USENIX Security Symposium (USENIX Security 24), 1471-1487, 2024 | 14 | 2024 |
| Verifying correct usage of context-free API protocols K Ferles, J Stephens, I Dillig Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021 | 10 | 2021 |
| Symbolic reasoning for automatic signal placement K Ferles, J Van Geffen, I Dillig, Y Smaragdakis ACM SIGPLAN Notices 53 (4), 120-134, 2018 | 7 | 2018 |
| Split gröbner bases for satisfiability modulo finite fields A Ozdemir, S Pailoor, A Bassa, K Ferles, C Barrett, I Dillig International Conference on Computer Aided Verification, 3-25, 2024 | 2 | 2024 |
| Failure-Directed Program Trimming (Extended Version) K Ferles, V Wüstholz, M Christakis, I Dillig arXiv preprint arXiv:1706.04468, 2017 | 2 | 2017 |
| Synthesizing fine-grained synchronization protocols for implicit monitors K Ferles, B Sepanski, R Krishnan, J Bornholt, I Dillig Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-26, 2022 | 1 | 2022 |
| Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version) K Ferles, B Sepanski, R Krishnan, J Bornholt, I Dillig arXiv preprint arXiv:2203.00783, 2022 | 1 | 2022 |
| Symbolic Reasoning for Automatic Signal Placement K Ferles, J Van Geffen, I Dillig, Y Smaragdakis ACM SIGOPS Operating Systems Review 54 (1), 64-76, 2020 | | 2020 |
| Symbolic Reasoning for Automatic Signal Placement (Extended Version) K Ferles, J Van Geffen, I Dillig, Y Smaragdakis arXiv preprint arXiv:1804.02503, 2018 | | 2018 |
Isil DilligUT AustinVerified email at cs.utexas.edu
