SearcharxivSearch

arXiv subjects

Saikat Mondal

Publications and source records attributed to Saikat Mondal.

At least 19 recordsLinked to original sources

IndicSafeEval: Safety Robustness of Large Language Models under Multilingual Persuasive Jailbreak Attacks

Large language models (LLMs) are increasingly used in multilingual settings, yet their safety is still evaluated primarily in English. This limits our understanding of how alignment failures manifest in low-resource and culturally diverse languages. We introduce IndicSafeEval, a persuasion-based jailbreak evaluation framework for Indian languages. Our benchmark combines ten safety critical content categories with six human-like persuasive strategies across four different Indian languages, such as Hindi, Bengali, Marathi and Punjabi, resulting in 7,200 adversarial prompts. We conduct a systematic black-box evaluation of several open-source LLMs to examine how their safety behaviour varies across languages, persuasion strategies, and risk categories. Our analysis shows that the model does not behave equally safely across all languages and prompt styles. Instead, safety performance depends strongly on both the languages used and the way a request is phrased using persuasive cues. We further observe that different risk categories exhibit different levels of vulnerability, with some types of harmful content being significantly more susceptible to persuasion-based jailbreaks than others. These findings reveal important limitations of current safety evaluations, which are largely English-centric, and underscore the need for multilingual and persuasion-aware benchmarking frameworks to more accurately assess real-world LLM safety. Our implementation is available at https://github.com/MonSaikat/IndicSafeEval. Warning: this paper contains example data that may be offensive or harmful.

cs.CL

Carrollian ABJM: Fermions and Supersymmetry

A natural approach for constructing a concrete example of flat space holography is to take the flat space limit of a well-understood example of AdS/CFT, such as the one relating M-theory in AdS$_4$ times an orbifolded 7-sphere to a certain three dimensional superconformal Chern-Simons-matter theory known as the ABJM theory living in the boundary of AdS$_4$. In particular, taking the flat space limit of the bulk corresponds to taking the speed of light $c$ to zero in the boundary, giving rise to a Carrollian superconformal theory. This limit is subtle to implement for fermions, however, since the Dirac algebra is sensitive to the spacetime metric and therefore takes a different form in Carrollian spacetimes than it does in Minkowski space. In fact, we show that there are four possible ways of realising Carrollian fermions, one of which arises at leading order in the $c\rightarrow0$ limit of relativistic fermions. In three dimensions, there is an additional complication that the minimal realisation of the Carrollian Dirac algebra requires $4\times4$ matrices rather than $2\times 2$ matrices familiar from the relativistic case. Nevertheless, we show that the $c\rightarrow0$ limit of the ABJM theory can be recast in terms of Carrollian Dirac matrices and enjoys and infinite-dimensional Carrollian superconformal symmetry whose bosonic subsector is the extended BMS$_4$ algebra encoding the asymptotic symmetries of four dimensional Minkowski space. This provides a concrete starting point for constructing a Carrollian gauge theory dual to M-theory in flat space.

hep-th

Carroll fermions, expansions and the lightcone

We investigate fermions on Carrollian manifolds. We complement previous intrinsic analysis by deriving Carrollian fermion actions from a relativistic Dirac theory via a systematic expansion in the speed of light ($c$). We then study relativistic fermions in light-cone coordinates and their connection to Carrollian fermions in one lower dimension. This follows from the recent observation that the Poincar\'e algebra, written in lightcone coordinates contains (two) co-dimension one Carroll sub-algebras. Our results establish a clear bridge between intrinsic Carrollian constructions, small $c$-expansion and light-cone dynamics. In the process, we understand why Carrollian fermions in $D$-dimensions have features that relate them to relativistic fermions in both $D$ and $(D+1)$ dimensions.

hep-th

Algorithm-Based Pipeline for Reliable and Intent-Preserving Code Translation with LLMs

