Bayesian Evolutionary Analysis Sampling Trees

Emerging Coxsackievirus A6 Causing Hand, Foot and Mouth Disease, Vietnam

Global radiation in a rare biosphere soil diatom

Spatial and temporal fluctuations in COVID-19 fatality rates in Brazilian hospitals

Genomic assessment of invasion dynamics of SARS-CoV-2 Omicron BA.1

Estimating effective population size changes from preferentially sampled genetic sequences

Genomic epidemiology of SARS-CoV-2 transmission lineages in Ecuador

medRxiv : the preprint server for health sciences

Phylogeographic analysis of human influenza A and B viruses in Myanmar, 2010–2015

A Variational Approach to Bayesian Phylogenetic Inference

The early SARS-CoV-2 epidemic in Senegal was driven by the local emergence of B.1.416 and the introduction of B.1.1.420 from Europe

Enhancing global preparedness during an ongoing pandemic from partial and noisy data


"Multi-Level Intermediate Representation" Compiler Infrastructure

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

High-Performance Deep Learning via a Single Building Block

Tensor processing primitives

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 (TACO)


Integrated Software for Imagers and Spectrometers v3. ISIS3 is a digital image processing software package to manipulate imagery collected by current and past NASA and International planetary missions.

Overcoming the Challenges Associated with Image-Based Mapping of Small Bodies in Preparation for the OSIRIS-REx Mission to (101955) Bennu

Improving the Usability of Galileo and Voyager Images of Jupiter's Moon Europa

hical—The HiRISE radiometric calibration software developed within the ISIS3 planetary image processing suite


Pysam is a Python package for reading, manipulating, and writing genomics data such as SAM/BAM/CRAM and VCF/BCF files. It's a lightweight wrapper of the HTSlib API, the same one that powers samtools, bcftools, and tabix.

NanoPack: visualizing and processing long-read sequencing data

BlobToolKit – Interactive Quality Assessment of Genome Assemblies

WhatsHap: fast and accurate read-based phasing

Highly rearranged chromosomes reveal uncoupling between genome topology and gene expression

GuideScan software for improved single and paired CRISPR guide RNA design

Profiling the genome-wide landscape of tandem repeat expansions

A New Phylogenetic Framework for the Animal-Adapted Mycobacterium tuberculosis Complex

Plastid: nucleotide-resolution analysis of next-generation sequencing and genomics data

The variant call format provides efficient and robust storage of GWAS summary statistics

DeepC: predicting 3D genome folding using megabase-scale transfer learning


Deep probabilistic analysis of single-cell and spatial omics data

Deep generative modeling for single-cell transcriptomics

Probabilistic harmonization and annotation of single‐cell transcriptomics data with deep generative models

Joint probabilistic modeling of single-cell multi-omic data with totalVI

Interpretable factor models of single-cell RNA-seq via variational autoencoders

Normalizing and denoising protein expression data from droplet-based single cell profiling

Clinical and translational values of spatial transcriptomics

Signal transduction and targeted therapy

A joint model of unpaired data from scRNA-seq and spatial transcriptomics for imputing missing gene expression measurements

A comprehensive benchmarking with practical guidelines for cellular deconvolution of spatial transcriptomics

Zenodo (CERN European Organization for Nuclear Research)

scvi-tools: a library for deep probabilistic analysis of single-cell omics data

Self-supervised contrastive learning for integrative single cell RNA-seq data analysis


Quantum assembly language for extended quantum circuits

t|ket⟩: a retargetable compiler for NISQ devices

Projection-based runtime assertions for testing and debugging Quantum programs

Proceedings of the ACM on Programming Languages

QASMBench: A Low-Level Quantum Benchmark Suite for NISQ Evaluation and Simulation

Observation of topological Uhlmann phases with superconducting qubits

QASMBench: A Low-level QASM Benchmark Suite for NISQ Evaluation and Simulation

A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz

Comparisons of performance between quantum-enhanced and classical machine learning algorithms on the IBM Quantum Experience

Qunity: A Unified Language for Quantum and Classical Computing

SANQ: A Simulation Framework for Architecting Noisy Intermediate-Scale Quantum Computing System

Quantum computing at the quantum advantage threshold: a down-to-business review


A community white paper about LSST observing strategy, with quantifications via the the Metric Analysis Framework.

The LSST Dark Energy Science Collaboration (DESC) Science Requirements Document

Maximizing Science in the Era of LSST: A Community-Based Study of Needed US Capabilities

Astro2020 Science White Paper - Quasar Microlensing: Revolutionizing our Understanding of Quasar Structure and Dynamics

Maximizing Science in the Era of LSST, Stars Study Group Report: Rotation and Magnetic Activity in the Galactic Field Population and in Open Star Clusters


Aim  — An easy-to-use & supercharged open-source experiment tracker.

Memorization Without Overfitting: Analyzing the Training Dynamics of Large Language Models

Scaling Laws for Generative Mixed-Modal Language Models

BARTSmiles: Generative Masked Language Models for Molecular Representations

Replication: Contrastive Learning and Data Augmentation in Traffic Classification Using a Flowpic Input Representation

Proceedings of the 2023 ACM on Internet Measurement Conference


Experiment-independent toolkit for (charged) particle track reconstruction in (high energy) physics experiments implemented in modern C++

Software and computing for Run 3 of the ATLAS experiment at the LHC

Implementation of ACTS for STCF track reconstruction

Software framework for the Super Charm-Tau factory detector project

Tracking with A Common Tracking Software

Requirements, Status, and Plans for Track Reconstruction at the sPHENIX Experiment


:book::microscope::coffee: BioJava is an open-source project dedicated to providing a Java library for processing biological data.

Fidelity of RNA templated end-joining by chlorella virus DNA ligase and a novel iLock assay with improved direct RNA detection accuracy

BioJava 5: A community driven open-source bioinformatics library

BioJava-ModFinder: identification of protein modifications in 3D structures from the Protein Data Bank

Flaky Test Sanitisation via On-the-Fly Assumption Inference for Tests with Network Dependencies

FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair


An open API for epidemiological data.

Online misinformation is linked to early COVID-19 vaccination hesitancy and refusal

Nowcasting by Bayesian Smoothing: A flexible, generalizable model for real-time epidemic tracking

Association between COVID-19 outcomes and mask mandates, adherence, and attitudes

Technology to advance infectious disease forecasting for outbreak management

Even a good influenza forecasting model can benefit from internet-based nowcasts, but those benefits are limited

Near-term forecasts of influenza-like illness An evaluation of autoregressive time series approaches

The impact of online misinformation on U.S. COVID-19 vaccinations

Incorporating variant frequencies data into short-term forecasting for COVID-19 cases and deaths in the USA: a deep learning approach

The Zoltar forecast archive, a tool to standardize and store interdisciplinary prediction research

Fast and accurate influenza forecasting in the United States with Inferno


CLI tool for spawning and running containers according to the OCI specification

Container-based Cluster Orchestration Systems: A Taxonomy and Future Directions

INDIGO-DataCloud: a Platform to Facilitate Seamless Access to E-Infrastructures

Enabling rootless Linux Containers in multi-user environments: the udocker tool

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

Mining Sandboxes for Linux Containers

International Conference on Software Testing, Verification, and Validation

An Implementation of High Efficient Smart Street Light Management System for Smart City

Containers Orchestration with Cost-Efficient Autoscaling in Cloud Computing Environments

Use of Docker for deployment and testing of astronomy software

Containerization for High Performance Computing Systems: Survey and Prospects

IEEE Transactions on Software Engineering

Reference Architecture for Running Computationally Intensive Physics-Based Digital Twins of Heavy Equipment in a Heterogeneous Execution Environment


An analysis and visualization platform for 'omics data

Functional repertoire convergence of distantly related eukaryotic plankton lineages abundant in the sunlit ocean

Unifying the known and unknown microbial coding sequence space

Uncultured Microbial Phyla Suggest Mechanisms for Multi-Thousand-Year Subsistence in Baltic Sea Sediments

Candidatus Alkanophaga archaea from Guaymas Basin hydrothermal vent sediment oxidize petroleum alkanes

Revealing the Host-Dependent Nature of an Engineered Genetic Inverter in Concordance with Physiology


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

Scalable Deep Reinforcement Learning-Based Online Routing for Multi-type Service Requirements

IEEE Transactions on Parallel and Distributed Systems

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

SDT: A Low-cost and Topology-reconfigurable Testbed for Network Research

A New Intelligent Cross-Domain Routing Method in SDN Based on a Proposed Multiagent Reinforcement Learning Algorithm

Progressive Adoption of RINA in IoT Networks: Enhancing Scalability and Network Management via SDN Integration

A low workload operation method for SDN switch replacement that prevents wiring mistakes


Cinder is Meta's internal performance-oriented production version of CPython.

Gradual Soundness: Lessons from Static Python

Landscape of High-Performance Python to Develop Data Science and Machine Learning Applications

Dr Wenowdis: Specializing dynamic language C extensions using type
  information


DoWhy is a Python library for causal inference that supports explicit modeling and testing of causal assumptions. DoWhy is based on a unified language for causal inference, combining causal graphical models and potential outcomes frameworks.

A Survey on Causal Inference

DoWhy: An End-to-End Library for Causal Inference

Causality Learning: A New Perspective for Interpretable Machine Learning

Causal structure based root cause analysis of outliers

Evaluation Methods and Measures for Causal Learning Algorithms

DoWhy-GCM: An extension of DoWhy for causal inference in graphical causal models

CATE meets ML -- The Conditional Average Treatment Effect and Machine Learning

DoWhy: Addressing Challenges in Expressing and Validating Causal Assumptions

Causal Effect Identification from Multiple Incomplete Data Sources: A General Search-Based Approach

Modeling the Data-Generating Process is Necessary for Out-of-Distribution Generalization


Easy interactive web applications with R

Interactive Pharmacometric Applications Using R and the Shiny Package

CPT: pharmacometrics & systems pharmacology

