-
kanghj.github.io Public
Forked from alshedivat/al-folioA beautiful Jekyll theme for academics
CSS MIT License UpdatedApr 1, 2025 -
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedJan 5, 2025 -
-
-
-
ProvenanceInspector Public
Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking
UpdatedMar 29, 2024 -
-
-
ml4code.github.io Public
Forked from ml4code/ml4code.github.ioWebsite for "A Survey of Machine Learning for Big Code and Naturalness"
CSS UpdatedApr 27, 2023 -
onnx-mlir Public
Forked from benlimpa/onnx-mlirRepresentation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure
C++ Apache License 2.0 UpdatedMar 24, 2023 -
A plugin so that users can search github issues from highlighted code in Sublime Text.
-
-
DICE Public
website of of the tool DICE (DIversity through CounterExamples)
-
fuzzingbook Public
Forked from uds-se/fuzzingbookProject page for "The Fuzzing Book"
Jupyter Notebook Other UpdatedJul 19, 2022 -
DICE_dummy_code Public
Copies of source code (from Java standard library) used in the benchmark in DICE: Adversarial Specification Mining
Java UpdatedJul 19, 2022 -
DICE_Miner Public
specification miner described in the Adversarial Specification Mining paper
-
deep_spec_learning_ws Public
Bunch of scripts inherited from former students (?) through the shared server
Python UpdatedJul 18, 2022 -
DICE_Tester Public
Forked from EvoSuite/evosuiteDICE_Tester: generating counterexample traces for specification mining
Java GNU Lesser General Public License v3.0 UpdatedJul 17, 2022 -
-
DSM Public
Forked from hvdthong/DSMRepository of "Deep Specification Mining" project
-
static-code-warnings Public
Forked from yrahul3910/static-code-warningsHTML The Unlicense UpdatedMay 18, 2022 -
javaparser Public
Forked from javaparser/javaparserJava 1-15 Parser and Abstract Syntax Tree for Java, including preview features to Java 13
Java Other UpdatedFeb 21, 2022 -
HERMES Public
Forked from soarsmu/HERMESSource code for accepted SANER 2022 Research Paper "HERMES: Using Commit-Issue Linking to Detect Vulnerability-Fixing Commits"
Python MIT License UpdatedJan 11, 2022 -
coccinelle Public
Forked from coccinelle/coccinelleSource code of the Coccinelle project
-
-
-
hibernate-orm Public
Forked from hibernate/hibernate-ormHibernate's core Object/Relational Mapping functionality
Java UpdatedJan 20, 2021 -
ldapchai Public
Forked from ldapchai/ldapchaiLDAP Chai is an easy-to-use Java LDAP interface.
Java GNU Lesser General Public License v2.1 UpdatedJan 20, 2021 -
java-callgraph Public
Forked from gousiosg/java-callgraphPrograms for producing static and dynamic (runtime) call graphs for Java programs
Java UpdatedJan 18, 2021 -
{{ message }}