Abhik Roychoudhury

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

Scalable Fuzzing of Program Binaries with E9AFL.

[BibT_eX]

[DOI]

Gregory J. Duck

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Automated patch backporting in Linux (experience paper).

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Localizing Vulnerabilities Statistically From One Exploit.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

2020

Smart Contract Repair.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.

[BibT_eX]

[DOI]

Guanhua Wang

Arnab Kumar Biswas

ACM Trans. Softw. Eng. Methodol., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Localizing Patch Points From One Exploit.

[BibT_eX]

[DOI]

CoRR, 2020

Concurrency-related Flaky Test Detection in Android apps.

[BibT_eX]

[DOI]

CoRR, 2020

Singapore's cybersecurity ecosystem.

[BibT_eX]

[DOI]

Commun. ACM, 2020

Welcome.

[BibT_eX]

[DOI]

Sue Moon

Ann E. Nicholson

Commun. ACM, 2020

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Binary rewriting without control flow recovery.

[BibT_eX]

[DOI]

Gregory J. Duck

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Synthesizing Tasks for Block-based Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Raveendra Kumar Medicherla

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Fitness Guided Vulnerability Detection with Greybox Fuzzing.

[BibT_eX]

[DOI]

Raghavan Komondoor

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.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Interactive Patch Generation and Suggestion.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

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

[BibT_eX]

[DOI]

Cristian Cadar

NII Shonan Meet. Rep., 2019

Automated program repair: a step towards software automation.

[BibT_eX]

[DOI]

Yingfei Xiong

Sci. China Inf. Sci., 2019

Automated program repair.

[BibT_eX]

[DOI]

Claire Le Goues

Michael Pradel

Commun. ACM, 2019

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

Re-Factoring Based Program Repair Applied to Programming Assignments.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Crash-avoiding program repair.

[BibT_eX]

[DOI]

Sergey Mechtaev

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Test-Equivalence Analysis for Automatic Patch Generation.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2018

Symbolic Verification of Cache Side-Channel Freedom.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

A correlation study between automated program repair and test-suite metrics.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2018

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

[BibT_eX]

[DOI]

Guanhua Wang

Ivan Gotovchits

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Symbolic execution with existential second-order constraints.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Repairing crashes in Android apps.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Semantic program repair using a reference implementation.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Automated Program Repair (Dagstuhl Seminar 17022).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Trustworthy Software and Automatic Program Repair.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017

A feasibility study of using automated program repair for introductory programming assignments.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Codeflaws: a programming competition benchmark for evaluating automated program repair tools.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Future of Mobile Software for Smartphones and Drones: Energy and Performance.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2017

Bucketing Failing Tests via Symbolic Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

Directed Greybox Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Formula-based software debugging.

[BibT_eX]

[DOI]

Satish Chandra

Commun. ACM, 2016

On Testing Embedded Software.

[BibT_eX]

[DOI]

Adv. Comput., 2016

Anti-patterns in search-based program repair.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

SemFix and beyond: semantic techniques for program repair.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, 2016

Model-based whitebox fuzzing for program binaries.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Automated partitioning of android applications for trusted execution environments.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Angelix: scalable multiline program patch synthesis via symbolic analysis.

[BibT_eX]

[DOI]

Sergey Mechtaev

Jooyong Yi

Proceedings of the 38th International Conference on Software Engineering, 2016

Automated re-factoring of Android apps to enhance energy-efficiency.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Debugging energy-efficiency related field failures in mobile apps.

[BibT_eX]

[DOI]

Hai-Feng Guo

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

2015

Software Change Contracts.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2015

relifix: Automated Repair of Software Regressions.

[BibT_eX]

[DOI]

Shin Hwei Tan

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Hercules: Reproducing Crashes in Real-World Application Binaries.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

DirectFix: Looking for Simple Program Repairs.

[BibT_eX]

[DOI]

Sergey Mechtaev

Jooyong Yi

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

A Unified WCET analysis framework for multicore platforms.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

Static analysis of multi-core TDMA resource arbitration delays.

[BibT_eX]

[DOI]

Timon Kelter

Heiko Falk

Peter Marwedel

Real Time Syst., 2014

Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization.

[BibT_eX]

[DOI]

Found. Trends Electron. Des. Autom., 2014

Energy-aware design patterns for mobile application development (invited talk).

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

Detecting energy bugs and hotspots in mobile apps.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Clément Ballabriga

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

CoREBench: studying complexity of regression errors.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Dynamic Inference of Change Contracts.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Hoang D. T. Nguyen

ACM Trans. Softw. Eng. Methodol., 2013

