1<!DOCTYPE html> 2<!-- saved from url=(0036)http://www.cs.toronto.edu/~wangsh46/ --> 3<html lang="en"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> 4 <!-- Global site tag (gtag.js) - Google Analytics --> 5
5<script async="" src="./files/js"></script>
5 6
6<script> 7
vendor: 138 bytes, lines 7-11
7window.dataLayer = window.dataLayer || []; 8 function gtag(){dataLayer.push(arguments);} 9 gtag('js', new Date()); 10 11 gtag('config', '
11UA-144587622-1
vendor: 6 bytes, lines 11-12
11'); 12
12</script>
12 13 14 <meta http-equiv='cache-control' content='no-cache'> 15 <meta http-equiv='expires' content='0'> 16 <meta http-equiv='pragma' content='no-cache'> 17 <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"> 18 <meta name="description" content=""> 19 <meta name="author" content=""> 20 21 <title>Rasool Maghareh</title> 22 23 <!-- Bootstrap core CSS --> 24 <link href="./files/bootstrap.min.css" rel="stylesheet"> 25 26 <!-- Custom fonts for this template --> 27 <link href="./files/css" rel="stylesheet"> 28 <link href="./files/css(1)" rel="stylesheet"> 29 <link href="./files/all.min.css" rel="stylesheet"> 30 <link rel="stylesheet" href="./files/academicons.min.css"> 31 32 <!-- Custom styles for this template --> 33 <link href="./files/resume.min.css" rel="stylesheet"> 34 <link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" integrity="sha384-3AB7yXWz4OeoZcPbieVW64vVXEwADiYyAEhwilzWsLw+9FgqpyjjStpPnpBO8o8S" crossorigin="anonymous"> 35 <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/jpswalsh/academicons@1/css/academicons.min.css"> 36</head> 37 38<body id="page-top" data-new-gr-c-s-check-loaded="14.995.0" data-gr-ext-installed=""> 39 40 <nav class="navbar navbar-expand-lg navbar-dark bg-primary fixed-top" id="sideNav"> 41 <a class="navbar-brand js-scroll-trigger" href="#page-top"> 42 <span class="d-block d-lg-none">Rasool Maghareh</span> 43 <span class="d-none d-lg-block"> 44 <img class="img-fluid img-profile rounded-circle mx-auto mb-2" src="./files/profile.jpg" alt=""> 45 </span> 46 </a> 47 <button class="navbar-toggler collapsed" type="button" data-toggle="collapse" data-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation"> 48 <span class="navbar-toggler-icon"></span> 49 </button> 50 <div class="collapse navbar-collapse" id="navbarSupportedContent"> 51 <ul class="navbar-nav"> 52 <li class="nav-item"> 53 <a class="nav-link js-scroll-trigger active" href="#">About</a> 54 </li> 55 <li class="nav-item"> 56 <a class="nav-link js-scroll-trigger" href="#biography">Biography</a> 57 </li> 58 <li class="nav-item"> 59 <a class="nav-link js-scroll-trigger" href="#research">Research Interest</a> 60 </li> 61 <li class="nav-item"> 62 <a class="nav-link js-scroll-trigger" href="#papers">Papers</a> 63 </li> 64 <li class="nav-item"> 65 <a class="nav-link js-scroll-trigger" href="#talks">Talks</a> 66 </li> 67 <li class="nav-item"> 68 <a class="nav-link js-scroll-trigger" href="#posters">Service</a> 69 </li> 70 <li class="nav-item"> 71 <a class="nav-link js-scroll-trigger" href="#ta">Teaching Assistant</a> 72 </li> 73 </ul> 74 </div> 75 </nav> 76 77 <div class="container-fluid p-0"> 78 79 <section class="resume-section p-3 p-lg-5 d-flex align-items-center" id="about"> 80 <div class="w-100"> 81 <h2 class="mb-0">Rasool 82 <span class="text-primary">Maghareh</span> 83 </h2> 84 <div class="subheading mb-5"> 85 <a>[email protected]</a> <p> 86 <a>[email protected]</a> 87 </div> 88 <p class="lead mb-5">Senior Compiler Software Engineer 89 <br>Lemurian Labs 90 <br>Toronto, Canada</p> 91 <div class="social-icons"> 92 <a href="https://www.linkedin.com/in/rasool-maghareh/"> 93 <i class="fab fa-linkedin-in"></i> 94 </a> 95 <a href="https://scholar.google.com/citations?user=ZJvw_zgAAAAJ&hl=en"> 96 <i class="ai ai-google-scholar-square"></i> 97 </a> 98 <a href="https://dblp.org/pid/179/3189.html"> 99 <i class="ai ai-dblp"></i> 100 </a> 101 <a href="https://github.com/rasoolmaghareh"> 102 <i class="fab fa-github"></i> 103 </a> 104 </div> 105 </div> 106 </section> 107 108 <hr class="m-0"> 109<section class="resume-section p-3 p-lg-5 d-flex align-items-center" id="biography"> 110 <div class="w-100"> 111 <h2 class="mb-5">Biography</h2> 112 <p>I was born and raised in the city of Shiraz, Iran. I graduated with the Bachelor of 113 Computer Engineering degree from the <a href="https://ece.shirazu.ac.ir/">Computer 114 Science and Engineering Department</a> program at Shiraz University, Iran in 2005. 115 During my undergraduate years, I had the honor to work on a
115summer research project 116 with <a href="https://scholar.google.com/citations?user=oRg1TG8AAAAJ&hl=en">Prof. Dastghaibyfard</a>, on investigating the Possibility of Earthquake Prediction via Unsupervised Neural Networks. 117 <p>I graduated with the PhD degree from the Department of Computer Science at the 118 National University of Singapore in Feb. 2017. I had the honor to be advised by 119 <a href="https://www.comp.nus.edu.sg/~joxan/">Prof. Joxan Jaffar</a>. I worked on Worst-case Resource Analysis. Here is a <a href="https://scholarbank.nus.edu.sg/handle/10635/134930">link</a> to my PhD thesis.</p> 120 <p> I worked in Garena Online, Singapore part-time from January 2015 till April 2017 121 (par-time and full-time) where I had the opportunity to work as a Data Engineer and 122 Data Scientist. I also had the opportunity to work with <a href="https://www.linkedin.com/in/xiaoyuzhou/?originalSubdomain=sg/"> Xiaoyu Zhou </a> on Revenue Optimization and Regional Operations. 123 <p>In May 2017, I rejoined Prof. Joxan Jaffar's team as a PostDoc where my research was 124 mainly focused on Automated Program Analysis and Program Testing and Verification. I have been the co-inventor and part of the implementing the <a href="https://tracer-x.github.io/"> open-source Symbolic Execution tool TracerX </a>. 125 <p>In July 2020, I joined <a href="https://www.huawei.com/ca/"> Huawei Heterogeneous Compiler Lab</a>, Markham, Canada as a 126 Compiler Software Engineer. The Lab's mission is to leverage innovative programming 127 technologies to improve the performance of Huawei productsâfrom 5G network equipment to mobile 128 phones, and from smart home appliances to cloud servicesâas well as the productivity of 129 developers in the Huawei ecosystem. To achieve these goals, we conduct research and development 130 in a variety of areas including, but not limited to compilers, language runtimes and system-level 131 exploitation of machine learning/artificial intelligence frameworks. 132 </p> 133 <p>In April 2024, I joined <a href="https://www.lemurianlabs.com/"> Lemurian Labs</a>, Toronto, Canada as a 134 Senior Compiler Software Engineer. At Lemurian Labs, our mission is to deliver affordable, accessible, 135 and efficient AI computers because we believe in a world where AI isn't a luxury but a tool for everyone. 136 Our founding team brings together expertise in AI, compilers, numerical algorithms, and computer 137 architecture with the sole purpose of reimagining accelerated computing. 138 </p> 139 </div> 140 141 </section> 142 143 <hr class="m-0"> 144 145 <section class="resume-section p-3 p-lg-5 d-flex align-items-center" id="research"> 146 <div class="w-100"> 147 <h2 class="mb-5">Research Interests</h2> 148 <p> Heterogeneous Computing 149 <p> ML/AI Compiler Optimization 150 <p> Automated Program Analysis 151 <p> Worst-case Resource Analysis 152 <p> Program Testing & Verification 153 </div> 154 </section> 155 156 <hr class="m-0"> 157 158 <section class="resume-section p-3 p-lg-5 d-flex align-items-center" id="papers"> 159 <div class="w-100"> 160 <h2 class="mb-5">Papers</h2> 161 <ul class="fa-ul mb-0"> 162 <li> 163 <i class="ai-li ai ai-arxiv"></i> 164 A Dutta, <u>R Maghareh</u>, J Jaffar, S Godboley, XL Yu 165 <i><a href="https://dl.acm.org/doi/10.1145/3456669.3456684">TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)</a>, FSE 2024. 166 </li> 167 </ul> 168 <ul class="fa-ul mb-0"> 169 <li> 170 <i class="ai-li ai ai-arxiv"></i> 171 Feng, W., <u>Maghareh R.</u>, Wang K-T.A., Ha, X. L. 2021. 172 <i><a href="https://dl.acm.org/doi/10.1145/3456669.3456684">Extending DPC++ with Support for Huawei Ascend AI Chipset</a>, International Workshop on OpenCL (IWOCL & SYCLcon). 173 </li> 174 </ul> 175 <ul class="fa-ul mb-0"> 176 <li> 177 <i class="ai-li ai ai-arxiv"></i> 178 S Godboley, J Jaffar, <u>R Maghareh</u>, A Dutta 179 <i><a href="https://dl.acm.org/doi/abs/10.1145/3460319.3464841">
179Toward optimal mc/dc test case generation</a>, ISSTA 2021. 180 </li> 181 </ul> 182 <ul class="fa-ul mb-0"> 183 <li> 184 <i class="ai-li ai ai-arxiv"></i> 185 Jaffar, J., <u>Maghareh R.</u>, Godboley S., Ha, X. L. 2020. 186 <i><a href="https://rasoolmaghareh.github.io/papers/Jaffar2020_Chapter_TracerXDynamicSymbolicExecutio.pdf">TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution) </a>, Fundamental Approaches to Software Engineering. (FASE). 187 </li> 188 </ul> 189 <ul class="fa-ul mb-0"> 190 <li> 191 <i class="ai-li ai ai-arxiv"></i> 192 Jaffar, J., Godboley S.,<u>Maghareh R.</u>, 2019. 193 <i><a href="https://rasoolmaghareh.github.io/papers/mcdc-poster.pdf">Optimal MC/DC Test Case Generation </a>, 40th International Conference on Software Engineering (ICSE), [Poster Session]. 194 </li> 195 </ul> 196 <ul class="fa-ul mb-0"> 197 <li> 198 <i class="ai-li ai ai-arxiv"></i> 199 Chu D. H., Jaffar J.,<u>Maghareh R.</u>, 2016. 200 <i><a href="https://rasoolmaghareh.github.io/papers/RTAS16.pdf">Precise Cache Timing Analysis via Symbolic Simulation</a>, In 22nd IEEE Real-Time Embedded Technology & Applications (RTAS). 201 </li> 202 </ul> 203 <ul class="fa-ul mb-0"> 204 <li> 205 <i class="ai-li ai ai-arxiv"></i> 206 Chu D. H., Jaffar J.,<u>Maghareh R.</u>, 2016. 207 <i><a href="https://rasoolmaghareh.github.io/papers/LCTES16.pdf">Symbolic Simulation for Memory Consumption Analysis</a>, In ACM Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES). <a href="http://2016.rtas.org/wp-content/uploads/2016/06/18.pdf">[Slides]</a> 208 </li> 209 </ul> 210 <ul class="fa-ul mb-0"> 211 <li> 212 <i class="ai-li ai ai-arxiv"></i> 213 Nejati H., Bayat E., Torabi A. J.,<u>Maghareh R.</u>, 2012. 214 <i><a href="https://rasoolmaghareh.github.io/papers/LNEE12.pdf">Enhancement of Template-Based Face Detection by Belief Propagation in Ordered Component Search</a>. 215 In Recent Advances in Computer Science and Information Engineering, pp. 693-698. Lecture Notes in Electrical Engineering, vol 124. Springer, Berlin, Heidelberg. 216 </li> 217 </ul> 218 <ul class="fa-ul mb-0"> 219 <li> 220 <i class="ai-li ai ai-arxiv"></i> 221 Anvar S.A., Dastgheibifard Gh., Nikooee E.,<u>Maghareh R.</u>, 2007. 222 <i> <a href="https://rasoolmaghareh.github.io/papers/See5%20paper.pdf"> An Overall Study on Researches about Earthquake Prediction by the use of Artificial Neural Networks</a></i>. Proceedings of 5th International Conference on Seismology and Earthquake Engineering. 223 </li> 224 </ul> 225 </div> 226 </section> 227 228 <hr class="m-0"> 229 230 <section class="resume-section p-3 p-lg-5 d-flex align-items-center" id="talks"> 231 <div class="w-100"> 232 <h2 class="mb-5">Talks</h2> 233 <ul class="fa-ul mb-0"> 234 <li> 235 <i class="fa-li fas fa-file-powerpoint"></i> 236 <i> Is My Program Completely Bug-free?</i> 237 <ul> 238 <li>13th National Online Workshop on Recent Trends (RTST) in Software Testing, India, December, 2020 <a href="https://www.nitw.ac.in/media/uploads/RTST_2020_Brochure-V5.pdf">Brochure</a> </li> 239 <li>National Informatics Conference (NIC99), IPM School of Computer Science, Tehran, Iran December, 2020 (In Persian) <a href="http://cs.ipm.ac.ir/nic/1399/Presentations/Talk/Maghareh.mp4">Link to recording</a> </li> 240 </ul> 241 </li> 242 <li> 243 <i class="fa-li fas fa-file-powerpoint"></i> 244 <i>The TracerX System</i> 245 <ul> 246 <li>1st International KLEE Workshop on Symbolic Execution), Imperial College, London, UK, April 2018 <a href="https://srg.doc.ic.ac.uk/klee18/talks/Maghareh-Tracer-X.pdf">Slides</a> </li> 247 <li>AI for Code, Diffblue Limited, Oxford, UK, July 2018 </li> 248 </ul> 249 </li> 250 <li> 251 <i class="fa-li fas fa-file-powerpoint"></i> 252 <i> State-of-the-art Dynamic Symbolic Execution Tools</i> 253 <ul> 254 <li>11th National Online Workshop on Recent Trends (RTST) in Software Testing, India, June, 2018 </li> 255 </ul> 256 </li> 257 <li> 258 <i class="fa-li fas fa-file-powerpoint"></i> 259 <i> An Overview on Automatic Resource Analysis via Software Analysis & Verification Methods </i> 260 <ul> 261 <li>Institute for Research in Fundamental Sciences - Tehran, Iran, June 2017 </li> 262 <li>Shahid Beheshti University - Tehran, Iran, June 2017 </li> 263 </ul> 264 </li> 265 <li> 266 <i class="fa-li fas fa-file-powerpoint"></i> 267 <i> Precise yet Scalable WCET Analysis for Real-time Systems</i> 268 <ul> 269 <li>Shiraz University, Shiraz, Iran, May 2014 </li> 270 </ul> 271 </li> 272 </ul> 273 </div> 274 </section> 275 276 <hr class="m-0"> 277 278 <section class="resume-section p-3 p-lg-5 d-flex align-items-center" id="posters"> 279 <div class="w-100"> 280 <h2 class="mb-5">Service</h2> 281 <ul class="fa-ul mb-0"> 282 <li> 283 <i class="fa-li fas fa-file-powerpoint"></i> 284 <i> Member of Artifact Evaluation Committee</i> at: 285 <ul> 286 <li> <a href="https://pldi20.sigplan.org/committee/pldi-2020-PLDI-Research-Artifacts-artifact-evaluation-committee">ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)</a> - Years 2018 , 2019, 2020 287 </li> 288 <li> <a href="https://etaps.org/user-profile/list-articles/390-artifact-evaluation-tacas19">International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)</a></li> - Year 2019 289 </ul> 290 </li> 291 </ul> 292 </div> 293 </section> 294 295 <hr class="m-0"> 296 297 <section class="resume-section p-3 p-lg-5 d-flex align-items-center" id="ta"> 298 <div class="w-100"> 299 <h2 class="mb-5">Teaching Assistant</h2> 300 <ul class="fa-ul mb-0"> 301 <li> 302 <i class="fa-li fas fa-chalkboard-teacher"></i> 303 Advanced Topics in Program Analysis (PhD Level Course) - Winter 2018, 2019, 2020 304 <p> 305 School of Computing, National University of Singapore 306 </p> 307 </li> 308 <li> 309 <i class="fa-li fas fa-chalkboard-teacher"></i> 310 Principles of Program Analysis (Post Graduate Course) - Winter 2018, 2019, 2020 311 <p> 312 School of Computing, National University of Singapore 313 </p> 314 </li> 315 <li> 316 <i class="fa-li fas fa-chalkboard-teacher"></i> 317 Programming Language Concepts (Undergraduate Course) - Fall 2014 318 <p> 319 School of Computing, National University of Singapore 320 </p> 321 </li> 322 <li> 323 <i class="fa-li fas fa-chalkboard-teacher"></i> 324 Programming Language Concepts (Undergraduate Course) - Fall 2014 325 <p> 326 Shiraz University 327 </p> 328 </li> 329 <li> 330 <i class="fa-li fas fa-chalkboard-teacher"></i> 331 Data Storage & Retrieval (Undergraduate Course) - Winter 2006 332 <p> 333 Shiraz University 334 </p> 335 </li> 336 <li> 337 <i class="fa-li fas fa-chalkboard-teacher"></i> 338 Data Structure & Algorithms (Undergraduate Course) - Fall 2006 339 <p> 340 Shiraz University 341 </p> 342 </li> 343 </ul> 344 </div> 345 </section> 346 347 348 <hr class="m-0"> 349 350 351 </div> 352 353 <!-- Bootstrap core JavaScript --> 354
354<script src="./files/jquery.min.js.download"></script>
354 355
355<script src="./files/bootstrap.bundle.min.js.download"></script>
355 356 357 <!-- Plugin JavaScript --> 358
358<script src="./files/jquery.easing.min.js.download"></script>
358 359 360 <!-- Custom scripts for this template --> 361
361<script src="./files/resume.min.js.download"></script>
361 362 363 364 365 366</body></html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.