default search action
Maria Christakis
Person information
- affiliation: TU Wien, Faculty of Informatics, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c44]Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis:
Automatically Testing Functional Properties of Code Translation Models. AAAI 2024: 21055-21062 - [c43]Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher:
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) 2024: 329-351 - [c42]Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Inductive Predicate Synthesis Modulo Programs. ECOOP 2024: 43:1-43:30 - [c41]Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann:
New Fuzzing Biases for Action Policy Testing. ICAPS 2024: 162-167 - [e2]Maria Christakis, Michael Pradel:
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024. ACM 2024, ISBN 979-8-4007-0612-7 [contents] - [i23]Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening:
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. CoRR abs/2405.11514 (2024) - [i22]Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher:
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR abs/2405.14400 (2024) - [i21]Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Inductive Predicate Synthesis Modulo Programs (Extended). CoRR abs/2407.08455 (2024) - [i20]Christoph Hochrainer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis:
Fuzzing Processing Pipelines for Zero-Knowledge Circuits. CoRR abs/2411.02077 (2024) - 2023
- [c40]Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann:
Automatic Metamorphic Test Oracles for Action-Policy Testing. ICAPS 2023: 109-117 - [c39]Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz:
Specifying and Testing k-Safety Properties for Machine-Learning Models. IJCAI 2023: 4748-4757 - [c38]Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis:
Dependency-Aware Metamorphic Testing of Datalog Engines. ISSTA 2023: 236-247 - [c37]Jiradet Ounjai, Valentin Wüstholz, Maria Christakis:
Green Fuzzer Benchmarking. ISSTA 2023: 1396-1406 - [i19]Alperen Tercan, Ahana Ghosh, Hasan Ferit Eniser, Maria Christakis, Adish Singla:
Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks. CoRR abs/2305.17518 (2023) - [i18]Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis:
Automatically Testing Functional Properties of Code Translation Models. CoRR abs/2309.12813 (2023) - [i17]Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser:
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). Dagstuhl Reports 13(3): 92-105 (2023) - 2022
- [j5]Manuel Rigger, Alexander Böhm, Maria Christakis, Eric Lo:
Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems. Datenbank-Spektrum 22(3): 261-263 (2022) - [c36]Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann:
Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS 2022: 353-361 - [c35]Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis:
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. ISSTA 2022: 52-63 - [c34]Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser:
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE 2022: 1367-1378 - [c33]Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. VMCAI 2022: 425-449 - [i16]Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz:
Specifying and Testing k-Safety Properties for Machine-Learning Models. CoRR abs/2206.06054 (2022) - 2021
- [c32]Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz:
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) 2021: 201-224 - [c31]Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz:
Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. CAV (2) 2021: 777-800 - [c30]Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Compositional Verification of Smart Contracts Through Communication Abstraction. SAS 2021: 429-452 - [c29]Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz:
Metamorphic testing of Datalog engines. ESEC/SIGSOFT FSE 2021: 639-650 - [c28]Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis:
A Two-Phase Approach for Conditional Floating-Point Verification. TACAS (2) 2021: 43-63 - [i15]Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR abs/2107.08583 (2021) - [i14]Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, Grigore Rosu:
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). Dagstuhl Reports 11(9): 80-101 (2021) - [i13]Alexander Böhm, Maria Christakis, Eric Lo, Manuel Rigger:
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442). Dagstuhl Reports 11(10): 20-35 (2021) - 2020
- [j4]Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Perfectly parallel fairness certification of neural networks. Proc. ACM Program. Lang. 4(OOPSLA): 185:1-185:30 (2020) - [c27]Valentin Wüstholz, Maria Christakis:
Targeted greybox fuzzing with static lookahead analysis. ICSE 2020: 789-800 - [c26]Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla:
Synthesizing Tasks for Block-based Programming. NeurIPS 2020 - [c25]Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. ESEC/SIGSOFT FSE 2020: 701-712 - [c24]Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis:
DeepSearch: a simple and effective blackbox attack for deep neural networks. ESEC/SIGSOFT FSE 2020: 800-812 - [c23]Valentin Wüstholz, Maria Christakis:
Harvey: a greybox fuzzer for smart contracts. ESEC/SIGSOFT FSE 2020: 1398-1409 - [c22]Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck:
Lab Conditions for Research on Explainable Automated Decisions. TAILOR 2020: 83-90 - [e1]Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel:
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12549, Springer 2020, ISBN 978-3-030-63617-3 [contents] - [i12]Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz:
RAID: Randomized Adversarial-Input Detection for Neural Networks. CoRR abs/2002.02776 (2020) - [i11]Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. CoRR abs/2004.05934 (2020) - [i10]Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla:
Synthesizing Tasks for Block-based Programming. CoRR abs/2006.16913 (2020) - [i9]Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz:
Automatically Tailoring Static Analysis to Custom Usage Scenarios. CoRR abs/2009.13860 (2020)
2010 – 2019
- 2019
- [j3]Maria Christakis, Manuel Rigger:
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 5(2): 00:i-00:xi (2019) - [c21]Christian Klinger, Maria Christakis, Valentin Wüstholz:
Differentially testing soundness and precision of program analyzers. ISSTA 2019: 239-250 - [c20]Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz:
Semantic Fault Localization and Suspiciousness Ranking. TACAS (1) 2019: 226-243 - [i8]Valentin Wüstholz, Maria Christakis:
Harvey: A Greybox Fuzzer for Smart Contracts. CoRR abs/1905.06944 (2019) - [i7]Valentin Wüstholz, Maria Christakis:
Targeted Greybox Fuzzing with Static Lookahead Analysis. CoRR abs/1905.07147 (2019) - [i6]Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis:
DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks. CoRR abs/1910.06296 (2019) - [i5]Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Perfectly Parallel Fairness Certification of Neural Networks. CoRR abs/1912.02499 (2019) - 2018
- [j2]Maria Christakis, Philipp Haller, Marianna Rapoport:
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 4(3): 00:i-00:xii (2018) - [c19]Austin Z. Henley, KIotavanç Muçlu, Maria Christakis, Scott D. Fleming, Christian Bird:
CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews. CHI 2018: 157 - [c18]Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller:
Automatically testing implementations of numerical abstract domains. ASE 2018: 768-778 - [i4]Florentin Guth, Valentin Wüstholz, Maria Christakis, Peter Müller:
Specification Mining for Smart Contracts with Automatic Abstraction Tuning. CoRR abs/1807.07822 (2018) - [i3]Valentin Wüstholz, Maria Christakis:
Learning Inputs in Greybox Fuzzing. CoRR abs/1807.07875 (2018) - [i2]Christian Klinger, Maria Christakis, Valentin Wüstholz:
Differentially Testing Soundness and Precision of Program Analyzers. CoRR abs/1812.05033 (2018) - 2017
- [j1]Maria Christakis:
On narrowing the gap between verification and systematic testing. it Inf. Technol. 59(4): 197 (2017) - [c17]Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Müller:
A general framework for dynamic stub injection. ICSE 2017: 586-596 - [c16]Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig:
Failure-directed program trimming. ESEC/SIGSOFT FSE 2017: 174-185 - [i1]Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig:
Failure-Directed Program Trimming (Extended Version). CoRR abs/1706.04468 (2017) - 2016
- [c15]Maria Christakis, Peter Müller, Valentin Wüstholz:
Guiding dynamic symbolic execution toward unverified program executions. ICSE 2016: 144-155 - [c14]Maria Christakis, Christian Bird:
What developers want and need from program analysis: an empirical study. ASE 2016: 332-343 - [c13]Maria Christakis, Valentin Wüstholz:
Bounded Abstract Interpretation. SAS 2016: 105-125 - [c12]Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz:
Integrated Environment for Diagnosing Verification Errors. TACAS 2016: 424-441 - 2015
- [b1]Maria Christakis:
Narrowing the gap between verification and systematic testing. ETH Zurich, Zürich, Switzerland, 2015 - [c11]Maria Christakis, Patrice Godefroid:
IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. SPIN 2015: 300-318 - [c10]Maria Christakis, Peter Müller, Valentin Wüstholz:
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. VMCAI 2015: 336-354 - [c9]Maria Christakis, Patrice Godefroid:
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. VMCAI 2015: 373-392 - [p1]Maria Christakis:
Brückenschlag zwischen Verifikation und systematischem Testen. Ausgezeichnete Informatikdissertationen 2015: 61-70 - 2014
- [c8]Maria Christakis, K. Rustan M. Leino, Wolfram Schulte:
Formalizing and Verifying a Modern Build Language. FM 2014: 643-657 - [c7]Maria Christakis, Patrick Emmisberger, Peter Müller:
Dynamic Test Generation with Static Fields and Initializers. RV 2014: 269-284 - [c6]Maria Christakis, Peter Müller, Valentin Wüstholz:
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. SEFM 2014: 65-80 - 2013
- [c5]Maria Christakis, Alkis Gotovos, Konstantinos Sagonas:
Systematic Testing for Detecting Concurrency Errors in Erlang Programs. ICST 2013: 154-163 - 2012
- [c4]Maria Christakis, Peter Müller, Valentin Wüstholz:
Collaborative Verification and Testing with Explicit Assumptions. FM 2012: 132-146 - 2011
- [c3]Alkis Gotovos, Maria Christakis, Konstantinos Sagonas:
Test-driven development of concurrent programs using concuerror. Erlang Workshop 2011: 51-61 - [c2]Maria Christakis, Konstantinos Sagonas:
Detection of Asynchronous Message Passing Errors Using Static Analysis. PADL 2011: 5-18 - 2010
- [c1]Maria Christakis, Konstantinos Sagonas:
Static Detection of Race Conditions in Erlang. PADL 2010: 119-133
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint