English
Related papers

Related papers: The SeaLion has Landed: An IDE for Answer-Set Prog…

200 papers

Programming assistants have reshaped the experience of programming into one where programmers spend less time writing and more time critically examining code. In this paper, we explore how programming assistants can be extended to…

Human-Computer Interaction · Computer Science 2024-03-06 Litao Yan , Alyssa Hwang , Zhiyuan Wu , Andrew Head

The recent development on large language models makes automatically constructing small programs possible. It thus has the potential to free software engineers from low-level coding and allow us to focus on the perhaps more interesting parts…

Software Engineering · Computer Science 2024-01-03 Simiao Zhang , Jiaping Wang , Guoliang Dong , Jun Sun , Yueling Zhang , Geguang Pu

Context. Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In particular, interactive pipelines, which process events in a…

Programming Languages · Computer Science 2018-04-20 Gabriël Konat , Michael J. Steindorfer , Sebastian Erdweg , Eelco Visser

Scientists across all disciplines share a common challenge: the divide between their theoretical knowledge and the specialized skills and time needed to build interactive tools to communicate this expertise. While large language models…

The prevalence of security vulnerabilities has prompted companies to adopt static application security testing (SAST) tools for vulnerability detection. Nevertheless, these tools frequently exhibit usability limitations, as their generic…

While learning programming languages is crucial for software engineers, mastering the necessary tools is equally important. To facilitate this, JetBrains recently released the JetBrains Academy plugin, which customizes the IDE for learners,…

Software Engineering · Computer Science 2025-11-19 Anastasiia Birillo , Ilya Vlasov , Katsiaryna Dzialets , Hieke Keuning , Timofey Bryksin

We introduce AI2Apps, a Visual Integrated Development Environment (Visual IDE) with full-cycle capabilities that accelerates developers to build deployable LLM-based AI agent Applications. This Visual IDE prioritizes both the Integrity of…

Artificial Intelligence · Computer Science 2024-04-09 Xin Pang , Zhucong Li , Jiaxiang Chen , Yuan Cheng , Yinghui Xu , Yuan Qi

ECLAIR is a Prolog-based prototype system aiming to provide a functionally complete environment for the study, development and evaluation of programming language analysis and implementation tools. In this paper, we sketch the overall…

Programming Languages · Computer Science 2007-11-06 Roberto Bagnara , Patricia Hill , Enea Zaffanella

In recent years, programming has witnessed a shift towards using standard libraries as a black box. However, there has not been a synchronous development of tools that can help demonstrate the working of such libraries in general programs,…

Computers and Society · Computer Science 2021-01-29 Aman Bansal , Preey Shah , Sahil Shah

This paper describes a strategy for developing a high performance and feature-rich IDE for an evolving smart contract language ecosystem. Our target is Move, a programming language for the Sui smart contracts platform. The strategy we chose…

Software Engineering · Computer Science 2026-05-19 Adam Welc , Todd Nowacki , Dario Russi , Cameron Swords , Timothy A. K. Zakian

Recent progress in logic programming (e.g., the development of the Answer Set Programming paradigm) has made it possible to teach it to general undergraduate and even high school students. Given the limited exposure of these students to…

Other Computer Science · Computer Science 2017-07-07 Elias Marcopoulos , Christian Reotutar , Yuanlin Zhang

We introduce Merlion, an open-source machine learning library for time series. It features a unified interface for many commonly used models and datasets for anomaly detection and forecasting on both univariate and multivariate time series,…

The rapid expansion of artificial intelligence and machine learning (ML) applications has intensified the demand for integrated environments that unify model development, deployment, and monitoring. Traditional Integrated Development…

Software Engineering · Computer Science 2025-11-04 Jiawei Jin , Yingxin Su , Xiaotong Zhu

This is the study that presents an AI-Python-based chatbot that helps students to learn programming by demonstrating solutions to such problems as debugging errors, solving syntax problems or converting abstract theoretical concepts to…

Software Engineering · Computer Science 2025-09-26 Sayed Mahbub Hasan Amiri , Md Mainul Islam

LLM chatbot interfaces allow students to get instant, interactive assistance with homework, but doing so carelessly may not advance educational objectives. In this study, an interactive homework help system based on DeepSeek R1 is developed…

Human-Computer Interaction · Computer Science 2025-03-13 Rajan Das Gupta , Md. Tanzib Hosain , M. F. Mridha , Salah Uddin Ahmed

Large language models (LLMs) have advanced Text-to-SQL, yet existing solutions still fall short of system-level reliability. The limitation is not merely in individual modules -- e.g., schema linking, reasoning, and verification -- but more…

Databases · Computer Science 2026-04-06 Boyan Li , Chong Chen , Zhujun Xue , Yinan Mei , Yuyu Luo

Spoken Language Understanding (SLU) is one of the core components of a task-oriented dialogue system, which aims to extract the semantic meaning of user queries (e.g., intents and slots). In this work, we introduce OpenSLU, an open-source…

Computation and Language · Computer Science 2023-05-18 Libo Qin , Qiguang Chen , Xiao Xu , Yunlong Feng , Wanxiang Che

The availability of Large Language Models (LLMs) which can generate code, has made it possible to create tools that improve developer productivity. Integrated development environments or IDEs which developers use to write software are often…

Software Engineering · Computer Science 2024-10-23 Priyam Sahoo , Saurabh Pujar , Ganesh Nalawade , Richard Gebhardt , Louis Mandel , Luca Buratti

We present Scallop, a language which combines the benefits of deep learning and logical reasoning. Scallop enables users to write a wide range of neurosymbolic applications and train them in a data- and compute-efficient manner. It achieves…

Programming Languages · Computer Science 2023-04-12 Ziyang Li , Jiani Huang , Mayur Naik

Scikit-learn is an increasingly popular machine learning li- brary. Written in Python, it is designed to be simple and efficient, accessible to non-experts, and reusable in various contexts. In this paper, we present and discuss our design…