Latest Articles for Software Development

Programming Languages Making Debugging Easier with Visualization

Visualizing functional programs can simplify the debugging process for programmers.

John Whitington, Tom Ridge

2025-06-01T18:40:42+00:00 ― 7 min read

Logic in Computer Science Understanding Parametricity in Programming Languages

Learn how parametricity impacts programming and the challenges with GADTs.

Pierre Cagne, Patricia Johann

2025-06-01T18:01:12+00:00 ― 5 min read

Artificial Intelligence Balancing Research with WLPlan

WLPlan simplifies the integration of planning and learning for researchers.

Dillon Z. Chen

2025-06-01T17:29:36+00:00 ― 6 min read

Cryptography and Security Addressing Memory Safety in IoT Devices

Examining risks and solutions for memory safety in IoT devices.

Vadim Safronov, Ionut Bostan, Nicholas Allott

2025-06-01T11:18:18+00:00 ― 6 min read

Databases The Shift to Disaggregated Database Systems

Disaggregated systems enhance database performance and efficiency by separating resources.

Shahram Ghandeharizadeh, Philip A. Bernstein, Dhruba Borthakur

2025-06-01T09:11:54+00:00 ― 6 min read

Databases CAMP: A New Approach to Memory Management

CAMP improves memory use in apps, ensuring smooth operations.

Shahram Ghandeharizadeh, Sandy Irani, Jenny Lam

2025-06-01T08:48:12+00:00 ― 6 min read

Distributed, Parallel, and Cluster Computing Boosting LLM Performance with CPU Offloading

A new method improves large language model efficiency by sharing tasks between GPU and CPU.

Xuanlin Jiang, Yang Zhou, Shiyi Cao

2025-06-01T06:18:06+00:00 ― 3 min read

Cryptography and Security Advancing Software Security with AI Solutions

AI is transforming how we address software vulnerabilities effectively.

Yuntong Zhang, Jiawei Wang, Dominic Berzin

2025-06-01T05:30:42+00:00 ― 6 min read

Software Engineering Addressing Bugs in Quantum Programming

A look at methods for detecting bugs in quantum software.

Naoto Sato, Ryota Katsube

2025-06-01T03:34:09+00:00 ― 8 min read

Graphics Simplifying Fluid Flow in Animation

A new tool makes controlling fluid motion in animations easier for artists.

Ryusuke Sugimoto, Jeff Lait, Christopher Batty

2025-06-01T01:58:56+00:00 ― 5 min read

Hardware Architecture Streamlining Circuit Design with AssertLLM

AssertLLM simplifies assertion generation for circuit verification, improving speed and quality.

Zhiyuan Yan, Wenji Fang, Mengming Li

2025-05-31T23:11:30+00:00 ― 7 min read

Computation and Language Counterfactual Explanations in Text Classifiers

A look at how counterfactual explanations improve AI text classifiers.

Stephen McAleese, Mark Keane

2025-05-31T19:06:36+00:00 ― 8 min read

Machine Learning Making Large Language Models Smaller and Faster

Learn about quantization and its impact on language models.

Eldar Kurtic, Alexandre Marques, Shubhra Pandit

2025-05-31T14:53:48+00:00 ― 6 min read

Machine Learning A Fresh Approach to Creating DAGs

New model simplifies the creation of directed acyclic graphs.

Mufei Li, Viraj Shitole, Eli Chien

2025-05-31T14:06:24+00:00 ― 5 min read

Software Engineering Can Large Language Models Help in Software Verification?

Investigating the role of LLMs in generating software specifications for verification.

Marilyn Rego, Wen Fan, Xin Hu

2025-05-31T13:58:30+00:00 ― 6 min read

Software Engineering The Evolving Role of Prompt Engineering with Advanced Models

Assessing prompt engineering's relevance with new reasoning models.

Guoqing Wang, Zeyu Sun, Zhihao Gong

2025-05-31T08:07:48+00:00 ― 7 min read

Instrumentation and Detectors Advancements in Beamline Tuning with Mamba

Mamba simplifies beamline tuning processes, enhancing scientific experiments.

Peng-Cheng Li, Xiao-Xue Bi, Zhen Zhang

2025-05-31T00:57:24+00:00 ― 6 min read

Software Engineering Using AI to Improve Dafny Program Verification

Combining AI with Dafny to simplify software verification processes.

Gabriel Poesia, Chloe Loughridge, Nada Amin

2025-05-31T00:31:03+00:00 ― 7 min read

Computer Vision and Pattern Recognition Innovating Image Compression for Faster Sharing

A new method improves image compression speed and quality.

Jun-Hyuk Kim, Seungeon Kim, Won-Hee Lee

2025-05-30T23:38:51+00:00 ― 5 min read

Computation and Language Efficient Multi-task Learning Systems

Discover a new framework that improves multi-task learning efficiency and reduces costs.

Yincen Qu, Chao Ma, Xiangying Dai

2025-05-30T21:41:24+00:00 ― 7 min read

