Formal Methods Cost-Driven Synthesis of Sound Abstract Interpreters A novel automated and unified framework for globally sound abstract interpreters synthesis. Software Engineering Enhancing DL System Fuzzing via Large Language Models Automated synthesis of neuron-level constraints for DL fuzzing. LLM-Based Code Generation Method for Golang Compiler Testing A Code Generation Method Based on CodeT5 for Golang Compiler Testing LLM-Based-Code-Classification-Method My BS Dissertation. Programs Equivalence Verification This is a program equivalence verification tool. Computer Graphics Automatic Detection of Intracranial Aneurysms Based on Deep Learning A platform for automatic detection of intracranial aneurysms. Moer-lite -- Research Oriented Physically Based Renderer Building a graphic renderer based on the Monte Carlo path tracing framework.