Scalable and precise refinement of cache timing analysis via path-sensitive verification.

[BibT_eX]

[DOI]

Real Time Syst., 2013

Regression Testing of Evolving Programs.

[BibT_eX]

[DOI]

Bruno C. d. S. Oliveira

Adv. Comput., 2013

Regression tests to expose change interaction errors.

[BibT_eX]

[DOI]

Bruno C. d. S. Oliveira

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.

[BibT_eX]

[DOI]

Clément Ballabriga

Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Static Analysis Driven Cache Performance Testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Precise micro-architectural modeling for WCET analysis via AI+SAT.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Program performance spectrum.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Expressing and checking intended changes via software change contracts.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2013

SemFix: program repair via semantic analysis.

[BibT_eX]

[DOI]

Hoang Duong Thien Nguyen

Satish Chandra

Proceedings of the 35th International Conference on Software Engineering, 2013

Partition-based regression verification.

[BibT_eX]

[DOI]

Bruno C. d. S. Oliveira

Proceedings of the 35th International Conference on Software Engineering, 2013

Past expression: encapsulating pre-states at post-conditions by means of AOP.

[BibT_eX]

[DOI]

Proceedings of the Aspect-Oriented Software Development, 2013

2012

Symbolic Message Sequence Charts.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2012

DARWIN: An approach to debugging evolving programs.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2012

Relating software validation to technology trends.

[BibT_eX]

[DOI]

Zhiming Liu

Int. J. Softw. Tools Technol. Transf., 2012

Timing analysis of concurrent programs running on shared cache multi-cores.

[BibT_eX]

[DOI]

Real Time Syst., 2012

Performance debugging of Esterel specifications.

[BibT_eX]

[DOI]

Real Time Syst., 2012

Modeling Software Execution Environment.

[BibT_eX]

[DOI]

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Software change contracts.

[BibT_eX]

[DOI]

Jooyong Yi

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Inferring class level specifications for distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Scalable and Precise Refinement of Cache Timing Analysis via Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Timing Analysis of a Protected Operating System Kernel.

[BibT_eX]

[DOI]

Bernard Blackham

Yao Shi

Gernot Heiser

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Scope-Aware Data Cache Analysis for WCET Estimation.

[BibT_eX]

[DOI]

Bach Khoa Huynh

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Locating failure-inducing environment changes.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011

Static bus schedule aware scratchpad allocation in multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Engineering multi-tenant software-as-a-service systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

Mining message sequence graphs.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds.

[BibT_eX]

[DOI]

Timon Kelter

Heiko Falk

Peter Marwedel

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

2010

Scratchpad allocation for concurrent embedded software.

[BibT_eX]

[DOI]

Vivy Suhendra

ACM Trans. Program. Lang. Syst., 2010

Golden implementation driven software debugging.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

Test generation to expose changes in evolving programs.

[BibT_eX]

[DOI]

Zhenkai Liang

Proceedings of the ASE 2010, 2010

WOMM: A Weak Operational Memory Model.

[BibT_eX]

[DOI]

Arnab De

Deepak D'Souza

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Timing analysis of esterel programs on general-purpose multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 47th Design Automation Conference, 2010

2009

Interacting process classes.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2009

Cache-aware timing analysis of streaming applications.

[BibT_eX]

[DOI]

Real Time Syst., 2009

Debugging as a Science, that too, when your Program is Changing.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Cache-aware optimization of BAN applications.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2009

Darwin: an approach for debugging evolving programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Unified Cache Modeling for WCET Analysis and Layout Optimizations.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Footprinter: Round-trip engineering via scenario and state based models.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Fair Model Checking with Process Counter Abstraction.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Context-sensitive timing analysis of Esterel programs.

[BibT_eX]

[DOI]

Proceedings of the 46th Design Automation Conference, 2009

Generating test programs to cover pipeline interactions.

[BibT_eX]

[DOI]

Proceedings of the 46th Design Automation Conference, 2009

Embedded Systems and Software Validation.

[BibT_eX]

[DOI]

The Morgan Kaufmann series in systems on silicon, Morgan Kaufmann, ISBN: 978-0-12-374230-8, 2009

2008

Dynamic slicing on Java bytecode traces.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Schedulability Analysis of MSC-based System Models.

[BibT_eX]

[DOI]

Samarjit Chakraborty

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Java memory model aware software validation.

[BibT_eX]

[DOI]

Arnab De

Deepak D'Souza

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Debugging Statecharts Via Model-Code Traceability.

[BibT_eX]

[DOI]

Liang Guo

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Chronos: A timing analyzer for embedded software.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Memory model sensitive bytecode verification.

