Alexander Malkis

Contact

Photo of Alexander Malkis Institut für Informatik (I4)
Technische Universität München
Boltzmannstr. 3
85748 Garching bei München, Germany

E-mail: my_first_name dot my_last_name at tum dot de

Current status

My curriculum vitae is available at request.

Research interests

Teaching

Publications

I reward discovering errors in my publications.

Invited talks and tutorials

Other talks and presentations (incomplete list)

Jun 2017, ICDCS'17, Atlanta, USA, Reachability in Binary Multithreaded Programs Is Polynomial
Nov 2016, SiBase@TUM, Munich, Germany, Dynamic Symbolic Execution and Interpolation (talk and poster presentation)
Sep 2015, RP'15, Warsaw, Poland, Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs Is Polynomial
Jun 2012, SNSF, Bern, Switzerland, Ensuring Reliability of Parallel Software
Feb 2012, PPoPP'12, New Orleans, USA, Verification of Software Barriers (poster)
Nov 2011, Z3 SIG, Cambridge University, UK, Automatic Verification of Software Barriers: Z3 vs. MONA vs. BAPA.
Jan 2011, EPFL, Lausanne, Switzerland, Counterexample-Guided Thread-Modular Verification
Dec 2010, ICISS'10, Gandhinagar, Gujarat, India, A Practical Generic Privacy Language
Sep 2010, SAS'10, Perpignan, France, Counterexample-Guided Thread-Modular Verification
Jun 2010, IMDEA, Madrid, Spain, Cartesian Abstraction and Verification of Multithreaded Programs
Mar 2010, IMDEA, Madrid, Spain, Verification of Multithreaded Programs
Jan 2010, VMCAI'10, Madrid, Spain, Abstract Threads
Dec 2009, UPMARC, Uppsala, Sweden, Owicki-Gries, Thread-Modular-Reasoning, Cartesian Abstraction
Oct 2009, ARM, Cambridge, UK, Verification of Multithreaded Programs
Oct 2009, Cambridge University, UK, Owicki-Gries, Thread-Modular-Reasoning, Cartesian Abstraction
Oct 2009, Cambridge University, UK, Abstract Threads
Jun 2009, MSR Cambridge, UK, SecPAL4Privacy
Feb 2009, EPFL, Lausanne, Switzerland, Counterexample-Guided Thread-Modular Verification
Sep 2008, Freiburg University, Germany, Cartesian Abstraction Refinement
Jul 2008, Logic and Algorithms, ICMS, Edinburgh, UK, Cartesian Abstraction Refinement
Jul 2008, MSR Redmond, USA, Concurrent Histories
May 2008, MSR Redmond, USA, Cartesian Abstraction Refinement
Aug 2007, SAS'07, Kongens Lyngby, Denmark, Precise Thread-Modular Verification
Mar 2007, EPFL, Lausanne, Switzerland, Precise Thread-Modular Verification
Nov 2006, ICTAC'06, Tunis, Tunisia, Thread-Modular Verification is Cartesian Abstract Interpretation
Aug 2006, TV'06, Seattle, USA, Thread-Modular Verification and Cartesian Abstraction
May 2005, MPII, Saarbrücken, Germany, Verification of Parallel Processes (poster)

Development

Contributed integer sequences

A096267, A097472, A290642 in the Online Encyclopedia of Integer Sequences.

Community service

My PGP public key

Fingerprint: 35F3 F350 C59B 355F 3AA4 7EF5 0359 1413 491F 4EB9.

-----BEGIN PGP PUBLIC KEY BLOCK-----

