C library for high-throughput sequencing data formats

HTSlib: C library for reading/writing high-throughput sequencing data

Efficient in vitro and in vivo RNA editing via recruitment of endogenous ADARs using circular guide RNAs

htsget: a protocol for securely streaming genomic data

POPBAM: Tools for Evolutionary Analysis of Short Read Sequence Alignments

The Functional Significance of Common Polymorphisms in Zinc Finger Transcription Factors

Clinical utility of the low-density Infinium QC genotyping Array in a genomics-based diagnostics laboratory

Protocol for unbiased, consolidated variant calling from whole exome sequencing data


A Python package to assess and improve fairness of machine learning models.

Equality of Opportunity in Supervised Learning

A Reductions Approach to Fair Classification

Fairness in Machine Learning: A Survey

Fair Regression: Quantitative Definitions and Reduction-based Algorithms

Predictability and Surprise in Large Generative Models

"What We Can't Measure, We Can't Understand": Challenges to Demographic Data Procurement in the Pursuit of Fairness

An Empirical Characterization of Fair Machine Learning For Clinical Risk Prediction

On the Privacy Risks of Algorithmic Fairness

Fair Bayesian Optimization

Fair Learning with Private Demographic Data


cve-search - a tool to perform local searches for known vulnerabilities

ATVHunter: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android Applications

Just-in-time software vulnerability detection: Are we there yet?

Journal of systems and software/The Journal of systems and software

Adaptive MTD Security using Markov Game Modeling

Improving ICS Cyber Resilience through Optimal Diversification of Network Resources.

Discovering Command and Control Channels Using Reinforcement Learning

One Bad Apple Spoils the Barrel: Understanding the Security Risks
  Introduced by Third-Party Components in IoT Firmware

Towards Measuring Vulnerabilities and Exposures in Open-Source Packages


Validated, scalable, community developed variant calling, RNA-seq and small RNA analysis

A review of bioinformatic pipeline frameworks

A single-cell survey of Drosophila blood

Estimating genotype error rates from high-coverage next-generation sequence data

Type 1 conventional dendritic cells are systemically dysregulated early in pancreatic carcinogenesis

The Journal of experimental medicine/The journal of experimental medicine

Cpipe: a shared variant detection pipeline designed for diagnostic settings

Comprehensive Molecular Profiling Identifies FOXM1 as a Key Transcription Factor for Meningioma Proliferation

Mature Human White Adipocytes Cultured under Membranes Maintain Identity, Function, and Can Transdifferentiate into Brown-like Adipocytes

Wnt and Notch signaling govern self-renewal and differentiation in a subset of human glioblastoma stem cells

Molecular stratification of endometrioid ovarian carcinoma predicts clinical outcome

SeqMule: automated pipeline for analysis of human exome/genome sequencing data


Caffe2 is a lightweight, modular, and scalable deep learning framework.

Feature Pyramid Networks for Object Detection

MMDetection: Open MMLab Detection Toolbox and Benchmark

A First Look at Deep Learning Apps on Smartphones

Learning to See the Invisible: End-to-End Trainable Amodal Instance Segmentation

daBNN: A Super Fast Inference Framework for Binary Neural Networks on ARM devices

swCaffe: a Parallel Framework for Accelerating Deep Learning Applications on Sunway TaihuLight

Robustness of on-device Models: Adversarial Attack to Deep Learning Models on Android Apps

Enabling Cooperative Inference of Deep Learning on Wearables and Smartphones.

What does fault tolerant Deep Learning need from MPI?

Designing a Micro-Benchmark Suite to Evaluate gRPC for TensorFlow: Early Experiences.


Free open-source photogrammetry software tools

Feature matching for multi-epoch historical aerial images

Isprs Journal of Photogrammetry and Remote Sensing

Surface Rupture Kinematics and Coseismic Slip Distribution during the 2019 Mw7.1 Ridgecrest, California Earthquake Sequence Revealed by SAR and Optical Images


Fast, modular reference implementation of Instance Segmentation and Object Detection algorithms in PyTorch.

CCNet: Criss-Cross Attention for Semantic Segmentation

Gliding Vertex on the Horizontal Bounding Box for Multi-Oriented Object Detection

IEEE transactions on pattern analysis and machine intelligence

Dynamic R-CNN: Towards High Quality Object Detection via Dynamic Training

GIT: A Generative Image-to-text Transformer for Vision and Language

FUNSD: A Dataset for Form Understanding in Noisy Scanned Documents

kPAM: KeyPoint Affordances for Category-Level Robotic Manipulation

Boundary-preserving Mask R-CNN

Shakedrop Regularization for Deep Residual Learning

Micro-Batch Training with Batch-Channel Normalization and Weight Standardization

Learning What to Learn for Video Object Segmentation


Training PyTorch models with differential privacy

Deep Learning with Differential Privacy

Conference on Computer and Communications Security

Secure and Robust Machine Learning for Healthcare: A Survey

Opacus: User-Friendly Differential Privacy Library in PyTorch

End-to-end privacy preserving deep learning on multi-institutional medical imaging

Differentially Private Learning Needs Better Features (or Much More Data)

Personalized Federated Learning with First Order Model Optimization

A General Approach to Adding Differential Privacy to Iterative Training Procedures

When Machine Unlearning Jeopardizes Privacy

Backdoor Defense via Decoupling the Training Process

ML-Doctor: Holistic Risk Assessment of Inference Attacks Against Machine Learning Models


MMdnn is a set of tools to help users inter-operate among different deep learning frameworks. E.g. model conversion and visualization. Convert models between Caffe, Keras, MXNet, Tensorflow, CNTK, PyTorch Onnx and CoreML.

Deep Learning on Mobile Devices - A Review

MLModelCI: An Automatic Cloud Platform for Efficient MLaaS

MM '20: PROCEEDINGS OF THE 28TH ACM INTERNATIONAL CONFERENCE ON MULTIMEDIA

An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms

CAAD 2018: Powerful None-Access Black-Box Attack Based on Adversarial
  Transformation Network


novel deep learning research works with PaddlePaddle

UNIMO: Towards Unified-Modal Understanding and Generation via Cross-Modal Contrastive Learning

PLATO: Pre-trained Dialogue Generation Model with Discrete Latent Variable

Leveraging Graph to Improve Abstractive Multi-Document Summarization

Knowledge Aware Conversation Generation with Explainable Reasoning over Augmented Graphs

Entity Structure Within and Throughout: Modeling Mention Dependencies for Document-Level Relation Extraction

CoKE: Contextualized Knowledge Graph Embedding

Long Time No See! Open-Domain Conversation with Long-Term Persona Memory

Robust Collaborative Learning of Patch-Level and Image-Level Annotations for Diabetic Retinopathy Grading From Fundus Image

A Unified Multi-task Learning Framework for Multi-goal Conversational Recommender Systems

Exploring Contextual Word-level Style Relevance for Unsupervised Style Transfer


"Multi-Level Intermediate Representation" Compiler Infrastructure

Extending Relational Query Processing with ML Inference

High-Performance Deep Learning via a Single Building Block

End-to-end Optimization of Machine Learning Prediction Queries

Proceedings of the 2022 International Conference on Management of Data

MIOpen: An Open Source Library For Deep Learning Primitives

Tensor Processing Primitives: A Programming Abstraction for Efficiency and Portability in Deep Learning Workloads

A flexible FPGA accelerator for convolutional neural networks.

NGEMM: Optimizing GEMM for Deep Learning via Compiler-based Techniques

Compiler-support for Critical Data Persistence in NVM

ACM transactions on architecture and code optimization


Exploring the Neural Algorithm of Artistic Style

GaDei: On Scale-up Training As A Service For Deep Learning

Efficient Training of Convolutional Neural Nets on Large Distributed Systems


A curated list of awesome self-supervised methods

A Survey of Deep Learning for Scientific Discovery

Self-supervised learning methods and applications in medical imaging analysis: a survey

Know Your Self-supervised Learning: A Survey on Image-based Generative
  and Discriminative Training


Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

The Art, Science, and Engineering of Fuzzing: A Survey

SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities

Smart Greybox Fuzzing

DeepHunter: Hunting Deep Neural Network Defects via Coverage-Guided Fuzzing

WEIZZ: automatic grey-box fuzzing for structured binary formats

International Symposium on Software Testing and Analysis

Complex Structure and Dynamics of the Heart

SmartSeed: Smart Seed Generation for Efficient Fuzzing.

Stateful Greybox Fuzzing

Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis

IntelliGen: Automatic Driver Synthesis for FuzzTesting


Simulation-based inference toolkit

Flexible and efficient simulation-based inference for models of decision-making

Energy-efficient network activity from disparate circuit parameters

Accelerated Bayesian SED Modeling Using Amortized Neural Posterior Estimation

Neural posterior estimation with guaranteed exact coverage: The ringdown of GW150914

Calibrating Cosmological Simulations with Implicit Likelihood Inference Using Galaxy Growth Observables

Learning Robust Statistics for Simulation-based Inference under Model
  Misspecification

S IMBIG: Mock Challenge for a Forward Modeling
  Approach to Galaxy Clustering

Bayesian model comparison for simulation-based inference

Monte Carlo Techniques for Addressing Large Errors and Missing Data in
  Simulation-based Inference

Isolated pulsar population synthesis with simulation-based inference


A (deprecated) framework for building exercises to work with Khan Academy.

Measuring Mathematical Problem Solving With the MATH Dataset

A Predictive Model for Student Performance in Classrooms Using Student Interactions With an eTextbook

Dynamic Concept Maps for eTextbook Glossaries: Design and Evaluation

InternLM-Math: Open Math Large Language Models Toward Verifiable
  Reasoning


Monero: the secure, private, untraceable cryptocurrency

An Empirical Analysis of Traceability in the Monero Blockchain

Comparison of blockchain platforms: a systematic review and healthcare examples

Journal of the American Medical Informatics Association : JAMIA

An Empirical Analysis of Linkability in the Monero Blockchain

An Empirical Analysis of Monero Cross-Chain Traceability

Bulletproofs+: Shorter Proofs for a Privacy-Enhanced Distributed Ledger

An empirical study of blockchain system vulnerabilities: modules, types, and patterns

Correlations of Multi-input Monero Transactions


A benchmark framework for Tensorflow

Natural Compression for Distributed Deep Learning

MG-WFBP: Efficient Data Communication for Distributed Synchronous SGD Algorithms

A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning

CROSSBOW: Scaling Deep Learning with Small Batch Sizes on Multi-GPU Servers

Elastic Deep Learning in Multi-Tenant GPU Clusters

MG-WFBP: Merging Gradients Wisely for Efficient Communication in Distributed Deep Learning

Hoard: A Distributed Data Caching System to Accelerate Deep Learning Training on the Cloud.

NetReduce: RDMA-Compatible In-Network Reduction for Distributed DNN
  Training Acceleration

Throughput Prediction of Asynchronous SGD in TensorFlow

PROCEEDINGS OF THE ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE'20)

Democratizing Production-Scale Distributed Deep Learning


OptiKey - Full computer control and speech with your eyes

Development of an Eye Tracking-Based Human-Computer Interface for Real-Time Applications

Assessing the Usability of Gaze-Adapted Interface against Conventional Eye-based Input Emulation

Zenodo (CERN European Organization for Nuclear Research)