[BibT_eX]

[DOI]

Thuan Quang Huynh

Formal Methods Syst. Des., 2007

Timing Analysis of Body Area Network Applications.

[BibT_eX]

[DOI]

Liang Yun

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

Tutorial T8B: Performance Debugging of Complex Embedded Systems.

[BibT_eX]

[DOI]

Samarjit Chakraborty

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

Hierarchical dynamic slicing.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Cache-Aware Timing Analysis of Streaming Applications.

[BibT_eX]

[DOI]

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

Accounting for cache-related preemption delay in dynamic priority schedulability analysis.

[BibT_eX]

[DOI]

Samarjit Chakraborty

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

A Retargetable Software Timing Analyzer Using Architecture Description Language.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

Worst-Case Execution Time and Energy Analysis.

[BibT_eX]

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006

Modeling out-of-order processors for WCET analysis.

[BibT_eX]

[DOI]

Real Time Syst., 2006

Handling Constraints in Multi-Objective GA for Embedded System Design.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

Synthesis and Traceability of Scenario-Based Executable Models.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Interacting process classes.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A Memory Model Sensitive Checker for C#.

[BibT_eX]

[DOI]

Thuan Quang Huynh

Proceedings of the FM 2006: Formal Methods, 2006

Efficient detection and exploitation of infeasible paths for software timing analysis.

[BibT_eX]

[DOI]

Proceedings of the 43rd Design Automation Conference, 2006

Accurately Choosing Execution Runs for Software Fault Localization.

[BibT_eX]

[DOI]

Liang Guo

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

Modeling Control Speculation for Timing Analysis.

[BibT_eX]

[DOI]

Real Time Syst., 2005

Preface.

[BibT_eX]

[DOI]

Supratik Mukhopadhyay

Zijiang Yang

Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Exploiting Branch Constraints without Exhaustive Path Enumeration.

[BibT_eX]

[DOI]

Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

WCET Centric Data Allocation to Scratchpad Memory.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Automated path generation for software fault localization.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Analyzing Loop Paths for Execution Time Estimation.

[BibT_eX]

[DOI]

Hemendra Singh Negi

Proceedings of the Distributed Computing and Internet Technology, 2005

2004

An unfold/fold transformation framework for definite logic programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2004

Inductively Verifying Invariant Properties of Parameterized Systems.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2004

Automatic Generation of Protocol Converters from Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Modeling Out-of-Order Processors for Software Timing Analysis.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Symbolic Execution of Behavioral Requirements.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.

[BibT_eX]

[DOI]

C. R. Ramakrishnan

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.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Design space exploration of caches using compressed traces.

[BibT_eX]

[DOI]

Proceedings of the 18th Annual International Conference on Supercomputing, 2004

Impact of Java Memory Model on Out-of-Order Multiprocessors.

[BibT_eX]

[DOI]

Qinghua Shen

Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques (PACT 2004), 29 September, 2004

2003

Preface.

[BibT_eX]

[DOI]

Sandro Etalle

Supratik Mukhopadhyay

Proceedings of the International Workshop on Software Verification and Validation, 2003

Compactly representing parallel program executions.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003

Depiction and Playout of Multi-threaded Program Executions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

S. R. Karri

Proceedings of the 2003 Design, 2003

Accurate timing analysis by modeling caches, speculation and their interaction.

[BibT_eX]

[DOI]

Proceedings of the 40th Design Automation Conference, 2003

Accurate estimation of cache-related preemption delay.

[BibT_eX]

[DOI]

Hemendra Singh Negi

Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003

Communicating Transaction Processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2002

An Executable Specification Language Based on Message Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Timing Analysis of Embedded Software for Speculative Processors.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002

Specifying multithreaded Java semantics for program verification.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

Formal Reasoning about Hardware and Software Memory Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

2001

Automated Inductive Verification of Parameterized Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Verification of Parameterized Systems Using Logic Program Transformations.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Justifying proofs using memo tables.

[BibT_eX]

[DOI]

C. R. Ramakrishnan

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

XMC: A Logic-Programming-Based Verification Toolset.

[BibT_eX]

[DOI]

V. N. Venkatakrishnan

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

K. Narayan Kumar

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.

[BibT_eX]

[DOI]

Amy P. Felty

Douglas J. Howe

Proceedings of the Automated Deduction, 1999

1998

Tabulation-based Induction Proofs with Application to Automated Verification.

[BibT_eX]

Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

Logic Programming and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Computer Languages, 1998

1995

Efficient Algorithms for Vertex Arboricity of Planar Graphs.

[BibT_eX]

[DOI]