mQINBGMnmkEBEADFGsqXf84Xb+I90SWvq8jC2hODyCbIKX0IWNIKFmcGj+JsY3il
Flj7YIj4Vjg5jfLer6o5RukmKD48jSXgmP51K8yt0jt9P75K25B6jfzk5pbCFnPP
AqahCni7SBcu52Xs6c807PPXF/cJhy9O8Dp+3nyLtUX9D3PEmFKztBpoJ38oI9aO
52ANAa08cChTFhriQ0LHtmafImNu62NGH2eslceBFI8OL0dKS3sBKIMVRezexIn5
Ke9BmY+V03Spd4FFxsKgJJKTx4MOVnqCp3dceBPzKEJOrm+o91754nz6cq2COLOj
9+Q6gHBrRbjbCQP9K6zSXs9vVJqj13Jgyx1o2acRxZIUQwXpCKRUenVPp68jiQqK
nFlm+NGe9Ze8AYmNyULD9Kq0SdUZzAaIQ0bxYPDBnTl5oTU6SG4UjlZi61Bt01HD
UjhrNepy8lePPmZCo9b6oLp9eWn4VBff2NvBsv2qMvM+j33ZYm0BFXNyt4L650+U
BLb0DmOvtZEH65ric0mxjWs4wYxLqkpiRLOHsdn+Ujus79R1gDMZtmkpGYEgFwIp
oZVayUVn5HlSu0BbKu9Y3SoiV7pbFOy4wiM7G4TmL0LHSdLz/CIszJ7Zy7KkI1Uh
xOotyFxdGhGwgoEio0dCIsEUtLSMPkWBrAiXvNj+Kz1LIH2Ja/BxTt0LuQARAQAB
tCNBbGV4YW5kZXIgTWFsa2lzIDxtYWxraXNAaW4udHVtLmRlPokCVAQTAQoAPhYh
BDXz81DFmzVfOqR+9QNZFBNJH065BQJjJ5pBAhsDBQkB4TOABQsJCAcCBhUKCQgL
AgQWAgMBAh4BAheAAAoJEANZFBNJH065t48P/2rynExtWEkNF03agpp3AkDNg4AO
bgfoCM20hSYxFZoyjK8rAtyALZZ1KGOE7J3rGMpF5a69QF2bXQMVmV1kekFPhK4B
bOzmVTUsKVvM7Du4UqfrWgM1lWEEJ2jakRffc0k3+Kxo7SbBCQR3NXo+r2D9i2rs
0UMKN60KE5JcoSSDebwl5lpyC8egiBOjU/Ln6wF5dKRRZnv+X4ybqL55JPCWXXQ+
rOPCPVCZQa4TJ03aPYgQvc01Tt1x4cgmpUAdVl67opPrviSURHuGEW8UxzFOxtaj
lDvN6dyF9E9AVVIx7bBwHhzYHmkwVYZDsvynDA9TyE/iwnHitSzE3UDFsl92EWdr
ZD26h51Q4FdvJ3Ap2fqXniGiW6B1kaA4RmPoTPKz6K1Oxdmpv1x6j9ZRXhTUfAVL
JRhVBHMfR8AVkidiX1daDU0xFiOCgC3kbTUwyElznkXZgCnZ8JJmNjOArtpEwSDY
PA3EOt8dTrFtmhNspSOUdLK/7csJ3efACjk1ZsGJ/oEogQSJEzO/9ftefh3qXzB5
NcwAes0P1qaV1io8JJr6tExxUkXR49N6WiQr0dO2d6CX4QQ7boMUVGVcxoO9UFeT
FFRO08Z8uXvAsr5ED10Mg/SH5S38jS6pFduuE101D1mhVnqgfplEj0+OqFfOcVzF
lMdqgZW+3rks9ngwuQINBGMnmkEBEADYHmdwPGDEQoyDV/n73hhPxTTpeGt0auhs
HBF/obnbkxVqvter05Zv9fTa+m9rtX41wM71xlslIB8Wzc8r8jis3Y0OiMnOzlun
XjGf3rgP5GoqsFWy5r+a03M6pgjd8Rc8kXLzt6GBKL3vpzvJm/4nHYVtnBCvMJuV
O9XxJRjVF8ASKchtld1VNGilkASsfAObYm3idT2MbiP9GHkozNLGFDBN+YPJmsFy
yEK/P9BQwV3TIqK+n9fk+5A4sC/ImjN4XARJ4avThAlNC9xyqX5gdwuqaOdVp11g
hxN6RCTNC6o0fyx5Rr13MIDpDCC6hW1ievWnVlxSfbynRzrwpa2hrTfDGByU4dQ+
1OBBtPrPnBEWNlgtqNfnojW3tawTRFYZSJfFfinHTKxYF3Q9TL6lKYeAMfoBHAjd
Wq1hRAJfBCw+ALKiIZIAlGF04idp2ysfXGU+ECQkXqMn9Y3jHqmJUKP0SMqYOeeB
ttfSvXKUuopyAMv7gnM1swAUWWgEvzjd1RgdWskvkeIeZSd8R5tIkpXkjFac81L7
CmcyOdJ4QKd7W3fiF7sFu99/dhPTJSPfQpskAkwTl8f0TR+Gd2/+WZeTkEmixniV
C5r5ZegyYpJcGQTRz5GoluF/naoz9M1ofWEVf+q3/SFYRnIWTyTPM0PGRvH10ED1
nSf9I5fAswARAQABiQI8BBgBCgAmFiEENfPzUMWbNV86pH71A1kUE0kfTrkFAmMn
mkECGwwFCQHhM4AACgkQA1kUE0kfTrnN7A//UO3GRyoybtrVM/xkgOBTunw7dODy
ro6qEZ37QKai7OibwlHYVNeP6T3nJ4GWBSp2ms2sQbyX+RY1QTWyl40MdQWVMmw3
DQqwzkRppIug+IdiOoo57C1sQQkdpbrYFkAtgzIPptuW6paimEvgGBhhxUKoUA8q
tV1TOm9qs/ICWlSoJOyuokYi+DoRAa8NrfXs8b3+JpIhDEWyzDqhKDFLMi0ko2fA
2pX8Za3oCUsn9Dyo6vYJVJG4MjSVYT8Imqnuj86cmtxHa6c33kWad+IslS6bNBq+
MCS4QpOjmlnObp16u6qy9B2cnCmdTUQYRnZ8WY55lpFbC8gaKepYDfzGB7dn/JQo
QjHF7yxViYyo4Sf1aEocTqvuMTnTh1Pu9rJrM+Icohh1IV7mPpxT6DmOCEcyg994
5EcoLXLzBDPMV3jrRLFnAkXGKHumsZBcbDy/g9EbLUJoPUn/nu0EDooVqoDwpnvt
Ofvto0EqRSHPOKFCgxFyGsVCkPo8lVuIawVv80xNlH4rotJtrbJjt/iS1CuD0jyC
R+OuQs9m9r1DjrmFIykDaTwVKzUKmofDT8ilVH82ZS42jcZe9iEWiqwlDK6HLzKw
zFFQ0YjJ50hOSoaZc2vVk323YOd3eKdRyvQOsFTigsFhP2AkXAkkTBLijkeZjKzY
YiJMUtVA71723lQ=
=bJvm
-----END PGP PUBLIC KEY BLOCK-----

Valid HTML 4.01 Strict CSS ist valide!CSS ist valide!