Cue-bot: A Conversational Agent for Assistive Technology

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics: System Demonstrations


Creative Commons Attribution 4.0 International

COVID19 case numbers of Cantons of Switzerland and Principality of Liechtenstein (FL). The data is updated at best once a day (times of collection and update may vary). Start with the README.

Reproductive number of the COVID-19 epidemic in Switzerland with a focus on the Cantons of Basel-Stadt and Basel-Landschaft.

COVID-19 as a window of opportunity for cycling: Evidence from the first wave

Early peak and rapid decline of SARS-CoV-2 seroprevalence in a Swiss metropolitan region

Are official confirmed cases and fatalities counts good enough to study the COVID-19 pandemic dynamics? A critical assessment through the case of Italy

A hybrid Neural Network-SEIR model for forecasting intensive care occupancy in Switzerland during COVID-19 epidemics

Time is of the essence: containment of the SARS-CoV-2 epidemic in Switzerland from February to May 2020

Clustering spatio-temporal series of confirmed COVID-19 deaths in Europe


Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

Automatically identifying potential regressions in the layout of responsive web pages

Software testing, verification & reliability

P2ISE: Preserving Project Integrity in CI/CD Based on Secure Elements

Lightweight, Multi-Stage, Compiler-Assisted Application Specialization

Managing data replication and distribution in the fog with FReD

Bad Snakes: Understanding and Improving Python Package Index Malware Scanning

Lessons Learned Developing an Assembly System for WRS 2020 Assembly Challenge.

Benchmarking the Parallel 1D Heat Equation Solver in Chapel, Charm++,
  C++, HPX, Go, Julia, Python, Rust, Swift, and Java


A Peer-to-peer Platform for Secure, Privacy-preserving, Decentralized Data Science

Secure and Robust Machine Learning for Healthcare: A Survey

Cohort-based Federated Learning Services for Industrial Collaboration on the Edge

Journal of parallel and distributed computing

FedPrune: Towards Inclusive Federated Learning


Ryu component-based software defined networking framework

Multi-Agent Deep Q-Networks for Efficient Edge Federated Learning Communications in Software-Defined IoT

Computers, materials & continua/Computers, materials & continua (Print)

An SDN-based Approach For Defending Against Reflective DDoS Attacks

Secure Route-Obfuscation Mechanism with Information-Theoretic Security for Internet of Things


Read, modify and write DICOM files with python code

2015 Brainhack Proceedings

18F-FDG-PET-based radiomics features to distinguish primary central nervous system lymphoma from glioblastoma

A pediatric wrist trauma X-ray dataset (GRAZPEDWRI-DX) for machine learning

DICOM re‐encoding of volumetrically annotated Lung Imaging Database Consortium (LIDC) nodules

Medical physics on CD-ROM/Medical physics

Diagnostic Performance of a Deep Learning Model Deployed at a National COVID-19 Screening Facility for Detection of Pneumonia on Frontal Chest Radiographs

An Automatic Method for Assessing Spiking of Tibial Tubercles Associated with Knee Osteoarthritis

Exploratory Analysis of Serial 18F-fluciclovine PET-CT and Multiparametric MRI during Chemoradiation for Glioblastoma

CoroFinder: A New Tool for Real Time Detection and Tracking of Coronary Arteries in Contrast-Free Cine-Angiography

Interactive framework for Covid-19 detection and segmentation with feedback facility for dynamically improved accuracy and trust


Seamless operability between C++11 and Python

CityFlow: A Multi-Agent Reinforcement Learning Environment for Large Scale City Traffic Scenario

WEB CONFERENCE 2019: PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE (WWW 2019)

������������: Analytic Occultation Light Curves

Qulacs: a fast and versatile quantum circuit simulator for research purpose

The gem5 Simulator: Version 20.0+

Interactive Gibson Benchmark: A Benchmark for Interactive Navigation in Cluttered Environments

A parallel global multiobjective framework for optimization: pagmo

giotto-tda: A Topological Data Analysis Toolkit for Machine Learning and Data Exploration

NetKet: A machine learning toolkit for many-body quantum systems

The DUNE Framework: Basic Concepts and Recent Developments

Deeptime: a Python library for machine learning dynamical models from time series data


Optimized C library for EC operations on curve secp256k1

IA-CCF: Individual Accountability for Permissioned Ledgers

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

PAC: Practical Accountability for CCF.

Frugal Byzantine Computing

Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation

NetShaper: A Differentially Private Network Side-Channel Mitigation
  System


Benchmarks of approximate nearest neighbor libraries in Python

Efficient and Robust Approximate Nearest Neighbor Search Using Hierarchical Navigable Small World Graphs

Visualizing Large-scale and High-dimensional Data

ANN-Benchmarks: A Benchmarking Tool for Approximate Nearest Neighbor Algorithms

Approximate Nearest Neighbor Search on High Dimensional Data — Experiments, Analyses, and Improvement

IEEE transactions on knowledge and data engineering

Fast Approximate Nearest Neighbor Search With The Navigating Spreading-out Graph

A Comprehensive Survey and Experimental Comparison of Graph-Based Approximate Nearest Neighbor Search

Collaborative Similarity Embedding for Recommender Systems

Off the Beaten Path: Let's Replace Term-Based Retrieval with k-NN Search

International Conference on Information and Knowledge Management

Learning to Route in Similarity Graphs

FLASH: Randomized Algorithms Accelerated over CPU-GPU for Ultra-High
  Dimensional Similarity Search


Task-based datasets, preprocessing, and evaluation for sequence models.

BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer

How Much Knowledge Can You Pack Into the Parameters of a Language Model?

UL2: Unifying Language Learning Paradigms

Scaling Up Models and Data with  and

Sequence-to-Sequence Piano Transcription with Transformers


fMRIPrep is a robust and easy-to-use pipeline for preprocessing of diverse fMRI data. The transparent workflow dispenses of manual intervention, thereby ensuring the reproducibility of the results.

fMRIPrep: a robust preprocessing pipeline for functional MRI

BOLD5000, a public fMRI dataset while viewing 5000 visual images

Deep Neural Generative Model of Functional MRI Images for Psychiatric Disorder Diagnosis

IEEE transactions on bio-medical engineering/IEEE transactions on biomedical engineering

Moving Beyond Processing and Analysis-Related Variation in Neuroscience

The control of tonic pain by active relief learning

Pain-related fear – Dissociable neural sources of different fear constructs

3D Deformable Convolutions for MRI classification

Vagus nerve stimulation increases stomach-brain coupling via a vagal afferent pathway

Brain signaling dynamics after vagus nerve stimulation

Neural excursions from manifold structure explain patterns of learning during human sensorimotor adaptation


Modelica Buildings library


INET Framework for the OMNeT++ discrete event simulator

WSN Simulators Evaluation: an Approach Focusing on Energy Awareness

International journal of wireless and mobile networks

HTBQueue: A Hierarchical Token Bucket Implementation for the
  OMNeT++/INET Framework

An Overview of the Drone Open-Source Ecosystem.

Improvements in OMNeT++/INET Real-Time Scheduler for Emulation Mode

Wireless Link Selection Methods for Maritime Communication Access Networks—A Deep Learning Approach

Quality Control Methodology for Simulation Models of Computer Network Protocols.


Cloud-native genomic dataframes and batch computing

FinnGen: Unique genetic insights from combining isolated population and national health register data

Exploiting the GTEx resources to decipher the mechanisms at GWAS loci

Mapping and characterization of structural variation in 17,795 human genomes

A genome-wide mutational constraint map quantified from variation in 76,156 human genomes

Autism spectrum disorder and attention deficit hyperactivity disorder have a similar burden of rare protein-truncating variants

Genome-wide rare variant analysis for thousands of phenotypes in over 70,000 exomes from two cohorts

Systematic single-variant and gene-based association testing of thousands of phenotypes in 394,841 UK Biobank exomes

Ultra-rare disruptive and damaging mutations influence educational attainment in the general population

Deep coverage whole genome sequences and plasma lipoprotein(a) in individuals of European and African ancestries

Insights into the genetic epidemiology of Crohn's and rare diseases in the Ashkenazi Jewish population


Lingvo

GPipe: Efficient Training of Giant Neural Networks using Pipeline Parallelism

The Best of Both Worlds: Combining Recent Advances in Neural Machine Translation

Lingvo: a Modular and Scalable Framework for Sequence-to-Sequence Modeling

DeepFusion: Lidar-Camera Deep Fusion for Multi-Modal 3D Object Detection

Just Pick a Sign: Optimizing Deep Multitask Models with Gradient Sign Dropout

StarNet: Targeted Computation for Object Detection in Point Clouds

Improving 3D Object Detection through Progressive Population Based Augmentation

On the Choice of Modeling Unit for Sequence-to-Sequence Speech Recognition

Learning an Uncertainty-Aware Object Detector for Autonomous Driving

The 2020 ESPnet Update: New Features, Broadened Applications, Performance Improvements, and Future Plans


Keras implementation of RetinaNet object detection.

Focal Loss for Dense Object Detection

MultiPoseNet: Fast Multi-Person Pose Estimation using Pose Residual Network

Individual Tree-Crown Detection in RGB Imagery Using Semi-Supervised Deep Learning Neural Networks

Assessment of CNN-Based Methods for Individual Tree Detection on Images Captured by RGB Cameras Attached to UAVs

A comparative study of fruit detection and counting methods for yield mapping in apple orchards

Improving RetinaNet for CT Lesion Detection with Dense Masks from Weak RECIST Labels

Spatial Attention Fusion for Obstacle Detection Using MmWave Radar and Vision Sensor

Object Detection in Very High-Resolution Aerial Images Using One-Stage Densely Connected Feature Pyramid Network

Using Deep Learning to Identify Utility Poles with Crossarms and Estimate Their Locations from Google Street View Images

Combining crowd-sourcing and deep learning to understand meso-scale organization of shallow convection


Intel SGX for Linux*

Software Grand Exposure: SGX Cache Attacks Are Practical

Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts

Towards Scaling Blockchain Systems via Sharding

SgxPectre: Stealing Intel Secrets From SGX Enclaves via Speculative Execution

Chiron: Privacy-preserving Machine Learning as a Service

Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX

TWENTY-FIFTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS XXV)

SGX-LKL: Securing the Host OS Interface for Trusted Execution

An Off-Chip Attack on Hardware Enclaves via the Memory Bus

Single Trace Attack Against RSA Key Generation in Intel SGX SSL

