English
Related papers

Related papers: Profiling minisat based on user defined execution …

200 papers

Navigating the diverse solution spaces of non-trivial software engineering tasks requires a combination of technical knowledge, problem-solving skills, and creativity. With multiple possible solutions available, each with its own set of…

Software Engineering · Computer Science 2023-01-31 Christoph Treude

Conventional processor architectures are restricted in exploiting instruction level parallelism (ILP) due to the relatively low number of programmer-visible registers. Therefore, more recent processor architectures expose their datapaths so…

Logic in Computer Science · Computer Science 2018-05-01 Marc Dahlem , Anoop Bhagyanath , Klaus Schneider

Placement is a critical task with high computation complexity in VLSI physical design. Modern analytical placers formulate the placement objective as a nonlinear optimization task, which suffers a long iteration time. To accelerate and…

Machine Learning · Computer Science 2025-02-26 Yiting Liu , Hai Zhou , Jia Wang , Fan Yang , Xuan Zeng , Li Shang

Graph Prompt Feature (GPF) learning has been widely used in adapting pre-trained GNN model on the downstream task. GPFs first introduce some prompt atoms and then learns the optimal prompt vector for each graph node using the linear…

Machine Learning · Computer Science 2026-01-07 Bo Jiang , Weijun Zhao , Beibei Wang , Jin Tang

Programs with constraints are hard to debug. In this paper, we describe a general architecture to help develop new debugging tools for constraint programming. The possible tools are fed by a single general-purpose tracer. A tracer-driver is…

Software Engineering · Computer Science 2007-05-23 Ludovic Langevine , Mireille Ducasse

Control-flow graphs (CFGs) of structured programs are well known to exhibit strong sparsity properties. Traditionally, this sparsity has been modeled using graph parameters such as treewidth and pathwidth, enabling the development of faster…

Programming Languages · Computer Science 2026-02-10 Xuran Cai , Amir Goharshady , S Hitarth , Chun Kit Lam

There is growing interest in graph pattern mining (GPM) problems such as motif counting. GPM systems have been developed to provide unified interfaces for programming algorithms for these problems and for running them on parallel systems.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-01-22 Xuhao Chen , Roshan Dathathri , Gurbinder Gill , Keshav Pingali

GPT-5, a state of the art large language model from OpenAI, demonstrates strong performance in widely used programming languages such as Python, C++, and Java; however, its ability to operate in low resource or less commonly used languages…

Programming Languages · Computer Science 2026-02-13 Minda Li , Bhaskar Krishnamachari

Understanding the behavior of software in execution is a key step in identifying and fixing performance issues. This is especially important in high performance computing contexts where even minor performance tweaks can translate into large…

Over the lifetime of a computing task, determining the maximum usage of random-access memory (RAM) on both the motherboard and on a graphical processing unit (GPU), as well as the utilization percentage of the central processing unit (CPU)…

Performance · Computer Science 2025-06-27 Erik D. Huckvale , Hunter N. B. Moseley

The motivation for this work stems from the problem of scheduling requests for flow at supply points along an automated network of open-water channels. The off-take flows are rigid-profile inputs to the system dynamics. In particular, the…

Optimization and Control · Mathematics 2021-01-01 Adair Lang , Michael Cantoni , Farhad Farokhi , Iman Shames

We present Piko, a framework for designing, optimizing, and retargeting implementations of graphics pipelines on multiple architectures. Piko programmers express a graphics pipeline by organizing the computation within each stage into…

Graphics · Computer Science 2022-07-19 Anjul Patney , Stanley Tzeng , Kerry A. Seitz , John D. Owens

Subgraph matching is a core operation in graph analytics, supporting a broad spectrum of applications from social network analysis to bioinformatics. Recent GPU-based approaches accelerate subgraph matching by leveraging parallelism but…

Databases · Computer Science 2026-04-14 Weitian Chen , Shixuan Sun , Cheng Chen , Yongmin Hu , Yingqian Hu , Minyi Guo

Domain-specific languages (DSLs) for visualization aim to facilitate visualization creation by providing abstractions that offload implementation and execution details from users to the system layer. Therefore, DSLs often execute…

Human-Computer Interaction · Computer Science 2023-09-20 Junran Yang , Alex Bäuerle , Dominik Moritz , Çağatay Demiralp

Graph Neural Networks (GNNs) have garnered a lot of recent interest because of their success in learning representations from graph-structured data across several critical applications in cloud and HPC. Owing to their unique compute and…

Embedded systems have proliferated in various consumer and industrial applications with the evolution of Cyber-Physical Systems and the Internet of Things. These systems are subjected to stringent constraints so that embedded software must…

Compiler phase ordering has a strong effect on program performance. Finding an effective sequence of passes is still a difficult task because the search space is large and execution time, code size and energy consumption often conflict.…

Programming Languages · Computer Science 2026-05-25 Amirhosein Sadr , Mehran Alidoost Nia

In this work, we collect data from runs of Krylov subspace methods and pipelined Krylov algorithms in an effort to understand and model the impact of machine noise and other sources of variability on performance. We find large variability…

Mathematical Software · Computer Science 2021-03-24 Hannah Morgan , Patrick Sanan , Matthew G. Knepley , Richard Tran Mills

Cyber security attacks have become increasingly complex over time, with various phases of their kill chain, involving binaries, scripts, documents, executed commands, vulnerabilities, or network traffic. We propose a tool, GView, that is…

Cryptography and Security · Computer Science 2024-04-16 Raul Zaharia , Dragoş Gavriluţ , Gheorghiţă Mutu , Dorel Lucanu

Artificial Intelligence (AI) applications, such as Large Language Models, are primarily driven and executed by Graphics Processing Units (GPUs). These GPU programs (kernels) consume substantial amounts of energy, yet software developers…

Software Engineering · Computer Science 2026-01-21 Saurabhsingh Rajput , Alexander Brandt , Vadim Elisseev , Tushar Sharma