The injured sciatic nerve atlas (iSNAT), insights into the cellular and molecular basis of neural tissue degeneration and regeneration

Emergence of distinct syntenic density regimes is associated with early metazoan genomic transitions

lightr: import spectral data and metadata in R

TOmicsVis: An all‐in‐one transcriptomic analysis and visualization R package with Shinyapp interface

Externally validated models for first diagnosis and risk of progression of knee osteoarthritis

Tweaking Association Rules to Optimize Software Change Recommendations

XXXI BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2017)

A sustainable infrastructure concept for improved accessibility, reusability, and archival of research software

CPADS: a web tool for comprehensive pancancer analysis of drug sensitivity

Single-cell and bulk tissue sequencing unravels the heterogeneity of synovial microenvironment in arthrofibrosis


Optimized C library for EC operations on curve secp256k1

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

IA-CCF: Individual Accountability for Permissioned Ledgers

Frugal Byzantine Computing

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

PAC: Practical Accountability for CCF.

NetShaper: A Differentially Private Network Side-Channel Mitigation System

CryptOpt: Automatic Optimization of Straightline Code


An open-source application for biological image analysis

Anthelmintic drug discovery: target identification, screening methods and the role of open science

BioCoder: a benchmark for bioinformatics code generation with large language models

OMEGA: a software tool for the management, analysis, and dissemination of intracellular trafficking data that incorporates motion type classification and quality control

A fully automated deep learning pipeline for high-throughput colony segmentation and classification

CellProfiler plugins -- an easy image analysis platform integration for containers and Python tools

Epigenetic silencing of HTATIP2 in glioblastoma contributes to treatment resistance by enhancing nuclear translocation of the DNA repair protein MPG


Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Securify: Practical Security Analysis of Smart Contracts

Slither: A Static Analysis Framework for Smart Contracts

International Workshop on Emerging Trends in Software Engineering for Blockchain

A Survey on Ethereum Systems Security: Vulnerabilities, Attacks, and Defenses

Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts

SoK: Decentralized Finance (DeFi)

Systematic Review of Security Vulnerabilities in Ethereum Blockchain Smart Contract

Harvey: A Greybox Fuzzer for Smart Contracts

Understanding Security Issues in the NFT Ecosystem


A Python library for the Docker Engine API

Security Measures in Automated Assessment System for Programming Courses

RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation.


NeuroKit2: The Python Toolbox for Neurophysiological Signal Processing

CardioGAN: Attentive Generative Adversarial Network with Dual Discriminators for Synthesis of ECG from PPG

Enhancing self-management in type 1 diabetes with wearables and deep learning

EvoMBN: Evolving Multi-Branch Networks on Myocardial Infarction Diagnosis Using 12-Lead Electrocardiograms

Comprehensive HRV estimation pipeline in Python using Neurokit2: Application to sleep physiology

Encoding Time-Series Explanations through Self-Supervised Model Behavior Consistency

An Improved Subject-Independent Stress Detection Model Applied to Consumer-grade Wearable Devices

Unveiling emotion dynamics in problem-solving: a comprehensive analysis with an intelligent tutoring system using facial expressions and electrodermal activities

International Journal of Educational Technology in Higher Education

Detecting QT prolongation From a Single-lead ECG With Deep Learning

3DA: Assessing 3D-Printed Electrodes for Measuring Electrodermal Activity

Wuthering heights: gauging fear at altitude in virtual reality


O2 software project for the ALICE experiment at CERN

ALICE Run 3 Analysis Framework

The ALICE Analysis Framework for LHC Run 3


Statsmodels: statistical modeling and econometrics in Python

Highly accurate protein structure prediction with AlphaFold

Accurate structure prediction of biomolecular interactions with AlphaFold 3

ChainConsumer 0.10.2

LongEval: Guidelines for Human Evaluation of Faithfulness in Long-form Summarization

Dataset decay and the problem of sequential analyses on open datasets

A replication-linked mutational gradient drives somatic mutation accumulation and influences germline polymorphisms and genome composition in mitochondrial DNA

Detection of large-scale cloud microphysical changes within a major shipping corridor after implementation of the International Maritime Organization 2020 fuel sulfur regulations

Few-shot Controllable Style Transfer for Low-Resource Multilingual Settings

IO:I: A Near-Infrared Camera for the Liverpool Telescope

Loss of Imprinting in Human Placentas Is Widespread, Coordinated, and Predicts Birth Phenotypes


A library that provides an embeddable, persistent key-value store for fast storage.

Optuna: A Next-generation Hyperparameter Optimization Framework

Interleaved Sequence RNNs for Fraud Detection

Constructing and Analyzing the LSM Compaction Design Space

Nova-LSM: A Distributed, Component-based LSM-tree Key-value Store

SIGMOD '21: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA

Near-Memory Address Translation

Enabling Efficient Updates in KV Storage via Hashing: Design and Performance Evaluation

BRAVO -- Biased Locking for Reader-Writer Locks

High-Dimensional Bayesian Optimization with Multi-Task Learning for RocksDB

PROCEEDINGS OF THE 1ST WORKSHOP ON MACHINE LEARNING AND SYSTEMS (EUROMLSYS'21)

Closing the B-tree vs. LSM-tree Write Amplification Gap on Modern Storage Hardware with Built-in Transparent Compression

Toward a Better Understanding and Evaluation of Tree Structures on Flash SSDs


Rhino is an open-source implementation of JavaScript written entirely in Java

Validity Fuzzing and Parametric Generators for Effective Random Testing

SCELMo: Source Code Embeddings from Language Models

BioUML—towards a universal research platform

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version)

Generalized Coverage Criteria for Combinatorial Sequence Testing


Apache Druid: a high performance real-time analytics database.

Detect-Localize-Repair: A Unified Framework for Learning to Debug with CodeT5

HyperLogLog: Exponentially Bad in Adversarial Settings

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

DJXPerf: Identifying Memory Inefficiencies via Object-Centric Profiling for Java

Using Distributed Representation of Code for Bug Detection

Ingestion, Indexing and Retrieval of High-Velocity Multidimensional Sensor Data on a Single Node

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations


Breeze is/was a numerical processing library for Scala.

MLlib: Machine Learning in Apache Spark

A Survey on Distributed Machine Learning

Matrix Computations and Optimization in Apache Spark

LocationSpark: In-memory Distributed Spatial Query Processing and Optimization

Benchmarking Data Flow Systems for Scalable Machine Learning

International Conference on Management of Data

Declarative Data Analytics: a Survey

Unsupervised, Knowledge-Free, and Interpretable Word Sense Disambiguation

Empirical Methods in Natural Language Processing

Understanding and Optimizing the Performance of Distributed Machine Learning Applications on Apache Spark

A Benchmarking Study to Evaluate Apache Spark on Large-Scale Supercomputers

OCAPIS: R package for Ordinal Classification And Preprocessing In Scala


Reformats Java source code to comply with Google Java Style.

Making the most of small Software Engineering datasets with modern machine learning

Styler: learning formatting conventions to repair Checkstyle violations

Evaluating the robustness of source code plagiarism detection tools to pervasive plagiarism-hiding modifications

MCRepair: Multi-Chunk Program Repair via Patch Optimization with Buggy Block


Fire Dynamics Simulator

Determining Firebrand Generation Rate Using Physics-Based Modelling from Experimental Studies through Inverse Analysis

Simulation of Fire with a Gas Kinetic Scheme on Distributed GPGPU Architectures

An appearance of asymmetrically spreading flames in narrow combustible channel

Defining parameters for numerical modelling of fires

Assessment of the Fire Dynamics Simulator Modeling for the Heating and Evaporation of a Single Water Droplet at Moderate and High Temperatures

Comparison of sprinkler activation times under flat and corrugated metal deck ceiling


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

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

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

The Creation and Detection of Deepfakes: A Survey

Deep Learning for Deepfakes Creation and Detection: A Survey

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

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

Recurrent Convolutional Strategies for Face Manipulation Detection in Videos


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

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

FirmwareDroid: Security Analysis of the Android Firmware EcoSystem

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


Create delightful software with Jupyter Notebooks

fastai: A Layered API for Deep Learning

DeepVATS: Deep Visual Analytics for Time Series


VHDL 2008/93/87 simulator

Open-Source Verification with Chisel and Scala

Compensation of phase drifts caused by ambient humidity, temperature and pressure changes for continuously operating interferometers

QHDL: a Low-Level Circuit Description Language for Quantum Computing

SME: A High Productivity FPGA Tool for Software Programmers

A Novel ML-driven Test Case Selection Approach for Enhancing the Performance of Grammatical Evolution


Flutter makes it easy and fast to build beautiful apps for mobile and beyond

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

Developing Cross-Platform Library Using Flutter

European Journal of Engineering and Technology Research

DevReplay: Automatic Repair with Editable Fix Pattern


G+Smo (pronounced gismo or gizmo) is a C++ library for isogeometric analysis (IGA). Geometry plus simulation modules aims at the seamless integration of Computer-aided Design (CAD) and Finite Element Analysis (FEA).

Inexact IETI-DP for conforming isogeometric multi-patch discretizations

Stable discretizations and IETI-DP solvers for the Stokes system in multi-patch IgA

Multigrid solvers for isogeometric discretizations of the second biharmonic problem

Dual-Primal Isogeometric Tearing and Interconnecting methods for the Stokes problem

IETI-DP for Conforming Multi-Patch Isogeometric Analysis in Three Dimensions


Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development.  See the Developer Process Wiki for details.

Hamiltonian Monte Carlo for Hierarchical Models

Automatic Variational Inference in Stan

Decision-making in stimulant and opiate addicts in protracted abstinence: evidence from computational modeling with pure users

TOWARD CHARACTERIZATION OF THE TYPE IIP SUPERNOVA PROGENITOR POPULATION: A STATISTICAL SAMPLE OF LIGHT CURVES FROM Pan-STARRS1

Hierarchical structure guides rapid linguistic predictions during naturalistic listening

On weakly informative prior distributions for the heterogeneity parameter in Bayesian random-effects meta-analysis

