English
Related papers

Related papers: Converter: A CEAML Reasoner Python package to Stre…

200 papers

Accelerator design languages (ADLs), high-level languages that compile to hardware units, help domain experts quickly design efficient application-specific hardware. ADL compilers optimize datapaths and convert software-like control flow…

Programming Languages · Computer Science 2025-11-26 Ayaka Yorihiro , Griffin Berlstein , Pedro Pontes García , Kevin Laeufer , Adrian Sampson

Running complex sets of machine learning experiments is challenging and time-consuming due to the lack of a unified framework. This leaves researchers forced to spend time implementing necessary features such as parallelization, caching,…

Machine Learning · Computer Science 2023-11-22 Zac Pullar-Strecker , Xinglong Chang , Liam Brydon , Ioannis Ziogas , Katharina Dost , Jörg Wicker

With recent advances in the development of more powerful quantum computers, the re-search area of quantum software engineering is emerging. Quantum software plays a critical role in exploiting the full potential of quantum computing…

Software Engineering · Computer Science 2022-09-13 Muhammad Azeem Akbar , Saima Rafi , Arif Ali Khan

Industry demands are growing for hyper-distributed applications that span from the cloud to the edge in domains such as smart manufacturing, transportation, and agriculture. Yet today's solutions struggle to meet these demands due to…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-12-10 Chinmaya Kumar Dehury , Lauri Lovén , Praveen Kumar Donta , Ilir Murturi , Schahram Dustdar

Kubernetes has been for a number of years the default cloud orchestrator solution across multiple application and research domains. As such, optimizing the energy efficiency of Kubernetes-deployed workloads is of primary interest towards…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-16 Bjorn Pijnacker , Brian Setz , Vasilios Andrikopoulos

Data contamination presents a critical barrier preventing widespread industrial adoption of advanced software engineering techniques that leverage code language models (CLMs). This phenomenon occurs when evaluation data inadvertently…

Software Engineering · Computer Science 2024-11-19 Jialun Cao , Songqiang Chen , Wuqi Zhang , Hau Ching Lo , Shing-Chi Cheung

If we can automatically derive compiler optimizations, we might be able to sidestep some of the substantial engineering challenges involved in creating and maintaining a high-quality compiler. We developed Souper, a synthesizing…

Programming Languages · Computer Science 2018-04-09 Raimondas Sasnauskas , Yang Chen , Peter Collingbourne , Jeroen Ketema , Gratian Lup , Jubi Taneja , John Regehr

Interfaces that support multi-lingual content can reach a broader community. We wish to extend the reach of CITIDEL, a digital library for computing education materials, to support multiple languages. By doing so, we hope that it will…

Human-Computer Interaction · Computer Science 2007-05-23 K. McDevitt , M. A. Pérez-Quiñones , O. I. Padilla-Falto

Recent trend towards increasing large machine learning models require both training and inference tasks to be distributed. Considering the huge cost of training these models, it is imperative to unlock optimizations in computation and…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-29 Abhinav Jangda , Jun Huang , Guodong Liu , Amir Hossein Nodehi Sabet , Saeed Maleki , Youshan Miao , Madanlal Musuvathi , Todd Mytkowicz , Olli Sarikivi

The machine learning and data science community has made significant while dispersive progress in accelerating transformer-based large language models (LLMs), and one promising approach is to replace the original causal attention in a…

Machine Learning · Computer Science 2025-01-07 Jiaping Wang , Simiao Zhang , Qiao-Chu He , Yifan Chen

The Use Case Maps (UCM) scenario notation is applicable to many requirements engineering activities. However, other scenario notations, such as Message Sequence Charts (MSC) and UML Sequence Diagrams (SD), have shown to be better suited for…

Software Engineering · Computer Science 2010-12-14 Daniel Amyot , Ali Echihabi , Yong He

Recent leaps in large language models (LLMs) caused a revolution in programming tools (like GitHub Copilot) that can help with code generation, debugging, and even performance optimization. In this paper, we focus on the capabilities of the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-21 Matyáš Brabec , Jiří Klepl , Michal Töpfer , Martin Kruliš

With the potential of quantum algorithms to solve intractable classical problems, quantum computing is rapidly evolving and more algorithms are being developed and optimized. Expressing these quantum algorithms using a high-level language…

Quantum Physics · Physics 2020-05-28 N. Khammassi , I. Ashraf , J. v. Someren , R. Nane , A. M. Krol , M. A. Rol , L. Lao , K. Bertels , C. G. Almudever

The serverless platform allows a customer to effectively use cloud resources and pay for the exact amount of used resources. A number of dedicated open source and commercial cloud data management tools are available to handle the massive…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-21 Chinmaya Kumar Dehury , Pelle Jakovits , Satish Narayana Srirama , Giorgos Giotis , Gaurav Garg

Structural equation modelling (SEM) is a multivariate statistical technique for estimating complex relationships between observed and latent variables. Although numerous SEM packages exist, each of them has limitations. Some packages are…

Applications · Statistics 2021-06-02 Meshcheryakov Georgy , Igolkina Anna

To take full advantage of a specific hardware target, performance engineers need to gain control on compilers in order to leverage their domain knowledge about the program and hardware. Yet, modern compilers are poorly controlled, usually…

Programming Languages · Computer Science 2024-09-10 Martin Paul Lücke , Oleksandr Zinenko , William S. Moses , Michel Steuwer , Albert Cohen

Analyzing unstructured data has been a persistent challenge in data processing. Large Language Models (LLMs) have shown promise in this regard, leading to recent proposals for declarative frameworks for LLM-powered processing of…

Databases · Computer Science 2025-04-03 Shreya Shankar , Tristan Chambers , Tarak Shah , Aditya G. Parameswaran , Eugene Wu

Serverless computing is an approach to cloud computing that allows programmers to run serverless functions in response to external events. Serverless functions are priced at sub-second granularity, support transparent elasticity, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-05 Emily Herbert , Arjun Guha

Interfaces that support multi-lingual content can reach a broader community. We wish to extend the reach of CITIDEL, a digital library for computing education materials, to support multiple languages. By doing so, we hope that it will…

Human-Computer Interaction · Computer Science 2007-05-23 Kathleen McDevitt , Manuel A. Perez-Quinones , Olga I. Padilla-Falto

In this paper we present our open-source neural machine translation (NMT) toolkit called "Yet Another Neural Machine Translation Toolkit" abbreviated as YANMTT which is built on top of the Transformers library. Despite the growing…

Computation and Language · Computer Science 2021-08-26 Raj Dabre , Eiichiro Sumita