Cover Image

Guided Tensor Lifting

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Yixuan, Magalhães, José Wesley de Souza, Brauckmann, Alexander, O'Boyle, Michael F. P., Polgreen, Elizabeth
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Online Prompt Selection for Program Synthesis
by: Li, Yixuan, et al.
Published: (2025)

Model-Assisted and Human-Guided: Perceptions and Practices of Software Professionals Using LLMs for Coding
by: Santos, Italo, et al.
Published: (2025)

Bita: A Conversational Assistant for Fairness Testing
by: Johnson, Keeryn, et al.
Published: (2025)

Reconsidering Conversational Norms in LLM Chatbots for Sustainable AI
by: Santos, Ronnie de Souza, et al.
Published: (2025)

Regression Testing in Remote and Hybrid Software Teams: An Exploratory Study of Processes, Tools, and Practices
by: Pascoal, Juliane, et al.
Published: (2026)

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
by: Gröninger, Lars, et al.
Published: (2024)

Software Testing with Large Language Models: An Interview Study with Practitioners
by: Santana, Maria Deolinda, et al.
Published: (2025)

The role of team diversity in AI systems development
by: Santos, Ronnie de Souza, et al.
Published: (2026)

Exploring and Lifting the Robustness of LLM-powered Automated Program Repair with Metamorphic Testing
by: Xue, Pengyu, et al.
Published: (2024)

A Delphi Study on the Adaptation of SCRUM Practices to Remote Work
by: Magalhaes, Cleyton, et al.
Published: (2025)

Tether: A Personalized Support Assistant for Software Engineers with ADHD
by: Shah, Aarsh, et al.
Published: (2025)

From Diverse Origins to a DEI Crisis: The Pushback Against Equity, Diversity, and Inclusion in Software Engineering
by: Santos, Ronnie de Souza, et al.
Published: (2025)

Hidden Figures in Software Engineering: A Replication Study Exploring Undergraduate Software Students' Awareness of Distinguished Scientists from Underrepresented Groups
by: Santos, Ronnie de Souza, et al.
Published: (2024)

Generic Analysis of Model Product Lines via Constraint Lifting
by: Bayha, Andreas, et al.
Published: (2020)

Software Fairness Testing in Practice
by: Santos, Ronnie de Souza, et al.
Published: (2025)

Testing the Untestable? An Empirical Study on the Testing Process of LLM-Powered Software Systems
by: Magalhaes, Cleyton, et al.
Published: (2025)

Beyond Resolution Rates: Behavioral Drivers of Coding Agent Success and Failure
by: Mehtiyev, Tural, et al.
Published: (2026)

Model-based Maintenance and Evolution with GenAI: A Look into the Future
by: Marchezan, Luciano, et al.
Published: (2024)

Contemporary Software Modernization: Perspectives and Challenges to Deal with Legacy Systems
by: Assunção, Wesley K. G., et al.
Published: (2024)

EFACT: an External Function Auto-Completion Tool to Strengthen Static Binary Lifting
by: Zhang, Yilei, et al.
Published: (2024)

Lifting the Veil on Composition, Risks, and Mitigations of the Large Language Model Supply Chain
by: Huang, Kaifeng, et al.
Published: (2024)

No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT
by: Liu, Zhijie, et al.
Published: (2023)

An Investigation on How AI-Generated Responses Affect SoftwareEngineering Surveys
by: Santos, Ronnie de Souza, et al.
Published: (2025)

Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
by: Li, Mingyi, et al.
Published: (2025)

Elevating Software Quality in Agile Environments: The Role of Testing Professionals in Unit Testing
by: Neves, Lucas, et al.
Published: (2024)

Feature-oriented Test Case Selection and Prioritization During the Evolution of Highly-Configurable Systems
by: Mendonça, Willian D. F., et al.
Published: (2024)

LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended)
by: Wesley, Scott
Published: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
by: Liu, Ye, et al.
Published: (2024)

A Large-Scale Study on Developer Engagement and Expertise in Configurable Software System Projects
by: Milano, Karolina M., et al.
Published: (2025)

pyAKI -- An Open Source Solution to Automated KDIGO classification
by: Porschen, Christian, et al.
Published: (2024)

How Fair is Software Fairness Testing?
by: Barcomb, Ann, et al.
Published: (2026)

Where are the Hidden Gems? Applying Transformer Models for Design Discussion Detection
by: Arkoh, Lawrence, et al.
Published: (2026)

Refactoring $\neq$ Bug-Inducing: Improving Defect Prediction with Code Change Tactics Analysis
by: Niu, Feifei, et al.
Published: (2025)

Diversity in Software Engineering Education: Exploring Motivations, Influences, and Role Models Among Undergraduate Students
by: Santos, Ronnie de Souza, et al.
Published: (2024)

ATTest: Agent-Driven Tensor Testing for Deep Learning Library Modules
by: Zhan, Zhengyu, et al.
Published: (2026)

Self-Organizing Multi-Agent Systems for Continuous Software Development
by: Lyu, Wenhan, et al.
Published: (2026)

An Agile Formal Specification Language Design Based on K Framework
by: Zhang, Jianyu, et al.
Published: (2024)

Test Code Review in the Era of GitHub Actions: A Replication Study
by: Sun, Hui, et al.
Published: (2026)

One Documentation Does Not Fit All: Case Study of TensorFlow Documentation
by: Thirimanne, Sharuka Promodya, et al.
Published: (2025)

PseudoBridge: Pseudo Code as the Bridge for Better Semantic and Logic Alignment in Code Retrieval
by: Li, Yixuan, et al.
Published: (2025)