ppashakhanloo
Senior Software Engineer @ CertiK CS PhD (University of Pennsylvania) Former Research Intern @ Microsoft
CertikPhiladelphia,PA
Pinned Repositories
chisel
A System for Debloating C/C++ Programs
slither-certik
CertiK fork of Slither Analyzer
codetrek-core
checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
CodeTrek
A powerful relational representation of source code
pacjam
verilog-adders
Implementation of different types of adder circuits
verilog-array-multiplier
Implementation of general array multiplication
verilog-DES
Implementation of DES algorithm
web-search-engine
We are currently looking for a name...
ppashakhanloo's Repositories
ppashakhanloo/CodeTrek
A powerful relational representation of source code
ppashakhanloo/verilog-adders
Implementation of different types of adder circuits
ppashakhanloo/verilog-array-multiplier
Implementation of general array multiplication
ppashakhanloo/verilog-DES
Implementation of DES algorithm
ppashakhanloo/pacjam
ppashakhanloo/web-search-engine
We are currently looking for a name...
ppashakhanloo/ChiselBench
ppashakhanloo/OOD_ERP
Enterprise Resource Planning System (ERP)
ppashakhanloo/bigcode-tools
Set of tools to help working with "Big Code"
ppashakhanloo/box-office
An awesome web-based system for managing events and selling tickets
ppashakhanloo/CELization
A strategic game programmed in java
ppashakhanloo/Census-Management-System
A system for managing and searching the data released by Word Bank.
ppashakhanloo/face-detection
ppashakhanloo/Information-Retrieval-System-Lucene
Basic information retrieval system using Apache Lucene 5.4.0
ppashakhanloo/legal-gemma
ppashakhanloo/locuszoom-api
Flask server code for LocusZoom APIs
ppashakhanloo/MiniJava-Compiler
Mini-Java Compiler, from scratch.
ppashakhanloo/Phi
Phi is a social network, combined with movies you love.
ppashakhanloo/python-graphs
A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.
ppashakhanloo/scrapy
Scrapy, a fast high-level web crawling & scraping framework for Python.
ppashakhanloo/simple-quartus-CPU
A simple CPU
ppashakhanloo/TicketSystem
ppashakhanloo/upenn-cis-templates
Templates for CIS UPenn students
ppashakhanloo/verilog-TEA
Implementation of Tiny Encryption Algorithm (TEA)
ppashakhanloo/verilog-trivium
Implementation of Trivium - a random bit generator
ppashakhanloo/with_modules
ppashakhanloo/without_module
ppashakhanloo/woboq_codebrowser
Woboq CodeBrowser