Abhik Roychoudhury

According to our database1, Abhik Roychoudhury authored at least 179 papers between 1995 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Automated Patch Transplantation.
ACM Trans. Softw. Eng. Methodol., 2021

Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction.
ACM Trans. Softw. Eng. Methodol., 2021

Automatic Program Repair.
IEEE Softw., 2021

Fuzzing: Challenges and Reflections.
IEEE Softw., 2021

Verifix: Verified Repair of Programming Assignments.
CoRR, 2021

Concolic program repair.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Automated patch backporting in Linux (experience paper).
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Localizing Vulnerabilities Statistically From One Exploit.
Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

2020
Smart Contract Repair.
ACM Trans. Softw. Eng. Methodol., 2020

KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
ACM Trans. Softw. Eng. Methodol., 2020

Fairness-guided SMT-based Rectification of Decision Trees and Random Forests.
CoRR, 2020

Localizing Patch Points From One Exploit.
CoRR, 2020

Concurrency-related Flaky Test Detection in Android apps.
CoRR, 2020

Singapore's cybersecurity ecosystem.
Commun. ACM, 2020

Welcome.
Commun. ACM, 2020

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.
Proceedings of the 29th USENIX Security Symposium, 2020

Binary rewriting without control flow recovery.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Synthesizing Tasks for Block-based Programming.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

AFLNET: A Greybox Fuzzer for Network Protocols.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Fitness Guided Vulnerability Detection with Greybox Fuzzing.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Fuzz testing based data augmentation to improve robustness of deep neural networks.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Interactive Patch Generation and Suggestion.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Time-travel testing of Android apps.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Coverage-Based Greybox Fuzzing as Markov Chain.
IEEE Trans. Software Eng., 2019

Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160).
NII Shonan Meet. Rep., 2019

Automated program repair: a step towards software automation.
Sci. China Inf. Sci., 2019

Automated program repair.
Commun. ACM, 2019

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.
Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

Re-Factoring Based Program Repair Applied to Programming Assignments.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Crash-avoiding program repair.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018
EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps.
IEEE Trans. Software Eng., 2018

Test-Equivalence Analysis for Automatic Patch Generation.
ACM Trans. Softw. Eng. Methodol., 2018

Symbolic Verification of Cache Side-Channel Freedom.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

A correlation study between automated program repair and test-suite metrics.
Empir. Softw. Eng., 2018

Smart Greybox Fuzzing.
CoRR, 2018

oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis.
CoRR, 2018

Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution.
CoRR, 2018

BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves.
CoRR, 2018

Symbolic execution with existential second-order constraints.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Android testing via synthetic symbolic execution.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Repairing crashes in Android apps.
Proceedings of the 40th International Conference on Software Engineering, 2018

Semantic program repair using a reference implementation.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
Automated Program Repair (Dagstuhl Seminar 17022).
Dagstuhl Reports, 2017

Partitioning Patches into Test-equivalence Classes for Scaling Program Repair.
CoRR, 2017

Trustworthy Software and Automatic Program Repair.
Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017

A feasibility study of using automated program repair for introductory programming assignments.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Codeflaws: a programming competition benchmark for evaluating automated program repair tools.
Proceedings of the 39th International Conference on Software Engineering, 2017

Future of Mobile Software for Smartphones and Drones: Energy and Performance.
Proceedings of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2017

Bucketing Failing Tests via Symbolic Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

Directed Greybox Fuzzing.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
Formula-based software debugging.
Commun. ACM, 2016

On Testing Embedded Software.
Adv. Comput., 2016

Anti-patterns in search-based program repair.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

SemFix and beyond: semantic techniques for program repair.
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, 2016

Model-based whitebox fuzzing for program binaries.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Automated partitioning of android applications for trusted execution environments.
Proceedings of the 38th International Conference on Software Engineering, 2016

Angelix: scalable multiline program patch synthesis via symbolic analysis.
Proceedings of the 38th International Conference on Software Engineering, 2016

Automated re-factoring of Android apps to enhance energy-efficiency.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Debugging energy-efficiency related field failures in mobile apps.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

2015
Software Change Contracts.
ACM Trans. Softw. Eng. Methodol., 2015

relifix: Automated Repair of Software Regressions.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Hercules: Reproducing Crashes in Real-World Application Binaries.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

