Error Localization for Sequential Effect Systems
No abstract available.
Related papers
- Reasoning about the POSIX file system: local update and global pathnames OOPSLA 2015
- Semantic Fault Localization and Suspiciousness Ranking TACAS 2019
- WuKong: effective diagnosis of bugs at large system scales PPoPP 2013
- Programming for parallelism and locality with hierarchically tiled arrays PPoPP 2006
- E-QED: Electrical Bug Localization During Post-silicon Validation Enabled by Quick Error Detection and Formal Methods CAV 2017
- Localizing Type Errors for Syntactic Sugar by Lifting OOPSLA 2026
- Verifying safety and accuracy of approximate parallel programs via canonical sequentialization OOPSLA 2019
- Checking and inferring local non-aliasing PLDI 2003