Travelled to:1 × Austria
1 × Belgium
1 × Croatia
1 × Russia
18 × USA
2 × China
2 × Germany
2 × Hungary
2 × Switzerland
2 × The Netherlands
3 × France
3 × Italy
3 × United Kingdom
4 × Canada
Collaborated with:D.Qi T.Wang T.Mitra I.V.Ramakrishnan C.R.Ramakrishnan M.Böhme S.H.Tan J.Yi S.Chattopadhyay L.K.Chong A.Goel K.N.Kumar V.Pham Z.Liang L.Ju S.Chakraborty S.Mechtaev D.Lo B.C.d.S.Oliveira S.Kumar S.Khoo B.K.Huynh T.Q.Huynh ∅ S.A.Smolka U.Z.Ahmed C.Ballabriga H.D.T.Nguyen A.De D.D'Souza B.Sengupta L.Guo X.Li S.R.Karri A.P.Felty D.J.Howe Y.Dong X.Du W.B.Ng K.Rubinov A.Banerjee H.D.T.Nguyen S.Chandra M.N.Ngo T.Sun A.Banerjee J.A.Harlie T.N.Dang P.Mishra K.Vaswani V.Suhendra T.Chen S.Meng P.S.Thiagarajan R.H.C.Yap S.C.Choudhary H.Yoshida M.R.Prasad X.Gao Z.Dong A.Griggio A.Cimatti S.Khurana S.Roy T.B.Le F.Thung J.Sun Y.Liu S.Liu J.S.Dong A.Karkare Y.Hu B.Leong W.N.Sumner F.Qin M.Zheng X.Zhang V.N.Venkatakrishnan B.Cui D.S.Warren
Talks about:program (23) softwar (9) analysi (8) execut (7) model (7) chang (7) system (6) symbol (6) repair (6) verif (6)
Person: Abhik Roychoudhury
DBLP: Roychoudhury:Abhik
Facilitated 3 volumes:
ExpertReviewPaPrBoardPrCoContributed to:
2015
2014
2014
2014
2014
201320132013201320122012
2012201120112011
20112010
2010201020092009
20092008
200720072007
200620062006200620052004
2004
2004200320032003
20032002
20012000
2000
2000
1999
199919991998201620162017201820182019
2017Wrote 58 papers:
- ICSE-v1-2015-MechtaevYR #named #program repair
- DirectFix: Looking for Simple Program Repairs (SM, JY, AR), pp. 448–458.
- ICSE-v1-2015-PhamNRR #named
- Hercules: Reproducing Crashes in Real-World Application Binaries (VTP, WBN, KR, AR), pp. 891–901.
- ICSE-v1-2015-TanR #automation #named
- relifix: Automated Repair of Software Regressions (SHT, AR), pp. 471–482.
- FSE-2014-BanerjeeC0R #debugging #detection #energy #mobile
- Detecting energy bugs and hotspots in mobile apps (AB, LKC, SC, AR), pp. 588–598.
- ICSME-2014-LeYLTR #contract
- Dynamic Inference of Change Contracts (TDBL, JY, DL, FT, AR), pp. 451–455.
- ISSTA-2014-BohmeR #complexity #fault #named
- CoREBench: studying complexity of regression errors (MB, AR), pp. 105–115.
- LCTES-2014-BallabrigaCR #analysis
- Cache-related preemption delay analysis for FIFO caches (CB, LKC, AR), pp. 33–42.
- ESEC-FSE-2013-BohmeOR #fault #interactive #testing
- Regression tests to expose change interaction errors (MB, BCdSO, AR), pp. 334–344.
- ICSE-2013-BohmeOR #verification
- Partition-based regression verification (MB, BCdSO, AR), pp. 302–311.
- ICSE-2013-NguyenQRC #analysis #named #program repair #semantics
- SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.
- ISSTA-2013-YiQTR #contract
- Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.
- LCTES-2013-ChattopadhyayCR #performance
- Program performance spectrum (SC, LKC, AR), pp. 65–76.
- FSE-2012-QiYR #contract
- Software change contracts (DQ, JY, AR), p. 22.
- ICSE-2012-KumarKRL #distributed #specification
- Inferring class level specifications for distributed systems (SK, SCK, AR, DL), pp. 914–924.
- WCRE-2012-QiSQZZR #execution #modelling
- Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.
- ESEC-FSE-2011-QiNR
- Path exploration based on symbolic output (DQ, HDTN, AR), pp. 278–288.
- ICSE-2011-KumarKRL #graph #mining #sequence
- Mining message sequence graphs (SK, SCK, AR, DL), pp. 91–100.
- LCTES-2011-ChattopadhyayR #multi
- Static bus schedule aware scratchpad allocation in multiprocessors (SC, AR), pp. 11–20.
- PASTE-2011-QiNSR
- Locating failure-inducing environment changes (DQ, MNN, TS, AR), pp. 29–36.
- ASE-2010-QiRL #evolution #generative #source code #testing
- Test generation to expose changes in evolving programs (DQ, AR, ZL), pp. 397–406.
- DAC-2010-JuHRC #analysis #multi #source code
- Timing analysis of esterel programs on general-purpose multiprocessors (LJ, BKH, AR, SC), pp. 48–51.
- FSE-2010-BanerjeeRHL #debugging #implementation
- Golden implementation driven software debugging (AB, AR, JAH, ZL), pp. 177–186.
- DAC-2009-DangRMM #generative #interactive #pipes and filters #source code
- Generating test programs to cover pipeline interactions (TND, AR, TM, PM), pp. 142–147.
- DAC-2009-JuHCR #analysis #source code
- Context-sensitive timing analysis of Esterel programs (LJ, BKH, SC, AR), pp. 870–873.
- ESEC-FSE-2009-QiRLV #approach #debugging #evolution #named #source code
- Darwin: an approach for debugging evolving programs (DQ, AR, ZL, KV), pp. 33–42.
- FM-2009-SunLRLD #abstraction #model checking #process
- Fair Model Checking with Process Counter Abstraction (JS, YL, AR, SL, JSD), pp. 123–139.
- PASTE-2008-DeRD #java #memory management #validation
- Java memory model aware software validation (AD, AR, DD), pp. 8–14.
- DATE-2007-JuCR #analysis #scheduling
- Accounting for cache-related preemption delay in dynamic priority schedulability analysis (LJ, SC, AR), pp. 1623–1628.
- ESEC-FSE-2007-RoychoudhuryGS #sequence chart
- Symbolic message sequence charts (AR, AG, BS), pp. 275–284.
- ISSTA-2007-WangR #slicing
- Hierarchical dynamic slicing (TW, AR), pp. 228–238.
- CC-2006-GuoRW #execution #fault #locality
- Accurately Choosing Execution Runs for Software Fault Localization (LG, AR, TW), pp. 80–95.
- DAC-2006-SuhendraMRC #analysis #detection #performance
- Efficient detection and exploitation of infeasible paths for software timing analysis (VS, TM, AR, TC), pp. 358–363.
- FM-2006-HuynhR #c# #memory management
- A Memory Model Sensitive Checker for C# (TQH, AR), pp. 476–491.
- ICSE-2006-GoelMRT #process
- Interacting process classes (AG, SM, AR, PST), pp. 302–311.
- ASE-2005-WangR #automation #fault #generative #locality
- Automated path generation for software fault localization (TW, AR), pp. 347–351.
- ICSE-2004-WangR #bytecode #java #slicing #source code #using
- Using Compressed Bytecode Traces for Slicing Java Programs (TW, AR), pp. 512–521.
- PADL-2004-WangRYC #behaviour #execution #requirements #symbolic computation
- Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.
- PDCL-2004-RoychoudhuryR #automation #concurrent #verification
- Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems (AR, CRR), pp. 261–290.
- ASE-2003-Roychoudhury #concurrent #multi #thread
- Depiction and Playout of Multi-threaded Program Executions (AR), pp. 331–336.
- DAC-2003-LiMR #analysis #interactive #modelling
- Accurate timing analysis by modeling caches, speculation and their interaction (XL, TM, AR), pp. 466–471.
- DATE-2003-RoychoudhuryMK #debugging #protocol #using
- Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol (AR, TM, SRK), pp. 10828–10833.
- PPoPP-2003-GoelRM #parallel #representation
- Compactly representing parallel program executions (AG, AR, TM), pp. 191–202.
- ICSE-2002-RoychoudhuryM #java #parallel #semantics #specification #thread #verification
- Specifying multithreaded Java semantics for program verification (AR, TM), pp. 489–499.
- CAV-2001-RoychoudhuryR #automation #induction #protocol #verification
- Automated Inductive Verification of Parameterized Protocols (AR, IVR), pp. 25–37.
- CAV-2000-RamakrishnanRSDDRV #named #tool support #verification
- XMC: A Logic-Programming-Based Verification Toolset (CRR, IVR, SAS, YD, XD, AR, VNV), pp. 576–580.
- PPDP-2000-RoychoudhuryRR #proving #using
- Justifying proofs using memo tables (AR, CRR, IVR), pp. 178–189.
- TACAS-2000-RoychoudhuryKRRS #logic programming #program transformation #using #verification
- Verification of Parameterized Systems Using Logic Program Transformations (AR, KNK, CRR, IVR, SAS), pp. 172–187.
- CADE-1999-FeltyHR #abstraction #syntax #using
- Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems (APF, DJH, AR), pp. 237–251.
- ICLP-1999-RoychoudhuryKR #logic programming #source code
- Generalized Unfold/fold Transformation Systems for Normal Logic Programs (AR, KNK, IVR), p. 616.
- PPDP-1999-RoychoudhuryKRR #framework #logic programming #source code
- A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs (AR, KNK, CRR, IVR), pp. 396–413.
- ALP-PLILP-1998-CuiDDKRRRSW #logic programming #model checking
- Logic Programming and Model Checking (BC, YD, XD, KNK, CRR, IVR, AR, SAS, DSW), pp. 1–20.
- ASE-2016-PhamBR #fuzzing #modelling
- Model-based whitebox fuzzing for program binaries (VTP, MB, AR), pp. 543–553.
- FSE-2016-TanYPR #program repair #search-based
- Anti-patterns in search-based program repair (SHT, HY, MRP, AR), pp. 727–738.
- ESEC-FSE-2017-YiAKTR #automation #program repair #programming #using
- A feasibility study of using automated program repair for introductory programming assignments (JY, UZA, AK, SHT, AR), pp. 740–751.
- ASE-2018-GaoTDR #android #execution #symbolic computation #testing
- Android testing via synthetic symbolic execution (XG, SHT, ZD, AR), pp. 419–429.
- ESEC-FSE-2018-MechtaevGCR #constraints #execution #higher-order #symbolic computation
- Symbolic execution with existential second-order constraints (SM, AG, AC, AR), pp. 389–399.
- ASE-2019-HuAMLR #program repair #programming
- Re-Factoring Based Program Repair Applied to Programming Assignments (YH, UZA, SM, BL, AR), pp. 388–398.
- FASE-2017-PhamKRR #analysis #testing
- Bucketing Failing Tests via Symbolic Analysis (VTP, SK, SR, AR), pp. 43–59.