index.html

---
title: Soufflé
layout: default
overview: true
keywords: homepage
permalink: index.html
sidebar: docs_sidebar
---

<section class="intro">
	<div class="grid">
    <div class="unit whole center-on-mobiles">
		<img src="img/logo-2x.png">
		<p class="first"><h1>Logic Defined Static Analysis.</h1></p>
    </div>
  </div>
</section>
<section class="features">
  <div class="grid-container">
	<div class="grid-item">
      <h2>Language</h2>
      <p>
        Rapid-prototyping for <em>your analysis problems</em> with logic; 
        enabling deep design-space explorations;
        designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, security checks. 
      </p>
      <a href="/docs.html">Program Soufflé &rarr;</a>
    </div>
	<div class="grid-item">
      <h2>Synthesis of Logic</h2>
      <p> Futamura projections/partial evaluation for effective translation to parallel C++; optimized staged compilation; specialized data-structures for logical relations.
      </p>
      <a href="/translate">How Soufflé works &rarr;</a>
    </div>
      <div class="grid-item">
      <h2><a href="http://plang1.cs.usyd.edu.au:8000">Try it out</a></h2>
    </div>
    <div class="clear"></div>
  </div>
</section>