BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × China
1 × Cyprus
1 × France
1 × Hungary
1 × Portugal
3 × USA
Collaborated with:
Y.N.Srikant A.Pandey A.Garg G.Kumar ∅ S.Verma R.Chouhan S.Baswana V.Modi S.K.Aggarwal A.Ramamurthi R.Bavishi B.Dolan-Gavitt Y.Hu V.Pham S.Khurana A.Roychoudhury
Talks about:
path (5) profil (4) program (3) manipul (3) heap (3) bug (3) algorithm (2) dataflow (2) analysi (2) debug (2)

Person: Subhajit Roy

DBLP DBLP: Roy:Subhajit

Contributed to:

SAS 20152015
CGO 20132013
PASTE 20132013
SAC 20132013
SAS 20132013
ESEC/FSE 20112011
CC 20102010
CGO 20092009
SAC 20082008
ESEC/FSE 20172017
ESEC/FSE 20182018
FASE 20172017
OOPSLA 20162016

Wrote 13 papers:

SAS-2015-GargR #integer #linear #programming
Synthesizing Heap Manipulations via Integer Linear Programming (AG, SR), pp. 109–127.
CGO-2013-ChouhanRB #interactive #profiling
Pertinent path profiling: Tracking interactions among relevant statements (RC, SR, SB), p. 12.
PASTE-2013-ModiRA #debugging #locality #statistics
Exploring program phases for statistical bug localization (VM, SR, SKA), pp. 33–40.
SAC-2013-KumarR #algorithm #data type #identification #online
Online identification of frequently executed acyclic paths by leveraging data stream algorithms (GK, SR), pp. 1694–1695.
SAS-2013-Roy #source code
From Concrete Examples to Heap Manipulating Programs (SR), pp. 126–149.
ESEC-FSE-2011-RamamurthiRS #analysis #data flow #graph #probability #using
Probabilistic dataflow analysis using path profiles on structure graphs (AR, SR, YNS), pp. 512–515.
CC-2010-RoyS #optimisation
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.
CGO-2009-RoyS #algorithm #profiling
Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm (SR, YNS), pp. 70–80.
SAC-2008-RoyS #data flow #problem
Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.
ESEC-FSE-2017-VermaR
Synergistic debug-repair of heap manipulations (SV, SR), pp. 163–173.
ESEC-FSE-2018-RoyPDH #debugging #fault #synthesis #tool support
Bug synthesis: challenging bug-finding tools with deep faults (SR, AP, BDG, YH), pp. 224–234.
FASE-2017-PhamKRR #analysis #testing
Bucketing Failing Tests via Symbolic Analysis (VTP, SK, SR, AR), pp. 43–59.
OOPSLA-2016-BavishiPR #debugging #precise
To be precise: regression aware debugging (RB, AP, SR), pp. 897–915.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.