Livestream Experiments: The Role of COVID-19, Agency, Presence, and Social Context in Facilitating Social Connectedness

Beyond Brownian motion and the Ornstein-Uhlenbeck process: Stochastic diffusion models for the evolution of quantitative characters

Bayesian workflow for disease transmission modeling in Stan

Bayesian Workflow


Unbound is a validating, recursive, and caching DNS resolver.

ZDNS: A Fast DNS Toolkit for Internet Measurement

Proceedings of the 22nd ACM Internet Measurement Conference

Why E.T. Can't Phone Home: A Global View on IP-based Geoblocking at
  VoWiFi

The Harder You Try, The Harder You Fail: The KeyTrap Denial-of-Service
  Algorithmic Complexity Attacks on DNSSEC

Diffie-Hellman Picture Show: Key Exchange Stories from Commercial VoWiFi
  Deployments


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


Dafny is a verification-aware programming language

Refinement Reflection: Complete Verification with SMT

Symposium on Principles of Programming Languages

Verus: Verifying Rust Programs using Linear Ghost Types

Formal Verification of the Ethereum 2.0 Beacon Chain

Towards AI-Assisted Synthesis of Verified Dafny Methods

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny

Better Counterexamples for Dafny

Tools and Algorithms for the Construction and Analysis of Systems

Verification of the Incremental Merkle Tree Algorithm with Dafny

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme

Case studies of development of verified programs with Dafny for accessibility assessment

Robustness Testing of Intermediate Verifiers


Global Superstructure/Workflow supporting the Global Forecast System (GFS)


Hyperledger Cacti is a new approach to the blockchain interoperability problem

A Survey on Blockchain Interoperability: Past, Present, and Future Trends

A Pub-Sub Architecture to Promote Blockchain Interoperability

Verifiable Observation of Permissioned Ledgers

TrustCross: Enabling Confidential Interoperability across Blockchains Using Trusted Hardware

Decentralized Cross-Network Identity Management for Blockchain Interoperation


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


Universal LLM Deployment Engine with ML Compilation

MiniCPM: Unveiling the Potential of Small Language Models with Scalable
  Training Strategies

Efficient Large Language Models: A Survey

OmniQuant: Omnidirectionally Calibrated Quantization for Large Language Models

AutoDroid: LLM-powered Task Automation in Android

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

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

Interactive Natural Language Processing

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

A Survey on Efficient Inference for Large Language Models

Model Compression and Efficient Inference for Large Language Models: A
  Survey


The main firmware for the Crazyflie Nano Quadcopter, Crazyflie Bolt Quadcopter and Roadrunner Positioning Tag.

Fully Onboard AI-powered Human-Drone Pose Estimation on Ultra-low Power Autonomous Flying Nano-UAVs

An Open Source and Open Hardware Deep Learning-Powered Visual Navigation Engine for Autonomous Nano-UAVs

International Conference on Distributed Computing in Sensor Systems

An Efficient Real-Time NMPC for Quadrotor Position Control under Communication Time-Delay

Lighthouse Positioning System: Dataset, Accuracy, and Precision for UAV Research

Land & Localize: An Infrastructure-free and Scalable Nano-Drones Swarm with UWB-based Localization

Stress Testing Control Loops in Cyber-physical Systems

ACM Transactions on Software Engineering and Methodology

POD: A Smartphone That Flies

Historical and Current Landscapes of Autonomous Quadrotor Control: An Early-Career Researchers’ Guide

Research Project 2: Drone-supported AI-based Generation of 3D Maps of Indoor Radio Environments

Latency-aware and -predictable Communication with Open Protocol Stacks for Remote Drone Control


An extensible framework for feature-oriented software development

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

Lazy Product Discovery in Huge Configuration Spaces

Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models

Variability Modeling of Products, Processes, and Resources in
  Cyber-Physical Production Systems Engineering


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

A fast accurate fine-grain object detection model based on YOLOv4 deep neural network


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

ZeRO: Memory Optimizations Toward Training Trillion Parameter Models

Q8BERT: Quantized 8Bit BERT

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

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

Adversarial Training for Large Neural Language Models


Open source Structure-from-Motion pipeline

OpenVSLAM: A Versatile Visual SLAM Framework

