souffle

We have hosted the application souffle in order to run this application in our online workstations with Wine or directly.

Quick description about souffle:

Rapid prototyping for your analysis problems with logic; enabling deep design-space explorations; designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, and security checks. Futamura projections/partial evaluation for effective translation to parallel C++; optimized staged compilation; specialized data-structures for logical relations. Efficient translation to parallel C++ of Datalog programs (CAV'16, CC'16) Efficient interpretation using de-specialization techniques (PLDI'21) Specialized data structure for relations (PACT'19, PPoPP'19, PMAM'19) with optimal index selection (VLDB'18) Extended semantics of Datalog, e.g., permitting unbounded recursions with numbers and terms. Simple component model for Datalog specifications. Recursively defined record types/ADTs (aka. constructors) for tuples. User-defined functors. Strongly-typed types for safety. Subsumption, aggregation, Choice Construct (APLAS'21).

Features:

• Efficient translation to parallel C++ of Datalog programs (CAV'16, CC'16)
• Efficient interpretation using de-specialization techniques (PLDI'21)
• Specialized data structure for relations (PACT'19, PPoPP'19, PMAM'19) with optimal index selection (VLDB'18)
• Extended semantics of Datalog, e.g., permitting unbounded recursions with numbers and terms
• Simple component model for Datalog specifications
• Recursively defined record types/ADTs (aka. constructors) for tuples

Programming Language: C++.
Categories: