Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Programming Languages
Map detail
Programming Languages32 visible / 32 total nodes / 80 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextWorks onRelated contextCo-authorshipCo-authorshipRelated contextRelated contextRelated contextWorks onRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onRelated contextRelated contextRelated contextRelated contextWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onProgramming LanguagesTProgramming Languages1239 worksArtificial IntelligenceTArtificial Intelligence22915 worksSoftware EngineeringTSoftware Engineering3620 worksMachine LearningTMachine Learning49008 worksComputation and LanguageTComputation and Language14115 worksAlan L. McCannAAlan L. McCannResearcherDistributed, Parallel, and Cluster ComputingTDistributed, Parallel, ...4102 worksLogic in Computer ScienceTLogic in Computer Science2208 worksCryptography and SecurityTCryptography and Security7258 worksMengtian YangAMengtian YangResearcherZhekun ZhangAZhekun ZhangResearcherMingheng WuAMingheng WuResearcherJianwen YanAJianwen YanResearcherHanshi SunAHanshi SunResearcherLi-wen ChangALi-wen ChangResearcherEzequiel López-RubioAEzequiel López-RubioResearcherLize ShaoALize ShaoResearcherMichael CardeiAMichael CardeiResearcherZichen XieAZichen XieResearcherFerdinando FiorettoAFerdinando FiorettoResearcherCode-Guided Reasoning for Small Language Models: Evaluating Executable MCQA ScaffoldsWCode-Guided Reasoning f...preprint / 2026Language-Based Agent ControlWLanguage-Based Agent Co...preprint / 2026Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program AnalysisWAgentic Interpretation:...preprint / 2026Harness Engineering as Categorical ArchitectureWHarness Engineering as ...preprint / 2026Combining Mechanical and Agentic Specification Inference for MoveWCombining Mechanical an...preprint / 2026CktFormalizer: Autoformalization of Natural Language into Circuit RepresentationsWCktFormalizer: Autoform...preprint / 2026LLM Translation of Compiler Intermediate RepresentationWLLM Translation of Comp...preprint / 2026GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond CachingWGPU-Accelerated Synthes...preprint / 2026Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution TraceWShepherd: A Runtime Sub...preprint / 2026SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language SpecificationsWSmartEval: A Benchmark ...preprint / 2026CUDABeaver: Benchmarking LLM-Based Automated CUDA DebuggingWCUDABeaver: Benchmarkin...preprint / 2026Teaching LLMs Program Semantics via Symbolic Execution TracesWTeaching LLMs Program S...preprint / 2026
Topic19 links

Programming Languages

1239 works