PROCEEDINGS OF THE 27TH ACM INTERNATIONAL CONFERENCE ON MULTIMEDIA (MM'19)

GLAMR: Global Occlusion-Aware Human Mesh Recovery with Dynamic Cameras

World-Consistent Video-to-Video Synthesis

UAS-Based Plant Phenotyping for Research and Breeding Applications

Learning Multi-Object Tracking and Segmentation from Automatic Annotations

Prior-Guided Multi-View 3D Head Reconstruction

Inertial-Based Scale Estimation for Structure from Motion on Mobile Devices

Monitor Cotton Budding Using SVM and UAV Images

LineNet: a Zoomable CNN for Crowdsourced High Definition Maps Modeling in Urban Environments

How to Build a 2D and 3D Aerial Multispectral Map?—All Steps Deeply Explained


Parameterize, execute, and analyze notebooks

ColabFold - Making protein folding accessible to all

Ten simple rules for writing and sharing computational analyses in Jupyter Notebooks

Code Duplication and Reuse in Jupyter Notebooks

Integrated Visualization Editing via Parameterized Declarative Templates

Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems

Ten Simple Rules for Reproducible Research in Jupyter Notebooks

Eliciting Best Practices for Collaboration with Computational Notebooks

Proceedings of the ACM on Human-Computer Interaction

One Model Many Scores: Using Multiverse Analysis to Prevent Fairness Hacking and Evaluate the Influence of Model Design Decisions


Nextstrain build for novel coronavirus SARS-CoV-2

Omicron extensively but incompletely escapes Pfizer BNT162b2 neutralization

Emergence of genomic diversity and recurrent mutations in SARS-CoV-2

Infection, genetics and evolution : journal of molecular epidemiology and evolutionary genetics in infectious diseases

Emergence of SARS-CoV-2 Omicron lineages BA.4 and BA.5 in South Africa

Coast-to-Coast Spread of SARS-CoV-2 during the Early Epidemic in the United States

Cryptic transmission of SARS-CoV-2 in Washington state

medRxiv : the preprint server for health sciences

Analysis of 6.4 million SARS-CoV-2 genomes identifies mutations associated with fitness

RNA genome conservation and secondary structure in SARS-CoV-2 and SARS-related viruses: a first look

A Recurrent Mutation at Position 26340 of SARS-CoV-2 Is Associated with Failure of the E Gene Quantitative Reverse Transcription-PCR Utilized in a Commercial Dual-Target Diagnostic Assay

SARS-CoV-2 prolonged infection during advanced HIV disease evolves extensive immune escape

Augur: a bioinformatics toolkit for phylogenetic analyses of human pathogens


Gluon CV Toolkit

Searching for MobileNetV3

ResNeSt: Split-Attention Networks

Bag of Tricks for Image Classification with Convolutional Neural Networks

Bag of Freebies for Training Object Detection Neural Networks

A Comprehensive Study of Deep Video Action Recognition

Avoiding Overfitting: A Survey on Regularization Methods for Convolutional Neural Networks

Criteria for Classifying Forecasting Methods

Leveraging Regular Fundus Images for Training UWF Fundus Diagnosis Models via Adversarial Learning and Pseudo-Labeling

Dynamic Mini-batch SGD for Elastic Distributed Training: Learning in the Limbo of Resources

SMOT: Single-Shot Multi Object Tracking


Multi-platform, free open source software for visualization and image computing.

The Open Anatomy Browser: A Collaborative Web-Based Viewer for Interoperable Anatomy Atlases

CroSSED sequence, a new tool for 3D processing in geosciences using the free software 3DSlicer

Coronary Centerline Extraction from CCTA Using 3D-UNet

Open-source Software Sustainability Models: Initial White Paper From the Informatics Technology for Cancer Research Sustainability and Industry Partnership Working Group

Automated lung cancer assessment on 18F-PET/CT using Retina U-Net and anatomical region segmentation

Towards More Structure: Comparing TNM Staging Completeness and Processing Time of Text-Based Reports versus Fully Segmented and Annotated PET/CT Data of Non-Small-Cell Lung Cancer

Open Source Software Sustainability Models: Initial White Paper from the Informatics Technology for Cancer Research Sustainability and Industry Partnership Work Group


Context Broker and CEF building block for context data management, providing NGSI interfaces.

Providing Personalized Energy Management and Awareness Services for Energy Efficiency in Smart Buildings

Embracing the Future Internet of Things

Advancing Experimentation-as-a-Service Through Urban IoT Experiments

Efficient Execution of Complex Context Queries to Enable Near Real-Time Smart IoT Applications

Exploiting the Internet Resources for Autonomous Robots in Agriculture

Atomic Services: sustainable ecosystem of smart city services through pan-European collaboration

From Traditional Adaptive Data Caching to Adaptive Context Caching: A Survey

VirIoT: A Cloud of Things That Offers IoT Infrastructures as a Service

Adaptive Context Caching for IoT-Based Applications: A Reinforcement Learning Approach

LearningCity: Knowledge Generation for Smart Cities

Smart Cities Performability, Cognition, & Security


ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

SPT-Code: Sequence-to-Sequence Pre-Training for Learning Source Code Representations

ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking

An automatically created novel bug dataset and its validation in bug prediction

LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles

Extending Hierarchical Delta Debugging with Hoisting

Synthesis of Semantic Actions in Attribute Grammars

Identifying change patterns in software history

Does Code Review Promote Conformance? A Study of OpenStack Patches

Fault detection and diagnosis in building energy systems: A tool chain for the automated generation of training data

Dynamic Slicing by On-demand Re-execution


Python Library for learning (Structure and Parameter), inference (Probabilistic and Causal), and simulations in Bayesian Networks.

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

A Novel SNP-STR System Based on a Capillary Electrophoresis Platform

ML4C: Seeing Causality Through Latent Vicinity

pgmpy: A Python Toolkit for Bayesian Networks

Causal Models to Support Scenario-Based Testing of ADAS

IEEE transactions on intelligent transportation systems


ApsimX is the next generation of APSIM

Integrating a crop growth model and radiative transfer model to improve estimation of crop traits based on deep learning

Nitrate Uptake from an Aquifer by Two Plantation Forests: Plausibility Strengthened by Process-Based Modelling


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.

AdaChain: A Learned Adaptive Blockchain

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

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

Transformer Memory as a Differentiable Search Index

TRUE: Re-evaluating Factual Consistency Evaluation

Scaling Up Models and Data with  and

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


Easily train a good VC model with voice data <= 10 mins!

Avoiding an AI-imposed Taylor's Version of all music history

Low-latency Real-time Voice Conversion on CPU


RISC-V Open Source Supervisor Binary Interface

Verifying RISC-V Physical Memory Protection

Towards a Formally Verified Security Monitor for VM-based Confidential Computing


OpenMMLab's next-generation platform for general 3D object detection.

nuScenes: A multimodal dataset for autonomous driving

PointPillars: Fast Encoders for Object Detection from Point Clouds

Scalability in Perception for Autonomous Driving: Waymo Open Dataset

Designing Network Design Spaces

Center-based 3D Object Detection and Tracking

Deep Hough Voting for 3D Object Detection in Point Clouds

3DSSD: Point-based 3D Single Stage Object Detector

From Points to Parts: 3D Object Detection from Point Cloud with Part-aware and Part-aggregation Network

FCOS3D: Fully Convolutional One-Stage Monocular 3D Object Detection

BEVDet: High-performance Multi-camera 3D Object Detection in Bird-Eye-View


A unified framework for machine learning with time series

ROCKET: exceptionally fast and accurate time series classification using random convolutional kernels

The great multivariate time series classification bake off: a review and experimental evaluation of recent algorithmic advances

Fast and Accurate Time Series Classification with WEASEL

International Conference on Information and Knowledge Management

sktime: A Unified Interface for Machine Learning with Time Series

HIVE-COTE 2.0: a new meta ensemble for time series classification

The Canonical Interval Forest (CIF) Classifier for Time Series Classification

Scalable Dictionary Classifiers for Time Series Classification

HDC-MiniROCKET: Explicit Time Encoding in Time Series Classification with Hyperdimensional Computing

Monash University, UEA, UCR Time Series Extrinsic Regression Archive

The FreshPRINCE: A Simple Transformation Based Pipeline Time Series Classifier


Java DSL for easy testing of REST services

EvoMaster: Evolutionary Multi-context Automated System Test Generation

International Conference on Software Testing, Verification, and Validation

RESTful API Automated Test Case Generation

International Conference on Software Quality, Reliability and Security

Testing RESTful APIs: A Survey

Will Dependency Conflicts Affect My Program's Semantics?

Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs


UMAP: Uniform Manifold Approximation and Projection for Dimension Reduction

Dimensionality reduction for visualizing single-cell data using UMAP

The single-cell transcriptional landscape of mammalian organogenesis

SARS-CoV-2 Receptor ACE2 Is an Interferon-Stimulated Gene in Human Airway Epithelial Cells and Is Detected in Specific Cell Subsets across Tissues

Decoding myofibroblast origins in human kidney fibrosis

Zenodo (CERN European Organization for Nuclear Research)

Understanding How Dimension Reduction Tools Work: An Empirical Approach to Deciphering t-SNE, UMAP, TriMAP, and PaCMAP for Data Visualization

Parametric UMAP embeddings for representation and semi-supervised learning

Baricitinib treatment resolves lower-airway macrophage inflammation and neutrophil recruitment in SARS-CoV-2-infected rhesus macaques

A Survey of Deep Learning for Scientific Discovery

Single-cell analysis of germinal-center B cells informs on lymphoma cell of origin and outcome


Kepler.gl is a powerful open source geospatial analysis tool for large-scale data sets.

Multimodal urban mobility and multilayer transport networks

Leafmap: A Python package for interactive mapping and geospatial analysis with minimal coding in a Jupyter environment

Sabrina: Modeling and Visualization of Economy Data with Incremental Domain Knowledge

Pseudo-Pflow: Development of Nationwide Synthetic Open Dataset for People Movement Based on Limited Travel Survey and Open Statistical Data

SuperNOVA: Design Strategies and Opportunities for Interactive Visualization in Computational Notebooks


Comprehensive and open-source library of analysis tools for MRI of the spinal cord.

Automatic segmentation of the spinal cord and intramedullary multiple sclerosis lesions with convolutional neural networks

Spinal cord gray matter segmentation using deep dilated convolutions

Unsuspected Involvement of Spinal Cord in Alzheimer Disease

Generalised boundary shift integral for longitudinal assessment of spinal cord atrophy

Optimal machine learning methods for radiomic prediction models: Clinical application for preoperative T2*‐weighted images of cervical spondylotic myelopathy

Towards contrast-agnostic soft segmentation of the spinal cord

The use of deep learning in medical imaging to improve spine care: A scoping review of current literature and clinical applications

Diffusion Kurtosis Imaging of Neonatal Spinal Cord in Clinical Routine

Automatic Segmentation of the Spinal Cord Nerve Rootlets

Reproducible Spinal Cord Quantitative MRI Analysis with the Spinal Cord Toolbox

Magnetic resonance in medical sciences : MRMS : an official journal of Japan Society of Magnetic Resonance in Medicine


:warning: The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.

Modeling food supply chain traceability based on blockchain technology

A traceability and auditing framework for electronic equipment reverse logistics based on blockchain: the case of mobile phones

Dynamic Role Binding in Blockchain-Based Collaborative Business Processes

Interpreted Execution of Business Process Models on Blockchain

Advancing Blockchain-based Federated Learning through Verifiable Off-chain Computations

A blockchain-based forensic model for financial crime investigation: the embezzlement scenario

Enforceable Data Sharing Agreements Using Smart Contracts

DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts

The Operational Cost of Ethereum Airdrops

FairCs—Blockchain-Based Fair Crowdsensing Scheme using Trusted Execution Environment


Primary repository for the Trilinos Project

MPAS-Albany Land Ice (MALI): a variable-resolution ice sheet model for Earth system modeling using Voronoi grids

Multi-threaded Sparse Matrix-Matrix Multiplication for Many-Core and GPU Architectures

A Flexible, Parallel, Adaptive Geometric Multigrid Method for FEM

ACM Transactions on Mathematical Software

Characterizing the Roles of Contributors in Open-source Scientific Software Projects

Task Parallel Incomplete Cholesky Factorization using 2D Partitioned-Block Layout

Canonical and Noncanonical Hamiltonian Operator Inference

Sphynx: A parallel multi-GPU graph partitioner for distributed-memory systems

Preconditioned least‐squares Petrov–Galerkin reduced order models

SpDISTAL: Compiling Distributed Sparse Tensor Computations

Asynchronous One-Level and Two-Level Domain Decomposition Solvers


21st century AD

Differentiable Programming Tensor Networks

Learning with Combinatorial Optimization Layers: a Probabilistic Approach

Automatic differentiation of dominant eigensolver and its applications in quantum physics

Universal Adversarial Examples and Perturbations for Quantum Classifiers

Enhancing Quantum Adversarial Robustness by Randomized Encodings

Differentiable Physics: A Position Piece

NeuralFMU: Presenting a workflow for integrating hybrid NeuralODEs into real world applications

DynamicPPL: Stan-like Speed for Dynamic Probabilistic Models

Symplectic Autoencoders for Model Reduction of Hamiltonian Systems

variPEPS -- a versatile tensor network library for variational ground state simulations in two spatial dimensions


TARDIS - Temperature And Radiative Diffusion In Supernovae

Monte Carlo Radiative Transfer

Living Reviews in Computational Astrophysics

Modeling Type Ic Supernovae with tardis: Hidden Helium in SN 1994I?

Ultraviolet Spectroscopy and TARDIS Models of the Broad-lined Type Ic Supernova 2014ad

SN 2019ewu: A Peculiar Supernova with Early Strong Carbon and Weak Oxygen Features from a New Sample of Young SN Ic Spectra


Flower: A Friendly Federated AI Framework

Communication-Efficient Learning of Deep Networks from Decentralized Data

Adaptive Federated Optimization

Model-Contrastive Federated Learning

Federated Learning on Non-IID Data Silos: An Experimental Study

Federated Learning with Personalization Layers

FedBN: Federated Learning on Non-IID Features via Local Batch Normalization

Flower: A Friendly Federated Learning Research Framework

HeteroFL: Computation and Communication Efficient Federated Learning for Heterogeneous Clients

Federated Meta-Learning with Fast Convergence and Efficient Communication

FjORD: Fair and Accurate Federated Learning under heterogeneous targets with Ordered Dropout


a fast, scalable, multi-language and extensible build system

Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source

AUGER: Automatically Generating Review Comments with Pre-training Models


Modin: Scale your Pandas workflows by changing a single line of code

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

Towards Scalable Dataframe Systems

RootInteractive tool for multidimensional statistical analysis, machine learning and analytical model validation


eSpeak NG is an open source speech synthesizer that supports more than hundred languages and accents.

AudioLDM 2: Learning Holistic Audio Generation with Self-supervised Pretraining

UTMOS: UTokyo-SaruLab System for VoiceMOS Challenge 2022

Toward a realistic model of speech processing in the brain with self-supervised learning

Simple and Effective Zero-shot Cross-lingual Phoneme Recognition

ESPnet2-TTS: Extending the Edge of TTS Research

Ab Antiquo: Neural Proto-language Reconstruction

ByT5 model for massively multilingual grapheme-to-phoneme conversion

The IMS Toucan System for the Blizzard Challenge 2023

Revisiting NMT for Normalization of Early English Letters

North American Chapter of the Association for Computational Linguistics

Simple and Effective Unsupervised Speech Translation


The official repository for the Weather Research and Forecasting (WRF) model

Sensitivity of organized convective storms to model grid spacing in current and future climates

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

Exploring the Effects of Rooftop Mitigation Strategies on Urban Temperatures and Energy Consumption

Journal of Geophysical Research: Atmospheres

Improving dust simulations in WRF-Chem v4.1.3 coupled with the GOCART aerosol module

A case study of wind farm effects using two wake parameterizations in the Weather Research and Forecasting (WRF) model (V3.7.1) in the presence of low-level jets

WRF-GC (v2.0): online two-way coupling of WRF (v3.9.1.1) and GEOS-Chem (v12.7.2) for modeling regional atmospheric chemistry–meteorology interactions

Resolving the influence of local flows on urban heat amplification during heatwaves

WRF‐TEB: Implementation and Evaluation of the Coupled Weather Research and Forecasting (WRF) and Town Energy Balance (TEB) Model

Journal of Advances in Modeling Earth Systems

Ensemble hindcasting of wind and wave conditions with WRF and WAVEWATCH III® driven by ERA5

Large-Eddy Simulations of Marine Boundary Layer Clouds Associated with Cold-Air Outbreaks during the ACTIVATE Campaign. Part I: Case Setup and Sensitivities to Large-Scale Forcings

Impact of model improvements on 80-m wind speeds during the second Wind Forecast Improvement Project (WFIP2)


A toolkit for developing and comparing reinforcement learning algorithms.

OpenAI Gym

Parameter Space Noise for Exploration

Multi-Goal Reinforcement Learning: Challenging Robotics Environments and Request for Research

State Representation Learning for Control: An Overview

Neural networks : the official journal of the International Neural Network Society

Brax -- A Differentiable Physics Engine for Large Scale Rigid Body Simulation

PettingZoo: Gym for Multi-Agent Reinforcement Learning

What Matters In On-Policy Reinforcement Learning? A Large-Scale Empirical Study

Distributional Soft Actor-Critic: Off-Policy Reinforcement Learning for Addressing Value Estimation Errors

IEEE transactions on neural networks and learning systems

GPU-Accelerated Robotic Simulation for Distributed Reinforcement Learning

Quantum agents in the Gym: a variational quantum algorithm for deep Q-learning


A Java API for high-throughput sequencing data (HTS) formats.

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

Why Developers Refactor Source Code: A Mining-based Study

VCF.Filter: interactive prioritization of disease-linked genetic variants from sequencing data

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

BasePlayer: Versatile Analysis Software for Large-scale Genomic Variant Discovery

ASCIIGenome: a command line genome browser for console terminals


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


Display and control your Android device

BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices

PROCEEDINGS OF THE EIGHTEENTH ACM WORKSHOP ON HOT TOPICS IN NETWORKS (HOTNETS '19)

Dashlet: Taming Swipe Uncertainty for Robust Short Video Streaming

Rapid assessment of hand reaching using virtual reality and application in cerebellar stroke

Stargazer: An Interactive Camera Robot for Capturing How-To Videos Based on Subtle Instructor Cues

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems

BatteryLab: A Collaborative Platform for Power Monitoring

The Open Perimetry Initiative: A framework for cross-platform development for the new generation of portable perimeters

ZKSENSE: A Friction-less Privacy-Preserving Human Attestation Mechanism for Mobile Devices

Proceedings on Privacy Enhancing Technologies

PaRUS: A Virtual Reality Shopping Method Focusing on Context between Products and Real Usage Scenes


Open deep learning compiler stack for cpu, gpu and specialized accelerators

A Hardware-Software Blueprint for Flexible Deep Learning Specialization

Optimizing CNN Model Inference on CPUs

MNN: A Universal and Efficient Inference Engine

I-ViT: Integer-only Quantization for Efficient Vision Transformer Inference

A Unified Optimization Approach for CNN Model Inference on Integrated GPUs

TensorIR: An Abstraction for Automatic Tensorized Program Optimization

Rewrite Rule Inference Using Equality Saturation

Automatic identification of self-admitted technical debt from four different sources

PolyDL: Polyhedral Optimizations for Creation of High Performance DL primitives

Fuzzing Deep Learning Compilers with HirGen


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


Scala based HDL

Clio: A Hardware-Software Co-Designed Disaggregated Memory System

ISA Extensions for Finite Field Arithmetic

IACR Transactions on Cryptographic Hardware and Embedded Systems

RVCoreP : An optimized RISC-V soft processor of five-stage pipelining

IEICE Transactions on Information and Systems

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)

A Hardware Co-design Workflow for Scientific Instruments at the Edge

To Spike or Not to Spike? A Quantitative Comparison of SNN and CNN FPGA Implementations


Nostr Implementation Possibilities

Bluesky and the AT Protocol: Usable Decentralized Social Media

Exploring the Nostr Ecosystem: A Study of Decentralization and
  Resilience


An implementation of model parallel autoregressive transformers on GPUs, based on the Megatron and DeepSpeed libraries

Pythia: A Suite for Analyzing Large Language Models Across Training and Scaling

GPT-NeoX-20B: An Open-Source Autoregressive Language Model

A systematic evaluation of large language models of code

Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming

Multimodal datasets: misogyny, pornography, and malignant stereotypes

Llemma: An Open Language Model For Mathematics

Can Machines Learn Morality? The Delphi Experiment

Emergent and Predictable Memorization in Large Language Models

Continual Pre-Training of Large Language Models: How to (re)warm your model?

On the Tool Manipulation Capability of Open-source Large Language Models

KERPLE: Kernelized Relative Positional Embedding for Length Extrapolation


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

A Survey on Honeypot Software and Data Analysis

Prevalence of IoT Protocols in Telescopeand Honeypot Measurements

Attacker Behaviour Profiling using Stochastic Ensemble of Hidden Markov Models

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

Measuring and Clustering Network Attackers using Medium-Interaction Honeypots

An Analysis of Honeypots and their Impact as a Cyber Deception Tactic

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

Cloud Watching: Understanding Attacks Against Cloud-Hosted Services

Proceedings of the 2023 ACM on Internet Measurement Conference

Cyber Attacker Profiling for Risk Analysis Based on Machine Learning

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


A computer algebra system written in pure Python

PyR@TE: Renormalization Group Equations for General Gauge Theories

SWE-agent: Agent-Computer Interfaces Enable Automated Software
  Engineering

Using Relative Lines of Code to Guide Automated Test Generation for Python

ACM Transactions on Software Engineering and Methodology

HybridQ: A Hybrid Simulator for Quantum Circuits

An Initial Step Towards Organ Transplantation Based on GitHub Repository

CodeR: Issue Resolving with Multi-Agent and Task Graphs

Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL

An Application of Rubi: Series Expansion of the Quark Mass Renormalization Group Equation

How Well Do Feature-Additive Explainers Explain Feature-Additive Predictors?

Numerical Methods and the 4-point 2-loop Higgs amplitudes


Lean 4 programming language and theorem prover

The Lean 4 Theorem Prover and Programming Language

IFL - Counting immutable beans: reference counting optimized for purely functional programming

Tabled Typeclass Resolution

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

‘do’ unchained: embracing local imperativity in a purely functional language (functional pearl)

Proceedings of the ACM on programming languages

Multiple-inheritance hazards in dependently-typed algebraic hierarchies


Find, verify, and analyze leaked credentials

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

Proceedings of the ACM Asia Conference on Computer and Communications Security

What are the Practices for Secret Management in Software Artifacts?

SecretBench: A Dataset of Software Secrets

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

Sniffing for Codebase Secret Leaks with Known Production Secrets in Industry

Open Source Solutions for Vulnerability Assessment: A Comparative Analysis

A Comparative Study of Software Secrets Reporting by Secret Detection Tools


OpenSSF Scorecard - Security health metrics for Open Source

SoK: Taxonomy of Attacks on Open-Source Software Supply Chains

OpenSSF Scorecard: On the Path Toward Ecosystem-Wide Automated Security Metrics

Do Software Security Practices Yield Fewer Vulnerabilities?

Are Your Dependencies Code Reviewed?: Measuring Code Review Coverage in Dependency Updates

Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics

Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems

S3C2 Summit 2023-02: Industry Secure Supply Chain Summit


Rasterio reads and writes geospatial raster datasets

The Open Global Glacier Model (OGGM) v1.1

atlite: A Lightweight Python Package for Calculating Renewable Power Potentials and Time Series

Squidpy: a scalable framework for spatial single cell analysis

Deep Learning Applied to Phenotyping of Biomass in Forages with UAV-Based RGB Imagery

Groundwater Withdrawal Prediction Using Integrated Multitemporal Remote Sensing Data Sets and Machine Learning

A Survey on Spatio-temporal Data Analytics Systems

A hydrography upscaling method for scale-invariant parametrization of distributed hydrological models

Mapping 20 Years of Urban Expansion in 45 Urban Areas of Sub-Saharan Africa

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

Deep Learning for Detection of Visible Land Boundaries from UAV Imagery


EnergyPlus™ is a whole building energy simulation program that engineers, architects, and researchers use to model both energy consumption and water use in buildings.

Multiobjective Optimization of Cement-Based Panels Enhanced with Microencapsulated Phase Change Materials for Building Energy Applications


A python library for user-friendly forecasting and anomaly detection on time series.

Temporal Fusion Transformers for Interpretable Multi-horizon Time Series Forecasting

N-BEATS: Neural basis expansion analysis for interpretable time series forecasting

Probabilistic Forecasting with Temporal Convolutional Neural Network

Darts: User-Friendly Modern Machine Learning for Time Series

Long-term Forecasting with TiDE: Time-series Dense Encoder

Nozzle Thermal Estimation for Fused Filament Fabricating 3D Printer Using Temporal Convolutional Neural Networks

Deep learning for industrial processes: Forecasting amine emissions from a carbon capture plant


OpenMMLab Pre-training Toolbox and Benchmark

Deep Residual Learning for Image Recognition

Attention Is All You Need

Very Deep Convolutional Networks for Large-Scale Image Recognition

Squeeze-and-Excitation Networks

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

Rethinking the Inception Architecture for Computer Vision

MobileNetV2: Inverted Residuals and Linear Bottlenecks

Swin Transformer: Hierarchical Vision Transformer using Shifted Windows

ShuffleNet: An Extremely Efficient Convolutional Neural Network for Mobile Devices

Searching for MobileNetV3


Aleth – Ethereum C++ client, tools and libraries

Decentralized Applications: The Blockchain-Empowered Software System

sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts

The State of Ethereum Smart Contracts Security: Vulnerabilities, Countermeasures, and Tool Support

Empirically Analyzing Ethereum's Gas Mechanism

SPOC: Secure Payments for Outsourced Computations

TopoShot: uncovering Ethereum's network topology leveraging replacement transactions

PROCEEDINGS OF THE 2021 ACM INTERNET MEASUREMENT CONFERENCE, IMC 2021

Aquareum: A Centralized Ledger Enhanced with Blockchain and Trusted Computing

Ethereum's Recursive Length Prefix in ACL2

Learning to Encode and Classify Test Executions

Vulnerability Analysis of Smart Contracts


Eclipse Mosquitto - An open source MQTT broker

SlowITe, a Novel Denial of Service Attack Affecting MQTT

SlowTT: A Slow Denial of Service against IoT Networks

MultiFuzz: A Coverage-Based Multiparty-Protocol Fuzzer for IoT Publish/Subscribe Protocols

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

A Performance Study on the Throughput and Latency of Zenoh, MQTT, Kafka, and DDS

ProvLight: Efficient Workflow Provenance Capture on the Edge-to-Cloud Continuum

Protocol State Machine Reverse Engineering with a Teaching-Learning Approach


Facebook AI Research Sequence-to-Sequence Toolkit written in Python.

Attention Is All You Need

RoBERTa: A Robustly Optimized BERT Pretraining Approach

BART: Denoising Sequence-to-Sequence Pre-training for Natural Language Generation, Translation, and Comprehension

Neural Machine Translation of Rare Words with Subword Units

wav2vec 2.0: A Framework for Self-Supervised Learning of Speech Representations

BERTScore: Evaluating Text Generation with BERT

Convolutional Sequence to Sequence Learning

Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks

fairseq: A Fast, Extensible Toolkit for Sequence Modeling

Dissecting Contextual Word Embeddings: Architecture and Representation


Parameter-Efficient Transfer Learning for NLP

AdapterFusion: Non-Destructive Task Composition for Transfer Learning

MAD-X: An Adapter-Based Framework for Multi-Task Cross-Lingual Transfer

AdapterHub: A Framework for Adapting Transformers

Scaling Down to Scale Up: A Guide to Parameter-Efficient Fine-Tuning

A Primer on Pretrained Multilingual Language Models

Memory Efficient Continual Learning with Transformers

Adapters: A Unified Library for Parameter-Efficient and Modular Transfer Learning

Adapter-based fine-tuning of pre-trained multilingual language models for code-mixed and code-switched text classification

Fair and Argumentative Language Modeling for Computational Argumentation


memcached development tree

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

Using FLOSS for Storing, Processing and Linking Corpus Data

Pub/Sub Message Brokers for GenAI

Observations on Porting In-memory KV stores to Persistent Memory

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

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

gym-saturation: Gymnasium Environments for Saturation Provers (System description)

Fex: Assisted Identification of Domain Features from C Programs


Point Cloud Library (PCL)

RTAB-Map as an open-source lidar and visual simultaneous localization and mapping library for large-scale and long-term online operation

The Perfect Match: 3D Point Cloud Matching with Smoothed Densities

On the abandonment and survival of open source projects: An empirical investigation

Virtual reality: A survey of enabling technologies and its applications in IoT

CurveFusion: Reconstructing Thin Structures from RGBD Sequences

PSE-Match: A Viewpoint-Free Place Recognition Method With Parallel Semantic Embedding

Estimation of the Closest In-Path Vehicle by Low-Channel LiDAR and Camera Sensor Fusion for Autonomous Vehicles

LightSys: Lightweight and Efficient CI System for Improving Integration Speed of Software

Point wise or Feature wise? Benchmark Comparison of Public Available LiDAR Odometry Algorithms in Urban Canyons


OpenMMLab Multimodal Advanced, Generative, and Intelligent Creation Toolbox. Unlock the magic : Generative-AI (AIGC), easy-to-use APIs, awsome model zoo, diffusion models, for text-to-image generation, image/video restoration/enhancement, etc.

Deformable Convolutional Networks

EDVR: Video Restoration with Enhanced Deformable Convolutional Networks

BasicVSR: The Search for Essential Components in Video Super-Resolution and Beyond

BasicVSR++: Improving Video Super-Resolution with Enhanced Propagation and Alignment

GPT4Tools: Teaching Large Language Model to Use Tools via Self-instruction

Scene Text Image Super-Resolution in the Wild

Disentangling Hate in Online Memes

PROCEEDINGS OF THE 29TH ACM INTERNATIONAL CONFERENCE ON MULTIMEDIA, MM 2021

Prompting for Multimodal Hateful Meme Classification

AdaInt: Learning Adaptive Intervals for 3D Lookup Tables on Real-time Image Enhancement

Texture Memory-Augmented Deep Patch-Based Image Inpainting


Persistent Memory Development Kit

Object-oriented recovery for non-volatile memory

Proceedings of the ACM on Programming Languages

The Parallel Persistent Memory Model

SPAA'18: PROCEEDINGS OF THE 30TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES

Persistent Software Combining

Q-Selector-Based Prefetching Method for DRAM/NVM Hybrid Main Memory System

WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory
  Programs

Puddles: Application-Independent Recovery and Location-Independent Data for Persistent Memory

Arcadia: A Fast and Reliable Persistent Memory Replicated Log

Revisiting active object stores: Bringing data locality to the limit with NVM

PETRA: Persistent Transactional Non-blocking Linked Data Structures

ACM Transactions on Architecture and Code Optimization (TACO)

Analysis and Optimization of GNN-Based Recommender Systems on Persistent Memory


Train transformer language models with reinforcement learning.

Direct Preference Optimization: Your Language Model is Secretly a Reward Model

Fine-Tuning Language Models from Human Preferences

RAFT: Reward rAnked FineTuning for Generative Foundation Model Alignment

Gibbs Sampling from Human Feedback: A Provable KL- constrained Framework for RLHF

A Long Way to Go: Investigating Length Correlations in RLHF

Smaug: Fixing Failure Modes of Preference Optimisation with DPO-Positive

Retroformer: Retrospective Large Language Agents with Policy Gradient Optimization

Turning English-centric LLMs Into Polyglots: How Much Multilinguality Is Needed?

RLHF Workflow: From Reward Modeling to Online RLHF

Arithmetic Control of LLMs for Diverse User Preferences: Directional
  Preference Alignment with Multi-Objective Rewards


Container Network Interface - networking for Linux containers

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

Performance Isolation for Network Slices in Industry 4.0: The 5Growth Approach

Performance characterization of containerization for HPC workloads on InfiniBand clusters: an empirical study

TSoR: TCP Socket over RDMA Container Network for Cloud Native Computing


Linux system exploration and troubleshooting tool with first class support for containers

Standardized container virtualization approach for collecting host intrusion detection data

PROCEEDINGS OF THE 2019 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS)

