English
Related papers

Related papers: DSL-driven Integration of HTTP Services in DIME

200 papers

Domain-specific languages (DSLs) play a crucial role in resolving internal dependencies across enterprises and boosts their upfront business management processes. Yet, a lot of development is needed to build modelling frameworks which…

Software Engineering · Computer Science 2025-09-09 Heerok Banerjee

Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code…

Programming Languages · Computer Science 2023-07-26 Abhiroop Sarkar , Robert Krook , Alejandro Russo , Koen Claessen

Large language model (LLM) services are mostly centralized, leading to scalability bottlenecks and underutilization of substantial scattered GPU resources. While decentralization offers a promising alternative, existing frameworks primarily…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-25 Huanyu Wang , Ziyu Xia , Zhuoming Chen , Beidi Chen

Proceedings of the Second International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'11), held in conjunction with the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011),…

Robotics · Computer Science 2012-12-14 Ulrik Pagh Schultz , Serge Stinckwich

Creating suitable diagrams for technical and scientific publications is challenging and time-consuming, as manual control over the layout is required to communicate information effectively. Existing diagramming tools usually allow modeling…

Software Engineering · Computer Science 2024-03-21 Niklas Krieger , Sandro Speth , Steffen Becker

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we…

Software Engineering · Computer Science 2011-07-06 Suzana Andova , Mark van den Brand , Luc Engelen

Deep learning software demands reliability and performance. However, many of the existing deep learning frameworks are software libraries that act as an unsafe DSL in Python and a computation graph interpreter. We present DLVM, a design and…

Programming Languages · Computer Science 2018-02-06 Richard Wei , Lane Schwartz , Vikram Adve

Our work is at the crossroads of two categories of technologies. On the one hand, omnichannel digit services, to address the needs of users in the most seamless way. On the other hand, low code approaches, to build simply even complex…

Software Engineering · Computer Science 2022-11-08 Antoine Aamarcha , Martin Caussanel , Hadrien Lanneau , Kevin Mege , Florian Peyron

We present a novel model-driven approach for testing RESTful applications. We introduce a (i) domain-specific language for OpenAPI specifications and (ii) a tool to support our methodology. Our DSL is inspired by session types and enables…

Software Engineering · Computer Science 2024-08-06 Christian Bartolo Burlò , Adrian Francalanza , Alceste Scalas , Emilio Tuosto

We present DAPIP, a Programming-By-Example system that learns to program with APIs to perform data transformation tasks. We design a domain-specific language (DSL) that allows for arbitrary concatenations of API outputs and constant…

Artificial Intelligence · Computer Science 2017-04-17 Surya Bhupatiraju , Rishabh Singh , Abdel-rahman Mohamed , Pushmeet Kohli

The GCC free compiler is a very large software, compiling source in several languages for many targets on various systems. It can be extended by plugins, which may take advantage of its power to provide extra specific functionality…

Programming Languages · Computer Science 2011-09-06 Basile Starynkevitch

Jjodel is a cloud-based reflective platform designed to address the challenges of Model-Driven Engineering (MDE), particularly the cognitive complexity and usability barriers often encountered in existing model-driven tools. This article…

Software Engineering · Computer Science 2025-02-14 Antonio Bucchiarone , Juri Di Rocco , Damiano Di Vincenzo , Alfonso Pierantonio

The advent of large language models (LLMs) has paved the way for a new era of programming tools with both significant capabilities and risks, as the generated code lacks guarantees of correctness and reliability. Developers using LLMs…

Programming Languages · Computer Science 2025-01-07 Kyla H. Levin , Kyle Gwilt , Emery D. Berger , Stephen N. Freund

In today's world of Web application development, programmers are commonly called upon to use the Hypertext Markup Language (HTML) as a programming language, something for which it was never intended and for which it is woefully inadequate.…

Software Engineering · Computer Science 2014-05-13 John Francisco , Victor Sadikov

This article introduces a model-driven engineering (MDE) integrated development environment (IDE) for Data-Intensive Cloud Applications (DIA) with iterative quality enhancements. As part of the H2020 DICE project (ICT-9-2014, id 644869), a…

Software Engineering · Computer Science 2017-09-20 Marc Gil , Christophe Joubert , Ismael Torres

We study the problem of synthesizing domain-specific languages (DSLs) for few-shot learning in symbolic domains. Given a base language and instances of few-shot learning problems, where each instance is split into training and testing…

Programming Languages · Computer Science 2025-08-27 Paul Krogmeier , P. Madhusudan

Large Language Models (LLMs) exhibit a unique phenomenon known as emergent abilities, demonstrating adeptness across numerous tasks, from text summarization to code generation. While these abilities open up novel avenues in software design…

Programming Languages · Computer Science 2023-12-29 Katsumi Okuda , Saman Amarasinghe

Model-driven engineering (MDE) simplifies software development through abstraction, yet challenges such as time constraints, incomplete domain understanding, and adherence to syntactic constraints hinder the design process. This paper…

Software Engineering · Computer Science 2024-10-17 Meriem Ben Chaaben , Lola Burgueño , Istvan David , Houari Sahraoui

Model-Driven Engineering (MDE) has seen significant advancements with the integration of Machine Learning (ML) and Deep Learning (DL) techniques. Building upon the groundwork of previous investigations, our study provides a concise overview…

Software Engineering · Computer Science 2024-10-24 Juri Di Rocco , Davide Di Ruscio , Claudio Di Sipio , Phuong T. Nguyen , Riccardo Rubei

This paper presents a Domain Specific Language (DSL) for generically describing cyber attacks, agnostic to specific system-under-test(SUT). The creation of the presented DSL is motivated by an automotive use case. The concepts of the DSL…

Cryptography and Security · Computer Science 2021-08-20 Christian Wolschke , Stefan Marksteiner , Tobias Braun , Markus Wolf