tech-srl

Repositories

• code2vec

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

  learning code distributed of representations technion code2vec
  Python MIT 156 604 1 0 Updated May 20, 2020

• atam

  Example programs for ATAM
  Assembly 0 1 0 0 Updated May 16, 2020

• code2seq

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

  code from of structured sequences representations generating
  Python MIT 79 245 2 0 Updated May 4, 2020

• safe

  SAFE static analysis tools
  Java 10 6 3 1 Updated Apr 16, 2020

• weighted_lstar

  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  Python 4 7 0 0 Updated Jan 8, 2020

• id2vec
  Python 0 3 1 0 Updated Dec 31, 2019

• lstar_extraction

  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  Jupyter Notebook 14 50 0 0 Updated Dec 3, 2019

• differential

  differential
  C 6 10 1 1 Updated Oct 30, 2019

• counting_dimensions

  demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"
  Jupyter Notebook 4 9 0 0 Updated May 26, 2019

• PigeonJS

  Forked from eth-sri/UnuglifyJS

  Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"
  JavaScript 1,126 18 0 0 Updated Jul 4, 2018

• prime
  Java 4 11 0 0 Updated Jul 12, 2016

• esh

  statistical similarity of binaries (Esh)
  C# 13 62 1 0 Updated Jul 1, 2016

• elasticsearch

  Forked from elastic/elasticsearch

  Open Source, Distributed, RESTful Search Engine
  Java Apache-2.0 16,751 1 0 0 Updated Sep 22, 2015

• TRACY

  Forked from Yanivmd/TRACY

  TRACY
  Python EPL-1.0 16 8 0 0 Updated May 15, 2014