Chao Peng's repositories

chao-peng.github.io

My personal website: https://chao-peng.github.io

Language:HTMLStargazers:1Issues:1Issues:0
Language:PythonLicense:MITStargazers:1Issues:1Issues:0

academic-kickstart

📝 Easily create a beautiful website using Academic, Hugo, and Netlify

Language:TeXLicense:MITStargazers:0Issues:1Issues:0

AutoGitIgnore

Automatically generate .gitignore for your repository.

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

awesome-machine-learning-in-compilers

Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation

License:CC0-1.0Stargazers:0Issues:1Issues:0
Language:PythonLicense:MITStargazers:0Issues:2Issues:0

clm

For our ICSE 2023 paper Impact of Code Language Models on Automated Program Repair

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

CompilerGym

Reinforcement learning environments for compiler and program optimization tasks

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

droidbot

A lightweight test input generator for Android. Similar to Monkey, but with more intelligence and cool features!

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

Fastbot_Android

Fastbot(2.0) is a model-based testing tool for modeling GUI transitions to discover app stability problems

License:NOASSERTIONStargazers:0Issues:0Issues:0

Fastbot_iOS

About Fastbot(2.0) is a model-based testing tool for modeling GUI transitions to discover app stability problems

Language:Objective-CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

golangci-lint

Fast linters Runner for Go

Language:GoLicense:GPL-3.0Stargazers:0Issues:1Issues:0
Language:TeXLicense:MITStargazers:0Issues:0Issues:0

hugo-researcher

A simple resume theme for Hugo

Language:HTMLLicense:GPL-3.0Stargazers:0Issues:1Issues:0

icsme2021.github.io

Website for ICSME 2021

Language:HTMLStargazers:0Issues:1Issues:0

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

License:NOASSERTIONStargazers:0Issues:0Issues:0

metaseq

Repo for external large-scale work

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

misbrands

The world's most hated IT stickers

License:CC0-1.0Stargazers:0Issues:1Issues:0

ml-compiler-opt

Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ML-For-Beginners

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

Language:Jupyter NotebookLicense:MITStargazers:0Issues:1Issues:0

MOSS

An open-source tool-augmented conversational language model from Fudan University

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

researcher

A jekyll based resume template

Language:HTMLLicense:GPL-3.0Stargazers:0Issues:1Issues:0

rose

Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

solidity

Solidity, the Smart Contract Programming Language

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

Tai-e-assignments

Tai-e assignments for static program analysis

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:MITStargazers:0Issues:1Issues:0

TransMap

Debugging Code Translation by Codex & ChatGPT (Python to JavaScript)

License:NOASSERTIONStargazers:0Issues:0Issues:0

VESPA

Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries with options for generating static profile inferred by an ML-model and by heuristics. Useful for when the generation of dynamic profiles is prohibitive.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0