Pular para o conteúdo

portela.devPesquisa, tecnologia e ideias em movimentoVoltar para portela.dev ↗

R·RADAR ARXIVpor portela.dev

Edições Temas

CARREGANDO O RADAR…

portela.dev ↗

Radar arXiv · Pesquisa antes de virar consenso.

Edições Temas Busca RSS

RADAR ARXIV © 2026

REDE DE PESQUISA / AUTOR

Woo Kyung Kim

1 paper no acervo

PRODUÇÃO

Papers

cs.SE18 de set. de 2026

Code-as-Auditor: Executable Compliance Reasoning via Regulation-to-Code

Kim, J.; Kwack, T.; Jang, J.

REDE DE COAUTORIA

Jisoo Kim · 1 TaeYoon Kwack · 1 Jinwoo Jang · 1 Honguk Woo · 1

Woo Kyung Kim | Radar arXiv · portela.dev