ali-ghanbari Goto Github PK

adh-search-engine

ali-ghanbari.github.io

My official website

arja

Multi-Objective GP for Automated Repair of Java

asm-ext

An extension to ASM

camelspider

A sound, scalable, and precise static datarace detection tool

casl

Cellular Autmata Specification Language

ccs-os

A simple, yet innovative, disk operating system (2007)

cha-maven-plugin

A Maven Plugin for CHA (Class Hierarchy Analysis)

commons-csv

Mirror of Apache Commons CSV

commons-lang

Mirror of Apache Commons Lang

commons-text

Mirror of Apache Commons Text

comp-xml-reader

coq-plugin-lib

Library of useful utility functions for Coq plugins

coqgym

A Learning Environment for Theorem Proving with the Coq proof assistant

cyberminer

A Search Engine Course Project

d4j-chart

Pre-configured Chart bugs from Defects4J

d4j-cli

Pre-configured CommonsCli bugs from Defects4J

d4j-closure

Pre-configured Closure bugs from Defects4J

d4j-codec

Pre-configured CommonsCodec bugs from Defects4J

d4j-core

Pre-configured JacksonCore bugs from Defects4J

d4j-csv

Pre-configured CommonsCsv bugs from Defects4J

d4j-databind

Pre-configured JacksonDatabind bugs from Defects4J

d4j-jsoup

Pre-configured Jsoup bugs from Defects4J

d4j-jxpath

Pre-configured CommonsJXPath bugs from Defects4J

d4j-lang

Pre-configured Lang bugs from Defects4J

d4j-math

Pre-configured Math bugs from Defects4J

d4j-mockito

Pre-configured Mockito bugs from Defects4J

d4j-time

Pre-configured Time bugs from Defects4J

d4j-xml

Pre-configured JacksonXml bugs from Defects4J

decomposednnintomodules

This repository has the source code for the ESEC/FSE 2020 paper "On Decomposing a Deep Neural Network into Modules"