2024
Timing Side-Channel Mitigation via Automated Program Repair.
ACM Trans. Softw. Eng. Methodol., November, 2024
Codexity-APR/Codexity: Codexity: Secure AI-assisted Code Generation v1.0.0.
Dataset, January, 2024
ProveNFix: Temporal Property-Guided Program Repair.
Proc. ACM Softw. Eng., 2024
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing.
CoRR, 2024
Large Language Model assisted Hybrid Fuzzing.
CoRR, 2024
Fixing Security Vulnerabilities with AI in OSS-Fuzz.
CoRR, 2024
Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code.
CoRR, 2024
Assured Automatic Programming via Large Language Models.
CoRR, 2024
SpecRover: Code Intent Extraction via LLMs.
CoRR, 2024
Codexity: Secure AI-assisted Code Generation.
CoRR, 2024
Automatic Programming: Large Language Models and Beyond.
CoRR, 2024
Large Language Model guided Protocol Fuzzing.
Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024
Oracle-Guided Program Selection from Large Language Models.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
AutoCodeRover: Autonomous Program Improvement.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Program Repair and Trusted Automatic Programming.
Proceedings of the 17th Innovations in Software Engineering Conference, 2024
Evolutionary Testing for Program Repair.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024
Program Repair Competition 2024.
Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024
Program Environment Fuzzing.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
Greybox Fuzzing for Concurrency Testing.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
2023
Hippodrome: Data Race Repair Using Static Analysis Summaries.
ACM Trans. Softw. Eng. Methodol., April, 2023
Intelligent Tutoring System: Experience of Linking Software Engineering and Programming Teaching.
CoRR, 2023
Program Repair by Fuzzing over Patch and Input Space.
CoRR, 2023
Patch Space Exploration using Static Analysis Feedback.
CoRR, 2023
Distributed System Fuzzing.
CoRR, 2023
Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations.
Proceedings of the 32nd USENIX Security Symposium, 2023
Program Repair Guided by Datalog-Defined Static Analysis.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Concept-Based Automated Grading of CS-1 Programming Assignments.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Cerberus: a Program Repair Framework.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
Automated Repair of Programs from Large Language Models.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
Program Repair Competition.
Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2023
Efficient SMT-Based Network Fault Tolerance Verification.
Proceedings of the Formal Methods - 25th International Symposium, 2023
Greybox Fuzzing of Distributed Systems.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
Replication Package for "Trust Enhancement Issues in Program Repair".
Dataset, February, 2022
Replication Package for "Trust Enhancement Issues in Program Repair".
Dataset, January, 2022
Verifix: Verified Repair of Programming Assignments.
ACM Trans. Softw. Eng. Methodol., 2022
Explainable Fuzzer Evaluation.
CoRR, 2022
Improving automatically generated code from Codex via Automated Program Repair.
CoRR, 2022
Fast Fuzzing for Memory Errors.
CoRR, 2022
FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation.
Proceedings of the 31st USENIX Security Symposium, 2022
Stateful Greybox Fuzzing.
Proceedings of the 31st USENIX Security Symposium, 2022
Efficient Greybox Fuzzing to Detect Memory Errors.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Program vulnerability repair via inductive inference.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
Trust Enhancement Issues in Program Repair.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Linear-time Temporal Logic guided Greybox Fuzzing.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Fair Decision Making via Automated Repair of Decision Trees.
Proceedings of the 2nd IEEE/ACM International Workshop on Equitable Data & Technology, 2022
2021
oo7: Low-Overhead Defense Against Spectre Attacks via Program Analysis.
IEEE Trans. Software Eng., 2021
IEEE Trans. Software Eng., 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
APIfix: output-oriented program synthesis for combating breaking changes in libraries.
Proc. ACM Program. Lang., 2021
Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing.
CoRR, 2021
How to trust auto-generated code patches? A developer survey and empirical assessment of existing program repair tools.
CoRR, 2021
Flaky test detection in Android via event order exploration.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Scalable Fuzzing of Program Binaries with E9AFL.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 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
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
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
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
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
Debugging as a Science, that too, when your Program is Changing.
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 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
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
Proceedings of the Third International Workshop on Software Verification and Validation, 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
Proceedings of the International Workshop on Software Verification and Validation, 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