17 posts tagged with "Thesis"

We are proud that our paper "χRVFormal: Formal Verification of RISC-V Processor Chisel Designs", has been accepted at Journal of Systems Architecture (JSA) 2026.

χRVFormal presents the first end-to-end approach for formally verifying RISC-V processor designs entirely at the Chisel high-level. By constructing a modular, parameterized reference model in Chisel and devising a novel synchronization mechanism, it reduces verification to a model-checking problem applicable to both in-order and out-of-order processors. Evaluated on riscv-mini, NutShell, and BOOM, our tool significantly outperforms state-of-the-art methods, discovering 7 real-world unknown bugs and achieving three orders of magnitude higher efficiency.

We are proud that our paper "Can LLM Aid in Solving Constraints with Inductive Definitions?", has been accepted at 27th Symposium on Formal Methods (FM) 2026.

We are proud that our paper "AudioJailbreak: Jailbreak Attacks against End-to-End Large Audio-Language Models", has been accepted at IEEE Transactions on Dependable and Secure Computing (TDSC).

We are proud that our paper "SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts", has been accepted at ACM International Conference on the Foundations of Software Engineering (FSE) 2026.

We are proud that our paper "RunTyper: Enhancing Deep Type Inference Using Dynamic Analysis for Python", has been accepted at ACM Transactions on Software Engineering and Methodology (TOSEM) 2025.

We are proud that our paper "Decision Procedures for A Theory of String Sequences", has been accepted at 23rd Asian Symposium on Programming Languages and Systems (APLAS).

We are proud that our paper "A Formally Verified Procedure for Width Inference in FIRRTL", has been accepted at 35th European Symposium on Programming.

ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems, and is one of the conferences of ETAPS (European Joint Conferences on Theory and Practice of Software).

We are proud that our paper "OSTRICH: Solver for Complex String Constraints", has been accepted at Formal Methods in Computer-Aided Design 2025(FMCAD 2025).

We are proud that our paper "Separation Logic with Heap Variables: A Decision Procedure and Its Application", has been accepted at The Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA) - 2025.

We are proud that our paper "BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing", has been accepted at International Conference on Computer-Aided Design(ICCAD) - 2025.