Welcome!

Rasool Maghareh
Programming Lab (COM2#04-04)
School of Computing
National University of Singapore
Computing 1, 13 Computing Drive
Singapore 117417

Email: firstname@comp.nus.edu.sg
Twitter: @RMaghareh

I am currently a PostDoc in School of Computing, National University of Singapore. I work with Prof. Joxan Jaffar. I enjoy programming in general, however, my research interests are:

  • Automated Program Analysis
  • Worst-case Resource Analysis
  • Program Testing

I finished my PhD in 2016 in School of Computing, National University of Singapore. I worked on Worst-case Resource Analysis. Link to my PhD thesis. Before coming to Singapore, I did my B.Sc. in Computer Engineering, Software from Shiraz University, Iran in Feb 2007.

[Google Scholar] [ORCID] [DBLP]

Selected Publications :

  • TRACER-X: Extending KLEE with Interpolation
    Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley and Ha Xuan Linh
  • Optimal MC/DC Test Case Generation (pdf)
    Joxan Jaffar, Sangharatna Godboley and Rasool Maghareh
    ICSE 2019 (Poster)
  • Precise Cache Timing Analysis via Symbolic Execution (pdf)
    Chu Duc Hiep, Joxan Jaffar and Rasool Maghareh
    RTAS 2016
  • Symbolic Execution for Memory Consumption Analysis (pdf)
    Chu Duc Hiep, Joxan Jaffar and Rasool Maghareh
    LCTES 2016

Professional Activities:

  • Programming Language Design and Implementation (PLDI) 2019 (link)
    Artifact Evaluation Committee
  • Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2019 (link)
    Artifact Evaluation Committee
  • Programming Language Design and Implementation (PLDI) 2018 (link)
    Artifact Evaluation Committee

Teaching:

  • Advanced Topics in Program Analysis (Co-lecturere) (link)
    School of Computing, National University of Singapore, 2018 & 2019
  • Principles of Program Analysis (Co-lecturere) (link)
    School of Computing, National University of Singapore, 2018 & 2019
  • Programming Language Concepts (Teaching Assistant) (link)
    School of Computing, National University of Singapore, 2014
  • Data Storage & Retrieval (Teaching Assistant)
    Department of Computer Science & Engineering, Shiraz University, Iran, 2006
  • Data Structure & Algorithms (Teaching Assistant)
    Department of Computer Science & Engineering, Shiraz University, Iran, 2005

Useful Links