Code translation, the automatic conversion of programs between languages, is a growing use case for Large Language Models (LLMs). However, direct one-shot translation often fails to preserve program intent, leading to errors in control flow, type handling, and I/O behavior. We propose an algorithm-based pipeline that introduces a language-neutral intermediate specification to capture these details before code generation. This study empirically evaluates the extent to which structured planning can improve translation accuracy and reliability relative to direct translation. We conduct an automated paired experiment - direct and algorithm-based to translate between Python and Java using five widely used LLMs on the Avatar and CodeNet datasets. For each combination (model, dataset, approach, and direction), we compile and execute the translated program and run the tests provided. We record compilation results, runtime behavior, timeouts (e.g., infinite loop), and test outcomes. We compute accuracy from these tests, counting a translation as correct only if it compiles, runs without exceptions or timeouts, and passes all tests. We then map every failed compile-time and runtime case to a unified, language-aware taxonomy and compare subtype frequencies between the direct and algorithm-based approaches. Overall, the Algorithm-based approach increases micro-average accuracy from 67.7% to 78.5% (10.8% increase). It eliminates lexical and token errors by 100%, reduces incomplete constructs by 72.7%, and structural and declaration issues by 61.1%. It also substantially lowers runtime dependency and entry-point failures by 78.4%. These results demonstrate that algorithm-based pipelines enable more reliable, intent-preserving code translation, providing a foundation for robust multilingual programming assistants.

cs.SE

Why Are AI Agent Involved Pull Requests (Fix-Related) Remain Unmerged? An Empirical Study

Autonomous coding agents (e.g., OpenAI Codex, Devin, GitHub Copilot) are increasingly used to generate fix-related pull requests (PRs) in real world software repositories. However, their practical effectiveness depends on whether these contributions are accepted and merged by project maintainers. In this paper, we present an empirical study of AI agent involved fix related PRs, examining both their integration outcomes, latency, and the factors that hinder successful merging. We first analyze 8,106 fix related PRs authored by five widely used AI coding agents from the AIDEV POP dataset to quantify the proportions of PRs that are merged, closed without merging, or remain open. We then conduct a manual qualitative analysis of a statistically significant sample of 326 closed but unmerged PRs, spending approximately 100 person hours to construct a structured catalog of 12 failure reasons. Our results indicate that test case failures and prior resolution of the same issues by other PRs are the most common causes of non integration, whereas build or deployment failures are comparatively rare. Overall, our findings expose key limitations of current AI coding agents in real world settings and highlight directions for their further improvement and for more effective human AI collaboration in software maintenance.

cs.SE

Human-Aligned Enhancement of Programming Answers with LLMs Guided by User Feedback

Large Language Models (LLMs) are widely used to support software developers in tasks such as code generation, optimization, and documentation. However, their ability to improve existing programming answers in a human-like manner remains underexplored. On technical question-and-answer platforms such as Stack Overflow (SO), contributors often revise answers based on user comments that identify errors, inefficiencies, or missing explanations. Yet roughly one-third of this feedback is never addressed due to limited time, expertise, or visibility, leaving many answers incomplete or outdated. This study investigates whether LLMs can enhance programming answers by interpreting and incorporating comment-based feedback. We make four main contributions. First, we introduce ReSOlve, a benchmark consisting of 790 SO answers with associated comment threads, annotated for improvement-related and general feedback. Second, we evaluate four state-of-the-art LLMs on their ability to identify actionable concerns, finding that DeepSeek achieves the best balance between precision and recall. Third, we present AUTOCOMBAT, an LLM-powered tool that improves programming answers by jointly leveraging user comments and question context. Compared to human revised references, AUTOCOMBAT produces near-human quality improvements while preserving the original intent and significantly outperforming the baseline. Finally, a user study with 58 practitioners shows strong practical value, with 84.5 percent indicating they would adopt or recommend the tool. Overall, AUTOCOMBAT demonstrates the potential of scalable, feedback-driven answer refinement to improve the reliability and trustworthiness of technical knowledge platforms.

cs.SE