PROCEEDINGS OF THE 2018 ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (ASIACCS'18)

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof


Official git repository of Elmer FEM software

Sensitivity of centennial mass loss projections of the Amundsen basin to the friction law

Comparison of adjoint and nudging methods to initialise ice sheet model basal conditions

Assimilation of surface observations in a transient marine ice sheet model using an ensemble Kalman filter

Melt at grounding line controls observed and future retreat of Smith, Pope, and Kohler Glaciers

Dynamically coupling full Stokes and shallow shelf approximation for marine ice sheet flow using Elmer/Ice (v8.3)

A new open-source viscoelastic solid earth deformation module implemented in Elmer (v8.4)

Quantifying the effect of ocean bed properties on ice sheet geometry over 40 000 years with a full-Stokes model

Buoyant forces promote tidewater glacier iceberg calving through large basal stress concentrations

Predicting the steady-state isochronal stratigraphy of ice shelves using observations and modeling

Scientific workflows applied to the coupling of a continuum (Elmer v8.3) and a discrete element (HiDEM v1.0) ice dynamic model


Cloud Carbon Footprint is a tool to estimate energy use (kilowatt-hours) and carbon emissions (metric tons CO2e) from public cloud usage

eco2AI: Carbon Emissions Tracking of Machine Learning Models as the First Step Towards Sustainable AI


DESC Core Cosmology Library: cosmology routines with validated numerical accuracy

KiDS+VIKING-450: Cosmic shear tomography with optical and infrared data

A unified pseudo-Cℓ framework

Monthly notices of the Royal Astronomical Society

Core Cosmology Library: Precision Cosmological Predictions for LSST

The Astrophysical journal. Supplement series/Astrophysical journal. Supplement series

The impact of baryons on the matter power spectrum from the Horizon-AGN cosmological hydrodynamical simulation

The Atacama Cosmology Telescope: A Catalog of >4000 Sunyaev–Zel’dovich Galaxy Clusters

Probing the Fundamental Nature of Dark Matter with the Large Synoptic
  Survey Telescope

Tomographic galaxy clustering with the Subaru Hyper Suprime-Cam first year public data release

OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)

The growth of density perturbations in the last ∼10 billion years from tomographic large-scale structure data

Erratum: Tomographic measurement of the intergalactic gas pressure through galaxy-tSZ cross-correlations

The effect on cosmological parameter estimation of a parameter dependent covariance matrix


An open-source graph database

Demystifying Graph Databases: Analysis and Taxonomy of Data Organization, System Designs, and Graph Queries

An introduction to Graph Data Management

Certified Graph View Maintenance with Regular Datalog

Distributed graphs: in search of fast, low-latency, resource-efficient, semantics-rich Big-Data processing.


Perceptual video quality assessment based on multi-method fusion.

Spatiotemporal Feature Integration and Model Fusion for Full Reference Video Quality Assessment

ELF-VC: Efficient Learned Flexible-Rate Video Coding

Towards Perceptually Optimized End-to-end Adaptive Video Streaming

ProxIQA: A Proxy Approach to Perceptual Optimization of Learned Image Compression

IEEE transactions on image processing : a publication of the IEEE Signal Processing Society

Recover Subjective Quality Scores from Noisy Measurements

Video Multimethod Assessment Fusion (VMAF) on 360VR Contents

IEEE transactions on consumer electronics

Advances In Video Compression System Using Deep Neural Network: A Review
  And Case Studies

NTIRE 2021 Challenge on Quality Enhancement of Compressed Video: Methods and Results

NDNetGaming - development of a no-reference deep CNN for gaming video quality prediction

Assessment of QoE for Video and Audio in WebRTC Applications Using Full-Reference Models


A GPU-accelerated library containing highly optimized building blocks and an execution engine for data processing to accelerate deep learning training and inference applications.

Solo-learn: A Library of Self-supervised Methods for Visual Representation Learning

Split to Be Slim: An Overlooked Redundancy in Vanilla Convolution

Synergy: Resource Sensitive DNN Scheduling in Multi-Tenant Clusters

INFaaS: Managed & Model-less Inference Serving

Importance of Data Loading Pipeline in Training Deep Neural Networks

Improving the Perceptual Quality of 2D Animation Interpolation

Where Is My Training Bottleneck? Hidden Trade-Offs in Deep Learning Preprocessing Pipelines

Proceedings of the 2022 International Conference on Management of Data

Progressive Compressed Records: Taking a Byte out of Deep Learning Data

Digital Gimbal: End-to-end Deep Image Stabilization with Learnable Exposure Times

Shuffler: A Large Scale Data Management Tool for ML in Computer Vision


OpenModelica is an open-source Modelica-based modeling and simulation environment intended for industrial and academic usage.


Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/

Minimum viable device drivers for ARM trustzone

Ellipsis: Towards Efficient System Auditing for Real-Time Systems

MVAM: Multi-variant Attacks on Memory for IoT Trust Computing

Scrooge Attack: Undervolting ARM Processors for Profit: Practical experience report


Internet-Drafts that make up the base QUIC specification

Observing the Evolution of QUIC Implementations

Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC

Beyond socket options: making the Linux TCP stack truly extensible

FlEC: Enhancing QUIC with application-tailored reliability mechanisms

Performance of QUIC Implementations Over Geostationary Satellite Links

Robust QUIC: Integrating Practical Coding in a Low Latency Transport Protocol

Adding Forward Erasure Correction to QUIC

QUIC on the Highway: Evaluating Performance on High-rate Links

2023 IFIP Networking Conference (IFIP Networking)

ECN with QUIC: Challenges in the Wild

Proceedings of the 2023 ACM on Internet Measurement Conference


Repo for external large-scale work

LLaMA: Open and Efficient Foundation Language Models

OPT: Open Pre-trained Transformer Language Models

Galactica: A Large Language Model for Science

A Comprehensive Survey of AI-Generated Content (AIGC): A History of
  Generative AI from GAN to ChatGPT

Generative Language Models and Automated Influence Operations: Emerging
  Threats and Potential Mitigations

Auditing large language models: a three-layered approach

Scaling Autoregressive Multi-Modal Models: Pretraining and Instruction
  Tuning

Recitation-Augmented Language Models

Scaling Laws for Generative Mixed-Modal Language Models

MEGABYTE: Predicting Million-byte Sequences with Multiscale Transformers


A Fundamental End-to-End Speech Recognition Toolkit and Open Source SOTA Pretrained Models. ｜语音识别工具包，包含丰富的性能优越的开源预训练模型，支持语音识别、语音端点检测、文本后处理等，具备服务部署能力。

Attention Is All You Need

Conformer: Convolution-augmented Transformer for Speech Recognition

Branchformer: Parallel MLP-Attention Architectures to Capture Local and
  Global Context for Speech Recognition and Understanding

Paraformer: Fast and Accurate Parallel Transformer for Non-autoregressive End-to-End Speech Recognition

Qwen-Audio: Advancing Universal Audio Understanding via Unified
  Large-Scale Audio-Language Models

FunASR: A Fundamental End-to-End Speech Recognition Toolkit

A Comparative Study on E-Branchformer vs Conformer in Speech Recognition, Translation, and Understanding Tasks

Achieving Timestamp Prediction While Recognizing with Non-Autoregressive
  End-to-End ASR Model

TOLD: A Novel Two-Stage Overlap-Aware Framework for Speaker Diarization

Speaker Embedding-aware Neural Diarization: an Efficient Framework for
  Overlapping Speech Diarization in Meeting Scenarios


The Framework for Modeling Behavior, Energy, Autonomy, and Mobility in Transportation Systems

Multi-Criteria, Co-Evolutionary Charging Behavior: An Agent-Based Simulation of Urban Electromobility

BEAM: The Modeling Framework for Behavior, Energy, Autonomy & Mobility


Deepfakes Software For All

CNN-generated images are surprisingly easy to spot... for now

DeepFakes and Beyond: A Survey of Face Manipulation and Fake Detection

FSGAN: Subject Agnostic Face Swapping and Reenactment

DeepFakes: a New Threat to Face Recognition? Assessment and Detection

Thinking in Frequency: Face Forgery Detection by Mining Frequency-aware Clues

The Creation and Detection of Deepfakes: A Survey

Multi-task Learning for Detecting and Segmenting Manipulated Facial Images and Videos

Deep Learning for Deepfakes Creation and Detection: A Survey

Recurrent Convolutional Strategies for Face Manipulation Detection in Videos

Deepfakes and Disinformation: Exploring the Impact of Synthetic Political Video on Deception, Uncertainty, and Trust in News


Kubernetes Cluster Federation

Rearchitecting Kubernetes for the Edge

