arXiv subjects

Probir Roy

Publications and source records attributed to Probir Roy.

At least 19 recordsLinked to original sources

arXiv2025

Cold-Start Anti-Patterns and Refactorings in Serverless Systems: An Empirical Study

Serverless computing simplifies deployment and scaling, yet cold-start latency remains a major performance bottleneck. Unlike prior work that treats mitigation as a black-box optimization, we study cold starts as a developer-visible design problem. From 81 adjudicated issue reports across open-source serverless systems, we derive taxonomies of initialization anti-patterns, remediation strategies, and diagnostic challenges spanning design, packaging, and runtime layers. Building on these insights, we introduce SCABENCH, a reproducible benchmark, and INITSCOPE, a lightweight analysis framework linking what code is loaded with what is executed. On SCABENCH, INITSCOPE improved localization accuracy by up to 40% and reduced diagnostic effort by 64% compared with prior tools, while a developer study showed higher task accuracy and faster diagnosis. Together, these results advance evidence-driven, performance-aware practices for cold-start mitigation in serverless design. Availability: The research artifact is publicly accessible for future studies and improvements.

cs.DC↗

arXiv2025

Efficient Serverless Cold Start: Reducing Library Loading Overhead by Profile-guided Optimization

Serverless computing abstracts away server management, enabling automatic scaling, efficient resource utilization, and cost-effective pricing models. However, despite these advantages, it faces the significant challenge of cold-start latency, adversely impacting end-to-end performance. Our study shows that many serverless functions initialize libraries that are rarely or never used under typical workloads, thus introducing unnecessary overhead. Although existing static analysis techniques can identify unreachable libraries, they fail to address workload-dependent inefficiencies, resulting in limited performance improvements. To overcome these limitations, we present SLIMSTART, a profile-guided optimization tool designed to identify and mitigate inefficient library usage patterns in serverless applications. By leveraging statistical sampling and call-path profiling, SLIMSTART collects runtime library usage data, generates detailed optimization reports, and applies automated code transformations to reduce cold-start overhead. Furthermore, SLIMSTART integrates seamlessly into CI/CD pipelines, enabling adaptive monitoring and continuous optimizations tailored to evolving workloads. Through extensive evaluation across three benchmark suites and four real-world serverless applications, SLIMSTART achieves up to a 2.30X speedup in initialization latency, a 2.26X improvement in end-to-end latency, and a 1.51X reduction in memory usage, demonstrating its effectiveness in addressing cold-start inefficiencies and optimizing resource utilization.

cs.DC↗

arXiv2024

PerfCurator: Curating a large-scale dataset of performance bug-related commits from public repositories

Performance bugs challenge software development, degrading performance and wasting computational resources. Software developers invest substantial effort in addressing these issues. Curating these performance bugs can offer valuable insights to the software engineering research community, aiding in developing new mitigation strategies. However, there is no large-scale open-source performance bugs dataset available. To bridge this gap, we propose PerfCurator, a repository miner that collects performance bug-related commits at scale. PerfCurator employs PcBERT-KD, a 125M parameter BERT model trained to classify performance bug-related commits. Our evaluation shows PcBERT-KD achieves accuracy comparable to 7 billion parameter LLMs but with significantly lower computational overhead, enabling cost-effective deployment on CPU clusters. Utilizing PcBERT-KD as the core component, we deployed PerfCurator on a 50-node CPU cluster to mine GitHub repositories. This extensive mining operation resulted in the construction of a large-scale dataset comprising 114K performance bug-fix commits in Python, 217.9K in C++, and 76.6K in Java. Our results demonstrate that this large-scale dataset significantly enhances the effectiveness of data-driven performance bug detection systems.

cs.SE↗

arXiv2024

LibProf: A Python Profiler for Improving Cold Start Performance in Serverless Applications

Serverless computing abstracts away server management, enabling automatic scaling and efficient resource utilization. However, cold-start latency remains a significant challenge, affecting end-to-end performance. Our preliminary study reveals that inefficient library initialization and usage are major contributors to this latency in Python-based serverless applications. We introduce LibProf, a Python profiler that uses dynamic program analysis to identify inefficient library initializations. LibProf collects library usage data through statistical sampling and call-path profiling, then generates a report to guide developers in addressing four types of inefficiency patterns. Systematic evaluations on 15 serverless applications demonstrate that LibProf effectively identifies inefficiencies. LibProf guided optimization results up to 2.26x speedup in cold-start execution time and 1.51x reduction in memory usage.

