Ali Sahraee

Room 329:224, B-huset, CAMPUS VALLA, Linköping University, Sweden. (46-13) 28 4616
ali.sahraee@liu.se - ali.sahraee97@gmail.com

Hi.

I am Ali Sahraee. I am a second-year Ph.D. student in Computer Science at Linköping University. I received a B.Sc. degree in Computer Engineering from Sharif University of Technology, Iran, in 2020. I am broadly interested in providing system-level solutions for dependability and energy management issues related to embedded systems. Recently, I have been working on providing a sound and efficient cache side-channel detection mechanism by adopting program analysis and applying a proper countermeasure.

Latest News

  • Graduate Admission, April 2023

    I will join the University of Waterloo as a graduate student to pursue my academic journey.

  • PhD Admission, April 2021

    I continue my studies at Linköping University as a PhD student in Computer Science Graduate School (CUGS).

  • Research Assistant, March 2020

    I will join ESLAB at Linköping University as a researcher.

Education

Linköping University, Linköping, Sweden

Ph.D. in Computer Science
  • Member of Embedded Systems Laboratory (ESLab)
  • Lab managers: Prof. Petru Eles.
  • Project: Symbolic Validation of Constrained Embedded Applications.
April 2021 - Now

Linköping University, Linköping, Sweden

Research Assistant
  • Member of Embedded Systems Laboratory (ESLab)
  • Project: Static Analysis of Programs Against Store-Bypass Side-Channels.
September 2020 - March 2021

Sharif University of Technology, Tehran, Iran

B.Sc. in Computer Engineering
  • Member of Embedded Systems Research Laboratory (ESRLab)
  • Supervisors: Dr. Alireza Ejlali, and Dr. Mohsen Ansari
  • Thesis: A Comparative Study of Joint Power and Reliability Management Techniques in Multicore Embedded Systems.
September 2015 - July 2020

Publications

  • [Work in progress] Ali Sahraee, et al., "Schedulability of Real-Time Embedded Applications".
  • Ali Sahraee. "Specognitor: Identifying Spectre Vulnerabilities via Prediction-Aware Symbolic Execution." arXiv preprint arXiv:2211.13526 (2022). [Link]
  • Sina Yari-Karin, Ali Sahraee, Javad Saber-Latibari, Mohsen Ansari, Nezam Rohbani, and Alireza Ejlali. "A comparative study of joint power and reliability management techniques in multicore embedded systems." In 2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), pp. 1-8. IEEE, 2020.

Skills

Programming Languages
  • Software:
    • Proficient in C/C++, Python, AVR, CUDA, OpenMP, R, Bash.
    • Familiar with Java, Android, LLVM-IR, X86 and IBM360 Assemblies, OCaml.
  • Hardware: SystemC, Verilog.
Tools
  • Hardware: GEM5, ModelSim, HSpice, MPARM, CodeVisionAVR, Proteos, Altera Quartus II, Xilinx Design, PSpice.
  • Programming & Compilers: Qt, MATLAB & SIMULINK, Clang, GCC, mctoll.
  • Symbolic & Static Analysis: KLEE, BAP, UPPAAL, Spin, NuSMV, Dafny.
  • Other: Git, Latex.
Web Programming Languages
  • HTML, CSS, JS.
Boards
  • Arduino uno/nano, FPGA DE2 altera, Beaglebone Black and Raspberry Pi 3 & 4.
Standards
  • IEC 61508 (Basic Functional Safety Standard)
  • ISO 26262 (Road vehicles - Functional safety)

Teaching Assistant

Linköping University

Sharif University of Technology

Honors

  • I am honored to receive a direct-Ph.D. admission in computer science graduate school (CUGS) at Linköping University.
  • Ranked 91st among more than 300,000 participants in the nation-wide university entrance exam. Admission to Sharif University of Technology B.Sc. program.
  • Admitted to NODET (National Organization for Exceptional Talents) by passing an exam with below 2% acceptance rate.