Stebėti
Maria Christakis
Maria Christakis
Professor @ TU Wien Informatics
Patvirtintas el. paštas tuwien.ac.at - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
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
3092016
Harvey: A greybox fuzzer for smart contracts
V Wüstholz, M Christakis
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
2192020
Guiding Dynamic Symbolic Execution toward Unverified Program Executions
M Christakis, P Müller, V Wüstholz
1262015
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
852012
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
782020
Targeted greybox fuzzing with static lookahead analysis
V Wüstholz, M Christakis
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
732020
Systematic Testing for Detecting Concurrency Errors in Erlang Programs
M Christakis, A Gotovos, K Sagonas
732013
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
622020
Detection of asynchronous message passing errors using static analysis
M Christakis, K Sagonas
International Symposium on Practical Aspects of Declarative Languages, 5-18, 2011
502011
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
472019
Static detection of race conditions in Erlang
M Christakis, K Sagonas
International Symposium on Practical Aspects of Declarative Languages, 119-133, 2010
462010
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
412020
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
372015
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
372011
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
352016
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
342022
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
312018
Proving memory safety of the ANI Windows image parser using compositional exhaustive testing
M Christakis, P Godefroid
International Workshop on Verification, Model Checking, and Abstract …, 2015
292015
Metamorphic testing of Datalog engines
MN Mansur, M Christakis, V Wüstholz
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
282021
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
282014
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20