PROCEEDINGS OF THE 4TH INTERNATIONAL WORKSHOP ON EDGE SYSTEMS, ANALYTICS AND NETWORKING (EDGESYS'21)

An open source framework based on Kafka-ML for Distributed DNN inference over the Cloud-to-Things continuum

Architecture Integration of 5G Networks and Time-Sensitive Networking with Edge Computing for Smart Manufacturing

Trater Press: revista del tratamiento térmico

Orchestration in the Cloud-to-Things compute continuum: taxonomy, survey and future directions

Towards a Dynamic Composability Approach for using Heterogeneous Systems in Remote Sensing


Distributed reliable key-value store for the most critical data of a distributed system

Blockchain Consensus Protocols in the Wild

High Throughput Cryptocurrency Routing in Payment Channel Networks

Performance Evaluation of the Quorum Blockchain Platform

Circuit Breakers, Discovery, and API Gateways in Microservices

A Byzantine Fault-Tolerant Consensus Library for Hyperledger Fabric

Elastic Deep Learning in Multi-Tenant GPU Clusters

Rearchitecting Kubernetes for the Edge

Impact of etcd deployment on Kubernetes, Istio, and application performance

Why is random testing effective for partition tolerance bugs?

Symposium on Principles of Programming Languages

Recent Results on Fault-Tolerant Consensus in Message-Passing Networks


A tool for reverse engineering Android apk files

Playing With Danger: A Taxonomy and Evaluation of Threats to Smart Toys

CRYLOGGER: Detecting Crypto Misuses Dynamically

AppFA: A Novel Approach to Detect Malicious Android Applications on the Network

On-Device Detection of Repackaged Android Malware via Traffic Clustering

AI-driven Mobile Apps: an Explorative Study

Reversing Kia Motors Head Unit to discover and exploit software vulnerabilities

Journal of computer virology and hacking techniques

Droid-IoT: Detect Android IoT Malicious Applications Using ML and Blockchain

Computers, materials & continua/Computers, materials & continua (Print)

FirmwareDroid: Security Analysis of the Android Firmware EcoSystem

Wake Lock Leak Detection in Android Apps Using Multi-Layer Perceptron


The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many more.

Intelligent Performance Prediction: The Use Case of a Hadoop Cluster

CausalRCA: Causal Inference based Precise Fine-grained Root Cause
  Localization for Microservice Applications

To Type or Not to Type? A Systematic Comparison of the Software Quality
  of JavaScript and TypeScript Applications on GitHub

Frisbee: A Suite for Benchmarking Systems Recovery

Proceedings of the 1st Workshop on High Availability and Observability of Cloud Systems

Anomaly detection in the CERN cloud infrastructure

Adaptive Resource Allocation for Workflow Containerization on Kubernetes

Active Learning Framework to Automate NetworkTraffic Classification


Automated auditing, performance metrics, and best practices for the web.

Perceived Performance of Top Retail Webpages In the Wild

An Early Benchmark of Quality of Experience Between HTTP/2 and HTTP/3 using Lighthouse

Toward Using Package Centrality Trend to Identify Packages in Decline

Implications of Edge Computing for Static Site Generation


Bayesian optimization in PyTorch

Auto-Encoding Variational Bayes

BoTorch: A Framework for Efficient Monte-Carlo Bayesian Optimization

Differentiable Expected Hypervolume Improvement for Parallel Multi-Objective Bayesian Optimization

Parallel Bayesian Optimization of Multiple Noisy Objectives with Expected Hypervolume Improvement

BINOCULARS for Efficient, Nonmyopic Sequential Experimental Design

Warm Starting CMA-ES for Hyperparameter Optimization

Robust Multi-Objective Bayesian Optimization Under Input Noise

Conditioning Sparse Variational Gaussian Processes for Online Decision-making

Bayesian Optimization over Discrete and Mixed Spaces via Probabilistic
  Reparameterization

Pareto Set Learning for Expensive Multi-Objective Optimization


Main gperftools repository

On the Impact of Memory Allocation on High-Performance Query Processing

International Workshop on Data Management on New Hardware

Pono: A Flexible and Extensible SMT-Based Model Checker

A comparison of three programming languages for a full-fledged next-generation sequencing tool

Shared Memory Parallel Subgraph Enumeration

Daisen: A Framework for Visualizing Detailed GPU Execution

Algorithms and Data Structures to Accelerate Network Analysis

Fast and highly parallelizable phrase table for statistical machine translation

Proceedings of the First Conference on Machine Translation: Volume 1,
          Research Papers

High-Performance Optimization of Algorithms Used in the BM@N Experiment of the NICA Project

MATHEMATICAL MODELING AND COMPUTATIONAL PHYSICS 2019 (MMCP 2019)


RAFT contains fundamental widely-used algorithms and primitives for machine learning and information retrieval. The algorithms are CUDA-accelerated and form building blocks for more easily writing high performance applications.

Fast k-NN Graph Construction by GPU based NN-Descent

PROCEEDINGS OF THE 30TH ACM INTERNATIONAL CONFERENCE ON INFORMATION & KNOWLEDGE MANAGEMENT, CIKM 2021

GPU Semiring Primitives for Sparse Neighborhood Methods

CAGRA: Highly Parallel Graph Construction and Approximate Nearest
  Neighbor Search for GPUs

cuSLINK: Single-linkage Agglomerative Clustering on the GPU


A data standard to enable right-of-way regulation and two-way communication between mobility companies and local governments.

Digital Twins From Smart Manufacturing to Smart Cities: A Survey


A library of extension and helper modules for Python's data analysis and machine learning libraries.

MLxtend: Providing machine learning and data science utilities and extensions to Python's scientific computing stack

The Materials Simulation Toolkit for Machine learning (MAST-ML): An automated open source toolkit to accelerate data-driven materials research

Feature Selection Algorithms as One of the Python Data Analytical Tools

Fairness Aware Counterfactuals for Subgroups


A powerful, format-agnostic, and community-driven Python package for analysing and visualising Earth science data


Enable everyone to develop, optimize and deploy AI models natively on everyone's devices.

OmniQuant: Omnidirectionally Calibrated Quantization for Large Language
  Models

Efficient Large Language Models: A Survey

Interactive Natural Language Processing

AutoDroid: LLM-powered Task Automation in Android

Compress, Then Prompt: Improving Accuracy-Efficiency Trade-off of LLM
  Inference with Transferable Prompt

Towards Efficient Generative Large Language Model Serving: A Survey from
  Algorithms to Systems

Personal LLM Agents: Insights and Survey about the Capability,
  Efficiency and Security

EdgeFM: Leveraging Foundation Model for Open-set Learning on the Edge

Wordflow: Social Prompt Engineering for Large Language Models

Examining User-Friendly and Open-Sourced Large GPT Models: A Survey on
  Language, Multimodal, and Scientific GPT Models


A treasure chest for visual classification and recognition powered by PaddlePaddle

Deep Residual Learning for Image Recognition

ImageNet classification with deep convolutional neural networks

Very Deep Convolutional Networks for Large-Scale Image Recognition

Going Deeper with Convolutions

Densely Connected Convolutional Networks

You Only Look Once: Unified, Real-Time Object Detection

Squeeze-and-Excitation Networks

Rethinking the Inception Architecture for Computer Vision

An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale

MobileNetV2: Inverted Residuals and Linear Bottlenecks


An electronic structure package based on either plane wave basis or numerical atomic orbitals.

DeePKS+ABACUS as a Bridge between Expensive Quantum Mechanical Models
  and Machine Learning Potentials

The journal of physical chemistry. A/The journal of physical chemistry. A.

Plane-wave-based stochastic-deterministic density functional theory for extended systems

Combining stochastic density functional theory with deep potential molecular dynamics to study warm dense matter


Contiki-NG: The OS for Next Generation IoT Devices

A Survey of Limitations and Enhancements of the IPv6 Routing Protocol for Low-Power and Lossy Networks: A Focus on Core Operations

IEEE Communications surveys and tutorials/IEEE communications surveys and tutorials

ePhysio: A Wearables-Enabled Platform for the Remote Management of Musculoskeletal Diseases

A survey on Machine Learning Software-Defined Wireless Sensor Networks (ML-SDWSNs): Current status and major challenges

JMAC Protocol: A Cross-Layer Multi-Hop Protocol for LoRa

Aggregate processes as distributed adaptive services for the Industrial Internet of Things

MUP: Simplifying Secure Over-The-Air Update with MQTT for Constrained IoT Devices

6TiSCH++ with Bluetooth 5 and Concurrent Transmissions

EyeSec: A Retrofittable Augmented Reality Tool for Troubleshooting Wireless Sensor Networks in the Field

Performance Evaluation of Adaptive Autonomous Scheduling Functions for 6TiSCH Networks

Best Practices for IoT Security: What Does That Even Mean?


An extensible framework for feature-oriented software development

Lazy Product Discovery in Huge Configuration Spaces

Evaluating state-of-the-art # SAT solvers on industrial configuration spaces

Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models


YOLOv4 / Scaled-YOLOv4 / YOLO - Neural Networks for Object Detection (Windows and Linux version of Darknet )

You Only Look Once: Unified, Real-Time Object Detection

Focal Loss for Dense Object Detection

YOLO9000: Better, Faster, Stronger

YOLOv4: Optimal Speed and Accuracy of Object Detection

YOLOv7: Trainable Bag-of-Freebies Sets New State-of-the-Art for Real-Time Object Detectors

CSPNet: A New Backbone that can Enhance Learning Capability of CNN

Scaled-YOLOv4: Scaling Cross Stage Partial Network

You Only Look One-level Feature

You Only Learn One Representation: Unified Network for Multiple Tasks

Real-time object detection method based on improved YOLOv4-tiny


A toolkit to optimize ML models for deployment for Keras and TensorFlow, including quantization and pruning.

DRIVE: One-bit Distributed Mean Estimation

Reducing Computational Complexity of Neural Networks in Optical Channel Equalization: From Concepts to Implementation

A Programmable Approach to Neural Network Compression

A Programmable Approach to Model Compression.

QUIC-FL: Quick Unbiased Compression for Federated Learning


Ongoing research training transformer models at scale

PaLM: Scaling Language Modeling with Pathways

DeBERTa: Decoding-enhanced BERT with Disentangled Attention

BLOOM: A 176B-Parameter Open-Access Multilingual Language Model

Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism

CTRL: A Conditional Transformer Language Model for Controllable Generation

Q8BERT: Quantized 8Bit BERT

Efficient Large-Scale Language Model Training on GPU Clusters Using Megatron-LM

ZeRO: Memory Optimizations Toward Training Trillion Parameter Models

GatorTron: A Large Clinical Language Model to Unlock Patient Information
  from Unstructured Electronic Health Records

A Comprehensive Survey of AI-Generated Content (AIGC): A History of
  Generative AI from GAN to ChatGPT


Tidy Messy Data

broom: An R Package for Converting Statistical Analysis Objects Into Tidy Data Frames

Trace Conditioning in Drosophila Induces Associative Plasticity in Mushroom Body Kenyon Cells and Dopaminergic Neurons

Epidemiological impacts of the NHS COVID-19 app in England and Wales throughout its first year

Drivers and Distribution of Henipavirus-Induced Syncytia: What Do We Know?

The Use of a Replicating Virus Vector For in Planta Generation of Tobacco Mosaic Virus Nanorods Suitable For Metallization

Frontiers in bioengineering and biotechnology

Salt and Metal Tolerance Involves Formation of Guttation Droplets in Species of the Aspergillus versicolor Complex

ASH1L-MRG15 methyltransferase deposits H3K4me3 and FACT for damage verification in nucleotide excision repair

Clonal Lineages and Virulence Factors of Carbapenem Resistant E. coli in Alameda County, California, 2017–2019

Evaluation of GC/MS-Based 13C-Positional Approaches for TMS Derivatives of Organic and Amino Acids and Application to Plant 13C-Labeled Experiments

Individuality and stability of the koala (Phascolarctos cinereus) faecal microbiota through time


historical code from reddit.com

The Web Centipede: Understanding How Web Communities Influence Each Other Through the Lens of Mainstream and Alternative News Sources

Quantifying social organization and political polarization in online platforms

Incremental Consistency Guarantees for Replicated Objects

Averaging Gone Wrong: Using Time-Aware Analyses to Better Understand Behavior

Reddit and Radiation Therapy: A Descriptive Analysis of Posts and Comments Over 7 Years by Patients and Health Care Professionals

Style Matters! Investigating Linguistic Style in Online Communities

Studies of Depression and Anxiety Using Reddit as a Data Source: Scoping Review

A Reddit Dataset for the Russo-Ukrainian Conflict in 2022

Quantifying the Suicidal Tendency on Social Media: A Survey

Revelio: ML-Generated Debugging Queries for Distributed Systems


BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

The rise of eBPF for non-intrusive performance monitoring

Network Operations and Management Symposium

User Space Network Drivers

TEEMon: A continuous performance monitoring framework for TEEs

Programmable Data Gathering for Detecting Stegomalware

PROCEEDINGS OF THE 2020 6TH IEEE CONFERENCE ON NETWORK SOFTWARIZATION (NETSOFT 2020): BRIDGING THE GAP BETWEEN AI AND NETWORK SOFTWARIZATION

The Art of CPU-Pinning: Evaluating and Improving the Performance of Virtualization and Containerization Platforms

bccstego: A Framework for Investigating Network Covert Channels

Zenodo (CERN European Organization for Nuclear Research)

Dissecting Service Mesh Overheads

Safe and Efficient Remote Application Code Execution on Disaggregated NVM Storage with eBPF

A Service-Agnostic Software Framework for Fast and Efficient In-Kernel Network Services

AnyCall: Fast and Flexible System-Call Aggregation

Programming Languages and Operating Systems


Quantum chemistry and solid state physics software package

CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations

DFTB+, a software package for efficient approximate density functional theory based atomistic simulations

Low-Scaling GW with Benchmark Accuracy and Application to Phosphorene Nanosheets.

Journal of chemical theory and computation

The Structure of Liquid and Amorphous Hafnia

Local Environment and Dynamic Behavior of Fluoride Anions in Silicogermanate Zeolites: A Computational Study of the AST Framework

Nuclear quantum effects on zeolite proton hopping kinetics explored with machine learning potentials and path integral molecular dynamics

Ground-state properties of metallic solids from ab initio
  coupled-cluster theory

The journal of physical chemistry letters

Efficient Ab-Initio Molecular Dynamic Simulations by Offloading Fast Fourier Transformations to FPGAs

Low-scaling GW algorithm applied to twisted transition-metal
  dichalcogenide heterobilayers

Sub-quadratic scaling real-space random-phase approximation correlation
  energy calculations for periodic systems with numerical atomic orbitals


Officially maintained, supported by PaddlePaddle, including CV, NLP, Speech, Rec, TS, big models and so on.

BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Deep Speech 2: End-to-End Speech Recognition in English and Mandarin

Bag of Tricks for Image Classification with Convolutional Neural Networks

BSN: Boundary Sensitive Network for Temporal Action Proposal Generation

BMN: Boundary-Matching Network for Temporal Action Proposal Generation

PyramidBox: A Context-assisted Single Shot Face Detector

DuReader: a Chinese Machine Reading Comprehension Dataset from Real-world Applications

Meeting of the Association for Computational Linguistics

Towards Conversational Recommendation over Multi-Type Dialogs

Proactive Human-Machine Conversation with Explicit Conversation Goals


Logistics & marketplace platform. Only for worker-owned business.


Iroha - A simple, enterprise-grade decentralized ledger

Blockchain Consensus Protocols in the Wild

ParBlockchain: Leveraging Transaction Parallelism in Permissioned Blockchain Systems

YAC: BFT Consensus Algorithm for Blockchain

Towards Global Asset Management in Blockchain Systems

An In-Depth Review on Blockchain Simulators for IoT Environments

Blockchains' federation for integrating distributed health data using a
  patient-centered approach

The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT
  Protocol Design and Implementation

AdaChain: A Learned Adaptive Blockchain

Requirement Analyses and Evaluations of Blockchain Platforms per
  Possible Use Cases


Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer

PaLM: Scaling Language Modeling with Pathways

Scaling Instruction-Finetuned Language Models

UL2: Unifying Language Learning Paradigms

Scaling Up Models and Data with  and

Transformer Memory as a Differentiable Search Index

TRUE: Re-evaluating Factual Consistency Evaluation

Confident Adaptive Language Modeling

A Real-World WebAgent with Planning, Long Context Understanding, and
  Program Synthesis

The Lazy Neuron Phenomenon: On Emergence of Activation Sparsity in
  Transformers


Network Analysis in Python

Identification of the core bacteria in rectums of diarrheic and non-diarrheic piglets

Efficacy of β-lactam/β-lactamase inhibitor combination is linked to WhiB4-mediated changes in redox physiology of Mycobacterium tuberculosis

DisCoPy: Monoidal Categories in Python

QAOA-in-QAOA: Solving Large-Scale MaxCut Problems on Small Quantum Machines

Interventions, Where and How? Experimental Design for Causal Models at
  Scale

Automated geological map deconstruction for 3D model construction using map2loop 1.0 and map2model 1.0

Model Inversion Attacks Against Graph Neural Networks

GUIDES - Geospatial Urban Infrastructure Data Engineering Solutions

Deep Learning in Single-Cell Analysis

Decentralized personalized federated learning: Lower bounds and optimal algorithm for all personalization modes


Learn OpenCV  : C++ and Python Examples

Remote Sensor Design for Visual Recognition with Convolutional Neural Networks

OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)