cs.SE↗

arXiv2018

CP transformed mixed $\mu\tau$ antisymmetry for neutrinos and its consequences

We propose a complex extension of mixed $\mu\tau$ antisymmetry in the neutrino Majorana mass matrix $M_\nu$. This can be implemented in the Lagrangian by a generalized CP transformation (labeled by a mixing parameter $\theta$) on the left-chiral flavor neutrino fields. We investigate its implications for leptonic CP violation and neutrino phenomenology in general. Interestingly, the $\mu\tau$ mixing parameter $\theta$ gets correlated with the Dirac CP phase $\delta$ and the atmospheric mixing angle $\theta_{23}$ through an analytical relation. In general, for arbitrary $\theta$, both $\theta_{23}$ and $\delta$ are nonmaximal. We discuss the corresponding results for the CP asymmetry parameter $A_{\mu e}$ in neutrino oscillation experiments. For a nonmaximal $\delta$, one of the two Majorana phases is different from $0$ or $\pi$, thereby leading to nonvanishing Majorana CP violation with observable consequences for the neutrinoless double beta ($\beta\beta0\nu$) decay process. We numerically work out in detail the predictions for that process in relation to various ongoing and forthcoming experiments. We also work out the predictions of our scheme on flavor flux ratios at neutrino telescopes. While exact CP transformed $\mu\tau$ interchange antisymmetry ($\theta=\pi/2$) leads to an exact equality among those ratios, taking a value $0.5$, a tiny deviation can cause a drastic change in them. Careful measurement of these flux ratios in future will further constrain the parameter $\theta$.

hep-ph↗

arXiv2017

Consequences of minimal seesaw with complex $\mu\tau$ antisymmetry of neutrinos

We propose a complex extension of $\mu\tau$ permutation antisymmetry in the neutrino Majorana matrix $M_\nu$. The latter can be realized for the Lagrangian by appropriate CP transformations on the neutrino fields. The resultant form of $M_\nu$ is shown to be simply related to that with a complex (CP) extension of $\mu\tau$ permutation symmetry, with identical phenomenological consequences, though their group theoretic origins are quite different. We investigate those consequences in detail for the minimal seesaw induced by two strongly hierarchical right-chiral neutrinos $N_1$ and $N_2$ with the result that the Dirac phase is maximal while the two Majorana phases are either 0 or $\pi$. We further provide an uptodate discussion of the $\beta\beta0\nu$ process vis-a-vis ongoing and forthcoming experiments. Finally, a thorough treatment is given of baryogenesis via leptogenesis in this scenario, primarily with the assumption that the lepton asymmetry produced by the decays of $N_1$ only matters here with the asymmetry produced by $N_2$ being washed out. Tight upper and lower bounds on the mass of $N_1$ are obtained from the constraint of obtaining the correct observed range of the baryon asymmetry parameter and the role played by $N_2$ is elucidated thereafter. The mildly hierarchical right-chiral neutrino case (including the quasidegenerate possibility) is discussed in an Appendix.

hep-ph↗

arXiv2016

Baryon asymmetry via leptogenesis in a neutrino mass model with complex scaling

Baryogenesis via leptogenesis is investigated in a specific model of light neutrino masses and mixing angles. The latter was proposed on the basis of an assumed complex-extended scaling property of the neutrino Majorana mass matrix $M_\nu$, derived with a type-1 seesaw from a Dirac mass matrix $m_D$ and a heavy singlet neutrino Majorana mass matrix $M_R$. One of its important features, highlighted here, is that there is a common source of the origin of a nonzero $\theta_{13}$ and the CP violating lepton asymmetry through the imaginary part of $m_D$. The model predicted CP violation to be maximal for the Dirac type and vanishing for the Majorana type. We assume strongly hierarchical mass eigenvalues for $M_R$. The leptonic CP asymmetry parameter $\varepsilon^\alpha_{1}\hspace{1mm}$ with lepton flavor $\alpha$, originating from the decays of the lightest of the heavy neutrinos $N_1$ (of mass $M_1$) at a temperature $T\sim M_1$, is what matters here with $\varepsilon^\alpha_{2,3}$, originating from the decays of $N_{2,3}$, being washed out. The light leptonic and heavy neutrino number densities (normalized to the entropy density) are evolved via Boltzmann equations down to electroweak temperatures to yield a baryon asymmetry through sphaleronic transitions. The effect of flavored vs. unflavored leptogenesis in the three mass regimes (1) $M_1<10^{9}$ GeV, (2) $10^9$ GeV $ 10^{12}$ GeV are numerically worked out for both a normal and an inverted mass ordering of the light neutrinos. Corresponding results on the baryon asymmetry of the universe are obtained, displayed and discussed.

