Pinned Repositories
bottleneck
Code for the paper: "On the Bottleneck of Graph Neural Networks and Its Practical Implications"
code2seq
Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"
code2vec
TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
esh
statistical similarity of binaries (Esh)
how_attentive_are_gats
Code for the paper "How Attentive are Graph Attention Networks?" (ICLR'2022)
layer_norm_expressivity_role
Code for the paper "On the Expressivity Role of LayerNorm in Transformers' Attention" (Findings of ACL'2023)
lstar_extraction
implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
Nero
Code and resources for the paper: "Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs"
RASP
An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
slm-code-generation
TensorFlow code for the neural network presented in the paper: "Structural Language Models of Code" (ICML'2020)
tech-srl's Repositories
tech-srl/code2vec
TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
tech-srl/code2seq
Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"
tech-srl/how_attentive_are_gats
Code for the paper "How Attentive are Graph Attention Networks?" (ICLR'2022)
tech-srl/RASP
An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
tech-srl/Nero
Code and resources for the paper: "Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs"
tech-srl/bottleneck
Code for the paper: "On the Bottleneck of Graph Neural Networks and Its Practical Implications"
tech-srl/slm-code-generation
TensorFlow code for the neural network presented in the paper: "Structural Language Models of Code" (ICML'2020)
tech-srl/esh
statistical similarity of binaries (Esh)
tech-srl/lstar_extraction
implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
tech-srl/layer_norm_expressivity_role
Code for the paper "On the Expressivity Role of LayerNorm in Transformers' Attention" (Findings of ACL'2023)
tech-srl/c3po
Code for the paper "A Structural Model for Contextual Code Changes"
tech-srl/PigeonJS
Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"
tech-srl/weighted_lstar
implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
tech-srl/adversarial-examples
Code for the paper: "Adversarial Examples for Models of Code"
tech-srl/RASP-exps
Code for running the transformers in the ICML 2021 paper "Thinking Like Transformers"
tech-srl/prime
tech-srl/differential
differential
tech-srl/safe
SAFE static analysis tools
tech-srl/counting_dimensions
demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"
tech-srl/id2vec
tech-srl/RNN_to_PRS_CFG
Implementation of TACAS 2021 paper, "Extrapolating CFGs from RNNs"
tech-srl/TRACY
TRACY
tech-srl/atam
Example programs for ATAM
tech-srl/elasticsearch
Open Source, Distributed, RESTful Search Engine
tech-srl/pldi-utils
hacks and scripts that are useful for chairing PLDI