Photogrammetric Digital Surface Model Reconstruction in Extreme Low-Light Environments

GAN-Based Facial Attractiveness Enhancement


BOLT: Basis of Lightning Technology (Lightning Network Specifications)

Congestion Attacks in Payment Channel Networks

Flood & Loot: A Systemic Attack On The Lightning Network

An Empirical Analysis of Privacy in the Lightning Network

Hijacking Routes in Payment Channel Networks: A Predictability Tradeoff

A Survey of Layer-Two Blockchain Protocols

The evolving topology of the Lightning Network: Centralization, efficiency, robustness, synchronization, and anonymity

Blockchain-Based Payment Channel Networks: Challenges and Recent Advances

How to profit from payments channels

Toward Active and Passive Confidentiality Attacks On Cryptocurrency
  Off-Chain Networks

The CLoTH Simulator for HTLC Payment Networks with Introductory Lightning Network Performance Results


Public runnable examples of using John Snow Labs' NLP for Apache Spark.

Accurate Clinical and Biomedical Named Entity Recognition at Scale

Mining Adverse Drug Reactions from Unstructured Mediums at Scale

Improving Clinical Document Understanding on COVID-19 Research with Spark NLP

Deeper Clinical Document Understanding Using Relation Extraction

Understanding COVID-19 News Coverage using Medical NLP


Python bindings for llama.cpp

Local Large Language Models for Complex Structured Medical Tasks

LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler
  Bug Isolation

LLMs as Hackers: Autonomous Linux Privilege Escalation Attacks

QIGen: Generating Efficient Kernels for Quantized Inference on Large
  Language Models

Relation Extraction in underexplored biomedical domains: A
  diversity-optimised sampling and synthetic data generation approach


OSS implementation of the TCG TPM2 Software Stack (TSS2)

TPM-FAIL: TPM meets Timing and Lattice Attacks

Cryptographic Considerations for Automation and SCADA Systems Using Trusted Platform Modules

Technical Report on a Virtual CTAP2 WebAuthn Authenticator


The WebAssembly Binary Toolkit

Wasabi: A Framework for Dynamically Analyzing WebAssembly

EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection

Wasmati: An efficient static vulnerability scanner for WebAssembly

Characterizing and Detecting WebAssembly Runtime Bugs

Wasmizer: Curating WebAssembly-driven Projects on GitHub


The official git repository for Contiki, the open source OS for the Internet of Things

The 10 Research Topics in the Internet of Things

A CoAP-Based Network Access Authentication Service for Low-Power Wide Area Networks: LO-CoAP-EAP

Secure Authentication and Credential Establishment in Narrowband IoT and 5G

Technical Report : ContikiMAC vs X-MAC performance analysis

A Comprehensive Study on LPWANs With a Focus on the Potential of LoRa/LoRaWAN Systems

The Presence, Trends, and Causes of Security Vulnerabilities in Operating Systems of IoT’s Low-End Devices

Aggregate processes as distributed adaptive services for the Industrial Internet of Things

A Novel, Highly Integrated Simulator for Parallel and Distributed Systems

An In-Depth Review on Blockchain Simulators for IoT Environments

A Wave-Based Request-Response Protocol for Latency Minimization in WSNs


Qlib is an AI-oriented quantitative investment platform that aims to realize the potential, empower research, and create value using AI technologies in quantitative investment, from exploring ideas to implementing productions. Qlib supports diverse machine learning modeling paradigms. including supervised learning, market dynamics modeling, and RL.

Attention-based LSTM for Aspect-level Sentiment Classification

Empirical Methods in Natural Language Processing

A Dual-Stage Attention-Based Recurrent Neural Network for Time Series Prediction

TabNet: Attentive Interpretable Tabular Learning

Stock Price Prediction via Discovering Multi-Frequency Trading Patterns

AdaRNN: Adaptive Learning and Forecasting of Time Series

Learning Multiple Stock Trading Patterns with Temporal Routing Adaptor and Optimal Transport

Qlib: An AI-oriented Quantitative Investment Platform

HIST: A Graph-based Framework for Stock Trend Forecasting via Mining Concept-Oriented Shared Information

DDG-DA: Data Distribution Generation for Predictable Concept Drift Adaptation

DoubleEnsemble: A New Ensemble Method Based on Sample Reweighting and Feature Selection for Financial Data Analysis


High performance ordinary differential equation (ODE) and differential-algebraic equation (DAE) solvers, including neural ordinary differential equations (neural ODEs) and scientific machine learning (SciML)

Determining cross sections from transport coefficients using deep neural networks

An examination of school reopening strategies during the SARS-CoV-2 pandemic

medRxiv : the preprint server for health sciences

Self-consistent electron-THF cross sections derived using data-driven swarm analysis with a neural network model

Construction of Rosenbrock–Wanner method Rodas5P and numerical benchmarks within the Julia Differential Equations package

Parallelizing Explicit and Implicit Extrapolation Methods for Ordinary Differential Equations


On the Impact of Memory Allocation on High-Performance Query Processing

International Workshop on Data Management on New Hardware

Implementing Software Resiliency in HPX for Extreme Scale Computing

Concurrent Robin Hood Hashing

Is Parallel Programming Hard, And, If So, What Can You Do About It?
  (Release v2023.06.11a)

Async-fork: Mitigating Query Latency Spikes Incurred by the Fork-based
  Snapshot Mechanism from the OS Level

Viewing Allocators as Bin Packing Solvers Demystifies Fragmentation


The Browser Exploitation Framework Project

XSS-FP: Browser Fingerprinting using HTML Parser Quirks

Eradicating Attacks on the Internal Network with Internal Network Policy.

Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners

Open Source Solutions for Vulnerability Assessment: A Comparative Analysis


Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System, End-to-End Speech Translation and Keyword Spotting. Won NAACL2022 Best Demo Award.

Attention Is All You Need

Domain-Adversarial Training of Neural Networks

Unsupervised Domain Adaptation by Backpropagation

SpecAugment: A Simple Data Augmentation Method for Automatic Speech Recognition

Deep Speech 2: End-to-End Speech Recognition in English and Mandarin

Natural TTS Synthesis by Conditioning Wavenet on MEL Spectrogram Predictions

Conformer: Convolution-augmented Transformer for Speech Recognition

Tacotron: Towards End-to-End Speech Synthesis

Deep Speech: Scaling up end-to-end speech recognition

HuBERT: Self-Supervised Speech Representation Learning by Masked Prediction of Hidden Units


A highly efficient implementation of Gaussian Processes in PyTorch

Gaussian Processes for Big Data

GPyTorch: Blackbox Matrix-Matrix Gaussian Process Inference with GPU Acceleration

When Gaussian Process Meets Big Data: A Review of Scalable GPs

Doubly Stochastic Variational Inference for Deep Gaussian Processes

Exact Gaussian Processes on a Million Data Points

Convolutional Gaussian Processes

Scalable Log Determinants for Gaussian Process Kernel Learning

Constant-Time Predictive Distributions for Gaussian Processes

Product Kernel Interpolation for Scalable Gaussian Processes

Conditioning Sparse Variational Gaussian Processes for Online Decision-making


Convolutional Networks with Dense Connectivity

Using deep learning to model the hierarchical structure and function of a cell

A^3: Accelerating Attention Mechanisms in Neural Networks with Approximation

Deep learning in electron microscopy

Machine learning: science and technology

PowerAI DDL

rnn : Recurrent Library for Torch

Benchmarking Contemporary Deep Learning Hardware and Frameworks:A Survey of Qualitative Metrics

Supervising Unsupervised Learning

Communication-Optimal Convolutional Neural Nets

PhoneBit: Efficient GPU-Accelerated Binary Neural Network Inference Engine for Mobile Phones


State-of-the-Art Deep Learning scripts organized by models - easy to train and deploy with reproducible accuracy and performance on enterprise-grade infrastructure.

EfficientNet: Rethinking Model Scaling for Convolutional Neural Networks

Aggregated Residual Transformations for Deep Neural Networks

Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation

Transformer-XL: Attentive Language Models Beyond a Fixed-Length Context

Wide & Deep Learning for Recommender Systems

HiFi-GAN: Generative Adversarial Networks for Efficient and High Fidelity Speech Synthesis

Domain-Specific Language Model Pretraining for Biomedical Natural Language Processing

ACM transactions on computing for healthcare

ProtTrans: Towards Cracking the Language of Life's Code Through
  Self-Supervised Deep Learning and High Performance Computing

