ITHICA generates functional tests via intra-thread instruction duplication and comparison, detecting 39% more defective servers than baseline methods on over 3000 real CPUs while revealing new defect behaviors.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
representative citing papers
Classport adds dependency information to Java class files to enable runtime introspection of used dependencies, shown feasible on six real-world projects.
CoBRA extends any quorum-based SMR protocol to tolerate 1/3 Byzantine plus 1/3 rational validators via finalization changes and adds a recovery mechanism for higher fault levels with client reimbursement.
citing papers explorer
-
ITHICA: Intra-Thread Instruction Checking Approach for Defect-Induced Silent Data Corruptions
ITHICA generates functional tests via intra-thread instruction duplication and comparison, detecting 39% more defective servers than baseline methods on over 3000 real CPUs while revealing new defect behaviors.
-
Classport: Designing Runtime Dependency Introspection for Java
Classport adds dependency information to Java class files to enable runtime introspection of used dependencies, shown feasible on six real-world projects.
-
CoBRA: A Universal Strategyproof Confirmation Protocol for Quorum-based Proof-of-Stake Blockchains
CoBRA extends any quorum-based SMR protocol to tolerate 1/3 Byzantine plus 1/3 rational validators via finalization changes and adds a recovery mechanism for higher fault levels with client reimbursement.