APTSHIELD: A Stable, Efficient and Real-Time APT Detection System for Linux Hosts

Online Malware Classification with System-Wide System Calls in Cloud IaaS

CONSERVE: A framework for the selection of techniques for monitoring containers security

Scalable Microservice Forensics and Stability Assessment Using Variational Autoencoders

Diagnosing applications' I/O behavior through system call observability

DONAPI: Malicious NPM Packages Detector using Behavior Sequence
  Knowledge Mapping


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

P4Testgen: An Extensible Test Oracle For P4

Data-Plane Security Applications in Adversarial Settings

Unleashing Dynamic Pipeline Reconfiguration of P4 Switches for Efficient Network Monitoring

IEEE Transactions on Network and Service Management

Design Principles for Packet Deparsers on FPGAs

Testing Compilers for Programmable Switches Through Switch Hardware Simulation


The Prometheus monitoring system and time series database.

Development of the CMS detector for the CERN LHC Run 3

Rise of the Planet of Serverless Computing: A Systematic Review

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

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

Intelligent Performance Prediction: The Use Case of a Hadoop Cluster

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

Hero: On the Chaos When PATH Meets Modules

Adaptive Resource Allocation for Workflow Containerization on Kubernetes

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


Distributed training framework for TensorFlow, Keras, PyTorch, and Apache MXNet.

