paper:doi-10-1145-1101815-1101818The impact of software engineering research on modern programming languages
Original abstract (expand)
Software engineering research and programming language design have enjoyed a symbiotic relationship, with traceable impacts since the 1970s, when these areas were first distinguished from one another. This report documents this relationship by focusing on several major features of current programming languages: data and procedural abstraction, types, concurrency, exceptions, and visual programming mechanisms. The influences are determined by tracing references in publications in both fields, obtaining oral histories from language designers delineating influences on them, and tracking cotemporal research trends and ideas as demonstrated by workshop topics, special issue publications, and invited talks in the two fields. In some cases there is conclusive data supporting influence. In other cases, there are circumstantial arguments (i.e., cotemporal ideas) that indicate influence. Using this approach, this study provides evidence of the impact of software engineering research on modern programming language design and documents the close relationship between these two fields.
Related work— refs + corpus + external arXiv
Cited / in-corpus / arXiv badges show which signals surfaced each row. Multi-source rows weighted higher.
- Agentic AI Software Engineers: Programming with TrustCorina Pasareanu, Michael Pradel, Baishakhi Ray Abhik Roychoudhury2025≈ 68%
- Toward Agentic Software Engineering Beyond Code: Framing Vision, Values, and VocabularyRashina Hoda2026≈ 68%
- A Research Agenda on Agents and Software Engineering: Outcomes from the Rio A2SE SeminarHenry Muccini, Karthik Vaidhyanathan, Marcos Kalinowski, Michele Albano, Antonio Pedro Santos Alves, Renato Cerqueira, Mateus Devino, Matteo Esposito, Rodrigo Falc\~ao, Vinicius Henning, Foutse Khomh, Valentina Lenarduzzi, Qinghua Lu, Mat\'ias Mart\'inez, Henrique Mello, Daniel Mendez, Lucas Romao Davide Taibi2026≈ 67%
- ≈ 67%
- Reproducible, Explainable, and Effective Evaluations of Agentic AI for Software EngineeringAndr\'e Storhaug Jingyue Li2026≈ 66%
- Survey in Characterizing Semantic ChangeMarcos Da Silveira, C\'edric Pruski Jader Martins Camboim de S\'a2026≈ 65%
- Advancing the Scientific Method with Large Language Models: From Hypothesis to DiscoverySumeer A. Khan, Adnan Mahmud, Huck Yang, Alexander Lavin, Michael Levin, Jeremy Frey, Jared Dunnmon, James Evans, Alan Bundy, Saso Dzeroski, Jesper Tegner, Hector Zenil Yanbo Zhang2025≈ 64%
- Individual and Combined Effects of English as a Second Language and Typos on LLM PerformanceYutong Yang, Prisha Sheth, Weixuan Dong, Mingjiao Diao, Xinru Zhu, Nikhil Banga, Oscar Melendez, Arnav Sharma, Minda Zhao, Marina Lin, and Mengyu Wang Serena Liu2026≈ 64%
- Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI AgentsShuvendu K. Lahiri2026≈ 64%
- Technical Dimensions of Programming Systemsin corpus2023≈ 64%
- The Rise of AI Teammates in Software Engineering (SE) 3.0: How Autonomous Coding Agents Are Reshaping Software EngineeringHaoxiang Zhang, Ahmed E. Hassan Hao Li2025≈ 64%
- "I'm Not Reading All of That": Understanding Software Engineers' Level of Cognitive Engagement with Agentic Coding AssistantsLheane Marie Dizon, Patricia Nicole Monderin, Emily Kuang Carlos Rafael Catalan2026≈ 64%
- Free and Open-Source Software is not an Emerging Property but Rather the Result of Studied DesignPaolo Magrassi2010≈ 63%
- AI, Meet Human: Learning Paradigms for Hybrid Decision Making SystemsRoberto Pellungrini, Mattia Setzu, Fosca Giannotti and Dino Pedreschi Clara Punzi2026≈ 63%
- ≈ 63%
- Artificially intelligent agents in the social and behavioral sciences: A history and outlookMilena Tsvetkova Petter Holme2025≈ 63%
- ≈ 59%
- Towards a theory of conceptual design for softwarein corpus2015≈ 59%
- ≈ 58%
- ≈ 57%
- ≈ 57%
- ≈ 57%
- The Problem with Christopher Alexanderin corpus2020≈ 57%
- ≈ 56%
- Interpreting Language Model Parametersin corpus2026≈ 56%
- Mechanistic Knobs in LLMs: Retrieving and Steering High-Order Semantic Features via Sparse Autoencodersin corpus2026≈ 56%
- Verbalized Eval Awareness Inflates Measured Safetyin corpus2026≈ 56%
- ≈ 55%
- Opening the Hood of a Word Processorin corpus1984≈ 55%
Similar preprints — Semantic Scholar
Cited by (1)
- Technical Dimensions of Programming Systems
Programming systems research has lacked a common analytic vocabulary comparable to what exists for programming languages, leaving systems like Smalltalk, UNIX, HyperCard, and Jupyter evaluable only th