Book and Journal Publications

• Verification of Program Transformations with Inductive Refinement Types
  (published version)
  Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski and Andrzej Wąsowski
  ACM Transactions on Software Engineering and Methodology, 2021
  

• Galois Connections for Recursive Types
  (published version, author’s version)
  Ahmad Salim Al-Sibahi, Thomas Jensen, Rasmus Ejlers Møgelberg and Andrzej Wąsowski (alphabetical)
  From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement
  Editors: Alessandra Di Pierro, Pasquale Malacaria and Rajagopal Nagarajan
  

• Efficient Family-Based Model Checking via Variability Abstractions
  (published version, author’s version)
  Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand and Andrzej Wąsowski
  International Journal on Software Tools for Technology Transfer, 2016
  

Conference Publications

• Bayesian protein superposition using Hamiltonian Monte Carlo
  (published version, author’s version)
  Lys Sanz Moreta, Ahmad Salim Al-Sibahi, Thomas Hamelryck
  The 20th IEEE International Conference on BioInformatics And BioEngineering, Virtual Conference, United States
  

• A Probabilistic Programming Approach to Protein Structure Superposition
  (published version, author’s version)
  Lys Sanz Moreta, Ahmad Salim Al-Sibahi, Douglas Theobald, William Bullock, Basile Nicolas Rommes, Andreas Manoukian, Thomas Hamelryck
  16th IEEE International Conference on Computational Intelligence in Bioinformatics and Computational Biology, Tuscany, Italy
  

• Verification of High-Level Transformations with Inductive Refinement Types
  
  (published version, author’s version, source code)
  Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski and Andrzej Wąsowski
  17th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences, Boston, MA, United States
  

• Symbolic Execution of High-Level Transformation Languages
  
  (published version, author’s version, technical report, source code)
  Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski and Andrzej Wąsowski
  9th ACM SIGPLAN International Conference on Software Language Engineering (SLE ‘16), Amsterdam, Netherlands
  

  Technical Report
  TR-2016-196
  ISBN: 978-87-7949-361-2
  IT University of Copenhagen, 2016
  

• Experiences from Designing and Validating a Software Modernization Transformation
  (published version, author’s version)
  Alexandru F. Iosif-Lazăr, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wąsowski
  30th IEEE/ACM International Conference on Automated Software Engineering (ASE ‘15), Lincoln, NE, United States
  

• Family-Based Model Checking without a Family-Based Model Checker
  (published version, author’s version)
  Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand and Andrzej Wąsowski
  22nd International Symposium on Model Checking of Software (SPIN ‘15), Stellenbosch, South Africa
  

Technical Reports

• The Formal Semantics of Rascal Light
  (technical report)
  Ahmad Salim Al-Sibahi
  arXiv: 1703.02312v4
  

• On the Computational Expressiveness of Model Transformation Languages
  (technical report)
  Ahmad Salim Al-Sibahi
  TR-2015-184
  ISBN: 978-87-7949-324-7
  IT University of Copenhagen, 2015
  

Presentations

• Probabilistic Programming for Voucher Information Extraction
  (extended abstract, poster)
  Ahmad Salim Al-Sibahi, Thomas W. Hamelryck and Fritz Henglein
  1st International Conference on Probabilistic Programming (PROBPROG ‘18), Boston, MA, United States
  

• Abstract Interpretation of High-Level Transformations
  (extended abstract, poster)
  Ahmad Salim Al-Sibahi
  Student Research Competition at 44th ACM SIGPLAN Symposium on Principles of Programming Languages 2017 (POPL ‘17), Paris, France
  

• Family-Based Model Checking using Off-the-shelf Model Checkers
  (extended abstract, presentation)
  Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand and Andrzej Wąsowski
  2nd Workshop on Software Product Line Analysis Tools (SPLat ‘15), Nashville, TN, United States
  

• Scrapping Your Dependently-Typed Boilerplate is Hard
  (extended abstract, presentation)
  Ahmad Salim Al-Sibahi
  Workshop on Dependently Typed Programming 2014 (DTP ‘14), Vienna, Austria
  

Theses

• Foundational Analysis Techniques for High-Level Transformation Programs
  (report, presentation)
  Ahmad Salim Al-Sibahi
  PhD Thesis
  IT University of Copenhagen
  Supervised by Andrzej Wąsowski and Aleksandar S. Dimovski
  Defense Comittee: Riko Jacob, Tijs van der Storm and Xavier Rival

• The Practical Guide to Levitation
  (report, presentation)
  Ahmad Salim Al-Sibahi
  MSc Thesis
  IT University of Copenhagen, 2014
  Supervised by Peter Sestoft and David Christiansen
  External Examiner: Andrzej Filinski