Alexander Malkis

Contact

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

Tel.: (+49) 89 289 17337
Fax: (+49) 89 289 18579
malkis at sec dot in dot tum dot de

Current status

Postdoc at TU München. 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
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
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

Development

Contributed integer sequences

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

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'11, FM'11, SOFSEM'11, CAV'11, VMCAI'11, POST'12, FACS'12, POPL'13, SOCP, CONCUR'14, Acta Informatica, …