Software Engineering The Role of Assurance Cases in Research Software

Assurance Cases ensure software reliability, safety, and user clarity.

W. Spencer Smith, Jingyi Lin

2025-05-30T13:51:36+00:00 ― 5 min read

Infectious Diseases (except HIV/AIDS)Automating Antibiotic Interaction Analysis

New software improves the study of antibiotic interactions using deep learning.

Erik Hallström, E. Hallström, N. Fatsis-Kavalopoulos

2025-05-30T08:33:54+00:00 ― 5 min read

Programming Languages Simplifying Loop Analysis with LoopSCC

Learn how LoopSCC simplifies complex loop analysis for better software testing.

Kai Zhu, Chenkai Guo, Kuihao Yan

2025-05-30T04:56:33+00:00 ― 6 min read

Multiagent Systems Improving AI Communication with DroidSpeak

DroidSpeak speeds up interactions between AI agents for better efficiency.

Yuhan Liu, Esha Choukse, Shan Lu

2025-05-30T03:25:12+00:00 ― 6 min read

Software Engineering Detecting AI-Generated Code: Current Challenges and Future Directions

A look into the difficulties of identifying AI-generated code and improvements ahead.

Hyunjae Suh, Mahan Tafreshipour, Jiawei Li

2025-05-29T18:04:03+00:00 ― 6 min read

Cryptography and Security Speeding Up Security Controls with AI

Using Generative AI to create security controls in minutes, not days.

Chen Ling, Mina Ghashami, Vianne Gao

2025-05-29T17:24:54+00:00 ― 8 min read

Computation and Language Addressing Out-of-Context Responses in AI

Learn about RAGulator's role in detecting OOC in AI outputs.

Ian Poey, Jiajun Liu, Qishuai Zhong

2025-05-29T09:35:06+00:00 ― 6 min read

Computation GephiForR: Bridging R and Network Visualization

GephiForR enhances network analysis in R with improved visualization features.

Julia Manso

2025-05-29T05:20:16+00:00 ― 7 min read

Computers and Society Empowering Students Through Real-World Projects

A student-led initiative providing hands-on software experience for future engineers.

Saheed Popoola, Vineela Kunapareddi, Hazem Said

2025-05-29T02:37:30+00:00 ― 9 min read

Software Engineering The Energy Cost of Code Helpers

Examining the energy use of coding assistants like GitHub Copilot.

Tristan Coignion, Clément Quinton, Romain Rouvoy

2025-05-29T02:24:27+00:00 ― 6 min read

Networking and Internet Architecture TraDE: Revolutionizing Microservice Scheduling

Discover how TraDE ensures efficient microservice management amidst changing demands.

Ming Chen, Muhammed Tawfiqul Islam, Maria Rodriguez Read

2025-05-29T01:06:09+00:00 ― 6 min read

Machine Learning Faster AI Conversations with GPT Semantic Cache

A new tech system speeds up AI responses and saves costs.

Sajal Regmi, Chetan Phakami Pun

2025-05-28T23:08:42+00:00 ― 7 min read

Computation and Language CodeLutra: A New Approach to Code Generation

CodeLutra teaches models to learn from their successes and failures.

Leitian Tao, Xiang Chen, Tong Yu

2025-05-28T20:06:00+00:00 ― 7 min read

Computation and Language SuffixDecoding: Speeding Up Language Models

A look at SuffixDecoding and its impact on language model efficiency.

Gabriele Oliaro, Zhihao Jia, Daniel Campos

2025-05-28T14:13:39+00:00 ― 5 min read

Numerical Analysis Floating-Point Summation: The Hidden Challenges

Explore how floating-point summation affects accuracy in computations.

Peichen Xie, Yanjie Gao, Jilong Xue

2025-05-28T11:10:05+00:00 ― 6 min read

Instrumentation and Methods for Astrophysics A Look at Magritte: A Tool for Stellar Analysis

Magritte helps scientists interpret spectral lines from distant cosmic objects.

Thomas Ceulemans, Frederik De Ceuster, Leen Decin

2025-05-28T09:30:06+00:00 ― 7 min read

Logic in Computer Science Introducing Functional Machine Calculus in Programming

A new approach to coding that boosts flexibility and error management.

Willem Heijltjes

2025-05-28T04:26:24+00:00 ― 6 min read

Software Engineering Mint: A New Way to Handle Tracing Data

Mint captures and manages tracing data efficiently for better insights.

Haiyu Huang, Cheng Chen, Kunyi Chen

2025-05-28T04:13:21+00:00 ― 7 min read

Software Engineering The Hidden Value of Weak Ties in Software Development

Weak connections can spark innovation in software projects.

Hongbo Fang, Patrick Park, James Evans

2025-05-27T13:25:57+00:00 ― 7 min read

Computation and Language Assessing Code Generability: A New Approach

We examine how to check if coding questions can be answered effectively.

Geonmin Kim, Jaeyeon Kim, Hancheol Park

2025-05-27T10:23:15+00:00 ― 6 min read