Valen은 관련된 참조를 그룹으로 추적하는 빌림 검사 설계를 공개했다. 여러 가변 참조를 허용하면서 경로가 무효화된 뒤의 접근을 컴파일 단계에서 막아, 사용 후 해제 같은 오류를 실행 시 비용 없이 다루겠다는 구상이다. 설계 글의 예제는 Rust식 제약과 다른 사용성을 설명하지만 공식 저장소는 프로젝트가 개념 증명 수준이며 미완성 요소와 안전성 구멍이 남아 있다고 명시한다. Rust 연동도 수정된 컴파일러를 요구한다. 완성된 대체 언어가 아니라 메모리 안전성 설계 실험으로 보는 것이 정확하다.