tech-srl/code2vec

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

Language: Python - Size: 5.02 MB - Last synced: 18 days ago - Pushed: 8 months ago - Stars: 1,076 - Forks: 286

tech-srl/Nero

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

Language: Python - Size: 18.6 MB - Last synced: 18 days ago - Pushed: about 3 years ago - Stars: 187 - Forks: 22

tech-srl/code2seq

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

Language: Python - Size: 4.27 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 538 - Forks: 160

tech-srl/pldi-utils

hacks and scripts that are useful for chairing PLDI

Language: Python - Size: 8.79 KB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

tech-srl/RNN_to_PRS_CFG

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

Language: Python - Size: 68.4 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 9 - Forks: 2

tech-srl/adversarial-examples

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

Language: Python - Size: 146 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 15 - Forks: 12

tech-srl/atam

Example programs for ATAM

Language: C - Size: 369 KB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 3 - Forks: 0

tech-srl/c3po

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

Language: Python - Size: 87.2 MB - Last synced: about 2 months ago - Pushed: 7 months ago - Stars: 26 - Forks: 10

tech-srl/how_attentive_are_gats

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

Language: Python - Size: 3.34 MB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 273 - Forks: 34

tech-srl/layer_norm_expressivity_role

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

Language: Python - Size: 743 KB - Last synced: about 2 months ago - Pushed: 10 months ago - Stars: 35 - Forks: 3

tech-srl/RASP-exps

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

Language: Python - Size: 43 KB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 14 - Forks: 1

tech-srl/RASP

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

Language: Python - Size: 238 KB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 256 - Forks: 24

tech-srl/esh

statistical similarity of binaries (Esh)

Language: C# - Size: 10.7 KB - Last synced: about 2 months ago - Pushed: almost 8 years ago - Stars: 73 - Forks: 13

tech-srl/lstar_extraction

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

Language: Jupyter Notebook - Size: 196 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 69 - Forks: 21

tech-srl/slm-code-generation

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

Language: Java - Size: 2.53 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 81 - Forks: 8

tech-srl/bottleneck

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

Language: Python - Size: 844 KB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 90 - Forks: 21

tech-srl/safe

SAFE static analysis tools

Language: Java - Size: 8.27 MB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 12 - Forks: 12

tech-srl/id2vec

Language: Python - Size: 127 KB - Last synced: 18 days ago - Pushed: over 4 years ago - Stars: 9 - Forks: 4

tech-srl/differential

differential

Language: C - Size: 18.5 MB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 12 - Forks: 6

tech-srl/weighted_lstar

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

Language: Python - Size: 136 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 16 - Forks: 5

tech-srl/prime

Language: Java - Size: 37.5 MB - Last synced: about 2 months ago - Pushed: almost 8 years ago - Stars: 14 - Forks: 5

tech-srl/elasticsearch Fork of elastic/elasticsearch

Open Source, Distributed, RESTful Search Engine

Language: Java - Size: 154 MB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 2 - Forks: 0

tech-srl/PigeonJS Fork of eth-sri/UnuglifyJS

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

Language: JavaScript - Size: 8.63 MB - Last synced: 18 days ago - Pushed: over 2 years ago - Stars: 24 - Forks: 6

tech-srl/counting_dimensions

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

Language: Jupyter Notebook - Size: 231 KB - Last synced: about 2 months ago - Pushed: almost 5 years ago - Stars: 10 - Forks: 3

tech-srl/TRACY Fork of Yanivmd/TRACY

TRACY

Size: 184 KB - Last synced: about 2 months ago - Pushed: about 10 years ago - Stars: 9 - Forks: 2