:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Shekhar, Aarsh, Kim, Mincheol
Format:	Preprint
Published:	2024
Subjects:	Machine Learning D.2.3; D.2.12; J.3.3
Online Access:	https://arxiv.org/abs/2410.19826
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CTG-DB: An Ontology-Based Transformation of ClinicalTrials.gov to Enable Cross-Trial Drug Safety Analyses
by: Painter, Jeffery L., et al.
Published: (2026)

Graphify: Automated Synthesis of Type-Safe Graph Backends via $O(S)$ GraphQL-to-Gremlin Transpilation
by: Graf, Johannes
Published: (2026)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)

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

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
by: Vogel, Martin, et al.
Published: (2026)

Myriad People Open Source Software for New Media Arts
by: Baudry, Benoit, et al.
Published: (2025)

PVLens: Enhancing Pharmacovigilance Through Automated Label Extraction
by: Painter, Jeffery L, et al.
Published: (2025)

Interoperability From Kieker to OpenTelemetry: Demonstrated as Export to ExplorViz
by: Reichelt, David Georg, et al.
Published: (2024)

Characterizing JavaScript Security Code Smells
by: Kambhampati, Vikas, et al.
Published: (2024)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
by: Ariamajd, Armin, et al.
Published: (2025)

SAGAI-MID: A Generative AI-Driven Middleware for Dynamic Runtime Interoperability
by: Larsen, Oliver Aleksander, et al.
Published: (2026)

AgentFacts: Universal KYA Standard for Verified AI Agent Metadata & Deployment
by: Grogan, Jared James
Published: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

Abstracting Effect Systems for Algebraic Effect Handlers
by: Yoshioka, Takuma, et al.
Published: (2024)

A Target-Agnostic Protocol-Independent Interface for the Transport Layer
by: Mizuno, Pedro, et al.
Published: (2025)

Modular GPU Programming with Typed Perspectives
by: Bansal, Manya, et al.
Published: (2025)

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

A Framework for the Interoperability of Cloud Platforms: Towards FAIR Data in SAFE Environments
by: Grossman, Robert L., et al.
Published: (2022)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
by: McCann, Alan L.
Published: (2026)

Polymorphic Bottom-Up Weighted Relational Programming
by: Volkov, Dmitri
Published: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
by: Volkov, Dmitri, et al.
Published: (2025)

A decentralized academic certificate issuance system using smart contracts on the tron network
by: Andrade, Ana Julia Evangelista, et al.
Published: (2026)

Extending and Applying Automated HERMES Software Publication Workflows
by: Kernchen, Sophie, et al.
Published: (2024)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
by: Kratz, Maximilian, et al.
Published: (2025)

Meta-Monomorphizing Specializations
by: Bruzzone, Federico, et al.
Published: (2026)

Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
by: Allison, Lloyd
Published: (2025)

Weak-linearity, globality and in-place update
by: Gramaglia, Hector
Published: (2024)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
by: Chen, Xinfang, et al.
Published: (2025)

Don't mention it: An approach to assess challenges to using software mentions for citation and discoverability research
by: Druskat, Stephan, et al.
Published: (2024)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
by: McCormack, Ian, et al.
Published: (2024)

Code Documentation and Analysis to Secure Software Development
by: Attie, Paul, et al.
Published: (2024)

Source Code Hotspots: A Diagnostic Method for Quality Issues
by: Muzammil, Saleha, et al.
Published: (2026)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2025)

The Case for HTML First Web Development
by: Vepsäläinen, Juho
Published: (2026)

Adapting the MVVM pattern to C++ frontends and Agda-based backends
by: Csimma, Viktor
Published: (2026)

Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
by: Mirji, Vittal
Published: (2026)

The Kieker Observability Framework Version 2
by: Yang, Shinhyung, et al.
Published: (2025)

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