Temporal Fusion Transformers for Interpretable Multi-horizon Time Series Forecasting

nnU-Net: Self-adapting Framework for U-Net-Based Medical Image Segmentation


CMSIS Version 5 Development Repository

CMSIS-NN: Efficient Neural Network Kernels for Arm Cortex-M CPUs

Machine Learning at the Network Edge: A Survey

Impact of Low-bitwidth Quantization on the Adversarial Robustness for Embedded Neural Networks

Online Learning of Oil Leak Anomalies in Wind Turbines with Block-Based Binary Reservoir

Energy-efficient Deployment of Deep Learning Applications on Cortex-M
  based Microcontrollers using Deep Compression


Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch and FLAX.

InstructPix2Pix: Learning to Follow Image Editing Instructions

Scalable Diffusion Models with Transformers

ProlificDreamer: High-Fidelity and Diverse Text-to-3D Generation with
  Variational Score Distillation

Text2Video-Zero: Text-to-Image Diffusion Models are Zero-Shot Video Generators

Fast Sampling of Diffusion Models with Exponential Integrator

AudioLDM: Text-to-Audio Generation with Latent Diffusion Models

Inversion-Based Style Transfer with Diffusion Models

Versatile Diffusion: Text, Images and Variations All in One Diffusion Model

Red-Teaming the Stable Diffusion Safety Filter

Break-A-Scene: Extracting Multiple Concepts from a Single Image


Cowrie SSH/Telnet Honeypot https://cowrie.readthedocs.io

A Survey on Honeypot Software and Data Analysis

Prevalence of IoT Protocols in Telescopeand Honeypot Measurements

Dataset of intrusion detection alerts from a sharing platform

Attacker Behaviour Profiling using Stochastic Ensemble of Hidden Markov
  Models

Method of Forming Various Configurations of Telecommunication System Using Moving Target Defense

What are Attackers after on IoT Devices? An approach based on a
  multi-phased multi-faceted IoT honeypot ecosystem and data clustering

Measuring and Clustering Network Attackers using Medium-Interaction Honeypots

Cyber Attacker Profiling for Risk Analysis Based on Machine Learning

Cloud Watching: Understanding Attacks Against Cloud-Hosted Services

Proceedings of the 2023 ACM on Internet Measurement Conference

Secure (S)Hell: Introducing an SSH Deception Proxy Framework


PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

Proximal Policy Optimization Algorithms

Continuous control with deep reinforcement learning

Playing Atari with Deep Reinforcement Learning

Asynchronous Methods for Deep Reinforcement Learning

Soft Actor-Critic: Off-Policy Maximum Entropy Deep Reinforcement Learning with a Stochastic Actor

Trust Region Policy Optimization

Addressing Function Approximation Error in Actor-Critic Methods

Hindsight Experience Replay

Soft Actor-Critic Algorithms and Applications

Distributional Reinforcement Learning with Quantile Regression


Find and verify secrets

What are the Practices for Secret Management in Software Artifacts?

Sniffing for Codebase Secret Leaks with Known Production Secrets in Industry.

SecretBench: A Dataset of Software Secrets

What Challenges Do Developers Face About Checked-in Secrets in Software Artifacts?

A Comparative Study of Software Secrets Reporting by Secret Detection Tools

Secrets Revealed in Container Images: An Internet-wide Study on Occurrence and Impact

Proceedings of the ACM Asia Conference on Computer and Communications Security

Open Source Solutions for Vulnerability Assessment: A Comparative Analysis


Free and Open, Distributed, RESTful Search Engine

Pretrained Transformers for Text Ranking: BERT and Beyond

OPTIMADE, an API for exchanging materials data

Revisiting Summarization Evaluation for Scientific Articles

DocPrompting: Generating Code by Retrieving the Docs

ReACC: A Retrieval-Augmented Code Completion Framework

How bugs are born: a model to identify how bugs are introduced in software components

An Automatically Created Novel Bug Dataset and its Validation in Bug Prediction

CORE: Automating Review Recommendation for Code Changes

LaPraDoR: Unsupervised Pretrained Dense Retriever for Zero-Shot Text Retrieval

Does Technical Debt Lead to the Rejection of Pull Requests?


Rayon: A data parallelism library for Rust

Fusion Blossom: Fast MWPM Decoders for QEC

rustworkx: A High-Performance Graph Library for Python

Temporal Regular Path Queries


R's data.table package extends data.frame:

Consortia of low-abundance bacteria drive sulfate reduction-dependent degradation of fermentation products in peat soil microcosms

Cardiovascular screening to reduce the burden from cardiovascular disease: microsimulation study to quantify policy options

Dissecting OCT4 defines the role of nucleosome binding in pluripotency

Quantifying the impact of the Public Health Responsibility Deal on salt intake, cardiovascular disease and gastric cancer burdens: interrupted time series and microsimulation study

Journal of epidemiology and community health

Characterization of degradation and heterozygote balance by simulation of the forensic DNA analysis process

Pushing the limits of HiFi assemblies reveals centromere diversity between two Arabidopsis thaliana genomes

Mendelian Randomization Analysis Identifies Blood Tyrosine Levels as a Biomarker of Non-Alcoholic Fatty Liver Disease

FDA Sodium Reduction Targets and the Food Industry: Are There Incentives to Reformulate? Microsimulation Cost‐Effectiveness Analysis

rigrag: high-resolution mapping of genic targeting preferences during HIV-1 integration in vitro and in vivo

Inhibition of Soluble Epoxide Hydrolase Is Protective against the Multiomic Effects of a High Glycemic Diet on Brain Microvascular Inflammation and Cognitive Dysfunction


A scalable, efficient, cross-platform (Linux/macOS) and easy-to-use workflow engine in pure Python.

A review of bioinformatic pipeline frameworks

Sharing interoperable workflow provenance: A review of best practices and their practical application in CWLProv

OCCAM: a flexible, multi-purpose and extendable HPC cluster

Using prototyping to choose a bioinformatics workflow management system

uap: reproducible and robust HTS data analysis

Beyond NGS data sharing and towards open science


oneAPI Deep Neural Network Library (oneDNN)

AI Benchmark: All About Deep Learning on Smartphones in 2019

Optimizing CNN Model Inference on CPUs

CosmoFlow: Using Deep Learning to Learn the Universe at Scale

FT-CNN: Algorithm-Based Fault Tolerance for Convolutional Neural Networks

IEEE transactions on parallel and distributed systems

Accelerating Data Loading in Deep Neural Network Training

International Conference on High Performance Computing

High-Performance Deep Learning via a Single Building Block

Efficient Execution of Quantized Deep Learning Models: A Compiler Approach

Error Analysis and Improving the Accuracy of Winograd Convolution for Deep Neural Networks

Bolt: Bridging the Gap between Auto-tuners and Hardware-native Performance

Flashlight: Enabling Innovation in Tools for Machine Learning


AutoML library for deep learning

Auto-Keras: An Efficient Neural Architecture Search System

AutoML to Date and Beyond: Challenges and Opportunities

Techniques for Automated Machine Learning

Intercepting Hail Hydra: Real-time detection of Algorithmically Generated Domains

Journal of network and computer applications

Data-driven geophysics: from dictionary learning to deep learning

Massive Monte Carlo simulations-guided interpretable learning of two-dimensional Curie temperature

Deep-n-Cheap: An Automated Search Framework for Low Complexity Deep Learning

The Technological Emergence of AutoML: A Survey of Performant Software and Applications in the Context of Industry


memcached development tree

Dagger: Accelerating RPCs in Cloud Microservices Through Tightly-Coupled
  Reconfigurable NICs

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

Observations on Porting In-memory KV stores to Persistent Memory

Using FLOSS for Storing, Processing and Linking Corpus Data

Async-fork: Mitigating Query Latency Spikes Incurred by the Fork-based
  Snapshot Mechanism from the OS Level

Fex: Assisted Identification of Domain Features from C Programs


Stream Processing and Complex Event Processing Engine

SAQL: A Stream-based Query System for Real-Time Abnormal System Behavior Detection

AIQL: Enabling Efficient Attack Investigation from System Monitoring Data

Threat Detection and Investigation with System-level Provenance Graphs: A Survey

On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language

Zenodo (CERN European Organization for Nuclear Research)

Querying Streaming System Monitoring Data for Enterprise System Anomaly Detection

Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability

Towards Privacy Engineering for Real-Time Analytics in the
  Human-Centered Internet of Things


Mirror of Apache Kafka

AUGER: Automatically Generating Review Comments with Pre-training Models

A programming model for Hybrid Workflows: Combining task-based workflows and dataflows all-in-one

BugPre: an intelligent software version-to-version bug prediction system using graph convolutional neural networks

The Tiny Time-series Transformer: Low-latency High-throughput Classification of Astronomical Transients using Deep Model Compression

IoT Cloud Computing Middleware for Crowd Monitoring and Evacuation

International journal of circuits, systems and signal processing

How are We Detecting Inconsistent Method Names? An Empirical Study from
  Code Review Perspective


Spike, a RISC-V ISA Simulator

Randomized Last-Level Caches Are Still Vulnerable to Cache Side-Channel Attacks! But We Can Fix It

GVSoC: A Highly Configurable, Fast and Accurate Full-Platform Simulator for RISC-V based IoT Processors

HardScope: Thwarting DOP with Hardware-assisted Run-time Scope
  Enforcement

Vitruvius+: An Area-Efficient RISC-V Decoupled Vector Coprocessor for High Performance Computing Applications

ACM transactions on architecture and code optimization

Multi Fluxon Storage and its Implications for Microprocessor Design

A Survey of the RISC-V Architecture Software Support

Lagarto I RISC-V Multi-core: Research Challenges to Build and Integrate a Network-on-Chip

International Conference on Supercomputing in Mexico

qBSA: Logic Design of a 32-bit Block-Skewed RSFQ Arithmetic Logic Unit

Bratter: An Instruction Set Extension for Forward Control-Flow Integrity in RISC-V

Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges


C Bounded Model Checker

CBMC: The C Bounded Model Checker

Model checking boot code from AWS data centers

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement

Tools and Algorithms for Construction and Analysis of Systems

Model Checking C++ Programs

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded
  Program Verification

An Efficient Floating-Point Bit-Blasting API for Verifying C Programs

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Benchmarking Software Model Checkers on Automotive Code

Towards establishing formal verification and inductive code synthesis in the PLC domain

JBMC: A Bounded Model Checking Tool for Java Bytecode


Tensor library for machine learning

Towards Efficient Generative Large Language Model Serving: A Survey from
  Algorithms to Systems

CroissantLLM: A Truly Bilingual French-English Language Model

LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler
  Bug Isolation

Local Large Language Models for Complex Structured Medical Tasks


P4_16 reference compiler

A Survey on Data Plane Programming with P4: Fundamentals, Advances, and
  Applied Research

P4-Compatible High-Level Synthesis of Low Latency 100 Gb/s Streaming Packet Parsers in FPGAs

Symposium on Field Programmable Gate Arrays

Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing

Petr4: Formal Foundations for P4 Data Planes

P4TE: PISA switch based traffic engineering in fat-tree data center networks

Testing Compilers for Programmable Switches Through Switch Hardware
  Simulation

P4-KBR: A Key-Based Routing System for P4-Programmable Networks

