dePaul Miller's Projects
Will provide ability to work with fields and discrete logs.
This is a collection of things I think should be implemented in the C++ standard library, or things that are at least useful enough to be needed by me a fair amount of the time.
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
A runnable and robust version of chbenchmark for Hybrid Transactional/Analytical Processing
This is a Cloud9 exploit with a reverse shell payload this works when Cloud9 has an open port and is insecure. *Note: This is to be used for ethical testing of security. I am not liable if you use this software for something illegal.*
These are my configurations files that I use daily.
Work for Lehigh University's CSE 460 robotics
CUDA Templates for Linear Algebra Subroutines
Docker Image for CUDA Development
An OS I am working on while following cfenollosa/os-tutorial and working on my own kernel and boot loader.
Implementation of dynamic hash table as described in "A Dynamic Hash Table for the GPU" by Saman Ashkiani, Martin Farach-Colton, and John D. Owens from 2018 IEEE International Parallel and Distributed Processing Symposium.
Epoch Based Reclamation
Efficient RPCs for datacenter networks
This is a repository where I am formalizing some mathematics to work on formal proofs.
A repository for learning formal methods for verification of protocols and software.
A toolbox to benchmark TPC workloads in Go
Rodinia benchmark
Code for paper "Engineering a High-Performance GPU B-Tree" accepted to PPoPP 2019
GPU accelerated Sparse Approximate Map for use with GMRES
Implementation of DQN for learning star gunner on OpenAI Gym.
Jiffy - A Lock-free Skip List with Batch Updates and Snapshots
A single-header C++ library for simplifying the use of CUDA Runtime Compilation (NVRTC).
Working on leak checking for MacOS C and C++ programs
A high-performance, concurrent hash table
I created this project after creating a local BIND DNS server for my house. That way it is easier to diagnose issues.
Implementation of the L-slab hash map introduced in KVCG.
Beta release of Masstree.