tech-srl

tech-srl

Geek Repo

Github PK Tool:Github PK Tool

tech-srl's repositories

code2vec

TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"

Language:PythonLicense:MITStargazers:1081Issues:26Issues:157

code2seq

Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"

Language:PythonLicense:MITStargazers:542Issues:15Issues:107

how_attentive_are_gats

Code for the paper "How Attentive are Graph Attention Networks?" (ICLR'2022)

RASP

An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"

Language:PythonLicense:MITStargazers:267Issues:9Issues:2

Nero

Code and resources for the paper: "Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs"

Language:PythonLicense:GPL-3.0Stargazers:187Issues:10Issues:17

bottleneck

Code for the paper: "On the Bottleneck of Graph Neural Networks and Its Practical Implications"

Language:PythonLicense:MITStargazers:90Issues:6Issues:7

slm-code-generation

TensorFlow code for the neural network presented in the paper: "Structural Language Models of Code" (ICML'2020)

Language:JavaLicense:MITStargazers:83Issues:11Issues:13

esh

statistical similarity of binaries (Esh)

lstar_extraction

implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

Language:Jupyter NotebookStargazers:69Issues:6Issues:0

layer_norm_expressivity_role

Code for the paper "On the Expressivity Role of LayerNorm in Transformers' Attention" (Findings of ACL'2023)

Language:PythonStargazers:42Issues:6Issues:0

c3po

Code for the paper "A Structural Model for Contextual Code Changes"

Language:PythonLicense:MITStargazers:26Issues:8Issues:2

PigeonJS

Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"

Language:JavaScriptStargazers:24Issues:5Issues:0

weighted_lstar

implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019

Language:PythonStargazers:17Issues:7Issues:0

adversarial-examples

Code for the paper: "Adversarial Examples for Models of Code"

Language:PythonLicense:MITStargazers:15Issues:6Issues:5

RASP-exps

Code for running the transformers in the ICML 2021 paper "Thinking Like Transformers"

Language:PythonStargazers:15Issues:5Issues:0
Language:JavaStargazers:14Issues:7Issues:0

safe

SAFE static analysis tools

counting_dimensions

demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"

Language:Jupyter NotebookStargazers:10Issues:6Issues:1

RNN_to_PRS_CFG

Implementation of TACAS 2021 paper, "Extrapolating CFGs from RNNs"

Language:PythonStargazers:9Issues:7Issues:0

TRACY

TRACY

Language:PythonLicense:NOASSERTIONStargazers:9Issues:5Issues:0

atam

Example programs for ATAM

Language:CStargazers:3Issues:6Issues:0

elasticsearch

Open Source, Distributed, RESTful Search Engine

Language:JavaLicense:Apache-2.0Stargazers:2Issues:3Issues:0

pldi-utils

hacks and scripts that are useful for chairing PLDI

Language:PythonStargazers:0Issues:7Issues:0