{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"RASP","owner":"tech-srl","isFork":false,"description":"An interpreter for RASP as described in the ICML 2021 paper \"Thinking Like Transformers\"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":275,"forksCount":25,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-01T12:30:44.424Z"}},{"type":"Public","name":"c3po","owner":"tech-srl","isFork":false,"description":"Code for the paper \"A Structural Model for Contextual Code Changes\"","allTopics":["editcompletions","programming-language","c3po"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":26,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-25T23:42:15.242Z"}},{"type":"Public","name":"code2vec","owner":"tech-srl","isFork":false,"description":"TensorFlow code for the neural network presented in the paper: \"code2vec: Learning Distributed Representations of Code\"","allTopics":["learning","code","distributed","of","representations","technion","code2vec"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":26,"starsCount":1085,"forksCount":286,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-20T14:34:38.346Z"}},{"type":"Public","name":"layer_norm_expressivity_role","owner":"tech-srl","isFork":false,"description":"Code for the paper \"On the Expressivity Role of LayerNorm in Transformers' Attention\" (Findings of ACL'2023)","allTopics":["transformers","attention","layer-normalization","layernorm"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":44,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-13T14:16:25.265Z"}},{"type":"Public","name":"code2seq","owner":"tech-srl","isFork":false,"description":"Code for the model presented in the paper: \"code2seq: Generating Sequences from Structured Representations of Code\"","allTopics":["code","from","of","structured","sequences","representations","generating","iclr2019","code2seq"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":8,"starsCount":542,"forksCount":163,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-16T09:25:38.426Z"}},{"type":"Public","name":"slm-code-generation","owner":"tech-srl","isFork":false,"description":"TensorFlow code for the neural network presented in the paper: \"Structural Language Models of Code\" (ICML'2020)","allTopics":["language","code","models","source","codegen","structural","icml2020","anycodegen"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":3,"issueCount":3,"starsCount":84,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-20T21:48:54.582Z"}},{"type":"Public","name":"atam","owner":"tech-srl","isFork":false,"description":"Example programs for ATAM","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-14T16:55:00.125Z"}},{"type":"Public","name":"bottleneck","owner":"tech-srl","isFork":false,"description":"Code for the paper: \"On the Bottleneck of Graph Neural Networks and Its Practical Implications\"","allTopics":["graph","networks","of","the","neural","bottleneck","on","gnns","over-squashing","oversquashing"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":91,"forksCount":21,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-25T01:22:47.535Z"}},{"type":"Public","name":"how_attentive_are_gats","owner":"tech-srl","isFork":false,"description":"Code for the paper \"How Attentive are Graph Attention Networks?\" (ICLR'2022)","allTopics":["graph","attention","networks","how","are","graph-attention-networks","gat","attentive","gatv2","pytorch","graph-neural-networks"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":289,"forksCount":34,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-05T15:47:49.781Z"}},{"type":"Public","name":"PigeonJS","owner":"tech-srl","isFork":true,"description":"Demonstration of the path-extraction process shown in the paper \"A General Path-Based Representation for Predicting Program Properties\"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":24,"forksCount":1242,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-21T21:38:32.989Z"}},{"type":"Public","name":"RASP-exps","owner":"tech-srl","isFork":false,"description":"Code for running the transformers in the ICML 2021 paper \"Thinking Like Transformers\"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":16,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-28T23:36:38.862Z"}},{"type":"Public","name":"pldi-utils","owner":"tech-srl","isFork":false,"description":"hacks and scripts that are useful for chairing PLDI","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-13T06:22:30.018Z"}},{"type":"Public","name":"Nero","owner":"tech-srl","isFork":false,"description":"Code and resources for the paper: \"Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs\"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":186,"forksCount":22,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-10T14:53:08.521Z"}},{"type":"Public","name":"RNN_to_PRS_CFG","owner":"tech-srl","isFork":false,"description":"Implementation of TACAS 2021 paper, \"Extrapolating CFGs from RNNs\"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-20T22:48:59.700Z"}},{"type":"Public","name":"adversarial-examples","owner":"tech-srl","isFork":false,"description":"Code for the paper: \"Adversarial Examples for Models of Code\"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":5,"starsCount":16,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-16T23:25:22.912Z"}},{"type":"Public","name":"safe","owner":"tech-srl","isFork":false,"description":"SAFE static analysis tools","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":3,"starsCount":12,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-16T16:18:17.928Z"}},{"type":"Public","name":"weighted_lstar","owner":"tech-srl","isFork":false,"description":"implementation for \"learning weighted deterministic automata from queries and counterexamples\", neurips 2019","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":17,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-08T14:32:53.744Z"}},{"type":"Public","name":"id2vec","owner":"tech-srl","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":9,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-31T13:38:31.787Z"}},{"type":"Public","name":"lstar_extraction","owner":"tech-srl","isFork":false,"description":"implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":70,"forksCount":21,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-03T09:46:24.113Z"}},{"type":"Public","name":"differential","owner":"tech-srl","isFork":false,"description":"differential","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":1,"starsCount":12,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-30T09:21:36.247Z"}},{"type":"Public","name":"counting_dimensions","owner":"tech-srl","isFork":false,"description":"demonstration for our ACL 2018 paper, \"On the Practical Computational Power of Finite Precision RNNs for Language Recognition\"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-26T08:42:29.395Z"}},{"type":"Public","name":"prime","owner":"tech-srl","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-12T13:06:00.949Z"}},{"type":"Public","name":"esh","owner":"tech-srl","isFork":false,"description":"statistical similarity of binaries (Esh)","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":1,"starsCount":73,"forksCount":13,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-01T14:43:36.879Z"}},{"type":"Public","name":"elasticsearch","owner":"tech-srl","isFork":true,"description":"Open Source, Distributed, RESTful Search Engine","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":24279,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-22T10:00:22.887Z"}},{"type":"Public","name":"TRACY","owner":"tech-srl","isFork":true,"description":"TRACY","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":14,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-05-15T16:54:13.317Z"}}],"repositoryCount":25,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}