acks.html

---
title: 'Petablox: Declarative Program Analysis for Big Code'
layout: default
---

<div class='row'>
  <div class='page-header'>
    <h4>Acknowledgments</h4>
  </div>
  <div class="col-lg-12">
    <p>
    This research is funded in part by DARPA as part of the <a href="http://www.darpa.mil/program/mining-and-understanding-software-enclaves">MUSE</a> program (contract #FA8750-15-2-0009) and by NSF Award <a href="http://www.nsf.gov/awardsearch/showAward?AWD_ID=1526270">New Frontiers in Constraint-Based Program Analysis</a>.
    </p>
  </div>
</div>