Alexander Malkis

Contact

Photo of alexander Malkis Institut für Informatik (I20)
Technische Universität München
Room MI 00.11.057
Boltzmannstr. 3
85748 Garching bei München, Germany

Tel.: (+49) 89 289 17337
E-mail: my_last_name at in dot tum dot de

Current status

Here is my curriculum vitae.

Research interests

Teaching

Publications

I am rewarding 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

Reviewed for: VMCAI'06, PLDI'07, SAS'07, CAV'08, POPL'08, FMCAD'08, SOFSEM'09, TACAS'09, VMCAI'09, CAV'09, LICS'10, POPL'10, ESOP'10, ESOP'11, FM'11, SOFSEM'11, CAV'11, VMCAI'11, ICALP'12, VMCAI'12, POST'12, FACS'12, POPL'13, SOCP, CONCUR'14, Acta Informatica, FMSD, ….

PC member: VSTTE 2018.

My PGP public key

Fingerprint: AC09 A58B F4E3 6DFD D29A 3EE9 4E8B AC8B E8FD 1E3E.

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

mQINBFqlJRcBEADCkAsyo0zzvevYZ32JKlynh9t+dnIGqoO6/TAdeuYIsSI6viUG
ToLauGAEwhdi8w1e5GrzDezgIDzZ8hZ2j39FyZQ+cWOKCF765989IdOQSDi35+SD
7gpHRkyJmjL1vPhOfDBSbgJ1MFgBCSEp4rHEdvahheRDT+g1Y2gpXLY58GxpHtYT
mElLCJbMv0gcbT/2a5oqe7CfLeNo0a5dS9jb7ktone7sWV6s+M8DF6rcbbIDX9K3
kCVmeQ5xpAFF4xPSowqcYZ/F1FXzak9Y8FTa4HqHDuu3uzryodIQkZy7l5ZeM6rF
lAlipP3px6bGihG2Cpg3weQA/hL9DQloikphuONXd1tHJdaaidRiAIv5DPQBhJBZ
xXcj5fPRyP90LJeLAoiu4KtXwgOflStBX/4kKwzfkN5ZUUCIyvlkKjoEU2QbAudh
gYOBtEEYP60/Sgzzhu4yYJI+hQIXiYcAiUjhnbH3xzDIfPUxJAMrQh0wEXlzJBCy
0WccuwiA+v1/IYNIV8U5g9kK+uQCyUg5ms0j56scEIBtaFAzV0wffjJroNW15kc1
NFkVO8yWK/L3HiX0UU1noMeK2I3xP9asTjd9054iZ2W3bm+C2uUuZh8IxfUML3Hw
nBg64JqYiyOjB15QSgMDgUpwn/j8yGBtKCK0i2KZWbsP/DGrz0cX8WiVXwARAQAB
tCdBbGV4YW5kZXIgTWFsa2lzIDxtYWxraXNAc2VjLmluLnR1bS5kZT6JAlQEEwEI
AD4WIQSsCaWL9ONt/dKaPulOi6yL6P0ePgUCWqUlFwIbAwUJAeEzgAULCQgHAgYV
CAkKCwIEFgIDAQIeAQIXgAAKCRBOi6yL6P0ePjIeD/4oVI0aNyXfo+XV7t5D8iw0
AsppR8G2iezIIBorGInS1SSHCgDUfrO+iC73bgqdgrlhl5m3v0l5CpdCfgbacjwC
Eay2X2zMsdJ/4nuDYSucHWaf+A3xA3+iYGun2TfOHLBjqBn46nrCoBHNhMuoXXrP
feKaohJvJ/+0hLucn4s4RjeVEm1tldfk06GOLfdNTCMT2hmFCdv+SvNJNM/v9teV
s9XbY8wEHs0afO1W6Q33Rg3MA8Xy3SN/QOvNjFllaIenmvivGCLpfUIC+PVjRog7
nIL5/adpHYg3kAgqZwatfLqq0KGNXYCBnYSD32sIy2Sm7nttaKTmU6C6bWwr8fMw
07DBNW18cyeluINxS00rhfMHn0BhrQPc1/TQj3YoXw0RfhWttqsgQQoyG9CoLZ8Q
V9Crfu8gIblPWKy12gLLLru16z5BNlNsK6sPrhsoAoOXP0qWcEmypljguiuc9xzz
NKwszmPoZf1DZyiEqxd6JHXXVZwaVtRxmi1I+E4tID3ylK9WatT6j8HpUhCN4j2a
G/Zn4lwx2donjqh9qhozo4KO4+uzMlrC1n9X5Q5gcRrZHOPZTzWtCzMn7VeX9Q0U
5dMZQAJhhF483G2Jaqw8rKx5acKxj7l5aiOTpg4foGzAQ39H8qshvVUlLITgzLLD
dFU9Kc/GI//YCTR//WdJ1bkCDQRapSUXARAAzkW4b+C4MDWLWO8S5hFZHJY6FOKp
R3biag/Y/lu+HJGpN1/kLw7JnkdkJdo56cMrHucSL54zI+xQqVO4dq4W9ltlOSd1
OV06MK78LDM2XJey0vjrbyLNnzC58yTpX6zoCjm9byKCm2tvY36WuEs5AmdAfvIC
dtOUXjIVjvsVDs3iNuIbw1KwZDRtrGA/9z4Ea0xSr8lOWGGkbGbZqqj4raKbe/qk
klj3JBjOfG+WtjQp7NZaOant3BuAgH28zaW4NQPxcxlW6VuyLCILRFAYRq8ZRwL8
JFS4sEyyH1Gkk9z+/n8qyrHCQSPRnOk2ut6HnQFWrXTz3t8IzAMK1qtvf++rine9
GuK8QX6abHcJrBNVAvOnyfg80J7UujD5dRyobGgqcNMLT/OIM1itLTqXjRvR4Duz
ieLJ4RFvcL3Z43xbmt3hqty5AcfP/jdANLpHSbUcpj2gf/AYs4NVzIY8+X8gqxur
abUuOIHb2pK3hE7vyvsKcrjmZacKjQpXh83YyUW+7kV1m00hpqn8fh56WbTZ/h2F
u6QKCY7h0ja6ayNffP6wgHhQVVWgN3K4MJOm6Z94ei0B9W4HgSg+z5Lxji/l6/9p
Qk8FYL69vGz5BHG0+CMM4pgxqXgR1b+jw7k4EPCWL6RoIQfrIn9VftH8NJlNydVQ
RzOxehOLj3/qzVEAEQEAAYkCPAQYAQgAJhYhBKwJpYv042390po+6U6LrIvo/R4+
BQJapSUXAhsMBQkB4TOAAAoJEE6LrIvo/R4+a20QAJDikTPeaqY09Tyb6HrbSl87
gBAZWzlu0wc36+sCTQkPrj7PtHxQLRhsZ58zydy3bvwmtRU+CoMALVbDuD1O8v8R
KpbmOOVkzrcuCvVW3CCeoxfqdXgOsgfETFbB8CFtJNu1MXRnlOmoRfwihESGSBDB
TmgHlWssXhOxJ+dcrKbWZFMH4eR5IlR12tzGLmnIcV3F+ANtIQMgp8EwEMVg3OId
nXszDPztZLioKVSVyRGwbFD8DUR5ltYl8AZI70P+suFYpJ+Bgvkzxiil4nsHb1MJ
ejYaBVpkn04aj6VzUsQSDJiZiqq8CBguYt3sjNx9kBFSQvWATnGSwws+IwJ+e04B
9GD1RU67QMeWXDqtPI93hkk7QpRtsQdENMdY4E5Ji6/WFb6wkeF5EkVeFgLMywrR
JT2UwXFSjayNWqo17P0lyzfbe/+KEiSYdVpqaWFHiiCjyTsODuo1T5i6K2rwVtGq
AB7/WczA+uuXPKbHl4pPzdKGF0ecnBXjlBmhNEpCs5/RDU8RzT5uuupv0MAqMJUZ
i61dB7ZlMvTIgKpolTKfNUXcJ+hT5QQ6eYx4FWvZ8ji8Uc4vkHqDHRVwyouDCkmU
qEiaa2k3o3nbieR7zkFy33dcGYgxDVVePd0rxoygml4DOVsWf6bMZ7K+YBdTgx6p
dNJZNeV8XiDjXjrBrmgE
=pHbx
-----END PGP PUBLIC KEY BLOCK-----