The State of Open Science in Software Engineering Research: A Case Study of ICSE Artifacts

Replication packages are crucial for enabling transparency, validation, and reuse in software engineering (SE) research. While artifact sharing is now a standard practice and even expected at premier SE venues such as ICSE, the practical usability of these replication packages remain underexplored. In particular, there is a marked lack of studies that comprehensively examine the executability and reproducibility of replication packages in SE research. In this paper, we aim to fill this gap by evaluating 100 replication packages published in ICSE proceedings over the past decade (2015 - 2024). We assess the (1) executability of the replication packages, (2) efforts and modifications required to execute them, (3) challenges that prevent executability, and (4) reproducibility of the original findings for those that are executable. We spent approximately 650 person-hours in total to execute the artifacts and reproduce the study findings. Our analysis shows that only 40 of the 100 evaluated artifacts were fully executable. Among these, 32.5% ran without any modification. However, even executable artifacts required varying levels of effort: 17.5% required low effort, while 82.5% required moderate to high effort to execute successfully. We identified five common types of modifications and 13 challenges that lead to execution failure, encompassing environmental, documentation, and structural issues. Among the executable artifacts, only 35% (14 out of 40) reproduced the original results. These findings highlight a notable gap between artifact availability, executability, and reproducibility. Our study proposes three actionable guidelines to improve the preparation, documentation, and review of research artifacts, thereby strengthening the rigor and sustainability of open science practices in SE research.

cs.SE

Can We Trust the AI Pair Programmer? Copilot for API Misuse Detection and Correction

API misuse introduces security vulnerabilities, system failures, and increases maintenance costs, all of which remain critical challenges in software development. Existing detection approaches rely on static analysis or machine learning-based tools that operate post-development, which delays defect resolution. Delayed defect resolution can significantly increase the cost and complexity of maintenance and negatively impact software reliability and user trust. AI-powered code assistants, such as GitHub Copilot, offer the potential for real-time API misuse detection within development environments. This study evaluates GitHub Copilot's effectiveness in identifying and correcting API misuse using MUBench, which provides a curated benchmark of misuse cases. We construct 740 misuse examples, manually and via AI-assisted variants, using correct usage patterns and misuse specifications. These examples and 147 correct usage cases are analyzed using Copilot integrated in Visual Studio Code. Copilot achieved a detection accuracy of 86.2%, precision of 91.2%, and recall of 92.4%. It performed strongly on common misuse types (e.g., missing-call, null-check) but struggled with compound or context-sensitive cases. Notably, Copilot successfully fixed over 95% of the misuses it identified. These findings highlight both the strengths and limitations of AI-driven coding assistants, positioning Copilot as a promising tool for real-time pair programming and detecting and fixing API misuses during software development.

cs.SE

Signatures of emergent surface states across a displacive topological phase transition in Bi$_4$I$_4$

Topological phase transitions involving crystalline symmetry breaking provide a fertile ground to explore the interplay between symmetry, topology, and emergent quantum phenomena. Recently discovered quasi-one-dimensional topological material, Bi$_4$I$_4$, has been predicted to host topologically non-trivial gapless surfaces at high temperature, which undergo a finite temperature phase transition to a low temperature gapped phase. Here we present experimental signatures of this room temperature phase transition from a high-temperature $\beta$-phase with a surface state to a gapped $\alpha$-phase hosting hinge states. Using real-space current mapping and resistance fluctuation spectroscopy, we identify signatures of a displacive topological phase transition mediated by a first-order thermodynamic structural change. Near the emergence of $\beta$-phase, we observe pronounced telegraphic noise, indicating fluctuating phase domains with topological surface states. The spatially resolved current map reveals electron transport via the gapless surface states in the $\beta$-phase, which vanishes upon transitioning to the $\alpha$-phase with localized conduction channels (or hinge modes). Our experimental results, supported by first principles estimates and effective theory of a topological displacive phase transition, establish Bi$_4$I$_4$ as a candidate material showing intricate interplay of classical thermodynamic phase transitions with topological quantum phenomena.