UNITER: UNiversal Image-TExt Representation Learning

Horovod: fast and easy distributed deep learning in TensorFlow

Large-Scale Adversarial Training for Vision-and-Language Representation Learning

UNITER: Learning UNiversal Image-TExt Representations

IntelliCode Compose: Code Generation Using Transformer

A Quantitative Survey of Communication Optimizations in Distributed Deep Learning

A Distributed Synchronous SGD Algorithm with Global Top-k Sparsification for Low Bandwidth Networks

GPU-Accelerated Robotic Simulation for Distributed Reinforcement Learning

Anatomy of High-Performance Deep Learning Convolutions on SIMD Architectures

Large-Scale Distributed Second-Order Optimization Using Kronecker-Factored Approximate Curvature for Deep Convolutional Neural Networks


Redis Java client

Security, Performance and Energy Trade-Offs of Hardware-Assisted Memory Protection Mechanisms

Symposium on Reliable Distributed Systems

Security, Performance and Energy Implications of Hardware-Assisted Memory Protection Mechanisms on Event-Based Streaming Systems

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations


A Modelica model library for building performance simulations

AixLib - An Open-Source Modelica Library within the IEA-EBC Annex60 Framework

Application of the open-source cloud platform FIWARE for future building energy management systems

Model Predictive Control for the Energy Management in a District of Buildings Equipped with Building Integrated Photovoltaic Systems and Batteries

Balancing Energy Efficiency with Indoor Comfort Using Smart Control Agents: A Simulative Case Study

