Hiroki Chen

icon indicating a website link hiroki-chen.github.io icon indicating an email [email protected]

icon company Unemployed icon location Saratoga, CA icon location CS Ph.D. @ IUB "Algorithms are the computational content of proofs." (Robert Harper)

Results 4 issues of Hiroki Chen

Master

Tag analysis fails on container types

## Issue MIRAI tag analysis would fail unexpectedly when analyzing container types, e.g., `Vec`, user-defined structs. ## Steps to Reproduce Source code: ```rust #![cfg_attr(mirai, allow(incomplete_features), feature(generic_const_exprs))] #[macro_use] extern crate mirai_annotations;...

Prusti panics on `slices in loops not yet implemented`

Hi there, I am trying to verify the correctness of a selection sort algorithm that contains nested `while` loops, but Prusti would panic when parsing the following code: ```rust #[allow(unused)]...

Add policy compliant data analysis framework (WIP) for Teaclave

## Description As the emphasis of data privacy has been imposed by many legal regulations, companies and individuals are becoming aware of the protection of sensitive data in use. However,...