cond-mat.str-el

Does Editing Improve Answer Quality on Stack Overflow? A Data-Driven Investigation

High-quality answers in technical Q&A platforms like Stack Overflow (SO) are crucial as they directly influence software development practices. Poor-quality answers can introduce inefficiencies, bugs, and security vulnerabilities, and thus increase maintenance costs and technical debt in production software. To improve content quality, SO allows collaborative editing, where users revise answers to enhance clarity, correctness, and formatting. Several studies have examined rejected edits and identified the causes of rejection. However, prior research has not systematically assessed whether accepted edits enhance key quality dimensions. While one study investigated the impact of edits on C/C++ vulnerabilities, broader quality aspects remain unexplored. In this study, we analyze 94,994 Python-related answers that have at least one accepted edit to determine whether edits improve (1) semantic relevance, (2) code usability, (3) code complexity, (4) security vulnerabilities, (5) code optimization, and (6) readability. Our findings show both positive and negative effects of edits. While 53.3% of edits improve how well answers match questions, 38.1% make them less relevant. Some previously broken code (9%) becomes executable, yet working code (14.7%) turns non-parsable after edits. Many edits increase complexity (32.3%), making code harder to maintain. Instead of fixing security issues, 20.5% of edits introduce additional issues. Even though 51.0% of edits optimize performance, execution time still increases overall. Readability also suffers, as 49.7% of edits make code harder to read. This study highlights the inconsistencies in editing outcomes and provides insights into how edits impact software maintainability, security, and efficiency that might caution users and moderators and help future improvements in collaborative editing systems.

cs.SE

Topological Phase Transition under Infinite Randomness

In clean and weakly disordered systems, topological and trivial phases having a finite bulk energy gap can transit to each other via a quantum critical point. In presence of strong disorder, both the nature of the phases and the associated criticality can fundamentally change. Here we investigate topological properties of a strongly disordered fermionic chain where the bond couplings are drawn from normal probability distributions which are defined by characteristic standard deviations. Using numerical strong disorder renormalization group methods along with analytical techniques, we show that the competition between fluctuation scales renders both the trivial and topological phases gapless with Griffiths like rare regions. Moreover, the transition between these phases is solely governed by the fluctuation scales, rather than the means, rendering the critical behavior to be determined by an infinite randomness fixed point with an irrational central charge. Our work points to a host of novel topological phases and atypical topological phase transitions which can be realized in systems under strong disorder.

cond-mat.dis-nn

The Carrollian Kaleidoscope

The Carroll group arises in the vanishing speed of light limit of the Poincar\'{e} group and was initially discarded as just a mathematical curiosity. However, recent developments have proved otherwise. Carroll and conformal Carroll symmetries are now ubiquitous, appearing in diverse physical phenomena starting from condensed matter physics to quantum gravity. This review aims to provide the reader a gateway into this fast-developing field. After an introduction and setting the stage with basics of the symmetry in question, we detail the construction of Carrollian and Carrollian Conformal field theories (CCFT). We then focus on applications. By far the most popular of these applications is in the context of the construction of holography in asymptotically flat spacetimes (AFS) in terms of a co-dimension one dual CCFT. We review the early work on AFS$_3$ /CCFT$_2$ before delving into an in-depth analysis for the construction of the dual to 4D AFS. Two other important sets of applications are in hydrodynamics and in condensed matter physics, which we discuss in detail. Carroll hydrodynamics is introduced as the $c\to 0$ limit of relativistic hydrodynamics first and then reconstructed from a symmetry based approach. Relations to ultrarelativistic flows and connections to the quark-gluon plasma are discussed with concrete examples of the Bjorken and Gubser flow models. In condensed matter applications, we cover connections to fractons, flat bands, and phase separation in Luttinger liquid models. To conclude, we give very brief outlines of other topics of interest including string theory and black hole horizons.

hep-th