hep-ph↗

arXiv2016

Extended scaling and residual flavor symmetry in the neutrino Majorana mass matrix

The residual symmetry approach, along with a complex extension for some flavor invariance, is a powerful tool to uncover the flavor structure of the $3\times3$ neutrino Majorana mass matrix $M_\nu$ towards gaining insights into neutrino mixing. We utilize this to propose a complex extension of the real scaling ansatz for $M_\nu$ which was introduced some years ago. Unlike the latter, our proposal allows a nonzero mass for each of the three light neutrinos as well as a nonvanishing $\theta_{13}$. A major result of this scheme is that leptonic Dirac CP-violation must be maximal while atmospheric neutrino mixing need not be exactly maximal. Moreover, each of the two allowed Majorana phases, to be probed by the search for nuclear $0\nu \beta\beta$ decay, has to be at one of its two CP-conserving values. There are other interesting consequences such as the allowed occurrence of a normal mass ordering which is not favored by the real scaling ansatz. Our predictions will be tested in ongoing and future neutrino oscillation experiments at T2K, NO$\nu$A and DUNE.

hep-ph↗

arXiv2016

Complex Scaling in Neutrino Mass Matrix

Using the residual symmetry approach, we propose a complex extension of the scaling ansatz on $M_\nu$ which allows a nonzero mass for each of the three light neutrinos as well as a nonvanishing $\theta_{13}$. Leptonic Dirac CP violation must be maximal while atmospheric neutrino mixing need not to be exactly maximal. Each of the two Majorana phases, to be probed by the search for $0\nu \beta\beta$ decay, has to be zero or $\pi$ and a normal neutrino mass hierarchy is allowed.

hep-ph↗

arXiv2015

Dwarf Galaxy $\gamma$-excess and 3.55 keV X-ray Line In A Nonthermal Dark Matter Model

Recent data from Reticulum II (RetII) require the energy range of the FermiLAT $\gamma$-excess to be $\sim$ $2-10$ GeV. We adjust our unified nonthermal Dark Matter (DM) model to accommodate this. We have two extra scalars beyond the Standard Model to also explain 3.55 keV X-ray line. Now the mass of the heavier of them has to be increased to lie around 250 GeV, while that of the lighter one remains at 7.1 keV. This requires a new seed mechanism for the $\gamma$-excess and new Boltzmann equations for the generation of the DM relic density. All concerned data for RetII and the X-ray line can now be fitted well and consistency with other indirect limits attained.

hep-ph↗

arXiv2015

Nonthermal Two Component Dark Matter Model for Fermi-LAT $\gamma$-ray excess and 3.55 keV X-ray Line

