Alexander Malkis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2006–2019
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PDCAT | Reachability in Multithreaded Programs Is Polynomial in the Number of Threads. | Alexander Malkis |
| 2017 | ICDCS | Reachability in Binary Multithreaded Programs Is Polynomial. | Alexander Malkis, Steffen Borgwardt |
| 2012 | PPoPP | Verification of software barriers. | Alexander Malkis, Anindya Banerjee |
| 2011 | APLAS | On the Strength of Owicki-Gries for Resources. | Alexander Malkis, Laurent Mauborgne |
| 2010 | ICISS | A Practical Generic Privacy Language. | Moritz Y. Becker, Alexander Malkis, Laurent Bussard |
| 2010 | SAS | Thread-Modular Counterexample-Guided Abstraction Refinement. | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
| 2010 | VMCAI | Abstract Threads. | Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer |
| 2007 | SAS | Precise Thread-Modular Verification. | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
| 2006 | ICTAC | Thread-Modular Verification Is Cartesian Abstract Interpretation. | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |