A PhD in EECS at UC Irvine on specification and runtime verification of multiprocessor systems (architectures, languages and specification mining).
Highlights
- Pro
 
Lists (18)
Sort Name ascending (A-Z)
Algorithms and SW Engineering
20 repositories
  Clouds/Networks/Distributed Syst
232 repositories
  Crypto and Blockchain
26 repositories
  Cybersecurity
92 repositories
  Databases
47 repositories
  EDA
2 repositories
  Finance
30 repositories
  HPC
24 repositories
  IoT/Embedded
13 repositories
  LLMs
31 repositories
  Machine Learning
131 repositories
  Operating Systems
15 repositories
  Programming Languages, Compilers
123 repositories
  Quantum
15 repositories
  Robotics and Optimization
65 repositories
  Utilities
22 repositories
  Visualization
38 repositories
  Web Dev
141 repositories
  - All languages
 - ANTLR
 - C
 - C#
 - C++
 - CMake
 - CSS
 - CoffeeScript
 - Cuda
 - Cython
 - Dart
 - Dockerfile
 - Go
 - HTML
 - Haskell
 - Java
 - JavaScript
 - Jupyter Notebook
 - Kotlin
 - LLVM
 - Lua
 - MATLAB
 - MDX
 - MLIR
 - Markdown
 - Mustache
 - OCaml
 - Objective-C
 - OpenQASM
 - PHP
 - PowerShell
 - Prolog
 - Pug
 - Python
 - Roff
 - Ruby
 - Rust
 - SCSS
 - Scala
 - Shell
 - Solidity
 - Starlark
 - Swift
 - TeX
 - TypeScript
 - Verilog
 
Starred repositories
            
              1
                star
                written in Roff
            
          
          
            
            Clear filter