DirectFix: Looking for Simple Program Repairs.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches.
ACM Trans. Embed. Comput. Syst., 2014

A Unified WCET analysis framework for multicore platforms.
ACM Trans. Embed. Comput. Syst., 2014

Static analysis of multi-core TDMA resource arbitration delays.
Real Time Syst., 2014

Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization.
Found. Trends Electron. Des. Autom., 2014

Energy-aware design patterns for mobile application development (invited talk).
Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

Detecting energy bugs and hotspots in mobile apps.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Cache-related preemption delay analysis for FIFO caches.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

CoREBench: studying complexity of regression errors.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Dynamic Inference of Change Contracts.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

2013
Path exploration based on symbolic output.
ACM Trans. Softw. Eng. Methodol., 2013

Scalable and precise refinement of cache timing analysis via path-sensitive verification.
Real Time Syst., 2013

Regression Testing of Evolving Programs.
Adv. Comput., 2013

Regression tests to expose change interaction errors.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Integrated Timing Analysis of Application and Operating Systems Code.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Static Analysis Driven Cache Performance Testing.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Precise micro-architectural modeling for WCET analysis via AI+SAT.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Program performance spectrum.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Expressing and checking intended changes via software change contracts.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

SemFix: program repair via semantic analysis.
Proceedings of the 35th International Conference on Software Engineering, 2013

Partition-based regression verification.
Proceedings of the 35th International Conference on Software Engineering, 2013

Past expression: encapsulating pre-states at post-conditions by means of AOP.
Proceedings of the Aspect-Oriented Software Development, 2013

2012
Symbolic Message Sequence Charts.
ACM Trans. Softw. Eng. Methodol., 2012

DARWIN: An approach to debugging evolving programs.
ACM Trans. Softw. Eng. Methodol., 2012

Relating software validation to technology trends.
Int. J. Softw. Tools Technol. Transf., 2012

Timing analysis of concurrent programs running on shared cache multi-cores.
Real Time Syst., 2012

Performance debugging of Esterel specifications.
Real Time Syst., 2012

Modeling Software Execution Environment.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Software change contracts.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

A Unified WCET Analysis Framework for Multi-core Platforms.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Tenant Onboarding in Evolving Multi-tenant Software-as-a-Service Systems.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Inferring class level specifications for distributed systems.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Scalable and Precise Refinement of Cache Timing Analysis via Model Checking.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Timing Analysis of a Protected Operating System Kernel.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Scope-Aware Data Cache Analysis for WCET Estimation.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Locating failure-inducing environment changes.
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011

Static bus schedule aware scratchpad allocation in multiprocessors.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Engineering multi-tenant software-as-a-service systems.
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

Mining message sequence graphs.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

2010
Scratchpad allocation for concurrent embedded software.
ACM Trans. Program. Lang. Syst., 2010

Debugging as a Science, that too, when your Program is Changing.
Electron. Notes Theor. Comput. Sci., 2010

Golden implementation driven software debugging.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Modeling shared cache and bus in multi-cores for timing analysis.
Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

Test generation to expose changes in evolving programs.
Proceedings of the ASE 2010, 2010

WOMM: A Weak Operational Memory Model.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Timing analysis of esterel programs on general-purpose multiprocessors.
Proceedings of the 47th Design Automation Conference, 2010

2009
Interacting process classes.
ACM Trans. Softw. Eng. Methodol., 2009

Cache-aware timing analysis of streaming applications.
Real Time Syst., 2009

Cache-aware optimization of BAN applications.
Des. Autom. Embed. Syst., 2009

Darwin: an approach for debugging evolving programs.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Unified Cache Modeling for WCET Analysis and Layout Optimizations.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Footprinter: Round-trip engineering via scenario and state based models.
Proceedings of the 31st International Conference on Software Engineering, 2009

Fair Model Checking with Process Counter Abstraction.
Proceedings of the FM 2009: Formal Methods, 2009

Context-sensitive timing analysis of Esterel programs.
Proceedings of the 46th Design Automation Conference, 2009

Generating test programs to cover pipeline interactions.
Proceedings of the 46th Design Automation Conference, 2009

Embedded Systems and Software Validation.
The Morgan Kaufmann series in systems on silicon, Morgan Kaufmann, ISBN: 978-0-12-374230-8, 2009

