https://github.com/kraks/sai

Staged Abstract Interpreters
https://github.com/kraks/sai

abstract-interpretation interpreters meta-programming scala staging symbolic-execution

Last synced: 3 months ago
JSON representation

Staged Abstract Interpreters

• Host: GitHub
• URL: https://github.com/kraks/sai
• Owner: Kraks
• Created: 2018-01-03T05:12:02.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2023-03-13T17:57:29.000Z (almost 2 years ago)
• Last Synced: 2024-10-11T21:51:48.862Z (3 months ago)
• Topics: abstract-interpretation, interpreters, meta-programming, scala, staging, symbolic-execution
• Language: Scala
• Homepage:
• Size: 18.1 MB
• Stars: 65
• Watchers: 12
• Forks: 8
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
[![Scala CI](https://github.com/Kraks/sai/actions/workflows/scala.yml/badge.svg)](https://github.com/Kraks/sai/actions/workflows/scala.yml)

**This repository is archived; new development see [GenSym](https://github.com/Generative-Program-Analysis/GenSym).**

# Staged Program Analyzers

Improving the performance of static analysis by meta-programming/multi-stage programming.

### Directories

* `dev-clean` Current development using [LMS-clean](https://github.com/TiarkRompf/lms-clean)

* `oopsla19-code` The artifact of the OOPSLA '19 submission

### Related Software/Code

* `lms-clean` The new version of LMS library

* `immer` An immutable data structures library for C++

* `dev-obsolete` Outdated development using [virtualization-lms-core](https://github.com/TiarkRompf/virtualization-lms-core)

* `pldi19-code` The code for the PLDI '19 submission (obsoleted)

* [abscomp-racket](https://github.com/Kraks/abscomp) Abstract Compilation (CC '96) implemented in Racket

### Publications

* Towards Partially Evaluating Symbolic Interpreters for All  

  Shangyin Tan, Guannan Wei, Tiark Rompf  

  ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), co-located with POPL 2022. Philadelphia, PA, USA  

  [PDF](http://continuation.passing.style/static/papers/pepm22.pdf)

* LLSC: A Parallel Symbolic Execution Compiler for LLVM IR (Demo Paper)  

  Guannan Wei, Shangyin Tan, Oliver Bračevac, Tiark Rompf  

  Proceedings of The 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021)  

  [PDF (ACM DL)](https://dl.acm.org/doi/10.1145/3468264.3473108)

* Compiling Symbolic Execution with Staging and Algebraic Effect  

  Guannan Wei, Oliver Bračevac, Shangyin Tan, Tiark Rompf  

  Proceedings of the ACM on Programming Languages, Volume 4 (OOPSLA 2020). Online  

  [PDF (ACM DL)](https://dl.acm.org/doi/10.1145/3428232)

* Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-Programming  

  Guannan Wei, Yuxuan Chen, Tiark Rompf  

  Proceedings of the ACM on Programming Languages, Volume 3 (OOPSLA 2019). Athens, Greece  

  [PDF (ACM DL)](https://dl.acm.org/doi/10.1145/3360552)