Design, Implementation and Demonstration of Embedded Agents for Energy Management in Non-Residential Buildings

On modelling effects in the battery and thermal storage scheduling problem

Journal of Building Performance Simulation, Taylor & Francis

Fault detection and diagnosis in building energy systems: A tool chain for the automated generation of training data


Low-code framework for building custom LLMs, neural networks, and other AI models

Towards Automated Machine Learning: Evaluation and Comparison of AutoML Approaches and Tools

International Conference on Tools with Artificial Intelligence

Ludwig: a type-based declarative deep learning toolbox

Declarative Machine Learning Systems

Recent Advances in Data Engineering for Networking

A study on cross-corpus speech emotion recognition and data augmentation

OCC: A Smart Reply System for Efficient In-App Communications

Personalized Benchmarking with the Ludwig Benchmarking Toolkit

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

AutoMLBench: A Comprehensive Experimental Evaluation of Automated Machine Learning Frameworks

Accessible, Reproducible, and Scalable Machine Learning for Biomedicine


Dash - Reinventing Cryptocurrency

Blockchain distributed ledger technologies for biomedical and health care applications

Journal of the American Medical Informatics Association : JAMIA

Comparison of blockchain platforms: a systematic review and healthcare examples

SoK of Used Cryptography in Blockchain

Distributed Ledger Technology Review and Decentralized Applications Development Guidelines

Decrypting distributed ledger design—taxonomy, classification and blockchain community evaluation

Defining Blockchain Governance Principles: A Comprehensive Framework

Multi-Party Timed Commitments

A Pattern Language for Blockchain Governance

Blockchain based Decentralized Applications: Technology Review and
  Development Guidelines

On the Vital Aspects and Characteristics of Cryptocurrency – A Survey


SOTA low-bit LLM quantization (INT8/FP8/INT4/FP4/NF4) & sparsity; leading model compression techniques on TensorFlow, PyTorch, and ONNX Runtime

Optimize Weight Rounding via Signed Gradient Descent for the Quantization of LLMs

Efficient Post-training Quantization with FP8 Formats

Model Compression in Practice: Lessons Learned from Practitioners Creating On-device Machine Learning Experiences

Talaria: Interactively Optimizing Machine Learning Models for Efficient Inference

Proceedings of the CHI Conference on Human Factors in Computing Systems

TEQ: Trainable Equivalent Transformation for Quantization of LLMs

An Efficient Sparse Inference Software Accelerator for Transformer-based Language Models on CPUs

QuaLA-MiniLM: a Quantized Length Adaptive MiniLM

Fast DistilBERT on CPUs


♂ ImageMagick 7

Smart Greybox Fuzzing

Boosting EfficientNets Ensemble Performance via Pseudo-Labels and Synthetic Images by pix2pixHD for Infection and Ischaemia Classification in Diabetic Foot Ulcers

Visualization of dental plaque with a 3D-intraoral-scanner—A tool for whole mouth planimetry

Tify: A quality-based frame selection tool for improving the output of unstable biomedical imaging

PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software


The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.

ScaleHLS: A New Scalable High-Level Synthesis Framework on Multi-Level Intermediate Representation

Union: A Unified HW-SW Co-Design Ecosystem in MLIR for Evaluating Tensor Operations on Spatial Accelerators

Automatic Creation of High-bandwidth Memory Architectures from Domain-specific Languages: The Case of Computational Fluid Dynamics

Bridging Control-Centric and Data-Centric Optimization

Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization

AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators


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

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

Named Data Networking for Genomics Data Management and Integrated Workflows

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

Repopulated spinal cord microglia exhibit a unique transcriptome and contribute to pain resolution

A Workflow Management System Guide


Official repository for WebPageTest

Demystifying TCP Initial Window Configurations of Content Distribution Networks

Who Watches the Watchmen: Exploring Complaints on the Web

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

Oh, What a Fragile Web We Weave: Third-party Service Dependencies In Modern Webservices and Implications


A BNB Smart Chain client based on the go-ethereum fork

Blockchain-Based Decentralized Application: A Survey

IEEE Open Journal of the Computer Society

Understanding the Decentralization of DPoS: Perspectives From Data-Driven Analysis on EOSIO

Understanding Ethereum Mempool Security under Asymmetric DoS by Symbolic Fuzzing


The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

Trisecant flops, their associated K3 surfaces and the rationality of some cubic fourfolds

D-Modules and Holonomic Functions

Galois/monodromy groups for decomposing minimal problems in 3D reconstruction

On genus one fibered Calabi-Yau threefolds with 5-sections

A package for computations with classical resultants

The Journal of Software for Algebra and Geometry

Sums of squares in Macaulay2

Vector spaces of generalized Euler integrals

Numerical homotopies from Khovanskii bases

Convex Algebraic Geometry of Curvature Operators

SIAM Journal on applied algebra and geometry

Fano 3-folds from homogeneous vector bundles over Grassmannians


Label Studio is a multi-type data labeling and annotation tool with standardized output format

Paraphrasing evades detectors of AI-generated text, but retrieval is an effective defense

Classification aware neural topic model for COVID-19 disinformation categorisation

Large language models effectively leverage document-level context for literary translation, but critical errors persist

Semantic Image Segmentation: Two Decades of Research

Read, Attend, and Code: Pushing the Limits of Medical Codes Prediction from Clinical Notes by Machines

OneLabeler: A Flexible System for Building Data Labeling Tools

PROCEEDINGS OF THE 2022 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI' 22)

RAGTruth: A Hallucination Corpus for Developing Trustworthy Retrieval-Augmented Language Models

Effectiveness of Mining Audio and Text Pairs from Public Data for Improving ASR Systems for Low-Resource Languages

Label Sleuth: From Unlabeled Text to a Classifier in a Few Hours

audino: A Modern Annotation Tool for Audio and Speech


Cross-platform lib for process and system monitoring in Python

Data-Juicer: A One-Stop Data Processing System for Large Language Models

System-status-aware Adaptive Network for Online Streaming Video Understanding

Yes we care!-Certification for machine learning methods through the care label framework

Using LSTM Neural Networks as Resource Utilization Predictors: The case of training Deep Learning models on the Edge

Zenodo (CERN European Organization for Nuclear Research)

Adaptive Ensemble Methods for Tampering Detection in Automotive Aftertreatment Systems

Intelligent proactive fault tolerance at the edge through resource usage prediction

ITU Journal on Future and Evolving Technologies

On the Effectiveness of Perturbations in Generating Evasive Malware Variants

A3D: Adaptive, Accurate, and Autonomous Navigation for Edge-Assisted Drones

Towards computational awareness in autonomous robots: an empirical study of computational kernels

Comparison of popular video conferencing apps using client-side measurements on different backhaul networks

Proceedings of the Twenty-Third International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing


A PyTorch-based Speech Toolkit

SpeechBrain: A General-Purpose Speech Toolkit

Attention is All You Need in Speech Separation

MetricGAN+: An Improved Version of MetricGAN for Speech Enhancement

A Fine-tuned Wav2vec 2.0/HuBERT Benchmark For Speech Emotion Recognition, Speaker Verification and Spoken Language Understanding

ECAPA-TDNN Embeddings for Speaker Diarization

LeBenchmark: A Reproducible Framework for Assessing Self-Supervised Representation Learning from Speech

MetricGAN-U: Unsupervised speech enhancement/ dereverberation based only on noisy/ reverberated speech

Pretext Tasks selection for multitask self-supervised speech representation learning

VenoMave: Targeted Poisoning Against Speech Recognition

REAL-M: Towards Speech Separation on Real Mixtures


The Unity Machine Learning Agents Toolkit (ML-Agents) is an open-source project that enables games and simulations to serve as environments for training intelligent agents using deep reinforcement learning and imitation learning.

Unity: A General Platform for Intelligent Agents

Large-Scale Study of Curiosity-Driven Learning

Strategies for Using Proximal Policy Optimization in Mobile Puzzle Games

International Conference on the Foundations of Digital Games

On the Use and Misuse of Absorbing States in Multi-agent Reinforcement Learning

Learning Socially Appropriate Robot Approaching Behavior Toward Groups using Deep Reinforcement Learning

Redirection Controller Using Reinforcement Learning

Multi-Agent Reinforcement Learning with Multi-Step Generative Models

Reinforcement Learning from Hierarchical Critics

Training a Resilient Q-network against Observational Interference

Curriculum learning for safe mapless navigation

Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing


Multi-Agent Transport Simulation

Overview of Software Agent Platforms Available in 2023

Using a Route-based and Vehicle Type specific Range Constraint for Improving Vehicle Routing Problems with Electric Vehicles

Introducing the eqasim pipeline: From raw data to agent-based transport simulation

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

Impacts of charging behavior on BEV charging infrastructure needs and energy use

Transportation Research Part D: Transport and Environment

What will they do? Modelling self-evacuation archetypes

Modelling Bushfire Evacuation Behaviours

Flow-Inflated Selective Sampling for Efficient Agent-Based Dynamic Ride-Pooling Simulations

Transportation Research Record: Journal of the Transportation Research Board


Magnificent app which corrects your previous console command.

CLAI: A Platform for AI Skills on the Command Line.

Project CLAI: Instrumenting the Command Line as a New Environment for AI Agents

An empirical investigation of command-line customization

Tests4Py: A Benchmark for System Testing


A native gRPC client & server implementation with async/await support.

Remote Procedure Call as a Managed System Service

Icarust, a real-time simulator for Oxford Nanopore adaptive sampling

Safer at any speed: automatic context-aware safety enhancement for Rust

Proceedings of the ACM on Programming Languages


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

Qwen Technical Report

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

MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework

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

ChatDev: Communicative Agents for Software Development

AgentVerse: Facilitating Multi-Agent Collaboration and Exploring Emergent Behaviors

Tool Learning with Foundation Models

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

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


Ceph is a distributed object, block, and file storage platform

Malthusian Locks

No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing

Disk storage at CERN

Development effort estimation in free/open source software from activity in version control systems

