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
My curriculum vitae is available at request.
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) |
A096267, A097472, A290642 in the Online Encyclopedia of Integer Sequences.
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-----