Collaborative Research: SaTC: CORE: Large: Building and Deploying a Verified JavaScript Runtime

assignment_turned_inproject01 Oct 2021(Started)-30 Sep 2026(Ending)On going (M52)

Funder: National Science FoundationProject code: 2120642

Funded under: Directorate for Computer & Information Science & Engineering | Division of Computer and Network Systems Funder Contribution: 483,014 USD

Collaborative Research: SaTC: CORE: Large: Building and Deploying a Verified JavaScript Runtime

- Summary
- DMPs

Partners

UCSF

Data Management Plans

Start a new DMP in Argos

Found an issue? Give us feedback

Select content type to embed

All Research products

arrow_drop_down

<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=nsf_________::d7385bd612409b83f4315182e84b3e75&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Collaborative Research: SaTC: CORE: Large: Building and Deploying a Verified JavaScript Runtime

Collaborative Research: SaTC: CORE: Large: Building and Deploying a Verified JavaScript Runtime

Loading