Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
2026-04-28T08:52:09Z•210df410ce794e065f55383052cc36baf3bad60c8a5b8ed9e27ce171b586bf9b
AutoPyVerifierCode BrokerDAG searchHybrid Path-SumsLLM verificationLLM+static analysisPylintWebAssemblycode quality assessmentconcolic executiondependent typesexecutable verifiersformal verificationhybrid quantum-classical verificationmicrocontrollersmulti-agent systemmultiverse debuggingstaged typesstate-space reductionstatic assertionssymbolic executiontensor shape checkingtool synthesistrace-based debuggingunsafe Rust auditing','safety tags','safety-tool','Rust standard
What happened
Collection of recent systems and programming-language research with practical relevance to software/hardware security and verification. Key contributions: (1) Remote concolic multiverse debugging — a trace-based multiverse debugger that interleaves concolic analysis with live debugging to reduce state-space explosion on resource-constrained microcontrollers (prototype on WARDuino WebAssembly VM). (2) Compile-time tensor-shape checking via staging — shape assertions evaluated at compile-time to avoid dependent-type proof burdens for tensor programs. (3) Hybrid Path-Sums — a symbolic framework,
Why it matters
A reviewed impact interpretation has not been published for this record.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- 210df410ce794e065f55383052cc36baf3bad60c8a5b8ed9e27ce171b586bf9b
- Enrichment time
- 2026-04-28T08:52:09Z
- AI-assisted enrichment
- Yes
This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.