vijay03 / dblp-pythonLinks
Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
☆18Updated 4 years ago
Alternatives and similar repositories for dblp-python
Users that are interested in dblp-python are comparing it to the libraries listed below
Sorting:
- Major CS conference publication stats (including accepted and submitted) by year.☆127Updated this week
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- ☆20Updated 7 years ago
- AutoBib: create beautiful bib files and html publication pages automagically☆14Updated 3 weeks ago
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆28Updated 4 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆33Updated 3 years ago
- ☆9Updated 8 years ago
- A Framework for Modeling and Analyzing Network Configurations☆34Updated 2 years ago
- Finding bugs in P4 compilers using translation validation.☆37Updated 2 months ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆16Updated 2 years ago
- Implementation based on OSDI paper☆19Updated 7 years ago
- The Domino compiler to run packet programs on pipelined switches☆29Updated 3 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Updated 11 months ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 8 years ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆15Updated 5 years ago
- ☆16Updated 3 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆37Updated 2 years ago
- Recursive unified ORAM☆14Updated 9 years ago
- Main repository of the Vigor NF verification project.☆48Updated 4 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Updated 4 years ago
- MAGE: Memory-Aware Garbling Engine☆26Updated 10 months ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆28Updated 4 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Updated 3 years ago
- ExitLess services for SGX enclaves☆33Updated 5 years ago
- The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"☆30Updated 6 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆9Updated 5 years ago
- Automated tool to formally verify congestion control algorithms and find bugs in them☆26Updated 2 years ago
- Programming system for NIC-accelerated network applications☆27Updated 6 years ago
- ☆29Updated 9 months ago
- ☆11Updated 7 years ago