| What developers want and need from program analysis: an empirical study M Christakis, C Bird Proceedings of the 31st IEEE/ACM international conference on automated …, 2016 | 286 | 2016 |
| Harvey: A greybox fuzzer for smart contracts V Wüstholz, M Christakis Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 206 | 2020 |
| Guiding Dynamic Symbolic Execution toward Unverified Program Executions M Christakis, P Müller, V Wüstholz | 127 | 2015 |
| Collaborative verification and testing with explicit assumptions M Christakis, P Müller, V Wüstholz FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 86 | 2012 |
| Systematic Testing for Detecting Concurrency Errors in Erlang Programs M Christakis, A Gotovos, K Sagonas | 73 | 2013 |
| Targeted greybox fuzzing with static lookahead analysis V Wüstholz, M Christakis Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 70 | 2020 |
| Perfectly parallel fairness certification of neural networks C Urban, M Christakis, V Wüstholz, F Zhang Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 69 | 2020 |
| Detecting critical bugs in SMT solvers using blackbox mutational fuzzing MN Mansur, M Christakis, V Wüstholz, F Zhang Proceedings of the 28th ACM joint meeting on European software engineering …, 2020 | 57 | 2020 |
| Detection of asynchronous message passing errors using static analysis M Christakis, K Sagonas International Symposium on Practical Aspects of Declarative Languages, 5-18, 2011 | 50 | 2011 |
| Static detection of race conditions in Erlang M Christakis, K Sagonas International Symposium on Practical Aspects of Declarative Languages, 119-133, 2010 | 46 | 2010 |
| Differentially testing soundness and precision of program analyzers C Klinger, M Christakis, V Wüstholz Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 40 | 2019 |
| An experimental evaluation of deliberate unsoundness in a static program analyzer M Christakis, P Müller, V Wüstholz Verification, Model Checking, and Abstract Interpretation: 16th …, 2015 | 36 | 2015 |
| Test-driven development of concurrent programs using Concuerror A Gotovos, M Christakis, K Sagonas Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 51-61, 2011 | 36 | 2011 |
| Deepsearch: A simple and effective blackbox attack for deep neural networks F Zhang, SP Chowdhury, M Christakis Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 33 | 2020 |
| Cfar: A tool to increase communication, productivity, and review quality in collaborative code reviews AZ Henley, K Muçlu, M Christakis, SD Fleming, C Bird Proceedings of the 2018 CHI conference on human factors in computing systems …, 2018 | 31 | 2018 |
| Integrated environment for diagnosing verification errors M Christakis, KRM Leino, P Müller, V Wüstholz Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 31 | 2016 |
| Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE S Wesley, M Christakis, JA Navas, R Trefler, V Wüstholz, A Gurfinkel Verification, Model Checking, and Abstract Interpretation: 23rd …, 2022 | 28 | 2022 |
| Proving memory safety of the ANI Windows image parser using compositional exhaustive testing M Christakis, P Godefroid Verification, Model Checking, and Abstract Interpretation: 16th …, 2015 | 28 | 2015 |
| Formalizing and verifying a modern build language M Christakis, KRM Leino, W Schulte FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 27 | 2014 |
| 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 |
Valentin WüstholzConsenSysVerified email at consensys.net