TWA -- Ticket Locks Augmented with a Waiting Array


WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.

A Lightweight Design for Serverless Function as a Service

Characterizing and Detecting WebAssembly Runtime Bugs

VM Matters: A Comparison of WASM VMs and EVMs in the Performance of Blockchain Smart Contracts

Revealing Performance Issues in Server-side WebAssembly Runtimes via Differential Testing


Creative Commons Attribution 4.0 International

A programming framework for agentic AI

MathChat: Converse to Tackle Challenging Math Problems with LLM Agents

Cost-Effective Hyperparameter Optimization for Large Language Model Generation Inference

EcoAssistant: Using LLM Assistant More Affordably and Accurately

Generative retrieval-augmented ontologic graph and multi-agent strategies for interpretive large language model-based materials design

EHRAgent: Code Empowers Large Language Models for Complex Tabular Reasoning on Electronic Health Records

StateFlow: Enhancing LLM Task-Solving through State-Driven Workflows

Towards better Human-Agent Alignment: Assessing Task Utility in
  LLM-Powered Applications

Training Language Model Agents without Modifying Language Models

Follow-Me AI: Energy-Efficient User Interaction with Smart Environments

DEBATE: Devil's Advocate-Based Assessment and Text Evaluation


Pytorch domain library for recommendation systems

BARS: Towards Open Benchmarking for Recommender Systems

PICASSO: Unleashing the Potential of GPU-centric Training for Wide-and-deep Recommender Systems

DreamShard: Generalizable Embedding Table Placement for Recommender Systems

Mystique: Enabling Accurate and Scalable Generation of Production AI Benchmarks

BagPipe: Accelerating Deep Recommendation Model Training

Recent Advances in RecBole: Extensions with more Practical Considerations

Pre-train and Search: Efficient Embedding Table Sharding with Pre-trained Neural Cost Models

A Frequency-aware Software Cache for Large Recommendation System Embeddings


The official GitHub mirror of the Chromium source

Data Quality for Software Vulnerability Datasets

Explainable Software Bot Contributions: Case Study of Automated Bug Fixes

International Workshop on Bots in Software Engineering

TissUUmaps 3: Improvements in interactive visualization, exploration, and quality assessment of large-scale spatial omics data

State machine inference of QUIC

WeakSATD: Detecting Weak Self-admitted Technical Debt

Proceedings of the 19th International Conference on Mining Software Repositories

The Importance of Discerning Flaky from Fault-triggering Test Failures: A Case Study on the Chromium CI

Are Latent Vulnerabilities Hidden Gems for Software Vulnerability Prediction? An Empirical Study

Eradicating Attacks on the Internal Network with Internal Network Policy

FP-Fed: Privacy-Preserving Federated Detection of Browser Fingerprinting


OpenMMLab Semantic Segmentation Toolbox and Benchmark.

U-Net: Convolutional Networks for Biomedical Image Segmentation

Encoder-Decoder with Atrous Separable Convolution for Semantic Image Segmentation

Pyramid Scene Parsing Network

Dual Attention Network for Scene Segmentation

Semantic Image Segmentation with Deep Convolutional Nets and Fully Connected CRFs

SegFormer: Simple and Efficient Design for Semantic Segmentation with Transformers

Deep High-Resolution Representation Learning for Visual Recognition

CCNet: Criss-Cross Attention for Semantic Segmentation

GCNet: Non-local Networks Meet Squeeze-Excitation Networks and Beyond

Unified Perceptual Parsing for Scene Understanding


Useful extra functionality for TensorFlow 2.x maintained by SIG-addons

Large Batch Optimization for Deep Learning: Training BERT in 76 minutes

Mish: A Self Regularized Non-Monotonic Activation Function

Training Deep Networks without Learning Rates Through Coin Betting

Deep learning in electron microscopy

Machine Learning: Science and Technology

Uncertainty-Aware Learning for Improvements in Image Quality of the Canada-France-Hawaii Telescope

Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study

Improving Training Stability for Multitask Ranking Models in Recommender Systems

Toward Educator-focused Automated Scoring Systems for Reading and Writing

Advances in Electron Microscopy with Deep Learning


It's not just a linter that annoys you!

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

SWE-agent: Agent-Computer Interfaces Enable Automated Software
  Engineering

The Prevalence of Code Smells in Machine Learning projects

Making Python Code Idiomatic by Automatic Refactoring Non-Idiomatic Python Code with Pythonic Idioms

A Large-Scale Security-Oriented Static Analysis of Python Packages in PyPI

PyLabRobot: An open-source, hardware-agnostic interface for liquid-handling robots and accessories

bioRxiv : the preprint server for biology

Teaching Code LLMs to Use Autocompletion Tools in Repository-Level Code Generation

A syntax-guided multi-task learning approach for Turducken-style code generation

STALL+: Boosting LLM-based Repository-level Code Completion with Static
  Analysis


Data-Centric Pipelines and Data Versioning

Container-based bioinformatics with Pachyderm

Management of Machine Learning Lifecycle Artifacts: A Survey

Big Data Workflows: Locality-Aware Orchestration Using Software Containers

Locality-Aware Workflow Orchestration for Big Data

Management of Emergent Digital EcoSystems

An Empirical Study of Challenges in Machine Learning Asset Management


Examples and guides for using the OpenAI API

Mathematical Capabilities of ChatGPT

DecodingTrust: A Comprehensive Assessment of Trustworthiness in GPT Models

Not All Languages Are Created Equal in LLMs: Improving Multilingual Capability by Cross-Lingual-Thought Prompting

Large Language Models Empowered Autonomous Edge AI for Connected Intelligence

No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT

Iterative Zero-Shot LLM Prompting for Knowledge Graph Construction

Who is ChatGPT? Benchmarking LLMs' Psychological Portrayal Using PsychoBench

Revisiting Prompt Engineering via Declarative Crowdsourcing

Leveraging Few-Shot Data Augmentation and Waterfall Prompting for Response Generation

MentalManip: A Dataset For Fine-grained Analysis of Mental Manipulation
  in Conversations


A reference client implementation for the playback of MPEG DASH via Javascript and compliant browsers.

Neural Adaptive Video Streaming with Pensieve

SIGCOMM '17: PROCEEDINGS OF THE 2017 CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION

Pano: Optimizing 360 Video Streaming with a Better Understanding of Quality Perception

Orchestrating the Development Lifecycle of Machine Learning-Based IoT Applications: A Taxonomy and Survey

Interpreting Deep Learning-Based Networking Systems

TogetherVR: A Framework for Photorealistic Shared Media Experiences in 360-Degree VR

DASH Adaptation Algorithm Based on Adaptive Forgetting Factor Estimation

A DASH-Based Adaptive Multiple Sensorial Content Delivery Solution for Improved User Quality of Experience

Accessibility in 360° video players

NEWCAST: Anticipating Resource Management and QoE Provisioning for Mobile Video Streaming

EVeREst: Bitrate Adaptation for Cloud VR


Tesseract Open Source OCR Engine (main repository)

LayoutLM: Pre-training of Text and Layout for Document Image Understanding

Chargrid: Towards Understanding 2D Documents

TableBank: Table Benchmark for Image-based Table Detection and Recognition

PlotQA: Reasoning over Scientific Plots

Towards understanding and detecting fake reviews in app stores

StructuralLM: Structural Pre-training for Form Understanding

Multimodal deep networks for text and image-based document classification

Hate Speech in Pixels: Detection of Offensive Memes towards Automatic Moderation

Calamari - A High-Performance Tensorflow-based Deep Learning Package for Optical Character Recognition

MMOCR: A Comprehensive Toolbox for Text Detection, Recognition and Understanding


Machine learning metrics for distributed, scalable PyTorch applications.

TorchGeo: Deep Learning With Geospatial Data

LayerSkip: Enabling Early Exit Inference and Self-Speculative Decoding

Unifying GANs and Score-Based Diffusion as Generative Particle Models

Concept-centric Personalization with Large-scale Diffusion Priors

Comparing Hallucination Detection Metrics for Multilingual Generation

Perturbation-Assisted Sample Synthesis: A Novel Approach for Uncertainty Quantification

Latte: Cross-framework Python package for evaluation of latent-based generative models

Continuous, Subject-Specific Attribute Control in T2I Models by
  Identifying Semantic Directions

Comics Datasets Framework: Mix of Comics datasets for detection benchmarking

YAMLE: Yet Another Machine Learning Environment


The OpenAPI Specification Repository

Multi-access Edge Computing: The driver behind the wheel of 5G-connected cars

Open Geospatial Software and Data: A Review of the Current State and A Perspective into the Future

ISPRS International Journal of Geo-Information

QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs

The Smart Device Specification for Remote Labs

Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs

Enabling Automatic Discovery and Querying of Web APIs at Web Scale using Linked Data Standards

Generating GraphQL-Wrappers for REST(-like) APIs

TIRA: An OpenAPI Extension and Toolbox for GDPR Transparency in RESTful Architectures

OBA: An Ontology-Based Framework for Creating REST APIs for Knowledge Graphs

Exploiting Input Sanitization for Regex Denial of Service


A modern JavaScript utility library delivering modularity, performance, & extras.

Code-based Vulnerability Detection in Node.js Applications: How far are we?

Accelerating JavaScript static analysis via dynamic shortcuts

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

Breaking the borders: an investigation of cross-ecosystem software packages

MPA_Pathway_Tool: User-Friendly, Automatic Assignment of Microbial Community Data on Metabolic Pathways

Towards Measuring Vulnerabilities and Exposures in Open-Source Packages


The Rust package manager

An Empirical Study of Yanked Releases in the Rust Package Registry

IEEE Transactions on Software Engineering

Flexible and Optimal Dependency Management via Max-SMT

Using Answer Set Programming for HPC Dependency Solving

A Review of Attacks Against Language-Based Package Managers


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


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

Challenges and Common Solutions in Smart Contract Development

Precise Attack Synthesis for Smart Contracts

Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities

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

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

Verifiable Smart Contract Portability

Towards Distributed Clouds