Resume - Hassan Salehe Matar

Below is an extended version of my resume. Please contact me for a shorter and more compact version.

Contact details

Name: Hassan Salehe Matar
Title: Software Engineer Résumé
Email hassansalehe@gmail.com
SkypeName: hassansalehe
Linkedin: https://www.linkedin.com/in/hassansalehe

Education

Ph.D. in Computer Science and Engineering, Koc University, Istanbul, Turkey 2013 - 2018
- Thesis title: Runtime Race Detection for Shared Memory Programming Models.
- Advisor: Asst. Prof. Didem Unat
MSc. in Computer Science and Engineering, Koc University, Istanbul, Turkey 2011 - 2013
- Relevant coursework: COMP 589 - Software Reliability: Specification, Testing and Verification.
- Thesis title: Detection and recovery from concurrency errors using transactional memory techniques.
BS. in Computer Engineering, Middle East Technical University (METU), Ankara, Turkey, 2007 - 2011
- GPA: 3.56/4.00, graduated with high honor
High School Education (ACSEE), Ilboru Secondary School, Arusha, Tanzania, 2004 - 2006
- Ranked 5^th among 26,836 candidates on High School National Examinations.

Work Experience

Software Design Engineer 2, ASML Netherlands N.V., Veldhoven, Netherlands, 07/2018 - Present
- Designs and implements software for metrology functionalities of $100-million lithography machines.
- Appointed local champion to address issues and provide guidelines on GoogleTest/GoogleMock unit-testing.
- Volunteered as scrum-master for 3 months and contributed to team’s success during Covid-19 pandemic.
Application Engineer Intern, Intel Corporation, Munich, Germany, 10/2013 - 01/2015
- Worked on integrating Transactional Synchronization Extensions (Intel ^R TSX) into SAP^R HANA, achieving 2X speedup.
- Fostered Intel^R TSX performance & analysis features in Intel Developer tools by feedback & evaluations.
- Developed a Python tool to automate analysis of Gigabytes of log data for TSX performance bottlenecks.
- Volunteered to install CPU upgrades, recycling old servers, and applying security patches in a data center.
Software Engineer, Tiga Bilisim ve Medya Hizmetleri, Ankara, Turkey, 02/2011 - 09/2011
- Designed and implemented ASP.NET MVC-based web application which received 50,000 successful Turkish scholarships applications worldwide on its first launch.
- Developed a web application to collect the most influential slogans for the general election campaigns.
- Technologies used: ASP.NET MVC (C#, Aspx, HTML, JavaScript) & SQL.
Software Architect & Developer, Software-METU-Turkey Team, Ankara, Turkey, 05/2010 - 11/2010
- Designed a Java application for automated construction of functional BioBricks from raw biological data available on the internet.
  - The tool won a Silver Award at iGEM 2010 competition at MIT in USA.

Open-source Project Experience

TaskSanitizer (2018)
- A tool for detecting determinacy races in OpenMP task applications.
EmbedSanitizer (2017)
- An extension to ThreadSanitizer for detecting races in 32-bit ARM embedded systems software.
DFinspec (2016)
- Nondeterminism detection tool for shared memory dataflow programs. C/C++, LLVM
PH7 (2016)
- Proof of concept virtual museum developed purely on OpenGL and Glut. C++, Eclipse
TxSDELogAnalyzer (2014)
- Parser of huge log data for performance analysis of TSX bottlenecks. Python
BioGuide (2010)
- Tool for automatic construction of BioBricks in synthetic biology. Java, SQL, HTML

Research Experience

Research Assistant,Koc University Research Center for Multicore Software, Istanbul, Turkey, 09/2011 - 06/2018
- Developed a C/C++ concurrency error detection tool for multithreading with 40% less overhead using Transactional Memory (e.g; Intel TSX).
  - Resulting in 2 publications.
- Proposed a novel algorithm and a tool to detect unintended nondeterminism in dataflow applications.

Teaching Experience

Teaching Assistant, Koc University - Department of Computer Engineering, Istanbul, Turkey, 09/2011 - 06/2018
- Comp132 - Advanced Programming(C, C++, Java): preparing assignments, labs, and grading.
- Comp302 - Software Engineering: supervising students on use of Software Engineering principles.
- Promoted to Lead TA in 2015 and led weekly meetings and supervised four other TAs.

Computer Skills

Programming Languages
- C, C++ and Java; Basic knowledge of Python, HTML, SQL, JavaScript and Bash Script
Operating Systems
- 10 years of Linux experience, Microsoft Windows (sufficient)
Development Tools
- Git, Vim, Eclipse, Visual Studio, LLVM, Intel PIN
Software Reliability
- Introductory knowledge of Microsoft’s Pex, Vcc, Dafny, Spec#; Spin, AspectJ

Participation & Certificates

Attendee, 1^st ARVI COST Summer School on Runtime Verification, Madrid, Spain, 09/2016
Participant, The 10^th Microsoft Research PhD Summer School, Cambridge, UK, 07/2015
Trainee, OpenStack and Ubuntu Cloud Training organized by Canonical LTD,Paris, France, 10/2014
Attendee, ACACES - 2012 Summer School organized by HiPEAC, Fiuggi, Italy, 07/2012

Research Publications

Hassan Salehe Matar and Didem Unat. Runtime Determinacy Race Detection for OpenMP Tasks. 24th International European Conference on Parallel and Distributed Computing (Euro-Par), August 29-31, 2018, Turin, Italy.
H. S. Matar, E. Mutlu, S. Tasiran, and D. Unat. Output nondeterminism detection for programming models combining dataflow with shared memory. Parallel Computing - Elsevier Journal, 2018.
Hassan Salehe Matar, Serdar Tasiran and Didem Unat. EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM. The 17th International Conference on Runtime Verification, September 13-16, Seattle, USA. 2017
Hassan Salehe Matar, Ismail Kuru, Serdar Tasiran, and Roman Dementiev. Accelerating precise race detection using commercially-available hardware transactional memory support. In Workshop on Determinism and Correctness in Parallel Programming (WoDet), Salt Lake City, Utah, USA. 2014
Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor, and Osman Unsal. PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors, volume 7687 of Lecture Notes in Computer Science. Springer Berlin Heidelberg. 2013

Honors & Awards

Appeared on Dean’s (high)honor lists for all the semesters attended METU, 2007 - 2011
Excellence Performance Award, ID Bank competition for African students in Turkey, 12/2010
Silver Winner on software tools category, iGEM 2010 Competition at MIT, USA, 11/2010
Ranked 5^th among 26,836 candidates on National High School Examinations, Tanzania, 05/2006

Volunteer Activities

Student volunteer
- The 44^th ACM SIGPLAN Symposium (POPL 2017), Paris, France, 01/2017
  - Worked as a registrar, conference sessions and lunch assistant
Additional reviewer
- International Conference on Runtime Verification (RV), 2013, 2014, 2016
  - Reviewed submitted research papers
Local chair
- 2013 Computer Science Student Workshop, Istanbul, Turkey, 12/2012 - 05/2013
  - Encouraged peers to submit research papers
  - Promoted awareness of the workshop at university level
President, Tanzanian Students in Ankara, Turkey, 11/2008 - 11/2010
- Arranged new students arrivals and facilitated cultural integration.
- Lead regular discussions of issues pertaining to foreign students life

Foreign Languages

English
- Advanced, {read, written, spoken}
Swahili
- Native
Turkish
- Fluent, {read, written, spoken}

Interests / Hobbies

Traveling & Tourism
- Visited Turkey, Netherlands, UK, USA, Germany, France, Spain, Italy, Kenya, and Oman in the last 10 years.
Photography
- Was amateur photographer in high school. Still collects images of plants and buildings.
Swimming & Marathon
- Favorable exercises to keep body fit.