Design Principles for Packet Deparsers on FPGAs

P4Testgen: An Extensible Test Oracle For P4

Data-Plane Security Applications in Adversarial Settings


The Prometheus monitoring system and time series database.

Deep Learning-Based Autoscaling Using Bidirectional Long Short-Term Memory for Kubernetes

Rise of the Planet of Serverless Computing: A Systematic Review

Development of the CMS detector for the CERN LHC Run 3

Intelligent Performance Prediction: The Use Case of a Hadoop Cluster

CausalRCA: Causal Inference based Precise Fine-grained Root Cause
  Localization for Microservice Applications

Hero: On the Chaos When PATH Meets Modules

Frisbee: A Suite for Benchmarking Systems Recovery

Proceedings of the 1st Workshop on High Availability and Observability of Cloud Systems

Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package

IEEE transactions on software engineering

Adaptive Resource Allocation for Workflow Containerization on Kubernetes

Benefits, Challenges, and Research Topics: A Multi-vocal Literature
  Review of Kubernetes


Data intensive science for everyone.

The Galaxy platform for accessible, reproducible and collaborative biomedical analyses: 2020 update

ReGaTE: Registration of Galaxy Tools in Elixir

Cloud bursting galaxy: federated identity and access management

Integration of EGA secure data access into Galaxy

Expanding the Galaxy’s reference data


The reference implementation of the Linux FUSE (Filesystem in Userspace) interface

Computing Environments for Reproducibility: Capturing the "Whole Tale"

Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX

TWENTY-FIFTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS XXV)

Threat Detection and Investigation with System-level Provenance Graphs: A Survey

CFS: A Distributed File System for Large Scale Container Platforms

High Velocity Kernel File Systems with Bento

A quantitative review of data formats for HEP analyses

Container solutions for HPC Systems: A Case Study of Using Shifter on Blue Waters

Proceedings of the Practice and Experience on Advanced Research Computing

Where Is My Training Bottleneck? Hidden Trade-Offs in Deep Learning Preprocessing Pipelines

Proceedings of the 2022 International Conference on Management of Data

Agility in Software 2.0 -- Notebook Interfaces and MLOps with Buttresses
  and Rebars

Accessing Data Federations with CVMFS


WebAssembly Micro Runtime (WAMR)

Twine: An Embedded Trusted Runtime for WebAssembly

International Conference on Data Engineering

Isolation Without Taxation: Near Zero Cost Transitions for SFI

A fast in-place interpreter for WebAssembly

Characterizing and Detecting WebAssembly Runtime Bugs

On (the Lack of) Code Confidentiality in Trusted Execution Environments

Enabling Security-Oriented Orchestration of Microservices


PRAW, an acronym for "Python Reddit API Wrapper", is a python package that allows for simple access to Reddit's API.

Utilizing Neural Networks and Linguistic Metadata for Early Detection of Depression Indications in Text Sequences

IEEE transactions on knowledge and data engineering

MineDojo: Building Open-Ended Embodied Agents with Internet-Scale
  Knowledge

RedCaps: web-curated image-text data created by the people, for the people

Dreaddit: A Reddit Dataset for Stress Analysis in Social Media

Navigating the massive world of reddit: Using backbone networks to map user interests in social media

Exploring Online Depression Forums via Text Mining: A Comparison of Reddit and a Curated Online Forum

SlugBot: Developing a Computational Model andFramework of a Novel Dialogue Genre.

RedHOT: A Corpus of Annotated Medical Questions, Experiences, and Claims on Social Media

MDIA: A Benchmark for Multilingual Dialogue Generation in 46 Languages

Understanding who uses Reddit: Profiling individuals with a self-reported bipolar disorder diagnosis


A Proof-oriented Programming Language

Dijkstra Monads for All

A monadic framework for relational verification: applied to information security, program equivalence, and optimizations

Aeneas: Rust verification by functional translation

Proceedings of the ACM on programming languages

WYS*: A DSL for Verified Secure Multi-party Computations

Giallar: push-button verification for the qiskit Quantum compiler

How to Safely Use Extensionality in Liquid Haskell

Verification of a Merkle Patricia Tree Library Using F*

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)


cBioPortal for Cancer Genomics

Integration and analysis of CPTAC proteomics data in the context of cancer genomics in the cBioPortal

Requirements Analysis and Specification for a Molecular Tumor Board Platform Based on cBioPortal

Computational Analysis of Phosphoproteomics Data in Multi-Omics Cancer Studies

Abstract 5277: The cBioPortal for cancer genomics and its application in precision oncology

Integrated molecular profiling of patient‐derived ovarian cancer models identifies clinically relevant signatures and tumor vulnerabilities


A DSL for data-driven computational pipelines

Metagenomics workflow for hybrid assembly, differential coverage binning, metatranscriptomics and pathway analysis (MUFFIN)

Using prototyping to choose a bioinformatics workflow management system

Named Data Networking for Genomics Data Management and Integrated Workflows

The Southern-sky MWA Rapid Two-metre (SMART) pulsar survey—I. Survey design and processing pipeline

Pergola: Boosting Visualization and Analysis of Longitudinal Data by Unlocking Genomic Analysis Tools

A Workflow Management System Guide


The Kubernetes Package Manager

A Comprehensive Feature Comparison Study of Open-Source Container Orchestration Frameworks

Development of the CMS detector for the CERN LHC Run 3

On-demand virtual research environments using microservices

Computational Strategies for Scalable Genomics Analysis


A high performance layer 4 load balancer

Computação Urbana da Teoria à Prática: Fundamentos, Aplicações e Desafios

Synthesizing Safe and Efficient Kernel Extensions for Packet Processing

Cheetah: A High-Speed Programmable Load-Balancer Framework With Guaranteed Per-Connection-Consistency

Takeaways from an experimental evaluation of eXpress Data Path (XDP) and Data Plane Development Kit (DPDK) under a Cloud Computing environment

Unleashing Unprivileged eBPF Potential with Dynamic Sandboxing


BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Reliable benchmarking: requirements and solutions

International journal on software tools for technology transfer

CBMC: The C Bounded Model Checker

Benchmarking and Resource Measurement

Software Verification: 10th Comparative Evaluation (SV-COMP 2021)

A Unifying View on SMT-Based Software Verification

Advances in Automatic Software Verification: SV-COMP 2020

Second Competition on Software Testing: Test-Comp 2020

Status Report on Software Testing: Test-Comp 2021

CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering

Replication Package for Article "Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art"


Swarm Classic: a container clustering system. Not to be confused with Docker Swarm which is at https://github.com/docker/swarmkit

λ-NIC: Interactive Serverless Compute on Programmable SmartNICs

A Comprehensive Feature Comparison Study of Open-Source Container Orchestration Frameworks

On Byzantine fault tolerance in multi-master Kubernetes clusters

Intelligent Task Dispatching and Scheduling Using a Deep Q-Network in a Cluster Edge Computing System

Performance Evaluation of Container Orchestration Tools in Edge Computing Environments

A Blockchain-based Decentralized Self-balancing Architecture for the Web of Things

i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.

A Blockchain Protocol for Real-Time Application Migration on the Edge


AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

A Survey of Large Language Models

HuggingGPT: Solving AI Tasks with ChatGPT and its Friends in Hugging
  Face

Qwen Technical Report

MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework

Chameleon: Plug-and-Play Compositional Reasoning with Large Language
  Models

Tool Learning with Foundation Models

AgentVerse: Facilitating Multi-Agent Collaboration and Exploring
  Emergent Behaviors

Multi-Agent Collaboration: Harnessing the Power of Intelligent LLM
  Agents

TPTU: Large Language Model-based AI Agents for Task Planning and Tool
  Usage

ChatDB: Augmenting LLMs with Databases as Their Symbolic Memory


An open autonomous driving platform

DeepTest: Automated Testing of Deep-Neural-Network-Driven Autonomous Cars

A Survey of Autonomous Driving: Common Practices and Emerging Technologies

Formal Security Analysis of Neural Networks using Symbolic Intervals

Baidu Apollo EM Motion Planner

Invisible for both Camera and LiDAR: Security of Multi-Sensor Fusion based Perception in Autonomous Driving Under Physical-World Attacks

SAVIOR: Towards Bug-Driven Hybrid Testing

Augmented LiDAR Simulator for Autonomous Driving

International Conference on Robotics and Automation

Drift with Devil: Security of Multi-Sensor Fusion based Localization in High-Level Autonomous Driving under GPS Spoofing

Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness

Programming Language Design and Implementation

Deep Learning-Based Autonomous Driving Systems: A Survey of Attacks and Defenses


Interactive Widgets for the Jupyter Notebook

AiiDAlab – an ecosystem for developing, executing, and sharing scientific workflows

Simulation and evaluation of sustainable climate trajectories for aviation

Vizic: A Jupyter-based interactive visualization tool for astronomical catalogs

Interactive (statistical) visualisation and exploration of a billion objects with vaex

Proceedings of the International Astronomical Union

RaDMaX online: a web-based program for the determination of strain and damage profiles in irradiated crystals using X-ray diffraction

ModInterv: An automated online software for modeling epidemics

A Matched Survey for the Enigmatic Low Radio Frequency Transient ILT J225347+862146

Integrating GRASS GIS and Jupyter Notebooks to facilitate advanced geospatial modeling education

widgyts: Custom Jupyter Widgets for Interactive Data Exploration with yt

Kooplex: collaborative data analytics portal for advancing sciences


An open source AutoML toolkit for automate machine learning lifecycle, including feature engineering, neural architecture search, model compression and hyper-parameter tuning.

AutoML: A survey of the state-of-the-art

Hyper-Parameter Optimization: A Review of Algorithms and Applications

Machine Learning in Python: Main developments and technology trends in
  data science, machine learning, and artificial intelligence

Automated Machine Learning: State-of-The-Art and Open Challenges

Vulnerability Detection with Fine-grained Interpretations

PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21)

BARS-CTR: Open Benchmarking for Click-Through Rate Prediction

Convcast: An embedded convolutional LSTM based architecture for precipitation nowcasting using satellite data

Benchmarking Deep Learning Models and Automated Model Design for COVID-19 Detection with Chest CT Scans

Delving into the Devils of Bird's-eye-view Perception: A Review,
  Evaluation and Recipe

TextNAS: A Neural Architecture Search Space tailored for Text Representation


Node.js API for Chrome

Qwen-VL: A Versatile Vision-Language Model for Understanding,
  Localization, Text Reading, and Beyond

Mind2Web: Towards a Generalist Agent for the Web

Kleister: Key Information Extraction Datasets Involving Long Documents with Complex Layouts

Percival: Making In-Browser Perceptual Ad Blocking Practical With Deep Learning

Unsupervised Object Learning via Common Fate

The Memento Tracer Framework: Balancing Quality and Scalability for Web Archiving

BrowseLite: A Private Data Saving Solution for the Web

VPN0: A Privacy-Preserving Decentralized Virtual Private Network

A Low-Cost Attack against the hCaptcha System

The Hitchhiker's Guide to Facebook Web Tracking with Invisible Pixels
  and Click IDs


Making large AI models cheaper, faster and more accessible

Colossal-AI: A Unified Deep Learning System For Large-Scale Parallel Training

DeepSpeed-Chat: Easy, Fast and Affordable RLHF Training of ChatGPT-like
  Models at All Scales

