Skip to content

@tech-srl tech-srl

Change the repository type filter

All

    Repositories list

    25 repositories

    • layer_norm_expressivity_role

      Public
      Code for the paper "On the Expressivity Role of LayerNorm in Transformers' Attention" (Findings of ACL'2023)
      transformersattentionlayer-normalizationlayernorm
      Python
      •3•45•1•0•Updated Sep 27, 2024Sep 27, 2024

    • RASP

      Public
      An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
      Python
      •
      MIT License
      •24•285•0•0•Updated Sep 16, 2024Sep 16, 2024

    • code2seq

      Public
      Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"
      codefromofstructuredsequencesrepresentationsgeneratingiclr2019code2seq
      Python
      •
      MIT License
      •164•556•8•4•Updated Aug 15, 2024Aug 15, 2024

    • c3po

      Public
      Code for the paper "A Structural Model for Contextual Code Changes"
      editcompletionsprogramming-languagec3po
      Python
      •
      MIT License
      •11•27•0•1•Updated Oct 25, 2023Oct 25, 2023

    • code2vec

      Public
      TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
      learningcodedistributedofrepresentationstechnioncode2vec
      Python
      •
      MIT License
      •286•1.1k•26•3•Updated Sep 20, 2023Sep 20, 2023

    • slm-code-generation

      Public
      TensorFlow code for the neural network presented in the paper: "Structural Language Models of Code" (ICML'2020)
      languagecodemodelssourcecodegenstructuralicml2020anycodegen
      Java
      •
      MIT License
      •10•86•3•4•Updated May 20, 2022May 20, 2022

    • atam

      Public
      Example programs for ATAM
      C
      •0•3•0•0•Updated May 14, 2022May 14, 2022

    • bottleneck

      Public
      Code for the paper: "On the Bottleneck of Graph Neural Networks and Its Practical Implications"
      graphnetworksoftheneuralbottleneckongnnsover-squashingoversquashing
      Python
      •
      MIT License
      •22•91•0•0•Updated Apr 25, 2022Apr 25, 2022

    • how_attentive_are_gats

      Public
      Code for the paper "How Attentive are Graph Attention Networks?" (ICLR'2022)
      graphattentionnetworkshowaregraph-attention-networksgatattentivegatv2pytorch
      Python
      •38•307•4•0•Updated Apr 5, 2022Apr 5, 2022

    • PigeonJS

      Public
      Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"
      JavaScript
      •1.2k•24•0•0•Updated Aug 21, 2021Aug 21, 2021

    • RASP-exps

      Public
      Code for running the transformers in the ICML 2021 paper "Thinking Like Transformers"
      Python
      •1•16•0•0•Updated Jun 28, 2021Jun 28, 2021

    • pldi-utils

      Public
      hacks and scripts that are useful for chairing PLDI
      Python
      •0•0•0•0•Updated May 13, 2021May 13, 2021

    • Nero

      Public
      Code and resources for the paper: "Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs"
      Python
      •
      GNU General Public License v3.0
      •22•185•0•0•Updated May 10, 2021May 10, 2021

    • RNN_to_PRS_CFG

      Public
      Implementation of TACAS 2021 paper, "Extrapolating CFGs from RNNs"
      Python
      •2•9•0•0•Updated Jan 20, 2021Jan 20, 2021

    • adversarial-examples

      Public
      Code for the paper: "Adversarial Examples for Models of Code"
      Python
      •
      MIT License
      •12•17•5•0•Updated Nov 16, 2020Nov 16, 2020

    • safe

      Public
      SAFE static analysis tools
      Java
      •11•12•3•1•Updated Apr 16, 2020Apr 16, 2020

    • weighted_lstar

      Public
      implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
      Python
      •5•18•0•0•Updated Jan 8, 2020Jan 8, 2020

    • id2vec

      Public
      Python
      •4•9•2•0•Updated Dec 31, 2019Dec 31, 2019

    • lstar_extraction

      Public
      implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
      Jupyter Notebook
      •22•75•0•0•Updated Dec 3, 2019Dec 3, 2019

    • differential

      Public
      differential
      C
      •6•12•1•1•Updated Oct 30, 2019Oct 30, 2019

    • counting_dimensions

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

    • prime

      Public
      Java
      •5•14•0•0•Updated Jul 12, 2016Jul 12, 2016

    • esh

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

    • elasticsearch

      Public
      Open Source, Distributed, RESTful Search Engine
      Java
      •
      Apache License 2.0
      •25k•2•0•0•Updated Sep 22, 2015Sep 22, 2015

    • TRACY

      Public
      TRACY
      Python
      •
      Other
      •14•9•0•0•Updated May 15, 2014May 15, 2014