tjt7a
Research Scientist in the Computer Science department at the University of Virginia working on automata processing on Field Programmable Gate Arrays (FPGAs).
University of VirginiaCharlottesville, VA
Pinned Repositories
Adafruit_Python_SSD1306
Python library to use SSD1306-based 128x64 or 128x32 pixel OLED displays with a Raspberry Pi or Beaglebone Black.
ANML
A repository for generating ANML Files
anml_flattener
Tool for Flattening Hierarchical Automaton
ANML_PYTHON
Python API for working with ANML
AutomataZoo
Automata Benchmark Suite
GR-Router
GNU Radio Router
levenshtein_generator
Script for Generating Hierarchical Levenshtein
paper_summaries
This repository contains summaries of papers relevant for projects I'm working on.
TSart
Traveling Salesman Art Project
tjt7a's Repositories
tjt7a/AutomataZoo
Automata Benchmark Suite
tjt7a/paper_summaries
This repository contains summaries of papers relevant for projects I'm working on.
tjt7a/anml_flattener
Tool for Flattening Hierarchical Automaton
tjt7a/Adafruit_Python_SSD1306
Python library to use SSD1306-based 128x64 or 128x32 pixel OLED displays with a Raspberry Pi or Beaglebone Black.
tjt7a/ANML
A repository for generating ANML Files
tjt7a/ANML_PYTHON
Python API for working with ANML
tjt7a/ANMLZoo
High-performance automata-processing engines are traditionally evaluated using a limited set of regular expression rulesets. While regular expression rulesets are valid real-world examples of use cases for automata processing, they represent a small proportion of all use cases for automata-based computing. With the recent availability of architectures and software frameworks for automata processing, many new applications have been found to benefit from automata processing. These show a wide variety of characteristics that differ from prior, popular regular-expression benchmarks, and these should be considered when designing new systems for automata processing. This paper presents ANMLZoo, a benchmark repository for automata-based applications as well as automata engines for both von-Neumann and reconfigurable data flow architectures.
tjt7a/APSim
tjt7a/Assignment2
This is the Vitis HLS Code for the FPGA Assignment 2
tjt7a/automata
A rust library to model several different automata & algorithms (crate name pending)
tjt7a/automata-synth
A framework for learning automata from legacy code for execution on FPGAs
tjt7a/CRISPR
Automata Code for CRISPR
tjt7a/cva6
The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux
tjt7a/DecisionTrees
Decision Trees Inference
tjt7a/gotham-grabber
tjt7a/hscompile
MNRL HyperScan
tjt7a/hyperscan_for_hscompile
High-performance regular expression matching library; this fork is used to compile HSCompile
tjt7a/legacy-sigmatools
Legacy Sigma Tools (sigmac etc.)
tjt7a/LTLfAutomata
Tools for working with LTLf and automata.
tjt7a/LTLfMining
This repository is for our LTLf mining project
tjt7a/MNCaRT
MNRL Network Computation and Research Testbed
tjt7a/mnrl
MNRL Network Representation Language
tjt7a/pySigma
Python library to parse and convert Sigma rules into queries (and whatever else you could imagine)
tjt7a/pyswip
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
tjt7a/REAPR
REAPR (Reconfigurable Engine for Automata Processing) is a general-purpose framework for accelerating automata processing applications such as regular expressions. REAPR is currently only compatible with SDAccel-capable Xilinx FPGA boards.
tjt7a/RegexEngines
Example Implementations of Regular Expression Engines
tjt7a/Syft
Synthesizer of LTLf formula
tjt7a/texada
Efficient techniques for mining LTL formulae over linear input traces
tjt7a/ultrascan-hls
HLS + RTL implementation of Ultrascan
tjt7a/VASim
VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, simulate, and profile homogeneous NFAs, and is meant to be an open tool for automata processing research. VASim can also be extended to support hypothetical automata processing elements.