category.json

{
    "categories": {
        "general coding task": {},
        "program testing": {
            "fuzzing": {},
            "library testing": {},
            "DBMS testing": {},
            "compiler testing": {},
            "protocol fuzzing": {},
            "mutation testing": {},
            "unit testing": {},
            "differential testing": {},
            "debugging": {},
            "bug reproduction": {},
            "vulnerability exploitation": {}
        },
        "code generation": {
            "program synthesis": {},
            "code completion": {},
            "program repair": {},
            "program transformation": {},
            "program decompilation": {}
        },
        "software maintenance and deployment": {
            "code review": {},
            "documentation generation": {},
            "commit message generation": {},
            "software configuration": {},
            "system log analysis": {}
        },
        "static analysis": {
            "syntactic analysis": {},
            "pointer analysis": {},
            "call graph analysis": {},
            "data-flow analysis": {},
            "type inference": {},
            "specification inference": {},
            "equivalence checking": {},
            "code similarity analysis": {},
            "bug detection": {},
            "program verification": {},
            "program optimization": {},
            "code summarization": {},
            "code search": {},
            "software composition analysis": {} 
        },
        "code model": {
            "code model training": {
                "source code model": {},
                "IR code model": {},
                "binary code model": {}
            },
            "code model security": {},
            "code model robustness": {}
        },
        "hallucination in reasoning": {},
        "PL design for LLMs": {},
        "agent design": {
            "prompt strategy": {
                "retrieval-augmented generation": {},
                "reason with code": {},
                "sampling and ranking": {}
            },
            "planning": {}
        },
        "benchmark": {},
        "empirical study": {},
        "survey": {}
    }
}