Scalar fields and 3D Flat Space Cosmologies

Flat Space Cosmologies (FSC) are time-dependent solutions in Einstein gravity in three-dimensional (3D) spacetimes with zero cosmological constant. These are orbifolds of 3D flat space that have a cosmological horizon and can be thought of as analogs of the Banados-Tietelboim-Zanelli (BTZ) black holes of AdS$_3$. We study scalar perturbations about these FSC solutions and explore the spectrum of quasi-normal modes (QNMs) crucially treating the cosmological horizon as a hard wall and extending to complex momenta. We connect this intrinsic analysis with the flatspace limit of the corresponding analysis in the BTZ black hole. The FSC QNMs are then utilized to build the scalar one-loop partition function by methods pioneered by Denef, Hartnoll and Sachdev in various simplifying limits and compared with existing answers in the literature.

hep-th

GENCNIPPET: Automated Generation of Code Snippets for Supporting Programming Questions

Context: Software developers often ask questions on Technical Q&A forums like Stack Overflow (SO) to seek solutions to their programming-related problems (e.g., errors and unexpected behavior of code). Problem: Many questions miss required code snippets due to the lack of readily available code, time constraints, employer restrictions, confidentiality concerns, or uncertainty about what code to share. Unfortunately, missing but required code snippets prevent questions from getting prompt and appropriate solutions. Objective: We plan to introduce GENCNIPPET, a tool designed to integrate with SO's question submission system. GENCNIPPET will generate relevant code examples (when required) to support questions for their timely solutions. Methodology: We first downloaded the SO April 2024 data dump, which contains 1.94 million questions related to Python that have code snippets and 1.43 million questions related to Java. Then, we filter these questions to identify those that genuinely require code snippets using a state-of-the-art machine learning model. Next, we select questions with positive scores to ensure high-quality data. Our plan is to fine-tune Llama-3 models (e.g., Llama-3-8B), using 80% of the selected questions for training and 10% for validation. The primary reasons for choosing Llama models are their open-source accessibility and robust fine-tuning capabilities, which are essential for deploying a freely accessible tool. GENCNIPPET will be integrated with the SO question submission system as a browser plugin. It will communicate with the fine-tuned model to generate code snippets tailored to the target questions. The effectiveness of the generated code examples will be assessed using automatic evaluation against ground truth, user perspectives, and live (wild) testing in real-world scenarios.

cs.SE

From Questions to Insights: Exploring XAI Challenges Reported on Stack Overflow Questions

The lack of interpretability is a major barrier that limits the practical usage of AI models. Several eXplainable AI (XAI) techniques (e.g., SHAP, LIME) have been employed to interpret these models' performance. However, users often face challenges when leveraging these techniques in real-world scenarios and thus submit questions in technical Q&A forums like Stack Overflow (SO) to resolve these challenges. We conducted an exploratory study to expose these challenges, their severity, and features that can make XAI techniques more accessible and easier to use. Our contributions to this study are fourfold. First, we manually analyzed 663 SO questions that discussed challenges related to XAI techniques. Our careful investigation produced a catalog of seven challenges (e.g., disagreement issues). We then analyzed their prevalence and found that model integration and disagreement issues emerged as the most prevalent challenges. Second, we attempt to estimate the severity of each XAI challenge by determining the correlation between challenge types and answer metadata (e.g., the presence of accepted answers). Our analysis suggests that model integration issues is the most severe challenge. Third, we attempt to perceive the severity of these challenges based on practitioners' ability to use XAI techniques effectively in their work. Practitioners' responses suggest that disagreement issues most severely affect the use of XAI techniques. Fourth, we seek agreement from practitioners on improvements or features that could make XAI techniques more accessible and user-friendly. The majority of them suggest consistency in explanations and simplified integration. Our study findings might (a) help to enhance the accessibility and usability of XAI and (b) act as the initial benchmark that can inspire future research.

cs.SE

Emergent Carroll symmetry at phase separation in one-dimensional lattice systems

