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

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: FBFD 76E8 D606 2B52 E9CA 954E A5B7 7667 12D2 C31B.

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

mQINBGXWXCwBEADZjH/LqAWt/fBdgSH/x4uRPeZOwji6PmEcDvgC+QzIBEi485yv
//UGPRMz6nwz/08fkilojywyCIMs1ZBYhUa3Djyg3XaZQTkVY+HEIv+eQtT4l2mO
UgtqNyQ+qJGU/Yefl+YuhkzjhS8wBxBchz45b0Hbm+RCW/kSn51stAqnaBHOvllc
YAPM36NR+CieP81Es0JX61coCawa+FFrPOHS2HrEox0mmst9cIs9plzrEM2CZHOW
LyiwKHs3xeP0ViImzWdN0RQq1rU0bAkFJY1vO5lxv/ldbKMu5sPqJnPTl61fxuWO
pvSuNbBGXe9T5/kK+bDc5mk+N+ZPP1nhf6sC8jqufjGfK+eePHd3zQRZwK6UuOQO
Rz3aIART5DvbRIi0df/5VjYvuqHOiqzCuWWoyk3J8p0YYpPDmLWqoR8vvG11xML4
s6u3MBV4LrHLp4BynLjlRPfJcnl2D9QpwebEmbqOlrSiXztUOiQJcJdbTSHIsy6H
s6JKQ7tkKU8Z5+azKCkVQEsws8AHClDMfxdqk8V3J0VxC77asq2wAM7SbkSYMDY1
5n3UZQBsWALwZrY/W1v6qb6nxVXZW4fYmX32iBz4fNRumqxnAuVbh0DTqdyXr20t
XsEpgxhzGEBRULtsJl4FxBAbXXJYAoEUkU6JYKnYpCnc4/ohH6oIblIPlQARAQAB
tCNBbGV4YW5kZXIgTWFsa2lzIDxtYWxraXNAaW4udHVtLmRlPokCVAQTAQoAPhYh
BPv9dujWBitS6cqVTqW3dmcS0sMbBQJl1lwsAhsDBQkB4TOABQsJCAcCBhUKCQgL
AgQWAgMBAh4BAheAAAoJEKW3dmcS0sMba9kP/06SzJ4FKd8koIl25B+Uw9NOQN+l
rK6Eb0vF2nCWGt9w7a42rfqcpmOQpdVqgVm0UtjNANGGDP46QNQd4KX0pvJtagO5
LNw3nPu8dfvYO9SepM4i4S0M87Mr1sw+rtGwX11Lvxyr5h7d5Hi12lC6dqBABz8P
DO10yLQxcnY1Su/z3kh/JNy+NX3ATdGuhhEH9tw8gsxj3+SgHrU4pdM4gHXOrQmV
IGXvnnYeiuLNLdNYEe6QNkECB6z60sePHFpDnDruVyJ62xAuKRuqyUcZ1d4M7GYH
TEqXVIpSI7E7SWa7nuAZI0vEQwfiOZbE7ne++NTIneBSBPOAlZ67adh4CJKFr68y
ntHrvWHTMCgf0HYNt74sYfJq86HHXIS5QhlMAD+R02dDUhxkDOt4vhkHhiphvcDk
LRltq5Pn3bDkPPSDY4VRaqiS/3VOzfsgBWpi21IEgdL/G/D9YZJ7AtgWQdoaEqL8
6miYB89VPZqlM//wNZCsbiBPhBtMyG1Bya7uprvhNIckmGJew9AjX7VmDHzeEaJr
t5OsAsXxkBWlLV5IwT25U/xiSO819YTpCkCfkkPoeF1mpHRR89OHC+VAR6nZW8iR
QK7akbVYGRIObRPQToA22WZnW+XZKrUANC25Qi7BqeNunt16+ytqPoDSLUjsfhSL
juktwehgLQFRy06TuQINBGXWXCwBEAC1UzFFy4pEnj6065GnObN9vc0CsltUgf9M
DtATdHO8V+ocTzKzvFD3V81g+nxLLyu/qW1p27JbExTsmhaGmqW5JeUyo2mb2y6A
S+TMkoClIqZKAXxHV05zGIjCivYhMZtkGHe2suENHLRpvBE5UQz5DJ73UoXDqEjB
ZoF2/Y/0B5NrN6eKcFxvdCpJRy7/sU0Tx6jge8Y4QSO2ggc4H3UoshIzNE1WzPbv
0feSW28yahl4u2zu1vAXuEZgPefTiX6OPiRqIt+e3VmLhMnVmTYI2SXVh0+9NnCu
BZoVUNz6dFIJ/ndnC+7NIoRyO4dSGjWm/QY2o/gVEjpQ/hFKqK4Z5DBv+ytpi0ts
yI1HFW3US4Ql0hsEEJSywS1MWhabyGYNiJMMy5ImBZIVVfx2iW2kUKStw6kMLfZL
8NZhc55nECI+CPYAwkmLsgf6BBsnIWZ25veaDnqZrQ1MZ/Hto9ZMQHyjyqHbd+wH
ms+OOrytU2wfT4fFT/b2adM8ZFvDSQZrZmeA53G/8e70H0CZL27IJDb+/vIpVyKZ
bCo7vK2Qn10qshTFU8tCCJYvc4UQo7qrIfffqoYCuff17Vq11AV8L+Q2IFTxZaBG
U2tnyCNYNAMRSYQR02P7mpf5KU182p5CggugK7rlrXV1vriWyGR6P9ifsfZU/UZI
Qw4HXf8AnwARAQABiQI8BBgBCgAmFiEE+/126NYGK1LpypVOpbd2ZxLSwxsFAmXW
XCwCGwwFCQHhM4AACgkQpbd2ZxLSwxtJYBAAm7te1nnLDa2uZi23odepVZ/oEB0h
pp0xnihXgWlUoGK4fZTnBiE3j0fbY/lPEXCgXMAZZWO4iuW3vy1KNfRZz2hhdwSC
lflsit03agoITqaUcAtqF3EFw3sWqUgZGpGwpnvAyTS4I953/qkzf43DxYg3BOcA
yPqoaELpIikEyOnmcNSW8MxaNQP6Q9TkxVeBquGU7aOAADlN/ktXBPl+QZ2WkXDM
uyOMQqKb/P137KbAMCF1H12k5VzbCXQC+oFhwD3XWzlEBgc/2rxzKl8QpvgcVLXP
8ymBh2qyK73FYf2xZEaNwVXvWmbhFK+wkkHEqh1e9ItP166x881h7MuwGxmp98LQ
r2JulMB1Kdr9lCRvS1y6AWtN3owRocNVf8axLl/YA+WQTrw2nQ5lxQS5FEkQFVzS
6liE58kJZ4m6VSdRdP0PK45HCcu69lP2BVBwUWMqVbeUTwPnwTTmP2DYEcge07yY
w0bJICtE2VxRi5do2pVf6JzasZW1Yr0w4nssHlHproGYDSVi+68Ff2fPGHCDf/jD
zkT/fHxK99br3zm1YZKU+oQ909Os5xmwAUp+WYpXbl/6DnaJVR81Rqu4SFQbd6u2
0cfV3Tke5/6AwyWRfpffcX/xWk0K8h/gHlVvkyoM1k7sJarNaYFQZNtvoGA1+DSk
q+QaMl9nPWY6j3U=
=1Y9P
-----END PGP PUBLIC KEY BLOCK-----

Valid HTML 4.01 StrictCSS ist valide!CSS ist valide!