Pinned Repositories
2PC-FSP
Two-Phase Commit Analysis with FSP
500lines
500 Lines or Less
academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
AIF360
A comprehensive set of fairness metrics for datasets and machine learning models, explanations for these metrics, and algorithms to mitigate bias in datasets and models.
alloy-maxsat-benchmark
alloytools.github.io
Website for Alloytools
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
RosAlloy
Model of ROS in Alloy for security analysis
SOP
validAlloy
A tool for validating Alloy specifications using test-case generation
eskang's Repositories
eskang/validAlloy
A tool for validating Alloy specifications using test-case generation
eskang/500lines
500 Lines or Less
eskang/SOP
eskang/2PC-FSP
Two-Phase Commit Analysis with FSP
eskang/MappingSynthesisTool
This repository contains a prototype implementation of the Mapping Synthesis Tool.
eskang/RosAlloy
Model of ROS in Alloy for security analysis
eskang/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
eskang/AIF360
A comprehensive set of fairness metrics for datasets and machine learning models, explanations for these metrics, and algorithms to mitigate bias in datasets and models.
eskang/alloy-maxsat-benchmark
eskang/alloytools.github.io
Website for Alloytools
eskang/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
eskang/DeviceMonitor
Simple device monitor for Samsung SmartThings to check for anomalous behaviors at runtime
eskang/Firmware
PX4 Autopilot Software
eskang/highway-env
A minimalist environment for decision-making in autonomous driving
eskang/minimal-mistakes
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
eskang/P
The P programming language.
eskang/robustness-for-security
eskang/sdsl
eskang/Verification-and-Repair