A two component model of nonthermal dark matter is formulated to simultaneously explain the Fermi-LAT results indicating a $\gamma$-ray excess observed from our Galactic Centre in the 1-3 GeV energy range and the detection of an X-ray line at 3.55 keV from extragalactic sources. Two additional Standard Model singlet scalar fields $S_2$ and $S_3$ are introduced. These fields couple among themselves and with the Standard Model Higgs doublet $H$. The interaction terms among the scalar fields, namely $H$, $S_2$ and $S_3$, are constrained by the application of a discrete $\mathbb{Z}_2\times \mathbb{Z}^\prime_2$ symmetry which breaks softly to a remnant $\mathbb{Z}^{\prime \prime}_2$ symmetry. This residual discrete symmetry is then spontaneously broken through an MeV order vacuum expectation value $u$ of the singlet scalar field $S_3$. The resultant physical scalar spectrum has the Standard Model like Higgs as $\chi_{{}_{{}_1}}$ with $M_{\chi_{{}_{{}_1}}}\sim 125$ GeV, a moderately heavy scalar $\chi_{{}_{{}_2}}$ with $50 \,\,{\rm GeV} \leq M_{\chi_{{}_{{}_2}}}\leq 80\,\,{\rm GeV}$ and a light $\chi_{{}_{{}_3}}$ with $M_{\chi_{{}_{{}_3}}} \sim 7$ keV. There is only tiny mixing between $\chi_{{}_{{}_1}}$ and $\chi_{{}_{{}_2}}$ as well as between $\chi_{{}_{{}_1}}$ and $\chi_{{}_{{}_3}}$. The lack of importance of domain wall formation in the present scenario from the spontaneous breaking of the discrete symmetry ${\mathbb{Z}_2^{\prime\prime}}$, provided $u\leq 10$ MeV, is pointed out. We find that our proposed two component dark matter model is able to explain successfully both the above mentioned phenomena $-$ the Fermi-LAT observed $\gamma$-ray excess (from the $\chi_{{}_{{}_2}} \rightarrow {\rm b} \bar{\rm b}$ decay mode) and the observation of the X-ray line (from the decay channel $\chi_{{}_{{}_3}}\rightarrow\gamma \gamma$) by the XMM-Newton observatory.

hep-ph↗

arXiv2014

Testable constraint on near-tribimaximal neutrino mixing

General lowest order perturbations to hermitian squared mass matrices of leptons are considered away from the tribimaximal (TBM) limit in which a weak flavor basis with mass diagonal charged leptons is chosen. The three measurable TBM deviants are expressed linearly in terms of perturbation induced dimensionless coefficients appearing in the charged lepton and neutrino flavor eigenstates. With unnatural cancellations assumed to be absent and the charged lepton perturbation contributions to their flavor eigenstates argued to be small, we analytically derive the following result. Within lowest order perturbations, a deviation from maximal atmospheric neutrino mixing and the amount of CP violation in neutrino oscillations cannot both be large (i.e. $12$-$17 \% $), posing the challenge of verification to forthcoming experiments at the intensity frontier.

hep-ph↗

arXiv2014

Constrained analytical interrelations in neutrino mixing

Hermitian squared mass matrices of charged leptons and light neutrinos in the flavor basis are studied under general additive lowest order perturbations away from the tribimaximal (TBM) limit in which a weak basis with mass diagonal charged leptons is chosen. Simple analytical expressions are found for the three measurable TBM-deviants in terms of perturbation parameters appearing in the neutrino and charged lepton eigenstates in the flavor basis. Taking unnatural cancellations to be absent and charged lepton perturbation parameters to be small, interrelations are derived among masses, mixing angles and the amount of CP-violation.

hep-ph↗

arXiv2013

Maximal zero textures of the inverse seesaw with broken $\mu\tau$ symmetry

The inverse neutrino seesaw, characterised by only one source of lepton number violation at an ultralight $O$(keV) scale and observable new phenomena at TeV energies accessible to the LHC, is considered. Maximal zero textures of the $3\times 3$ lighter and heavier Dirac mass matrices of neutral leptons, appearing in the Lagarangian for such an inverse seesaw, are studied within the framework of $\mu\tau$ symmetry in a specified weak basis. That symmetry ensures the identity of the positions of maximal zeros of the heavy neutrino mass matrix and its inverse. It then suffices to study the maximal zeros of the lighter Dirac mass matrix and those of the inverse of the heavier one since they come in a product. The observed absence of any unmixed neutrino flavour and the assumption of no strictly massless physical neutrino state allow only eight $4$-zero $\times$ $4$-zero, eight $4$-zero $\times$ $6$-zero and eight $6$-zero $\times$ $4$-zero combinations. The additional requirement of leptogenesis is shown to eliminate the last sixteen textures. The surviving eight $4$-zero $\times$ $4$-zero textures are subjected to the most general explicit $\mu\tau$ symmetry breaking terms in the Lagrangian in order to accommodate the nonzero value of $\theta_{13}$ in the observed range. A full diagonalisation is then carried out. On numerical comparison with all extant and relevant neutrino (antineutrino) data, seven of these eight combination textures in five neutrino matrix forms are found to be allowed, leading to five distinct neutrino mass matrices. Two of these permit only a normal (and the other three only an inverted) mass ordering of the light neutrinos.

