Welcome!

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


Email: rasool {at} comp {dot} nus {dot} edu {dot} sg

I am currently a PostDoc in School of Computing, National University of Singapore. I work with Prof. Joxan Jaffar primarily in the field of automated program analysis, with the focus on Worst-case Resource Analysis .

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. I enjoy programming in general, however, my research interests are:

  • Program Analysis
  • Resource Analysis
  • Worst-case Execution Time & Energy Consumption
  • Program Testing

Recent Work:

  • 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