Cloud Computing Projects

Proactive Circuit Breaking For Istio

This project aims to make cloud-native applications more resilient by addressing the challenge of setting appropriate circuit-breaking thresholds in dynamic environments. This initiative tackles the issue that traditional circuit breaking methods are not adaptive to runtime changes, especially in the context of Istio, a popular service mesh platform. The solution proposed involves using CPU utilization as a feedback mechanism, inspired by the TCP Reno congestion control algorithm, to make circuit breaking more adaptive

Istio Kubernetes Garafana Prometheus cAdvisor Python

Self-optimizing Autoscaler For OpenShift

This project is a rule-based system aimed at managing resources for cloud services efficiently, particularly for the AcmeAir service. It addresses the issue of unpredictable workloads and network quality by dynamically adjusting resources, optimizing costs, and ensuring reliable service performance.

OpenShift Sysdig Python MAPE-K

Static Code Importer The K8s Kueue Sig Doc Site
FOSS

The problem this pull request is solving is to provide a clearer, more standardized method for including static files in documentation, thereby improving the user experience by making these files more noticeable and easier to download.It modifies the current markdown files to utilize a new include shortcode for embedding static code files into the website's content pages.

Docsy DaisiUI Hugo Shortcodes

tUWitter: a twitter clone for UWaterloo community

This project is a web application designed to enable University of Waterloo students to engage with each other anonymously, fostering a community where individual voices can be heard without the pressure of conformity. It aims to provide a centralized platform for campus-related discussions, differing from broader social media by focusing on student needs and promoting a better mobile user experience. Key technical highlights include the implementation of image caching for efficient media management, automated workflows via GitHub Actions, and deployment using Google Cloud Platform's Cloud Build and Cloud Run services for scalable, on-demand infrastructure.

GCP Gin Typescript Golang Next.js MongoDB Agile Development

Software Quality Ensurance Projects

Dynamic Symbolic Execution for WHILE Language

The project develops a Dynamic Symbolic Execution (DSE) engine for the WHILE programming language, leveraging Z3's incremental solving capabilities. It addresses the inefficiency of traditional symbolic execution by incorporating concrete execution for complex or non-symbolic paths, aiming for enhanced path exploration.

Z3 Python DSE Symbolic Execution

DPLL SAT Solver

The DPLL SAT Solver is a software tool designed for solving Boolean formulas efficiently by translating them into Conjunctive Normal Form (CNF) and applying the Davis-Putnam-Logemann-Loveland (DPLL) algorithm.I implemented a dedicated data structure LinkedHashMap for efficient assignment retrival.

C++ DPLL CNF LinkedHashMap

Greybox Fuzzing Survey

The paper provides a comprehensive analysis and comparison of different fuzzing techniques, specifically highlighting the development and principles of Directed Gray-Box Fuzzing (DGF). It also discusses recent advancements and suggests future directions for integrating DGF into development practices, emphasizing its efficiency and targeted approach compared to other fuzzing methods.

Fuzzing

Computer Networks Projects

Reliable Data Transfer Protocol

This is a reliable data transfer protocol implemented using UDP. The protocol is based on the Go-Back-N protocol. The sender are implemented in python with a thread-safe queue and the receiver is implemented in Golang channels.

Python Golang Socket Programming Thread-Safe Queue Event-Driven

Inband Network Telemetry

This project focuses on exploring the P4 language and In-band Network Telemetry (INT) for network data collection. The project examines different operational modes of INT, specifically highlighting the challenges and inefficiencies in communication overhead associated with certain modes. It critiques Graph-Partitioned INT and explores INT implementation with source routing, offering potential improvements for reducing overhead and optimizing data transmission in network telemetry.

P4 Python Source Routing

Computer Secruity Projects

Argon2 Password Hashing Algorithm Critique

This report is not serious research but a guidebook for those who are pondering about using Argon2. Chapter 1 states the current status of Argon2. Chapter 2 reviews literature relevant to Argon2 and its 3 variants. Chapter 3 elaborates on whether and how Argon should be used in production. Chapter 4 is an attempt to improve Argon2 by introducing a hybrid mode of operation in the block level.

Argon2 Password Hashing