A Survey on Efficient Training of Transformers

Elixir: Train a Large Language Model on a Small GPU Cluster

Possibilities of Using De Novo Design for Generating Diverse Functional Food Enzymes

International journal of molecular sciences

Understanding LLMs: A Comprehensive Overview from Training to Inference

Dive into Big Model Training

Colossal-Auto: Unified Automation of Parallelization and Activation
  Checkpoint for Large-scale Models


TLS/SSL and crypto library

How to factor 2048 bit RSA integers in 8 hours using 20 million noisy qubits

ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices

IEEE transactions on computer-aided design of integrated circuits and systems

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at
  Binary-Level

Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks

Finding real bugs in big programs with incorrectness logic

The Impact of a Major Security Event on an Open Source Project: The Case of OpenSSL

Stateful Greybox Fuzzing

An Empirical Study of Rule-Based and Learning-Based Approaches for Static Application Security Testing

CANAL: A Cache Timing Analysis Framework via LLVM Transformation

Symbolic Verification of Cache Side-channel Freedom


Secure and fast microVMs for serverless computing.

Benchmarking, Analysis, and Optimization of Serverless Function Snapshots

International Conference on Architectural Support for Programming Languages and Operating Systems

SeBS: A Serverless Benchmark Suite for Function-as-a-Service Computing

n-m-Variant Systems: Adversarial-Resistant Software Rejuvenation for Cloud-Based Web Applications


Security vulnerability database inclusive of CVEs and GitHub originated security advisories from the world of open source software.

On the Effect of Transitivity and Granularity on Vulnerability Propagation in the Maven Ecosystem


A WebGL accelerated JavaScript library for training and deploying ML models.

TensorFlow.js: Machine Learning for the Web and Beyond

CPPE-5: Medical Personal Protective Equipment Dataset

JSDoop and TensorFlow.js: Volunteer Distributed Web Browser-Based Neural Network Training

Front-end deep learning web apps development and deployment: a review

Applied intelligence (Dordrecht, Netherlands)

Distillation of crop models to learn plant physiology theories using machine learning

Towards Understanding the Faults of JavaScript-Based Deep Learning Systems

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering


Machine learning for NeuroImaging in Python

Assessing and tuning brain decoders: Cross-validation, caveats, and guidelines

Action and object words are differentially anchored in the sensory motor system - A perspective on cognitive embodiment

Task-dependent fractal patterns of information processing in working memory

From the Wet Lab to the Web Lab: A Paradigm Shift in Brain Imaging Research

A reproducible benchmark of resting-state fMRI denoising strategies using fMRIPrep and Nilearn

bioRxiv : the preprint server for biology

Diverging Neural Dynamics for Syntactic Structure Building in Naturalistic Speaking and Listening


Lightweight Java and Android library for integration with Ethereum clients

A Fog Computing-Based Architecture for Medical Records Management

Wireless communications and mobile computing

A blockchain-based trust system for decentralised applications: When trustless needs trust

SaYoPillow: A Blockchain-Enabled, Privacy-Assured Framework for Stress Detection, Prediction and Control Considering Sleeping Habits in the IoMT.

SmartExchange: Decentralised Trustless Cryptocurrency Exchange

Lecture notes in business information processing

Blockchain-Based Transaction Manager for Ontology Databases

Providing reliability and auditability to the IoT LwM2M protocol through Blockchain.

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications

A Decentralized Solution for Epidemiological Surveillance in Campus Scenarios


A static analyzer for Java, C, C++, and Objective-C

D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis

RacerD: compositional static race detection

Automated Customized Bug-Benchmark Generation

An Algebraic Glimpse at Bunched Implications and Separation Logic

The Static Analyzer Infer in SV-COMP (Competition Contribution)

Tools and Algorithms for the Construction and Analysis of Systems

Low-Level Bi-Abduction

FLAG: Finding Line Anomalies (in code) with Generative AI


This is the development home of the workflow management system Snakemake. For general information, see

Sustainable data analysis with Snakemake

Zenodo (CERN European Organization for Nuclear Research)

CRISPAltRations: a validated cloud-based approach for interrogation of double-strand break repair mediated by CRISPR genome editing

Mapache: a flexible pipeline to map ancient DNA

RNA-SSNV: A Reliable Somatic Single Nucleotide Variant Identification Framework for Bulk RNA-Seq Data

A Workflow Management System Guide


Pythonic Smart Contract Language for the EVM

Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks

The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts

HyperService: Interoperability and Programmability Across Heterogeneous Blockchains

Precise Attack Synthesis for Smart Contracts

Challenges and Common Solutions in Smart Contract Development

IEEE transactions on software engineering

Vyper: A Security Comparison with Solidity Based on Common
  Vulnerabilities

Patch Transporter: Incentivized, Decentralized Software Patch System for WSN and IoT Environments

End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract

Verifiable Smart Contract Portability

Towards Distributed Clouds


Standardized Serverless ML Inference Platform on Kubernetes

Serverless inferencing on Kubernetes

Desiderata for next generation of ML model serving

Reconciling High Accuracy, Cost-Efficiency, and Low Latency of Inference Serving Systems

Deployment of ML Models using Kubeflow on Different Cloud Providers

A Practical 2-step Approach to Assist Enterprise Question-Answering Live Chat


A free and strong UCI chess engine

Chess AI: Competing Paradigms for Machine Intelligence

Neural Networks for Chess


A simple way to launch, train, and use PyTorch models on almost any device and distributed configuration, automatic mixed precision (including fp8), and easy-to-configure FSDP and DeepSpeed support

Inference with Reference: Lossless Acceleration of Large Language Models

Draft & Verify: Lossless Large Language Model Acceleration via
  Self-Speculative Decoding

Model Tells You What to Discard: Adaptive KV Cache Compression for LLMs

Knowledge Graph-augmented Language Models for Complex Question Answering

Proceedings of the 1st Workshop on Natural Language Reasoning and Structured Explanations (NLRSE)

Beyond Task Performance: Evaluating and Reducing the Flaws of Large
  Multimodal Models with In-Context Learning

Autoencoding Galaxy Spectra. I. Architecture

Crystal: Introspective Reasoners Reinforced with Self-Feedback

Autoencoding Galaxy Spectra. II. Redshift Invariance and Outlier Detection

A Simple, Yet Effective Approach to Finding Biases in Code Generation

Alfred: A System for Prompted Weak Supervision


Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

HoME: a Household Multimodal Environment

Memory-based Deep Reinforcement Learning for POMDPs

Learning Generalizable Locomotion Skills with Hierarchical Reinforcement Learning

Comparing Popular Simulation Environments in the Scope of Robotics and Reinforcement Learning.

Answering Visual What-If Questions: From Actions to Predicted Scene Descriptions

From Pixels to Legs: Hierarchical Learning of Quadruped Locomotion

Active 3D Shape Reconstruction from Vision and Touch

Rhoban Football Club: RoboCup Humanoid KidSize 2019 Champion Team Paper

Seeking quality diversity in evolutionary co-design of morphology and control of soft tensegrity modular robots

Proceedings of the Genetic and Evolutionary Computation Conference

Empirical analysis of PGA-MAP-Elites for Neuroevolution in Uncertain Domains


The Scala 3 compiler, also known as Dotty.

A TASTY Alternative

Scoped Capabilities for Polymorphic Effects

Type-Preserving Compilation of Class-Based Languages

Scala Implicits are Everywhere: A large-scale study of the use of
  Implicits in the wild

A theory of higher-order subtyping with type intervals

Proceedings of the ACM on programming languages

Formalizing Box Inference for Capture Calculus

The optics of language-integrated query


Scala 2 compiler and standard library. Bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

We Don't Need Another Hero? The Impact of "Heroes" on Software Development

What is the Connection Between Issues, Bugs, and Enhancements?

Characterizing the influence of continuous integration: empirical results from 250+ open source and proprietary projects

Proceedings of the 4th ACM SIGSOFT International Workshop on Software Analytics

Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization


Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

SciPy 1.0: fundamental algorithms for scientific computing in Python

A novel approach for estimating Truck Factors

International Conference on Program Comprehension

Preprocessor-based variability in open-source and industrial software systems: An empirical study

Detecting and Characterizing Bots that Commit Code

On the Impact of Programming Languages on Code Quality

ACM transactions on programming languages and systems

Will you come back to contribute? Investigating the inactivity of OSS core developers in GitHub

Are game engines software frameworks? A three-perspective study

Journal of systems and software/The Journal of systems and software

How is Open Source Software Development Different in Popular IoT Projects?

Measuring The Impact Of Programming Language Distribution

Revisiting Dockerfiles in Open Source Software Over Time


Connect, secure, control, and observe services.

Observability and chaos engineering on system calls for containerized applications in Docker

Cloud Property Graph: Connecting Cloud Security Assessments with Static Code Analysis

International Conference on Cloud Computing

Demystifying Software Release Note Issues on GitHub

Research on Enterprise Service Governance Based on Service Mesh

Security Issues and Challenges in Service Meshes - An Extended Study.


Machine learning for transportation data imputation and prediction.

MissForest—non-parametric missing value imputation for mixed-type data

Graph Signal Processing: Overview, Challenges and Applications

Bayesian CP Factorization of Incomplete Tensors with Automatic Rank Determination

IEEE transactions on pattern analysis and machine intelligence

Efficient missing data imputing for traffic flow by considering temporal and spatial dependence

Transportation research. Part C, Emerging technologies

A Bayesian tensor decomposition approach for spatiotemporal traffic data imputation

Tensor based missing traffic data completion with spatial–temporal correlation

Spatial-temporal traffic speed patterns discovery and incomplete data recovery via SVD-combined tensor decomposition

Missing traffic data imputation and pattern discovery with a Bayesian augmented tensor factorization model

A brief overview of machine learning methods for short-term traffic forecasting and future directions

Variational Autoencoders for Missing Data Imputation with Application to a Simulated Milling Circuit


DeepLearning for Tabular Data with FT_Transformer & ResNet

Revisiting Deep Learning Models for Tabular Data

On Embeddings for Numerical Features in Tabular Deep Learning

Revisiting Pretraining Objectives for Tabular Deep Learning


ChIP-seq analysis notes from Tommy Tang

A User's Guide to the Encyclopedia of DNA Elements (ENCODE)

Practical Guidelines for the Comprehensive Analysis of ChIP-seq Data

Assessing Computational Methods for Transcription Factor Target Gene Identification Based on ChIP-seq Data

Wellington-bootstrap: differential DNase-seq footprinting identifies cell-type determining transcription factors

Which Genetics Variants in DNase-Seq Footprints Are More Likely to Alter Binding?

Computational Identification of Genomic Features That Influence 3D Chromatin Domain Formation

Detecting broad domains and narrow peaks in ChIP-seq data with hiddenDomains

Carolina Digital Repository (University of North Carolina at Chapel Hill)

MixChIP: a probabilistic method for cell type specific protein-DNA binding analysis


Watermarking against model extraction attacks in MLaaS. ACM MM 2021.

Knockoff Nets: Stealing Functionality of Black-Box Models

DAWN: Dynamic Adversarial Watermarking of Neural Networks

Good Artists Copy, Great Artists Steal: Model Extraction Attacks Against
  Image Translation Models