hep-ph↗

arXiv2012

Neutrino Yukawa textures within type-I see-saw

The arbitrariness of Yukawa couplings can be reduced by the imposition of some flavor symmetries and/or by the realization of texture zeros. We review neutrino Yukawa textures with zeros within the framework of the type-I seesaw with three heavy right chiral neutrinos and in the basis where the latter and the charged leptons are mass diagonal. An assumed non-vanishing mass of every ultralight neutrino and the observed non-decoupling of any neutrino generation allow a maximum of four zeros in the Yukawa coupling matrix $Y_\nu$ in family space. There are seventy two such textures. We show that the requirement of an exact $\mu\tau$ symmetry, coupled with the observational constraints, reduces these seventy two allowed textures to only four corresponding to just two different forms of the light neutrino mass matrix $M_{\nu A}/M_{\nu B}$, resulting in an inverted/normal mass ordering. The effect of each of these on measurable quantities can be described, apart from an overall factor of the neutrino mass scale, in terms of two real parameters and a phase angle all of which are within very constrained ranges. The masses and Majorana phases of ultralight neutrinos are predicted within definite ranges with $3\sigma$ laboratory and cosmological observational inputs. The rate for $0\nu\beta\beta$ decay, though generally below the reach of planned experiments, could approach it in some parameteric regions. Within the same framework, we also study Yukawa textures with a fewer number of zeros, but with exact $\mu\tau$ symmetry. We further formulate the detailed scheme of the explicit breaking of $\mu\tau$ symmetry in terms of three small parameters for allowed four zero textures. The observed sizable mixing between the first and third generations of neutrinos is shown to follow for a suitable choice of these symmetry breaking parameters.

hep-ph↗

arXiv2012

$\theta_{13}$, $\mu\tau$ symmetry breaking and neutrino Yukawa textures

Within the type-I seesaw and in the basis where charged lepton and heavy neutrino mass matrices are real and diagonal, $\mu\tau$ symmetric four and three zero neutrino Yukawa textures are perturbed by lowest order $\mu\tau$ symmetry breaking terms. These perturbations are taken to be the {\it most general ones for those textures}. For quite small values of those symmetry breaking parameters, permitting a lowest order analysis, current best-fit ranges of neutrino mass squared differences and mixing angles are shown to be accommodable, including a value of $\theta_{13}$ in the observed range, provided all the light neutrinos have an inverted mass ordering.

hep-ph↗

arXiv2012

Heuristic based task scheduling in multiprocessor systems with genetic algorithm by choosing the eligible processor

In multiprocessor systems, one of the main factors of systems' performance is task scheduling. The well the task be distributed among the processors the well be the performance. Again finding the optimal solution of scheduling the tasks into the processors is NP-complete, that is, it will take a lot of time to find the optimal solution. Many evolutionary algorithms (e.g. Genetic Algorithm, Simulated annealing) are used to reach the near optimal solution in linear time. In this paper we propose a heuristic for genetic algorithm based task scheduling in multiprocessor systems by choosing the eligible processor on educated guess. From comparison it is found that this new heuristic based GA takes less computation time to reach the suboptimal solution.

cs.DC↗

arXiv2012

Four lepton flavor violating signals at the LHC

Some yet unknown dynamics is expected to be at work behind the flavor puzzles of the Standard Model. Speculations exist that this may manifest itself in significant strength at the terascale. One consequence may be lepton flavor violation with total lepton number conserved. Already observed in neutrino oscillation experiments, such a phenomenon may show up more prominently at TeV energies, thus signaling a completely new physics. Proposed flavor violating charged dilepton states have already been studied with reference to the LHC. Here we study the production and detection at the LHC of flavor violating charged quadrileptons which are shown to have certain advantages over dileptons in searching for lepton flavor violation. A classification of all six-fermionic operators, in the chiral basis and contributing to such processes, is made and the corresponding cross section for each in 14 TeV pp collisions is computed under the hypothesis of single operator dominance. We further present the sensitivity reach of the new physics scale $\Lambda$ in terms of the integrated luminosity.

hep-ph↗