2008
Dynamic slicing on Java bytecode traces.
ACM Trans. Program. Lang. Syst., 2008

Schedulability Analysis of MSC-based System Models.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Java memory model aware software validation.
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Debugging Statecharts Via Model-Code Traceability.
Proceedings of the Leveraging Applications of Formal Methods, 2008

2007
Chronos: A timing analyzer for embedded software.
Sci. Comput. Program., 2007

Memory model sensitive bytecode verification.
Formal Methods Syst. Des., 2007

Timing Analysis of Body Area Network Applications.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

Tutorial T8B: Performance Debugging of Complex Embedded Systems.
Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

Hierarchical dynamic slicing.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Cache-Aware Timing Analysis of Streaming Applications.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

Accounting for cache-related preemption delay in dynamic priority schedulability analysis.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

A Retargetable Software Timing Analyzer Using Architecture Description Language.
Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

Worst-Case Execution Time and Energy Analysis.
Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006
Modeling out-of-order processors for WCET analysis.
Real Time Syst., 2006

Preface.
Electron. Notes Theor. Comput. Sci., 2006

Handling Constraints in Multi-Objective GA for Embedded System Design.
Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

Synthesis and Traceability of Scenario-Based Executable Models.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Interacting process classes.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A Memory Model Sensitive Checker for C#.
Proceedings of the FM 2006: Formal Methods, 2006

Efficient detection and exploitation of infeasible paths for software timing analysis.
Proceedings of the 43rd Design Automation Conference, 2006

Accurately Choosing Execution Runs for Software Fault Localization.
Proceedings of the Compiler Construction, 15th International Conference, 2006

2005
Modeling Control Speculation for Timing Analysis.
Real Time Syst., 2005

Preface.
Electron. Notes Theor. Comput. Sci., 2005

Exploiting Branch Constraints without Exhaustive Path Enumeration.
Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

WCET Centric Data Allocation to Scratchpad Memory.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Automated path generation for software fault localization.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Analyzing Loop Paths for Execution Time Estimation.
Proceedings of the Distributed Computing and Internet Technology, 2005

2004
An unfold/fold transformation framework for definite logic programs.
ACM Trans. Program. Lang. Syst., 2004

Inductively Verifying Invariant Properties of Parameterized Systems.
Autom. Softw. Eng., 2004

Automatic Generation of Protocol Converters from Scenario-Based Specifications.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Modeling Out-of-Order Processors for Software Timing Analysis.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Symbolic Execution of Behavioral Requirements.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Using Compressed Bytecode Traces for Slicing Java Programs.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Design space exploration of caches using compressed traces.
Proceedings of the 18th Annual International Conference on Supercomputing, 2004

Impact of Java Memory Model on Out-of-Order Multiprocessors.
Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques (PACT 2004), 29 September, 2004

2003
Compactly representing parallel program executions.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003

Depiction and Playout of Multi-threaded Program Executions.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol.
Proceedings of the 2003 Design, 2003

Accurate timing analysis by modeling caches, speculation and their interaction.
Proceedings of the 40th Design Automation Conference, 2003

Accurate estimation of cache-related preemption delay.
Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003

Communicating Transaction Processes.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.
Int. J. Found. Comput. Sci., 2002

An Executable Specification Language Based on Message Sequence Charts.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Timing Analysis of Embedded Software for Speculative Processors.
Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002

Specifying multithreaded Java semantics for program verification.
Proceedings of the 24th International Conference on Software Engineering, 2002

Formal Reasoning about Hardware and Software Memory Models.
Proceedings of the Formal Methods and Software Engineering, 2002

2001
Automated Inductive Verification of Parameterized Protocols.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Verification of Parameterized Systems Using Logic Program Transformations.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Justifying proofs using memo tables.
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

XMC: A Logic-Programming-Based Verification Toolset.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Generalized Unfold/fold Transformation Systems for Normal Logic Programs.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems.
Proceedings of the Automated Deduction, 1999

1998
Tabulation-based Induction Proofs with Application to Automated Verification.
Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

Logic Programming and Model Checking.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs.
Proceedings of the 1998 International Conference on Computer Languages, 1998

1995
Efficient Algorithms for Vertex Arboricity of Planar Graphs.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995


  Loading...