Explore @dslab-epfl Open Source projects

Dependable Systems Laboratory (@dslab-epfl)

dslab-epfl

Stars
299
Global Org. Rank 32,383 (Top 11 %)
Registered over 13 years ago
Most used languages

C
33.3 %

C++
23.3 %

Python
23.3 %

Roff 3.3 %

Objective-C
3.3 %

Java
3.3 %

Scala
3.3 %

HTML
3.3 %

PHP
3.3 %
Location 🇨🇭 Switzerland
Country Total Rank 1,120
Country Ranking

Roff 3

Objective-C
66

C
150

C++
208

Scala
294

HTML
600

Python
774

PHP
986

Java
2,195

tinynf

Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)

cloud9

The Cloud9 main repository

asap

Official repository for ASAP: High System-code Security at Low Overhead

lfi

Fault injection library

pix

Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.

chef

The Chef symbolic execution platform, based off S2E

chef-symbex-python

A modded Python interpreter that supports symbolic execution.

svshi

Formal verification for smart infrastructure (buildings, cities, etc.)

klint

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).

ebpf-se

Tool to symbolically execute eBPF programs

gist-static-analyzer

chef-symbex-lua

Lua interpreter modded to support symbolic execution

cloud9-uclibc

The Cloud9/KLEE uClibc library

concord

nfos

A framework for productive development of scalable network functions

chef-tools

myedu-catalog

EPFL MyEdu Course Catalog

bugbase

A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools

lpn

Repo for Performance Interfaces for Hardware Accelerators.

systems-epfl.github.io

Systems @EPFL research group home page.

memcached-llvm

A memcached version adapted for LLVM

cloud9-depot

The Cloud9 depot (root repository)

symbex-smt-queries

A collection of SMT queries arising in symbolic execution workloads

warr

Automatically exported from code.google.com/p/warr

accessibility-checker

Tools to check the accessibility of course material and provide suggestions for improving it.

buddy-suite

Automatically exported from code.google.com/p/buddy-suite

cloud9-boolector

Mirror of the Cloud9 Boolector repository

dimmunix

Automatically exported from code.google.com/p/dimmunix

s2e2-gui

GUI for interacting with S2E2

jagr

Automatically exported from code.google.com/p/jagr

s2e-guest

S2E guest utilities