Asymptotic behavior of generic Tomonaga-Luttinger liquid in the vicinity of phase-separated regions is known to produce an instability where well-known relativistic Conformal Field Theory (CFT) techniques fail. In this paper, we introduce an analytic paradigm that provides a continuum description of this important issue. We show that there is an emergent Carrollian symmetry when phase separation is reached, and techniques of Carroll CFT, as opposed to its relativistic relative, are central to the understanding of the physics. We work with the analogous spinless fermionic system in this region and capture the transition across this phase separation. Our numerical results corroborate the density-density correlations intrinsically computed using Carroll CFT. We further test the framework in a number of lattice systems, namely the spinless and spinfull fermionic models with distinct microscopic content, and find the same scaling at the transition. We discuss the scope of the framework and broader perspective.

hep-th

Gender Disparities in Contributions, Leadership, and Collaboration: An Exploratory Study on Software Systems Research

Gender diversity enhances research by bringing diverse perspectives and innovative approaches. It ensures equitable solutions that address the needs of diverse populations. However, gender disparity persists in research where women remain underrepresented, which might limit diversity and innovation. Many even leave scientific careers as their contributions often go unnoticed and undervalued. Therefore, understanding gender-based contributions and collaboration dynamics is crucial to addressing this gap and creating a more inclusive research environment. In this study, we analyzed 2,000 articles published over the past decade in the Journal of Systems and Software (JSS). From these, we selected 384 articles that detailed authors' contributions and contained both female and male authors to investigate gender-based contributions. Our contributions are fourfold. First, we analyzed women's engagement in software systems research. Our analysis showed that only 32.74% of the total authors are women and female-led or supervised studies were fewer than those of men. Second, we investigated female authors' contributions across 14 major roles. Interestingly, we found that women contributed comparably to men in most roles, with more contributions in conceptualization, writing, and reviewing articles. Third, we explored the areas of software systems research and found that female authors are more actively involved in human-centric research domains. Finally, we analyzed gender-based collaboration dynamics. Our findings revealed that female supervisors tended to collaborate locally more often than national-level collaborations. Our study highlights that females' contributions to software systems research are comparable to those of men. Therefore, the barriers need to be addressed to enhance female participation and ensure equity and inclusivity in research.

cs.SE

Why Do Developers Engage with ChatGPT in Issue-Tracker? Investigating Usage and Reliance on ChatGPT-Generated Code

Large language models (LLMs) like ChatGPT have shown the potential to assist developers with coding and debugging tasks. However, their role in collaborative issue resolution is underexplored. In this study, we analyzed 1,152 Developer-ChatGPT conversations across 1,012 issues in GitHub to examine the diverse usage of ChatGPT and reliance on its generated code. Our contributions are fourfold. First, we manually analyzed 289 conversations to understand ChatGPT's usage in the GitHub Issues. Our analysis revealed that ChatGPT is primarily utilized for ideation, whereas its usage for validation (e.g., code documentation accuracy) is minimal. Second, we applied BERTopic modeling to identify key areas of engagement on the entire dataset. We found that backend issues (e.g., API management) dominate conversations, while testing is surprisingly less covered. Third, we utilized the CPD clone detection tool to check if the code generated by ChatGPT was used to address issues. Our findings revealed that ChatGPT-generated code was used as-is to resolve only 5.83\% of the issues. Fourth, we estimated sentiment using a RoBERTa-based sentiment analysis model to determine developers' satisfaction with different usages and engagement areas. We found positive sentiment (i.e., high satisfaction) about using ChatGPT for refactoring and addressing data analytics (e.g., categorizing table data) issues. On the contrary, we observed negative sentiment when using ChatGPT to debug issues and address automation tasks (e.g., GUI interactions). Our findings show the unmet needs and growing dissatisfaction among developers. Researchers and ChatGPT developers should focus on developing task-specific solutions that help resolve diverse issues, improving user satisfaction and problem-solving efficiency in software development.

cs.SE