Alexander Malkis

According to our database, Alexander Malkis authored at least 16 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Reachability in parallel programs is polynomial in the number of threads.

Alexander Malkis

J. Parallel Distributed Comput., 2022

2020

Formal Methods: From Academia to Industrial Practice. A Travel Guide.

Marieke Huisman, Dilian Gurov, Alexander Malkis

CoRR, 2020

2019

Reachability in Multithreaded Programs Is Polynomial in the Number of Threads.

Alexander Malkis

Proceedings of the 20th International Conference on Parallel and Distributed Computing, 2019

2017

Reachability in Binary Multithreaded Programs Is Polynomial.

Alexander Malkis, Steffen Borgwardt

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2015

A Model of Layered Architectures.

Diego Marmsoler, Alexander Malkis, Jonas Eckhardt

Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015

A Model of Service-Oriented Architectures.

Alexander Malkis, Diego Marmsoler

Proceedings of the 2015 IX Brazilian Symposium on Components, 2015

Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs Is Polynomial.

Alexander Malkis

Proceedings of the Reachability Problems - 9th International Workshop, 2015

2014

On Automation in the Verification of Software Barriers: Experience Report.

Alexander Malkis, Anindya Banerjee

J. Autom. Reason., 2014

2012

Verification of software barriers.

Alexander Malkis, Anindya Banerjee

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

2011

On the Strength of Owicki-Gries for Resources.

Alexander Malkis, Laurent Mauborgne

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Cartesian abstraction and verification of multithreaded programs.

Alexander Malkis

PhD thesis, 2010

Abstract Threads.

Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer

Proceedings of the Verification, 2010

Thread-Modular Counterexample-Guided Abstraction Refinement.

Alexander Malkis, Andreas Podelski, Andrey Rybalchenko

Proceedings of the Static Analysis - 17th International Symposium, 2010

A Practical Generic Privacy Language.

Moritz Y. Becker, Alexander Malkis, Laurent Bussard

Proceedings of the Information Systems Security - 6th International Conference, 2010

2007

Precise Thread-Modular Verification.

Alexander Malkis, Andreas Podelski, Andrey Rybalchenko

Proceedings of the Static Analysis, 14th International Symposium, 2007

2006

Thread-Modular Verification Is Cartesian Abstract Interpretation.

Alexander Malkis, Andreas Podelski, Andrey Rybalchenko

Proceedings of the Theoretical Aspects of Computing, 2006