You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Replication Package for "Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies", accepted by ACM Transactions on Software Engin…
Replication Package for "Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs", accepted by ACM Transactions o…
The replication package of <Duplicate Bug Report Detection: How Far Are We?>. Accepted by ACM Transactions on Software Engineering and Methodology (TOSEM).