Maria Christakis
According to our database1,
Maria Christakis
authored at least 37 papers
between 2010 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2020
Proc. ACM Program. Lang., 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
2019
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2019
CoRR, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
2018
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2018
CoRR, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews.
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
2017
it Inf. Technol., 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Static Analysis - 23rd International Symposium, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
Brückenschlag zwischen Verifikation und systematischem Testen.
Proceedings of the Ausgezeichnete Informatikdissertationen 2015, 2015
2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of the Runtime Verification - 5th International Conference, 2014
Proceedings of the FM 2014: Formal Methods, 2014
2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2012
Proceedings of the FM 2012: Formal Methods, 2012
2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011
2010
Proceedings of the Practical Aspects of Declarative Languages, 2010