Rasool Maghareh

Compiler Software Engineer
Huawei Heterogeneous Compiler Lab
Markham, Canada


Biography

I was born and raised in the city of Shiraz, Iran. I graduated with the Bachelor of Computer Engineering degree from the Computer Science and Engineering Department program at Shiraz University, Iran in 2005. During my undergraduate years, I had the honor to work on a summer research project with Prof. Dastghaibyfard, on investigating the Possibility of Earthquake Prediction via Unsupervised Neural Networks.

I graduated with the PhD degree from the Department of Computer Science at the National University of Singapore in Feb. 2017. I had the honor to be advised by Prof. Joxan Jaffar. I worked on Worst-case Resource Analysis. Here is a link to my PhD thesis.

I worked in Garena Online, Singapore part-time from January 2015 till April 2017 (par-time and full-time) where I had the opportunity to work as a Data Engineer and Data Scientist. I also had the opportunity to work with Xiaoyu Zhou on Revenue Optimization and Regional Operations.

In May 2017, I rejoined Prof. Joxan Jaffar's team as a PostDoc where my research was mainly focused on Automated Program Analysis and Program Testing and Verification. I have been the co-inventor and part of the implementing the open-source Symbolic Execution tool TracerX .

In July 2020, I joined Huawei Heterogeneous Compiler Lab, Markham, Canada as a Compiler Software Engineer. The Lab's mission is to leverage innovative programming technologies to improve the performance of Huawei products—from 5G network equipment to mobile phones, and from smart home appliances to cloud services—as well as the productivity of developers in the Huawei ecosystem. To achieve these goals, we conduct research and development in a variety of areas including, but not limited to compilers, language runtimes and system-level exploitation of machine learning/artificial intelligence frameworks.


Research Interests

Automated Program Analysis

Worst-case Resource Analysis

Program Testing & Verification

Heterogeneous Computing


Papers


Talks

  • Is My Program Completely Bug-free?
    • 13th National Online Workshop on Recent Trends (RTST) in Software Testing, India, December, 2020 Brochure
    • National Informatics Conference (NIC99), IPM School of Computer Science, Tehran, Iran December, 2020 (In Persian) Link to recording
  • The TracerX System
    • 1st International KLEE Workshop on Symbolic Execution), Imperial College, London, UK, April 2018 Slides
    • AI for Code, Diffblue Limited, Oxford, UK, July 2018
  • State-of-the-art Dynamic Symbolic Execution Tools
    • 11th National Online Workshop on Recent Trends (RTST) in Software Testing, India, June, 2018
  • An Overview on Automatic Resource Analysis via Software Analysis & Verification Methods
    • Institute for Research in Fundamental Sciences - Tehran, Iran, June 2017
    • Shahid Beheshti University - Tehran, Iran, June 2017
  • Precise yet Scalable WCET Analysis for Real-time Systems
    • Shiraz University, Shiraz, Iran, May 2014


Teaching Assistant

  • Advanced Topics in Program Analysis (PhD Level Course) - Winter 2018, 2019, 2020

    School of Computing, National University of Singapore

  • Principles of Program Analysis (Post Graduate Course) - Winter 2018, 2019, 2020

    School of Computing, National University of Singapore

  • Programming Language Concepts (Undergraduate Course) - Fall 2014

    School of Computing, National University of Singapore

  • Programming Language Concepts (Undergraduate Course) - Fall 2014

    Shiraz University

  • Data Storage & Retrieval (Undergraduate Course) - Winter 2006

    Shiraz University

  • Data Structure & Algorithms (Undergraduate Course) - Fall 2006

    Shiraz University