Copertina

Automated Computer Program Evaluation and Projects -- Our Experiences

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Srinivasan, Bama, Nehru, Mala, Parthasarathi, Ranjani, Mukherjee, Saswati, Thankachan, Jeena A
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Programming Languages D.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
di: Amiri, Sayed Mahbub Hasan, et al.
Pubblicazione: (2025)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
di: Tjoa, Ryan, et al.
Pubblicazione: (2025)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
di: Shirzad, Mohammad Robati, et al.
Pubblicazione: (2024)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
di: Abounegm, Abdelrahman, et al.
Pubblicazione: (2024)

Agentic Separation Logic Specification Synthesis
di: Suresh, Tarun, et al.
Pubblicazione: (2026)

Non-Termination Proving: 100 Million LoC and Beyond
di: Vanegue, Julien, et al.
Pubblicazione: (2025)

ScaMaha: A Tool for Parsing, Analyzing, and Visualizing Object-Oriented Software Systems
di: Al-Msie'deen, Ra'Fat
Pubblicazione: (2025)

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
di: de Sousa, Briza Mel Dias, et al.
Pubblicazione: (2025)

A Calculus of Inheritance
di: Yang, Bo
Pubblicazione: (2026)

WizardMerge -- Save Us From Merging Without Any Clues
di: Zhang, Qingyu, et al.
Pubblicazione: (2024)

Statically Contextualizing Large Language Models with Typed Holes
di: Blinn, Andrew, et al.
Pubblicazione: (2024)

From Procedures, Objects, Actors, Components, Services, to Agents -- A Comparative Analysis of the History and Evolution of Programming Abstractions
di: Briot, Jean-Pierre
Pubblicazione: (2021)

Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
di: Khatchadourian, Raffi, et al.
Pubblicazione: (2025)

Toward a Corpus Study of the Dynamic Gradual Type
di: Nsofor, Dibri, et al.
Pubblicazione: (2025)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
di: Li, Shiyang, et al.
Pubblicazione: (2026)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
di: Beyer, Dirk, et al.
Pubblicazione: (2022)

From Separate Compilation to Sound Language Composition
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
di: Pohle, Clemens
Pubblicazione: (2026)

Program Skeletons for Automated Program Translation
di: Wang, Bo, et al.
Pubblicazione: (2025)

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
di: Surana, Shraddha, et al.
Pubblicazione: (2025)

Reasoning about concurrent loops and recursion with rely-guarantee rules
di: Hayes, Ian J., et al.
Pubblicazione: (2025)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
di: Bruzzone, Federico, et al.
Pubblicazione: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
di: Baier, Daniel, et al.
Pubblicazione: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
di: Ates, Salih, et al.
Pubblicazione: (2024)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
di: Ates, Berke, et al.
Pubblicazione: (2026)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
di: Shetty, Manish, et al.
Pubblicazione: (2024)

The concept of class invariant in object-oriented programming
di: Meyer, Bertrand, et al.
Pubblicazione: (2021)

Tunable Automation in Automated Program Verification
di: Bai, Alexander Y., et al.
Pubblicazione: (2025)

Ownership in low-level intermediate representation
di: Priya, Siddharth, et al.
Pubblicazione: (2024)

Towards Industrial-scale Product Configuration
di: Baumeister, Joachim, et al.
Pubblicazione: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
di: He, Yifeng, et al.
Pubblicazione: (2025)

Challenges of Multilingual Program Specification and Analysis
di: Furia, Carlo A., et al.
Pubblicazione: (2024)

ProjectEval: A Benchmark for Programming Agents Automated Evaluation on Project-Level Code Generation
di: Liu, Kaiyuan, et al.
Pubblicazione: (2025)

Enhancing LLM Code Generation Capabilities through Test-Driven Development and Code Interpreter
di: Jalil, Sajed, et al.
Pubblicazione: (2025)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
di: Amaral, Isabella Basso do, et al.
Pubblicazione: (2025)

Automated Insertion of Flushes and Fences for Persistency
di: Guo, Yutong, et al.
Pubblicazione: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
di: Cirstea, Horatiu, et al.
Pubblicazione: (2024)

Validated Code Translation for Projects with External Libraries
di: Zhang, Hanliang, et al.
Pubblicazione: (2026)

RaceFixer -- An Automated Data Race Fixer
di: Malakar, Sanjay, et al.
Pubblicazione: (2024)

Mica: Automated Differential Testing for OCaml Modules
di: Ng, Ernest, et al.
Pubblicazione: (2024)