rasoolmaghareh

Compiler Software Engineer in Heterogeneous Compiler Labs, Huawei Canada Previously Postdoctoral Research Fellow @ National University of Singapore

@Huawei-PTLabToronto, Canada

Pinned Repositories

flang
Flang is a Fortran language front-end designed for integration with LLVM.
Language:C799 49 552134
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python00
flang
Flang is a Fortran language front-end designed for integration with LLVM.
Language:C00
klee
Tracer-X KLEE Symbolic Virtual Machine
Language:C++00
simple-bash-scripts
A collection of simple Bash scripts
Language:Shell00
TracerX-PS
TracerX Symbolic Executor for Problem Solving
Language:SMT0 1 01
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python226 15 379192
TRACER
TRACER Symbolic Execution Tool
Language:C28 4 06
TracerX
TracerX Symbolic Virtual Machine
Language:C31 10 15711
TracerX-examples
Examples for TracerX KLEE
Language:C9 7 246

rasoolmaghareh's Repositories

rasoolmaghareh/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python00
rasoolmaghareh/flang
Flang is a Fortran language front-end designed for integration with LLVM.
Language:C00
rasoolmaghareh/klee
Tracer-X KLEE Symbolic Virtual Machine
Language:C++00
rasoolmaghareh/simple-bash-scripts
A collection of simple Bash scripts
Language:Shell00
rasoolmaghareh/TracerX-PS
TracerX Symbolic Executor for Problem Solving
Language:SMT0 1 01