"Multi-Level Intermediate Representation" Compiler Infrastructure

Extending Relational Query Processing with ML Inference

End-to-end Optimization of Machine Learning Prediction Queries

Proceedings of the 2022 International Conference on Management of Data

High-Performance Deep Learning via a Single Building Block

MIOpen: An Open Source Library For Deep Learning Primitives

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

A flexible FPGA accelerator for convolutional neural networks

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

Compiler-support for Critical Data Persistence in NVM

ACM Transactions on Architecture and Code Optimization (TACO)


Self-Supervised Speech Pre-training and Representation Learning Toolkit

WavLM: Large-Scale Self-Supervised Pre-Training for Full Stack Speech Processing

SUPERB: Speech processing Universal PERformance Benchmark

Mockingjay: Unsupervised Speech Representation Learning with Deep Bidirectional Transformer Encoders

International Conference on Acoustics, Speech, and Signal Processing

TERA: Self-Supervised Learning of Transformer Encoder Representation for Speech

IEEE/ACM Transactions on Audio, Speech, and Language Processing

Audio ALBERT: A Lite BERT for Self-supervised Learning of Audio Representation

Distilhubert: Speech Representation Learning by Layer-Wise Distillation of Hidden-Unit Bert

SUPERB-SG: Enhanced Speech processing Universal PERformance Benchmark for Semantic and Generative Capabilities

Comparative layer-wise analysis of self-supervised speech models

PARP: Prune, Adjust and Re-Prune for Self-Supervised Speech Recognition

Utilizing Self-supervised Representations for MOS Prediction


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

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

Smart Greybox Fuzzing

SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities

Conference on Computer and Communications Security

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

WEIZZ: automatic grey-box fuzzing for structured binary formats

International Symposium on Software Testing and Analysis

Stateful Greybox Fuzzing

Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis

SmartSeed: Smart Seed Generation for Efficient Fuzzing

A Review of Machine Learning Applications in Fuzzing

SNPSFuzzer: A Fast Greybox Fuzzer for Stateful Network Protocols Using Snapshots


Parser for TOSCA Simple Profile in YAML. Mirror of code maintained at opendev.org.

Orchestrating Complex Application Architectures in Heterogeneous Clouds

Component‐aware orchestration of cloud‐based enterprise applications, from TOSCA to Docker and Kubernetes

Towards Semantic Detection of Smells in Cloud Infrastructure Code

Model-based cloud resource management with TOSCA and OCCI

RDCL 3D, a Model Agnostic Web Framework for the Design and Composition of NFV Services

Mantus: Putting Aspects to Work for Flexible Multi-Cloud Deployment

Zenodo (CERN European Organization for Nuclear Research)

A Declarative Modelling Framework for the Deployment and Management of Blockchain Applications

APMEC: An Automated Provisioning Framework for Multi-access Edge Computing


A General-purpose Task-parallel Programming System using Modern C++

Taskflow: A Lightweight Parallel and Heterogeneous Task Graph Computing System

IEEE Transactions on Parallel and Distributed Systems

Hermes-3: Multi-component plasma simulations with BOUT++

Formal Verification of Chase-Lev Deque in Concurrent Separation Logic

Pipeflow: An Efficient Task-Parallel Pipeline Programming Framework using Modern C++


OSv, a new operating system for the cloud.

A Security Perspective on Unikernels

EXPLORING TIMEOUT AS A PERFORMANCE AND AVAILABILITY FACTOR OF DISTRIBUTED REPLICATED DATABASE SYSTEMS

Loupe: Driving the Development of OS Compatibility Layers

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


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


This is the stress-ng upstream project git repository.  stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.

Heterogeneous Anomaly Detection for Software Systems via Semi-supervised Cross-modal Attention

Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems

Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRN

Data Station: Delegated, Trustworthy, and Auditable Computation to Enable Data-Sharing Consortia with a Data Escrow

Experimental Analysis in Hadoop MapReduce: A Closer Look at Fault Detection and Recovery Techniques

Real-time performance assessment using fast interrupt request on a standard Linux kernel

Idleness-Aware Dynamic Power Mode Selection on the i.MX 7ULP IoT Edge Processor

Journal of Low Power Electronics and Applications

WattScope: Non-intrusive Application-level Power Disaggregation in Datacenters

Lightweight Implementation of Per-packet Service Protection in eBPF/XDP


Mirror of Apache Struts

A Manually-Curated Dataset of Fixes to Vulnerabilities of Open-Source Software

On the Use of Mutation in Injecting Test Order-Dependency

Refactoring Debt: Myth or Reality? An Exploratory Study on the Relationship Between Technical Debt and Refactoring

Internal Quality Evolution of Open-Source Software Systems

VFFINDER: A Graph-Based Approach for Automated Silent Vulnerability-Fix Identification

Executable Trigger-Action Comments


Conversion between Traditional and Simplified Chinese

Analogical Reasoning on Chinese Morphological and Semantic Relations

MLQA: Evaluating Cross-lingual Extractive Question Answering

Adversarial Training for Unsupervised Bilingual Lexicon Induction

PROCEEDINGS OF THE 55TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2017), VOL 1

A Span-Extraction Dataset for Chinese Machine Reading Comprehension

Empirical Methods in Natural Language Processing

Earth Mover's Distance Minimization for Unsupervised Bilingual Lexicon Induction

DRCD: a Chinese Machine Reading Comprehension Dataset

Read, Listen, and See: Leveraging Multimodal Information Helps Chinese Spell Checking

NL-Augmenter: A Framework for Task-Sensitive Natural Language Augmentation

A Report on the Third VarDial Evaluation Campaign

Mengzi: Towards Lightweight yet Ingenious Pre-trained Models for Chinese


An anomaly detection library comprising state-of-the-art algorithms and features such as experiment management, hyper-parameter optimization, and edge inference.

GANomaly: Semi-Supervised Anomaly Detection via Adversarial Training

Towards Total Recall in Industrial Anomaly Detection

PaDiM: a Patch Distribution Modeling Framework for Anomaly Detection and Localization

DRAEM -- A discriminatively trained reconstruction embedding for surface anomaly detection

CFLOW-AD: Real-Time Unsupervised Anomaly Detection with Localization via Conditional Normalizing Flows

Anomaly Detection via Reverse Distillation from One-Class Embedding

FastFlow: Unsupervised Anomaly Detection and Localization via 2D Normalizing Flows

Self-Supervised Predictive Convolutional Attentive Block for Anomaly Detection

Student-Teacher Feature Pyramid Matching for Anomaly Detection

CFA: Coupled-Hypersphere-Based Feature Adaptation for Target-Oriented Anomaly Localization


A fork of OpenAI Baselines, implementations of reinforcement learning algorithms

Proximal Policy Optimization Algorithms

Continuous control with deep reinforcement learning

Playing Atari with Deep Reinforcement Learning

Asynchronous Methods for Deep Reinforcement Learning

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

Trust Region Policy Optimization

Addressing Function Approximation Error in Actor-Critic Methods

Prioritized Experience Replay

Generative Adversarial Imitation Learning

Soft Actor-Critic Algorithms and Applications


Collective communications library with various primitives for multi-machine training.

Accurate, Large Minibatch SGD: Training ImageNet in 1 Hour

A Survey on Distributed Machine Learning

Deep Learning Recommendation Model for Personalization and Recommendation Systems

PyTorch Distributed: Experiences on Accelerating Data Parallel Training

CrypTen: Secure Multi-Party Computation Meets Machine Learning

A Quantitative Survey of Communication Optimizations in Distributed Deep Learning

Natural Compression for Distributed Deep Learning

Communication-Efficient Federated Learning With Compensated Overlap-FedAvg

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

Communication-Efficient Distributed Deep Learning: A Comprehensive Survey


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

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

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

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


We migrated to https://codeberg.org/karrot/karrot-frontend


OCI Image Format

The role of metadata in reproducible computational research

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

A Qualitative and Quantitative Analysis of Container Engines

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

Containerization in ATLAS Software Development and Data Production


Machine learning on FPGAs using HLS

Fast inference of deep neural networks in FPGAs for particle physics

Automatic heterogeneous quantization of deep neural networks for low-latency inference on the edge for particle detectors

hls4ml: An Open-Source Codesign Workflow to Empower Scientific Low-Power Machine Learning Devices

Fast convolutional neural networks on FPGAs with hls4ml

Machine Learning: Science and Technology

Compressing deep neural networks on FPGAs to binary and ternary precision with HLS4ML

Distance-Weighted Graph Neural Networks on FPGAs for Real-Time Particle Reconstruction in High Energy Physics

Accelerated Charged Particle Tracking with Graph Neural Networks on FPGAs

Graph Neural Networks for Charged Particle Tracking on FPGAs

Ultra-low latency recurrent neural network inference on FPGAs for physics applications with hls4ml

QONNX: Representing Arbitrary-Precision Quantized Neural Networks


A flexible framework of neural networks for deep learning

Chainer : a Next-Generation Open Source Framework for Deep Learning

Edge Intelligence: On-Demand Deep Learning Model Co-Inference with Device-Edge Synergy

Shakedrop Regularization for Deep Residual Learning

Dynamic Evaluation of Neural Sequence Models

Laser-Based Reactive Navigation for Multirotor Aerial Robots using Deep Reinforcement Learning

Comparison of Grapheme-to-Phoneme Conversion Methods on a Myanmar Pronunciation Dictionary

International Conference on Computational Linguistics

Classifying the pole of an amplitude using a deep neural network

Model independent analysis of coupled-channel scattering: A deep learning approach

Classifying Near-Threshold Enhancement Using Deep Neural Network

ElasticTrainer: Speeding Up On-Device Training with Runtime Elastic Tensor Selection

Proceedings of the 21st Annual International Conference on Mobile Systems, Applications and Services


Taxonomies used in MISP taxonomy system and can be used by other information sharing tool.

Decaying Indicators of Compromise

Taxonomy driven indicator scoring in MISP threat intelligence platforms

Multimodal Classification of Onion Services for Proactive Cyber Threat Intelligence Using Explainable Deep Learning

Fingerpointing False Positives

Open Dataset of Phishing and Tor Hidden Services Screen-captures


An implementation of the JSON Schema specification for Python

Metadata for Energy Disaggregation

Computer Software and Applications Conference

Computing tools for effective field theories

Type Safety with JSON Subschema

Unsupervised Evaluation of Code LLMs with Round-Trip Correctness


Hyperledger Aries is infrastructure for blockchain-rooted, peer-to-peer interactions

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

Self-Sovereign Identity: A Systematic Review, Mapping and Taxonomy

Privacy and Trust Redefined in Federated Machine Learning

Machine Learning and Knowledge Extraction

A Distributed Trust Framework for Privacy-Preserving Machine Learning

Self-Sovereign Identity als Grundlage für universell einsetzbare digitale Identitäten

Full-text Search for Verifiable Credential Metadata on Distributed Ledgers

A Decentralized Identity-Based Blockchain Solution for Privacy-Preserving Licensing of Individual-Controlled Data to Prevent Unauthorized Secondary Data Usage

A Tutorial on the Interoperability of Self-sovereign Identities

DID Link: Authentication in TLS with Decentralized Identifiers and
  Verifiable Credentials

Interoperable Selbstsouveräne Identitäten: Ein Digital Markets Act für Endnutzer?


Robust Speech Recognition via Large-Scale Weak Supervision

Zipformer: A faster and better encoder for automatic speech recognition

SALM: Speech-augmented Language Model with In-context Learning for Speech Recognition and Translation

GPU-accelerated Guided Source Separation for Meeting Transcription

ASR2K: Speech Recognition for Around 2000 Languages without Audio

Lhotse: a speech data representation library for the modern deep learning ecosystem

Libriheavy: A 50,000 Hours ASR Corpus with Punctuation Casing and Context

Towards Universal Speech Discrete Tokens: A Case Study for ASR and TTS

TorchAudio 2.1: Advancing Speech Recognition, Self-Supervised Learning, and Audio Processing Components for Pytorch

Fast and parallel decoding for transducer


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

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

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

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

UL2: Unifying Language Learning Paradigms

Scaling Up Models and Data with  and

Sequence-to-Sequence Piano Transcription with Transformers


Next generation of ADIOS developed in the Exascale Computing Program

ADIOS 2: The Adaptable Input Output System. A framework for high-performance data management

High Performance Parallel I/O and In-Situ Analysis in the WRF Model with ADIOS2

Long Distance Geographically Distributed InfiniBand Based Computing

Supercomputing Frontiers and Innovations


A modular high-level library to train embodied AI agents across a variety of tasks and environments.

Habitat: A Platform for Embodied AI Research

On Evaluation of Embodied Navigation Agents

DD-PPO: Learning Near-Perfect PointGoal Navigators from 2.5 Billion Frames

Habitat 2.0: Training Home Assistants to Rearrange their Habitat

Habitat-Matterport 3D Dataset (HM3D): 1000 Large-scale 3D Environments for Embodied AI

ObjectNav Revisited: On Evaluation of Embodied Agents Navigating to Objects

Sim2Real Predictivity: Does Evaluation in Simulation Predict Real-World Performance?

International Conference on Robotics and Automation

A Survey on Human-aware Robot Navigation

Habitat 3.0: A Co-Habitat for Humans, Avatars and Robots

Habitat-Matterport 3D Semantics Dataset


Automatic extraction of relevant features from time series:

Distributed and parallel time series feature extraction for industrial big data applications

Use of machine-learning algorithms to determine features of systolic blood pressure variability that predict poor outcomes in hypertensive patients

Actionable and interpretable fault localization for recurring failures in online service systems

Dataset: Rare Event Classification in Multivariate Time Series

Explorative Data Analysis of Time Series based AlgorithmFeatures of CMA-ES Variants

Feature engineering workflow for activity recognition from synchronized inertial measurement units

Communications in computer and information science

Who is Charging My Phone? Identifying Wireless Chargers via Fingerprinting

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

HMF: A Hybrid Multi-Factor Framework for Dynamic Intraoperative Hypotension Prediction


Lingvo

GPipe: Efficient Training of Giant Neural Networks using Pipeline Parallelism

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

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

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

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

PolyLoss: A Polynomial Expansion Perspective of Classification Loss Functions

StarNet: Targeted Computation for Object Detection in Point Clouds

Improving 3D Object Detection through Progressive Population Based Augmentation

Varuna: Scalable, Low-cost Training of Massive Deep Learning Models

Learning an Uncertainty-Aware Object Detector for Autonomous Driving


Members of the United States Congress, 1789-Present, in YAML/JSON/CSV, as well as committees, presidents, and vice presidents.

Diagnosing Gender Bias in Image Recognition Systems

Socius Sociological Research for a Dynamic World

Mask-Wearing as a Partisan Issue: Social Identity and Communication of Party Norms on Social Media Among Political Elites

COVID, BLM, and the polarization of US politicians on Twitter

Exploring the Ideological Nature of Journalists' Social Networks on Twitter and Associations with News Story Content

Photographic home styles in Congress: a computer vision approach

How Do US Congress Members Advertise Climate Change: An Analysis Of Ads Run On Meta's Platforms

Sporting the government: Twitter as a window into sportspersons' engagement with causes in India and USA

Self Promotion in US Congressional Tweets

North American Chapter of the Association for Computational Linguistics


Keras implementation of RetinaNet object detection.

Focal Loss for Dense Object Detection

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

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

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

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

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

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

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

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

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


Intel® Performance Counter Monitor (Intel® PCM)

NATSA: A Near-Data Processing Accelerator for Time Series Analysis

To Partition, or Not to Partition, That is the Join Question in a Real System

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

FortuneTeller: Predicting Microarchitectural Attacks via Unsupervised Deep Learning

DINOMO

Parking Packet Payload with P4

Characterizing the Performance of Emerging Deep Learning, Graph, and High Performance Computing Workloads Under Interference

GNNSampler: Bridging the Gap between Sampling Algorithms of GNN and Hardware

A Quantitative Analysis and Guideline of Data Streaming Accelerator in Intel 4th Gen Xeon Scalable Processors

Legion: Automatically Pushing the Envelope of Multi-GPU System for Billion-Scale GNN Training

Rethinking Memory Profiling and Migration for Multi-Tiered Large Memory Systems


cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

cvc5: A Versatile and Industrial-Strength SMT Solver

Tools and Algorithms for the Construction and Analysis of Systems

StringFuzz: A Fuzzer for String Solvers

On the unusual effectiveness of type-aware operator mutations for testing SMT solvers

Proceedings of the ACM on Programming Languages

Generative type-aware mutation for testing SMT solvers

JavaSMT 3: Interacting with SMT Solvers in Java

ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

CVC4 at the SMT Competition 2018

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

DRAT-based Bit-Vector Proofs in CVC4


bike sharing + python = pybikes


Redis adapted to use Persistent Memory

Basic Performance Measurements of the Intel Optane DC Persistent Memory Module

Vilamb: Low Overhead Asynchronous Redundancy for Direct Access NVM

NearPM: A Near-Data Processing System for Storage-Class Applications

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

Tvarak: Software-managed hardware offload for DAX NVM storage redundancy


structured outputs for llms

Large Malaysian Language Model Based on Mistral for Enhanced Local Language Understanding


OpenMMLab's Next Generation Video Understanding Toolbox and Benchmark

Non-local Neural Networks

Learning Spatiotemporal Features with 3D Convolutional Networks

Quo Vadis, Action Recognition? A New Model and the Kinetics Dataset

Temporal Segment Networks: Towards Good Practices for Deep Action Recognition

SlowFast Networks for Video Recognition

A Closer Look at Spatiotemporal Convolutions for Action Recognition

TSM: Temporal Shift Module for Efficient Video Understanding

Is Space-Time Attention All You Need for Video Understanding?

Video Swin Transformer

X3D: Expanding Architectures for Efficient Video Recognition


Fast State-of-the-Art Tokenizers optimized for Research and Production

DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

Making the Most of Text Semantics to Improve Biomedical Vision--Language Processing

KLUE: Korean Language Understanding Evaluation

DeepSeek LLM: Scaling Open-Source Language Models with Longtermism

UNKs Everywhere: Adapting Multilingual Language Models to New Scripts

What Changes Can Large-scale Language Models Bring? Intensive Study on HyperCLOVA: Billions-scale Korean Generative Pretrained Transformers

An Empirical Study of Pre-trained Transformers for Arabic Information Extraction

DeepSeekMoE: Towards Ultimate Expert Specialization in Mixture-of-Experts Language Models

Pile of Law: Learning Responsible Data Filtering from the Law and a 256GB Open-Source Legal Dataset

BabyBERTa: Learning More Grammar With Small-Scale Child-Directed Language

Proceedings of the 25th Conference on Computational Natural Language Learning


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


Spring Framework

A Manually-Curated Dataset of Fixes to Vulnerabilities of Open-Source Software

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

On the reaction to deprecation of clients of 4 + 1 popular Java APIs and the JDK

Refactoring Graphs: Assessing Refactoring over Time

Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods

Towards a catalog of composite refactorings


A natural language interface for computers

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

OpenAgents: An Open Platform for Language Agents in the Wild

Data Interpreter: An LLM Agent For Data Science

Pangu-Agent: A Fine-Tunable Generalist Agent with Structured Reasoning

InsightLens: Discovering and Exploring Insights from Conversational
  Contexts in Large-Language-Model-Powered Data Analysis

Verbalized Machine Learning: Revisiting Machine Learning with Language Models

Navigating the Landscape of Large Language Models: A Comprehensive
  Review and Analysis of Paradigms and Fine-Tuning Strategies


A system for quickly generating training data with weak supervision

Snorkel: Rapid Training Data Creation with Weak Supervision

Data Programming: Creating Large Training Sets, Quickly

Data Programming using Continuous and Quality-Guided Labeling Functions

Infrastructure for Usable Machine Learning: The Stanford DAWN Project

Learning from Imperfect Annotations

Learning More From Less: Towards Strengthening Weak Supervision for Ad-Hoc Retrieval

Bug characterization in machine learning-based systems

Leveraging Instance Features for Label Aggregation in Programmatic Weak Supervision

Ground Truth Inference for Weakly Supervised Entity Matching

Stochastic Generalized Adversarial Label Learning


Metasploit Framework

RNNIDS: Enhancing network intrusion detection systems through deep learning

On Generating Network Traffic Datasets with Synthetic Attacks for Intrusion Detection

PatrIoT: practical and agile threat research for IoT

International Journal of Information Security

Malla: Demystifying Real-world Large Language Model Integrated Malicious Services

Easy to Fool? Testing the Anti-evasion Capabilities of PDF Malware Scanners

Working mechanism of Eternalblue and its application in ransomworm

Well Begun is Half Done: An Empirical Study of Exploitability & Impact of Base-Image Vulnerabilities

Reversing Kia Motors Head Unit to discover and exploit software vulnerabilities

Journal of Computer Virology and Hacking Techniques

Responding to Targeted Stealthy Attacks on Android Using Timely-Captured Memory Dumps

Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation


Aer is a high performance simulator for quantum circuits that includes noise models

Challenges and Opportunities of Near-Term Quantum Computing Systems

Identification of Symmetry-Protected Topological States on Noisy Quantum Computers

Bugs4Q: A Benchmark of Real Bugs for Quantum Programs

Bell Diagonal and Werner State Generation: Entanglement, Non-Locality, Steering and Discord on the IBM Quantum Computer

Error mitigated quantum circuit cutting

Efficient MILP Decomposition in Quantum Computing for ReLU Network Robustness

Quantum Correlation Generation Capability of Experimental Processes

Randomized Benchmarking Protocol for Dynamic Circuits

Queen: A quick, scalable, and comprehensive quantum circuit simulation
  for supercomputing

Qubernetes: Towards a unified cloud-native execution platform for hybrid classic-quantum computing


The Python package installer

Better Context Makes Better Code Language Models: A Case Study on Function Call Argument Completion

Flexible and Optimal Dependency Management via Max-SMT

Using Answer Set Programming for HPC Dependency Solving

causalgraph: A Python Package for Modeling, Persisting and Visualizing Causal Graphs Embedded in Knowledge Graphs


Quantum Algorithms & Applications (**DEPRECATED** since April 2021 - see readme for more info)

Quantum Generative Adversarial Networks for learning and loading random distributions

Open source software in quantum computing

Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs

PROCEEDINGS OF THE 2019 46TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA '19)

Multilevel Combinatorial Optimization across Quantum Architectures

Network Community Detection on Small Quantum Computers

QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments

A Language and Hardware Independent Approach to Quantum-Classical Computing

QDB: From Quantum Algorithms Towards Correct Quantum Programs

Bugs4Q: A Benchmark of Real Bugs for Quantum Programs


Kubernetes Cluster Federation

Rearchitecting Kubernetes for the Edge

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

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

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

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

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

Edge to Cloud Tools: A Multivocal Literature Review

Oakestra white paper: An Orchestrator for Edge Computing


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

Blockchain Consensus Protocols in the Wild

High Throughput Cryptocurrency Routing in Payment Channel Networks

Performance Evaluation of the Quorum Blockchain Platform

Circuit Breakers, Discovery, and API Gateways in Microservices

Rearchitecting Kubernetes for the Edge

A Byzantine Fault-Tolerant Consensus Library for Hyperledger Fabric

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

Why is random testing effective for partition tolerance bugs?

Symposium on Principles of Programming Languages

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

CASPaxos: Replicated State Machines without logs


ArduPlane, ArduCopter, ArduRover, ArduSub source

Accuracy of Trajectory Tracking Based on Nonlinear Guidance Logic for Hydrographic Unmanned Surface Vessels

Security and Privacy in the Emerging Cyber-Physical World: A Survey

IEEE Communications Surveys and Tutorials

An Autonomous Surface Vehicle for Long Term Operations

UAV-Based and WebRTC-Based Open Universal Framework to Monitor Urban and Industrial Areas

The Prototype Monitoring System for Pollution Sensing and Online Visualization with the Use of a UAV and a WebRTC-Based Platform

Design and implementation of low cost thrust benchmarking system (TBS) in application for small scale electric UAV propeller characterization

3D Simulation of Flight Control System for Quad Tilt Rotor UAV Based on Flightgear

IOP Conference Series: Earth and Environmental Science

Improvements in learning to control perched landings

Path Planner for Autonomous Exploration of Underground Mines by Aerial Vehicles

Control System Architecture for Automatic Recovery of Fixed-Wing Unmanned Aerial Vehicles in a Moving Arrest System

Journal of Intelligent and Robotic Systems


Alluxio, data orchestration for analytics and machine learning in the cloud

A comprehensive study of bloated dependencies in the Maven ecosystem

Big data analytics on traditional HPC infrastructure using two-level storage

Proceedings of the 2015 International Workshop on Data-Intensive Scalable Computing Systems

The nature of build changes

A Novel Refactoring and Semantic Aware Abstract Syntax Tree Differencing
  Tool and a Benchmark for Evaluating the Accuracy of Diff Tools

Using Information Flow to estimate interference between developers same
  method contributions

Study on Resource Efficiency of Distributed Graph Processing

Automated Test Case Repair Using Language Models

Verifying temporal specifications of Java programs

Developing Big Data Infrastructure for Analyzing AIS Vessel Tracking Data on a Global Scale


Bayesian optimization in PyTorch

Auto-Encoding Variational Bayes

BoTorch: A Framework for Efficient Monte-Carlo Bayesian Optimization

Differentiable Expected Hypervolume Improvement for Parallel Multi-Objective Bayesian Optimization

Parallel Bayesian Optimization of Multiple Noisy Objectives with Expected Hypervolume Improvement

Pareto Set Learning for Expensive Multi-Objective Optimization

BINOCULARS for Efficient, Nonmyopic Sequential Experimental Design

Warm Starting CMA-ES for Hyperparameter Optimization

Bayesian Optimization over Discrete and Mixed Spaces via Probabilistic Reparameterization

Robust Multi-Objective Bayesian Optimization Under Input Noise

Conditioning Sparse Variational Gaussian Processes for Online Decision-making


A small, fast, JavaScript-based JavaScript parser

DeepBugs: A Learning Approach to Name-based Bug Detection

SCELMo: Source Code Embeddings from Language Models

Test generation for higher-order functions in dynamic languages

Geno: A Developer Tool for Authoring Multimodal Interaction on Existing Web Applications

You Can Run But You Can't Hide: Runtime Protection Against Malicious Package Updates For Node.js

Supporting the Detection of Software Supply Chain Attacks through Unsupervised Signature Generation

If You've Seen One, You've Seen Them All: Leveraging AST Clustering Using MCL to Mimic Expertise to Detect Software Supply Chain Attacks.

Spinner: Automated Dynamic Command Subsystem Perturbation

Unbundle-Rewrite-Rebundle: Runtime Detection and Rewriting of
  Privacy-Harming Code in JavaScript Bundles


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

Bayesian Workflow.

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

Bayesian workflow for disease transmission modeling in Stan

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


Schema.org - schemas and supporting software

Ontology engineering methodologies for the evolution of living and reused ontologies: status, trends, findings and recommendations

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

Croissant: A Metadata Format for ML-Ready Datasets

Git4Voc: Git-based Versioning for Collaborative Vocabulary Development

Lessons learned to boost a bioinformatics knowledge base reusability, the Bgee experience

Creating a Linked Data-Friendly Metadata Application Profile for Archival Description

Are Large Language Models a Good Replacement of Taxonomies?

Ontologies in CLARIAH: Towards Interoperability in History, Language and Media

A formal approach for customization of schema.org based on SHACL


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

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


WarpX is an advanced electromagnetic & electrostatic Particle-In-Cell code.

Particle-in-cell simulation of the neutrino fast flavor instability

Zenodo (CERN European Organization for Nuclear Research)

Multi-GeV Electron Bunches from an All-Optical Laser Wakefield Accelerator

Porting WarpX to GPU-accelerated platforms

Modeling of a chain of three plasma accelerator stages with the WarpX electromagnetic PIC code on GPUs

Probing Strong-Field QED with Doppler-Boosted Petawatt-Class Lasers

A particle-in-cell code comparison for ion acceleration: EPOCH, LSP, and WarpX

PICSAR-QED: a Monte Carlo module to simulate strong-field quantum electrodynamics in particle-in-cell codes for exascale architectures

Toward the modeling of chains of plasma accelerator stages with WarpX

Overcoming timestep limitations in boosted-frame Particle-In-Cell simulations of plasma-based acceleration

Snowmass21 Accelerator Modeling Community White Paper


The most popular spellchecking library.

Multi-modular domain-tailored OCR post-correction

Empirical Methods in Natural Language Processing

Robust Open-Vocabulary Translation from Visual Text Representations

On the Dynamics of Political Discussions on Instagram: A Network Perspective

Feedback Learning: Automating the Process of Correcting and Completing the Extracted Information

International Conference on Document Analysis and Recognition

Towards standardizing Korean Grammatical Error Correction: Datasets and Annotation

Predicting the Amount of GDPR Fines

ReDASPersuasion at SemEval-2023 Task 3: Persuasion Detection using Multilingual Transformers and Language Agnostic Features

Proceedings of the The 17th International Workshop on Semantic Evaluation (SemEval-2023)

An Exploratory Case Study on Data Breach Journalism

A Methodology for Generative Spelling Correction via Natural Spelling Errors Emulation across Multiple Domains and Languages

Towards the Development of Language Analysis Tools for the Written Latgalian Language

HUMAN LANGUAGE TECHNOLOGIES - THE BALTIC PERSPECTIVE (HLT 2020)


TensorFlow documentation

Virus Detection and Identification in Minutes Using Single-Particle Imaging and Deep Learning

An Investigation of Few-Shot Learning in Spoken Term Classification

Segment boundary detection directed attention for online end-to-end speech recognition

EURASIP Journal on Audio, Speech, and Music Processing

NITS-Hinglish-SentiMix at SemEval-2020 Task 9: Sentiment Analysis For Code-Mixed Social Media Text Using an Ensemble Model

An Experience Report on Machine Learning Reproducibility: Guidance for Practitioners and TensorFlow Model Garden Contributors

Image Classification for the Automatic Feature Extraction in Human Worn Fashion Data

Widen the Applicability of a Convolutional Neural-Network-Assisted Glaucoma Detection Algorithm of Limited Training Images across Different Datasets

Dealing with Adversarial Player Strategies in the Neural Network Game iNNk through Ensemble Learning

The 16th International Conference on the Foundations of Digital Games (FDG) 2021

Sampling type method combined with deep learning for inverse scattering with one incident wave

Enhancing Energy-Awareness in Deep Learning through Fine-Grained Energy Measurement


LGPL Pure Python OPC-UA Client and Server

Timely Survey of Time-Sensitive Networking: Past and Future Directions

Easing the Conscience with OPC UA: An Internet-Wide Study on Insecure Deployments

A Proposal to Improve Interoperability in the Industry 4.0 Based on the Open Platform Communications Unified Architecture Standard

Interoperability for a Dynamic Assembly System

Security Analysis of Vendor Implementations of the OPC UA Protocol for Industrial Control Systems

Vulnerabilities of the Open Platform Communication Unified Architecture Protocol in Industrial Internet of Things Operation

An Aggregated Data Integration Approach to the Web and Cloud Platforms through a Modular REST-Based OPC UA Middleware

Interoperability between OPC UA and oneM2M

Journal of Internet Services and Applications

Universal identification and control of industrial manufacturing equipment as a service

Proceedings of the Estonian Academy of Sciences


MIMIC Code Repository: Code shared by the research community for the MIMIC family of databases

MIMIC-III, a freely accessible critical care database

Prognostic accuracy of the serum lactate level, the SOFA score and the qSOFA score for mortality among adults with Sepsis

Scandinavian journal of trauma, resuscitation and emergency medicine

MultiBench: Multiscale Benchmarks for Multimodal Representation Learning

PPGAN: Privacy-preserving Generative Adversarial Network

International Conference on Parallel and Distributed Systems

Association between elevated central venous pressure and outcomes in critically ill patients

Generating synthetic mixed-type longitudinal electronic health records for artificial intelligent applications

Red blood cell distribution width predicts long-term mortality in critically ill patients with acute kidney injury: a retrospective database study

Healthsheet: Development of a Transparency Artifact for Health Datasets

Machine Learning Prediction Models for Mechanically Ventilated Patients: Analyses of the MIMIC-III Database

Prognosis predictive value of the Oxford Acute Severity of Illness Score for sepsis: a retrospective cohort study


GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

FActScore: Fine-grained Atomic Evaluation of Factual Precision in Long Form Text Generation

Enhancing Chat Language Models by Scaling High-quality Instructional Conversations

Aligning Large Language Models with Human: A Survey

OLMo: Accelerating the Science of Language Models

Text-to-SQL Empowered by Large Language Models: A Benchmark Evaluation

LaMini-LM: A Diverse Herd of Distilled Models from Large-Scale Instructions

Black Box Adversarial Prompting for Foundation Models

FLASK: Fine-grained Language Model Evaluation based on Alignment Skill Sets

EduChat: A Large-Scale Language Model-based Chatbot System for Intelligent Education

JudgeLM: Fine-tuned Large Language Models are Scalable Judges


the AI-native open-source embedding database

AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation

DiLu: A Knowledge-Driven Approach to Autonomous Driving with Large Language Models

BioinspiredLLM: Conversational Large Language Model for the Mechanics of Biological and Bio-inspired Materials

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

An Empirical Evaluation of Columnar Storage Formats

ReGAL: Refactoring Programs to Discover Generalizable Abstractions

Domain-specific ChatBots for Science using Embeddings

MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented Generation

BookSQL: A Large Scale Text-to-SQL Dataset for Accounting Domain


Mantis Bug Tracker (MantisBT)

Fragment-Based Test Generation for Web Apps

Automated and manual testing as part of the research software development process of RCE

Fixing Vulnerabilities Potentially Hinders Maintainability

Neural Embeddings for Web Testing

Guiding ChatGPT to Fix Web UI Tests via Explanation-Consistency Checking


LLM inference in C/C++

Language Models are Few-Shot Learners

Training language models to follow instructions with human feedback

LLaMA: Open and Efficient Foundation Language Models

A Survey of Large Language Models

AWQ: Activation-aware Weight Quantization for LLM Compression and Acceleration

Extending Context Window of Large Language Models via Positional Interpolation

Efficient and Effective Text Encoding for Chinese LLaMA and Alpaca

Exploring the Potential of Large Language Models (LLMs) in Learning on Graphs

The Era of 1-bit LLMs: All Large Language Models are in 1.58 Bits

Efficient Methods for Natural Language Processing: A Survey


Collection of Verification Tasks (MOVED, please follow the link)

CBMC: The C Bounded Model Checker

A Unifying View on SMT-Based Software Verification

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

Tools and Algorithms for Construction and Analysis of Systems

Advances in Automatic Software Verification: SV-COMP 2020

TOOLympics 2019: An Overview of Competitions in Formal Methods

Legion: Best-First Concolic Testing

International Conference on Automated Software Engineering

MetaVal: Witness Validation via Verification

Quasi-Optimal Partial Order Reduction

Status Report on Software Testing: Test-Comp 2021

Second Competition on Software Testing: Test-Comp 2020


Node.js JavaScript runtime ✨✨

A Smart Contract-Based P2P Energy Trading System with Dynamic Pricing on Ethereum Blockchain

Understanding Review Expertise of Developers: A Reviewer Recommendation Approach Based on Latent Dirichlet Allocation

From one to hundreds: multi-licensing in the JavaScript ecosystem

Investigating and Recommending Co-Changed Entities for JavaScript Programs

I Depended on You and You Broke Me: An Empirical Study of Manifesting Breaking Changes in Client Packages

SurfBraid: A concept tool for preparing and resource estimating quantum circuits protected by the surface code

Automatic Identification of Similar Pull-Requests in GitHub's Repositories Using Machine Learning

Constructing a bilingual website with validated database for Herb and Western medicine interactions using Ginseng, Ginkgo and Dong Quai as examples

BMC complementary and alternative medicine

An Empirical Study on the Use of Static Analysis Tools in Open Source Embedded Software

Human-Like Summaries from Heterogeneous and Time-Windowed Software Development Artefacts


FEDML - The unified and scalable ML library for large-scale distributed training, model serving, and federated learning. FEDML Launch, a cross-cloud scheduler, further enables running any AI jobs on any GPU cloud or on-premise cluster. Built on this library, TensorOpera AI (https://TensorOpera.ai) is your generative AI platform at scale.

Advances and Open Problems in Federated Learning

A Survey on Federated Learning Systems: Vision, Hype and Reality for Data Privacy and Protection

FedML: A Research Library and Benchmark for Federated Machine Learning

Group Knowledge Transfer: Federated Learning of Large CNNs at the Edge

Blockchain for federated learning toward secure distributed machine learning systems: a systemic survey

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Central Server Free Federated Learning over Single-sided Trust Social Networks

Federated Learning Meets Natural Language Processing: A Survey

FedEval: A Holistic Evaluation Framework for Federated Learning

Recent Advances on Federated Learning: A Systematic Survey

FedML-HE: An Efficient Homomorphic-Encryption-Based Privacy-Preserving Federated Learning System


Tidy Messy Data

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

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

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

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

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

Frontiers in bioengineering and biotechnology

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

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

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

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

Heredabilidad y tendencias genéticas para caracteres del crecimiento en bovinos criollos


Automated Machine Learning on Kubernetes

A Tutorial on Bayesian Optimization of Expensive Cost Functions, with Application to Active User Modeling and Hierarchical Reinforcement Learning

Hyperband: A Novel Bandit-Based Approach to Hyperparameter Optimization

BenchENAS: A Benchmarking Platform for Evolutionary Neural Architecture Search

Katib: A Distributed General AutoML Platform on Kubernetes

USENIX Conference on Operational Machine Learning

A Scalable and Cloud-Native Hyperparameter Tuning System

SQLFlow: A Bridge between SQL and Machine Learning

Mix and Match: An Optimistic Tree-Search Approach for Learning Models from Mixture Distributions

CLAIMED, a visual and scalable component library for Trusted AI


GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources

AUGER: Automatically Generating Review Comments with Pre-training Models

Duet Benchmarking: Improving Measurement Accuracy in the Cloud

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

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

Exploring Aspects of Polyglot High-Performance Virtual Machine GraalVM

Next-generation Web Applications with WebAssembly and TruffleWasm

International Convention on Information and Communication Technology, Electronics and Microelectronics

Verifying Term Graph Optimizations using Isabelle/HOL

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

SecV: Secure Code Partitioning via Multi-Language Secure Values

Proceedings of the 24th International Middleware Conference on ZZZ


Symbolic execution tool

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

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

Zenodo (CERN European Organization for Nuclear Research)

Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks

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

Harvey: A Greybox Fuzzer for Smart Contracts

Understanding Security Issues in the NFT Ecosystem

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Scilla: a Smart Contract Intermediate-Level LAnguage

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds


Documentation for the General Bikeshare Feed Specification, a standardized data feed for shared mobility system availability.     Maintained by MobilityData

Bike sharing usage prediction with deep learning: a survey

Abstracting mobility flows from bike-sharing systems

Real-Time Forecasting of Dockless Scooter-Sharing Demand: A Spatio-Temporal Multi-Graph Transformer Approach

Participatory Infrastructures: The Politics of Mobility Platforms

Micromobility Trip Origin and Destination Inference Using General Bikeshare Feed Specification (GBFS) Data

SAFEBIKE: A Bike-sharing Route Recommender with Availability Prediction and Safe Routing

On the Data Fight Between Cities and Mobility Providers

Are footpaths encroached by shared e-scooters? Spatio-temporal Analysis of Micro-mobility Services


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


WiredTiger's source tree

Constructing and analyzing the LSM compaction design space

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

Endure: A Robust Tuning Paradigm for LSM Trees Under Workload Uncertainty

Learning Key-Value Store Design

Learning to Optimize LSM-trees: Towards A Reinforcement Learning based Key-Value Store for Dynamic Workloads

DINAMITE: A modern approach to memory performance profiling

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

Adaptive Quotient Filters


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

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

Physics-informed neural networks for modeling physiological time series for cuffless blood pressure estimation

The FreshPRINCE: A Simple Transformation Based Pipeline Time Series Classifier


OpenVPN  is  an open source VPN daemon

Client-side Vulnerabilities in Commercial VPNs

Evaluating Susceptibility of VPN Implementations to DoS Attacks Using Adversarial Testing

Enhancing Security of AI-Based Code Synthesis with GitHub Copilot via
  Cheap and Efficient Prompt-Engineering

Empirical Analysis of Software Vulnerabilities Causing Timing Side Channels


CUDA Templates for Linear Algebra Subroutines

DeepSpeed- Inference: Enabling Efficient Inference of Transformer Models at Unprecedented Scale

Modeling Deep Learning Accelerator Enabled GPUs

Accelerating Sparse DNN Models without Hardware-Support via Tile-Wise Sparsity

MegaBlocks: Efficient Sparse Training with Mixture-of-Experts

HASCO: Towards Agile HArdware and Software CO-design for Tensor Computation

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

S-LoRA: Serving Thousands of Concurrent LoRA Adapters

TensorIR: An Abstraction for Automatic Tensorized Program Optimization

QuaRot: Outlier-Free 4-Bit Inference in Rotated LLMs

OliVe: Accelerating Large Language Models via Hardware-friendly Outlier-Victim Pair Quantization

Proceedings of the 50th Annual International Symposium on Computer Architecture


OSS-Fuzz - continuous fuzzing for open source software.

Smart Greybox Fuzzing

SAVIOR: Towards Bug-Driven Hybrid Testing

oo7: Low-Overhead Defense Against Spectre Attacks via Program Analysis

UNIFUZZ: A Holistic and Pragmatic Metrics-Driven Platform for Evaluating Fuzzers

SQUIRREL: Testing Database Management Systems with Language Validity and Coverage Feedback

Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities

WEIZZ: automatic grey-box fuzzing for structured binary formats

StateAFL: Greybox fuzzing for stateful network servers

V-Fuzz: Vulnerability-Oriented Evolutionary Fuzzing

DocTer: documentation-guided fuzzing for testing deep learning API functions

Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis


A command line toolkit to generate maps, point clouds, 3D models and DEMs from drone, balloon or kite images.

Deep Learning in Forestry Using UAV-Acquired RGB Data: A Practical Review

CNN-Based Tree Species Classification Using High Resolution RGB Image Data from Automated UAV Observations

Three-Dimensional Human Head Reconstruction Using Smartphone-Based Close-Range Video Photogrammetry

Mapping of Rumex obtusifolius in nature conservation areas using very high resolution UAV imagery and deep learning

International Journal of Applied Earth Observation and Geoinformation

The self-supervised spectral-spatial attention-based transformer network for automated, accurate prediction of crop nitrogen status from UAV imagery

How to build a 2d and 3d aerial multispectral map?—all steps deeply explained

End-to-end Precision Agriculture UAV-Based Functionalities Tailored to Field Characteristics

Journal of Intelligent and Robotic Systems

Detecting and Counting Oysters

A Structure-from-Motion Pipeline for Generating Digital Elevation Models for Surface-Runoff Analysis

Applicability of Remote Sensing Workflow in Kubernetes-Managed On-premise Cluster Environment


Python bindings for llama.cpp

AutoDefense: Multi-Agent LLM Defense against Jailbreak Attacks

Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models

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

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

LLM Reading Tea Leaves: Automatically Evaluating Topic Models with Large
  Language Models


the LIBpcap interface to various kernel packet capture mechanism

Early Detection of Network Attacks Using Deep Learning

A dataset of full-stack ITS-G5 DSRC communications over licensed and unlicensed bands using a large-scale urban testbed

Linux Goes Apple Picking: Cross-Platform Ad hoc Communication with Apple Wireless Direct Link

Prompt Fuzzing for Fuzz Driver Generation

A Control Plane Enabling Automated and Fully Adaptive Network Traffic Monitoring With eBPF


Algorand's official implementation in Go.

A Study of MEV Extraction Techniques on a First-Come-First-Served Blockchain

Practical Low Latency Proof of Work Consensus

Multilayer Environment and Toolchain for Holistic NetwOrk Design and Analysis

Playing the MEV Game on a First-Come-First-Served Blockchain


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


Dynamic Documents for R

IUCNN – Deep learning approaches to approximate species' extinction risk

STR: Seasonal-Trend Decomposition Using Regression

ciftiTools: A package for reading, writing, visualizing, and manipulating CIFTI files in R

Cancer Predisposition Sequencing Reporter (CPSR): a flexible variant report engine for high-throughput germline screening in cancer

Biodose Tools: an R shiny application for biological dosimetry

International journal of radiation biology

Opinionated Practices for Teaching Reproducibility: Motivation, Guided Instruction and Practice

Does the maturation of early sleep patterns predict language ability at school entry? A Born in Bradford study

The tricot citizen science approach applied to on-farm variety evaluation: methodological progress and perspectives

Estimating acid soil effects on selected cereal crop productivities in Ethiopia: Comparing economic cost-effectiveness of lime and fertilizer applications

dataquieR: assessment of data quality in epidemiological research


Multicore OCaml

Retrofitting parallelism onto OCaml

Proceedings of the ACM on Programming Languages

Cosmo: a concurrent separation logic for multicore OCaml

Resource Polymorphism

A Direct-Style Effect Notation for Sequential and Parallel Programs

Veracity: Declarative Multicore Programming with Commutativity


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


A highly efficient implementation of Gaussian Processes in PyTorch

Gaussian Processes for Big Data

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

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

Doubly Stochastic Variational Inference for Deep Gaussian Processes

Exact Gaussian Processes on a Million Data Points

Convolutional Gaussian Processes

Constant-Time Predictive Distributions for Gaussian Processes

Scalable Log Determinants for Gaussian Process Kernel Learning

Product Kernel Interpolation for Scalable Gaussian Processes

Conditioning Sparse Variational Gaussian Processes for Online Decision-making


Automated Adversary Emulation Platform

Cyber security threat modeling based on the MITRE Enterprise ATT&CK Matrix

Offensive Security: Towards Proactive Threat Hunting via Adversary Emulation

CyGIL: A Cyber Gym for Training Autonomous Agents over Emulated Network Systems

Automatic Mapping of Unstructured Cyber Threat Intelligence: An Experimental Study

Cybercompetitions: A survey of competitions, tools, and systems to support cybersecurity education

SoK: A Survey of Open-Source Threat Emulators

PicoDomain: A Compact High-Fidelity Cybersecurity Dataset

Adversarial Decision-Making for Moving Target Defense: A Multi-Agent Markov Game and Reinforcement Learning Approach

SoK: The MITRE ATT&CK Framework in Research and Practice

On Generating and Labeling Network Traffic with Realistic, Self-Propagating Malware


Display and control your Android device

Dashlet: Taming Swipe Uncertainty for Robust Short Video Streaming

BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices

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

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

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

BatteryLab: A Collaborative Platform for Power Monitoring

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


Nostr Implementation Possibilities

Bluesky and the AT Protocol: Usable Decentralized Social Media

Exploring the Nostr Ecosystem: A Study of Decentralization and
  Resilience


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

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

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


Apache Flink

A comprehensive study of bloated dependencies in the Maven ecosystem

Quantitative Impact Evaluation of an Abstraction Layer for Data Stream Processing Systems

International Conference on Distributed Computing Systems

AUGER: Automatically Generating Review Comments with Pre-training Models

A comprehensive study of pseudo-tested methods

API beauty is in the eye of the clients: 2.2 million Maven dependencies reveal the spectrum of client–API usages

Flink-ER: An Elastic Resource-Scheduling Strategy for Processing Fluctuating Mobile Stream Data on Flink

Inline Tests

Phoebe: QoS-Aware Distributed Stream Processing through Anticipating Dynamic Workloads

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

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


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

Proximal Policy Optimization Algorithms

Continuous control with deep reinforcement learning

Playing Atari with Deep Reinforcement Learning

Asynchronous Methods for Deep Reinforcement Learning

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

Trust Region Policy Optimization

Addressing Function Approximation Error in Actor-Critic Methods

High-Dimensional Continuous Control Using Generalized Advantage Estimation

Soft Actor-Critic Algorithms and Applications

Hindsight Experience Replay


Registry for Digital Public Goods


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

Right on Time: Revising Time Series Models by Constraining their
  Explanations

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


Twitter for Python!

A large-scale COVID-19 Twitter chatter dataset for open scientific research -- an international collaboration

Elites Tweet to Get Feet Off the Streets: Measuring Regime Social Media Strategies During Protest

CoVerifi: A COVID-19 news verification system

Semi-Supervised Recurrent Neural Network for Adverse Drug Reaction Mention Extraction

A German Twitter Snapshot

An Experimental Analysis of Data Annotation Methodologies for Emotion Detection in Short Text Posted on Social Media

Exploring the fine-grained analysis and automatic detection of irony on Twitter

Optimism and pessimism analysis using deep learning on COVID-19 related twitter conversations

We Usually Don’t Like Going to the Dentist: Using Common Sense to Detect Irony on Twitter

International Conference on Computational Logic

COVID-19: Social Media Sentiment Analysis on Reopening


Awesome autocompletion, static analysis and refactoring library for python

Code Prediction by Feeding Trees to Transformers

CodePlan: Repository-level Coding using LLMs and Planning

Ariadne: analysis for machine learning programs

Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages

Understanding Performance Problems in Deep Learning Systems

YSE-PZ: A Transient Survey Management Platform that Empowers the Human-in-the-loop

RepoAgent: An LLM-Powered Open-Source Framework for Repository-level
  Code Documentation Generation

Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis

How to Understand Whole Software Repository?

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing

Unsupervised Evaluation of Code LLMs with Round-Trip Correctness


Creative Commons Attribution 4.0 International

RISC-V Instruction Set Manual

Bridging the gap between programming languages and hardware weak memory models

Symposium on Principles of Programming Languages

BAX: A Bundle Adjustment Accelerator With Decoupled Access/Execute Architecture for Visual Odometry

Energy hardware and workload aware job scheduling towards interconnected HPC environments

IEEE Transactions on Parallel and Distributed Systems

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

FAT: An In-Memory Accelerator With Fast Addition for Ternary Weight Neural Networks

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DuVisor: a User-level Hypervisor Through Delegated Virtualization

CoVE: Towards Confidential Computing on RISC-V Platforms

Cerberus

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security

A Case for Speculative Strength Reduction

Trusted Hart for Mobile RISC-V Security


The source repository for the Trusted Platform Module (TPM2.0) tools

TPM-FAIL: TPM meets Timing and Lattice Attacks

TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips

IACR Transactions on Cryptographic Hardware and Embedded Systems


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


Official Python client library for kubernetes

The Dark Energy Survey Data Release 2

The Astrophysical Journal Supplement Series

Kafka-ML: connecting the data stream with ML/AI frameworks

Enabling the Orchestration of IoT Slices through Edge and Cloud Microservice Platforms

DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph Learning

PBScaler: A Bottleneck-Aware Autoscaling Framework for Microservice-Based Applications

Astronomical source finding services for the CIRASA visual analytic platform

A Joint Model Provisioning and Request Dispatch Solution for Low-Latency Inference Services on Edge

Testing GitHub projects on custom resources using unprivileged Kubernetes runners

Multi-Level ML Based Burst-Aware Autoscaling for SLO Assurance and Cost
  Efficiency


:chains: A Framework for Building High Value Public Blockchains :sparkles:

The Interblockchain Communication Protocol: An Overview

Analyzing the Performance of the Inter-Blockchain Communication Protocol

TrustBoost: Boosting Trust among Interoperable Blockchains

Interchain Timestamping for Mesh Security

Evaluating Permissioned Blockchain Using Stochastic Modeling and Chaos Engineering

Using Architecture Decision Records in Open Source Projects—An MSR Study on GitHub

Emergency Management and Recovery of Luna Classic

Static Application Security Testing of Consensus-Critical Code in the Cosmos Network

DeepRNG: Towards Deep Reinforcement Learning-Assisted Generative Testing of Software


Intel® RealSense™ SDK

Intel RealSense Stereoscopic Depth Cameras

Kimera: From SLAM to spatial perception with 3D dynamic scene graphs

The Newer College Dataset: Handheld LiDAR, Inertial and Vision with Ground Truth

Helping the Blind to Get through COVID-19: Social Distancing Assistant Using Real-Time Semantic Segmentation on RGB-D Video

Safe physical HRI: Toward a unified treatment of speed and separation monitoring together with power and force limiting

Exploring Extended Reality with ILLIXR: A New Playground for Architecture Research

Chemogenetic activation of nigrostriatal dopamine neurons in freely moving common marmosets

Toward Ergonomic Risk Prediction via Segmentation of Indoor Object Manipulation Actions Using Spatiotemporal Convolutional Networks

International Conference on Robotics and Automation

Automatic mapping of multiplexed social receptive fields by deep learning and GPU-accelerated 3D videography

3D Reconstruction of Non-Rigid Plants and Sensor Data Fusion for Agriculture Phenotyping


Static Analyzer for Solidity and Vyper

Slither: A Static Analysis Framework For Smart Contracts

International Workshop on Emerging Trends in Software Engineering for Blockchain

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

Zenodo (CERN European Organization for Nuclear Research)

The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses

IEEE Communications Surveys and Tutorials

Formal Specification and Verification of Smart Contracts for Azure Blockchain

Security of Blockchain-Based Supply Chain Management Systems: Challenges and Opportunities

A Framework and DataSet for Bugs in Ethereum Smart Contracts

Oracle-Supported Dynamic Exploit Generation for Smart Contracts

Smart Contract Vulnerability Detection Technique: A Survey

MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract

International Symposium on Software Reliability Engineering

An Analysis of Smart Contracts Security Threats Alongside Existing Solutions


Magenta: Music and Art Generation with Machine Intelligence

A Learned Representation For Artistic Style

Neural Style Transfer: A Review

MidiNet: A Convolutional Generative Adversarial Network for Symbolic-domain Music Generation

GANSynth: Adversarial Neural Audio Synthesis

Exploring the structure of a real-time, arbitrary neural artistic stylization network

Sequence Tutor: Conservative Fine-Tuning of Sequence Generation Models with KL-control

A Learned Representation for Scalable Vector Graphics

A Comprehensive Survey on Deep Music Generation: Multi-level Representations, Algorithms, Evaluations, and Future Directions

PopMAG: Pop Music Accompaniment Generation

Encoding Musical Style with Transformer Autoencoders


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

RLHF Workflow: From Reward Modeling to Online RLHF

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

Mitigating the Alignment Tax of RLHF


Adaptive Experimentation Platform

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

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

XLS-R: Self-supervised Cross-lingual Speech Representation Learning at Scale

Robust wav2vec 2.0: Analyzing Domain Shift in Self-Supervised Pre-Training

Multi-Source Domain Adaptation for Text Classification via DistanceNet-Bandits

OpenBox: A Generalized Black-box Optimization Service

PARP: Prune, Adjust and Re-Prune for Self-Supervised Speech Recognition

Emotion-Infused Models for Explainable Psychological Stress Detection

North American Chapter of the Association for Computational Linguistics

Monte Carlo Tree Search based Variable Selection for High Dimensional Bayesian Optimization

Video Person Re-ID: Fantastic Techniques and Where to Find Them


Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.

GPT-4 Technical Report

Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena

Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4

Evaluating Large Language Models: A Comprehensive Survey

Large Language Models Are Not Robust Multiple Choice Selectors

On the Exploitability of Instruction Tuning

Seven Failure Points When Engineering a Retrieval Augmented Generation System

ChainForge: A Visual Toolkit for Prompt Engineering and LLM Hypothesis Testing

Benchmarking and Defending Against Indirect Prompt Injection Attacks on Large Language Models

Evaluating Frontier Models for Dangerous Capabilities


Yahoo! Cloud Serving Benchmark

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

Blockchains vs. Distributed Databases: Dichotomy and Fusion

Learning Semantic Program Embeddings with Graph Interval Neural Network

On Performance Stability in LSM-based Storage Systems

Understanding and optimizing persistent memory allocation

Bottlenecks in Blockchain Consensus Protocols

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

Symposium on Reliable Distributed Systems

Don't Trust the Cloud, Verify: Integrity and Consistency for Cloud Object Stores

How to Databasify a Blockchain: the Case of Hyperledger Fabric

Characterizing Off-path SmartNIC for Accelerating Distributed Systems


Tensor library for machine learning

MiniCPM-V: A GPT-4V Level MLLM on Your Phone

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

CroissantLLM: A Truly Bilingual French-English Language Model

Faster and Lighter LLMs: A Survey on Current Challenges and Way Forward

Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models

Large Language Model Supply Chain: A Research Agenda

Using Large Language Models to Accelerate Communication for Users with Severe Motor Impairments

From Text to Insight: Large Language Models for Materials Science Data Extraction

Virtual Scientific Companion for Synchrotron Beamlines: A Prototype

Institutional Platform for Secure Self-Service Large Language Model
  Exploration


stb single-file public domain libraries for C/C++

Trusted Operations on Sensor Data

Learning Gradient Fields for Scalable and Generalizable Irregular Packing


URL testing lists intended for discovering website censorship

Encrypted DNS --> Privacy? A Traffic Analysis Perspective

ICLab: A Global, Longitudinal Internet Censorship Measurement Platform

The Web is Still Small After More Than a Decade

FilteredWeb: A Framework for the Automated Search-Based Discovery of Blocked URLs

Automated Discovery of Internet Censorship by Web Crawling

Measuring and Evading Turkmenistan’s Internet Censorship

Augmenting Rule-based DNS Censorship Detection at Scale with Machine Learning

A First Look At NAT64 Deployment In-The-Wild

PTPerf: On the Performance Evaluation of Tor Pluggable Transports

When Censorship Works: Exploring the Resilience of News Websites to Online Censorship


napari: a fast, interactive, multi-dimensional image viewer for python

The Smc5/6 complex is a DNA loop extruding motor

RESTORE: Robust intEnSiTy nORmalization mEthod for multiplexed imaging

Synergizing exchangeable fluorophore labels for multi-target STED microscopy

An Auxiliary Task for Learning Nuclei Segmentation in 3D Microscopy Images

SuRVoS 2: Accelerating Annotation and Segmentation for Large Volumetric Bioimage Workflows Across Modalities and Scales

Frontiers in cell and developmental biology

Dual-modality imaging of immunofluorescence and imaging mass cytometry for whole-slide imaging and accurate segmentation

Software for Microscopy Workshop White Paper

Dual-modality imaging of immunofluorescence and imaging mass cytometry for whole slide imaging with accurate single-cell segmentation

bioRxiv : the preprint server for biology

napari/napari: 0.2.9

GraphCompass: spatial metrics for differential analyses of cell organization across conditions


Pyserini is a Python toolkit for reproducible information retrieval research with sparse and dense representations.

Holistic Evaluation of Language Models

Generate rather than Retrieve: Large Language Models are Strong Context Generators

Fine-Grained Human Feedback Gives Better Rewards for Language Model Training

Is ChatGPT Good at Search? Investigating Large Language Models as Re-Ranking Agents

100,000 Podcasts: A Spoken English Document Corpus

International Conference on Computational Linguistics

What does BERT know about books, movies and music? Probing BERT for Conversational Recommendation

RECSYS 2020: 14TH ACM CONFERENCE ON RECOMMENDER SYSTEMS

Pyserini: An Easy-to-Use Python Toolkit to Support Replicable IR Research with Sparse and Dense Representations

Benchmarking Retrieval-Augmented Generation for Medicine

Few-shot In-context Learning for Knowledge Base Question Answering

SAILER: Structure-aware Pre-trained Language Model for Legal Case Retrieval


Train, Evaluate, Optimize, Deploy Computer Vision Models via OpenVINO™

SSD: Single Shot MultiBox Detector

Open Images V5 Text Annotation and Yet Another Mask Text Spotter

Building Computationally Efficient and Well-Generalizing Person Re-Identification Models with Metric Learning

ASL Recognition with Metric-Learning based Lightweight Network

Deploying a smart queuing system on edge with Intel OpenVINO toolkit

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Why You Should Try the Real Data for the Scene Text Recognition

Global Context for Convolutional Pose Machines

LIGAR: Lightweight General-purpose Action Recognition

How to Train an Accurate and Efficient Object Detection Model on Any Dataset

Towards Efficient and Data Agnostic Image Classification Training Pipeline for Embedded Systems


Port of Google v8 engine to RISC-V.


Official Java client library for kubernetes

TORCH: a TOSCA-Based Orchestrator of Multi-Cloud Containerised Applications

Synthesizing replacement classes

Proceedings of the ACM on Programming Languages


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

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

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

IEEE Transactions on Knowledge and Data Engineering

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

Dreaddit: A Reddit Dataset for Stress Analysis in Social Media

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

Don't Listen To Me: Understanding and Exploring Jailbreak Prompts of
  Large Language Models

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

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

MDIA: A Benchmark for Multilingual Dialogue Generation in 46 Languages

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


Open source platform for the machine learning lifecycle

Big-Data Science in Porous Materials: Materials Genomics and Machine Learning

Vamsa: Automated Provenance Tracking in Data Science Scripts

Management of Machine Learning Lifecycle Artifacts: A Survey

Griffon: Reasoning about Job Anomalies with Unlabeled Data in Cloud-based Platforms

Tailored Uncertainty Estimation for Deep Learning Systems

Sapsan: Framework for Supernovae Turbulence Modeling with Machine Learning

LlamaTurk: Adapting Open-Source Generative Large Language Models for Low-Resource Language

Boolean Decision Rules for Reinforcement Learning Policy Summarisation


Get up and running with Llama 3.2, Mistral, Gemma 2, and other large language models.

PowerInfer-2: Fast Large Language Model Inference on a Smartphone

MoE-Infinity: Offloading-Efficient MoE Model Serving

Scaling Down to Scale Up: A Cost-Benefit Analysis of Replacing OpenAI's LLM with Open Source SLMs in Production

Agent-OM: Leveraging LLM Agents for Ontology Matching

TSpec-LLM: An Open-source Dataset for LLM Understanding of 3GPP
  Specifications

LLMSense: Harnessing LLMs for High-level Reasoning Over Spatiotemporal Sensor Traces

Prompt Leakage effect and defense strategies for multi-turn LLM interactions

Exploring and steering the moral compass of Large Language Models

Cost-Effective Online Multi-LLM Selection with Versatile Reward Models

Narrow Transformer: StarCoder-Based Java-LM For Desktop


Open Source Neural Machine Translation and (Large) Language Models in PyTorch

Convolutional Sequence to Sequence Learning

Model compression via distillation and quantization

SAMSum Corpus: A Human-annotated Dialogue Dataset for Abstractive Summarization

Proceedings of the 2nd Workshop on New Frontiers in Summarization

CommonGen: A Constrained Text Generation Challenge for Generative Commonsense Reasoning

A Neural Model for Generating Natural Language Summaries of Program Subroutines

Compositionality decomposed: how do neural networks generalise?

COGS: A Compositional Generalization Challenge Based on Semantic Interpretation

Reformulating Unsupervised Style Transfer as Paraphrase Generation

Retrieve, Rerank and Rewrite: Soft Template Based Neural Summarization

PROCEEDINGS OF THE 56TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL), VOL 1

Towards Conversational Recommendation over Multi-Type Dialogs


An IPFS implementation in Go

Blockchain-Based Distributed Patient-Centric Image Management System

Security Architecture for Defining and Enforcing Security Profiles in DLT/SDN-Based IoT Systems

Passively Measuring IPFS Churn and Network Size

Privacy-preserving and Trusted Threat Intelligence Sharing using Distributed Ledgers

DClaims: A Censorship Resistant Web Annotations System using IPFS and Ethereum

Improving Bitswap Privacy with Forwarding and Source Obfuscation

A Privacy-Preserving Platform for Recording COVID-19 Vaccine Passports

What's inside a node? Malicious IPFS nodes under the magnifying glass


Empowering everyone to build reliable and efficient software.

Leveraging Rust Types for Modular Specification and Verification

Stacked borrows: an aliasing model for Rust

We don't need another hero?

How do programmers use unsafe rust?

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

KRust: A Formal Executable Semantics of Rust

Rusty Variation: Deadlock-free Sessions with Failure in Rust

Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries

Präzi: from package-based to call-based dependency networks

Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System

The Art, Science, and Engineering of Programming


Fast and Simple Serverless Functions for Kubernetes

FaaSten Your Decisions: Classification Framework and Technology Review of Function-as-a-Service Platforms

Serverless computing in omics data analysis and integration

Performance Evaluation of Serverless Edge Computing for Machine Learning Applications

Efficiency in the serverless cloud paradigm: A survey on the reusing and approximation aspects

Towards Serverless Optimization with In-place Scaling


Interactive, thoroughly customizable maps in the browser, powered by vector tiles and WebGL

Performance Testing on Vector vs. Raster Map Tiles—Comparative Study on Load Metrics

ISPRS International Journal of Geo-Information

Evaluating the Performance of Three Popular Web Mapping Libraries: A Case Study Using Argentina’s Life Quality Index

Choriented Maps: Visualizing SDG Data on Mobile Devices

NetworkNarratives: Data Tours for Visual Network Exploration and Analysis

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

How WebGL vector maps work


DAOS Storage Stack (client libraries, storage engine, control plane)

DAOS: A Scale-Out High Performance Storage Stack for Storage Class Memory

Skyhook: Towards an Arrow-Native Storage System

Towards an Arrow-native Storage System


Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

PyTorch: An Imperative Style, High-Performance Deep Learning Library

Highly accurate protein structure prediction with AlphaFold

Advances and Open Problems in Federated Learning

ColabFold - Making protein folding accessible to all

PaLM: Scaling Language Modeling with Pathways

On the Opportunities and Risks of Foundation Models

Scaling Instruction-Finetuned Language Models

Flamingo: a Visual Language Model for Few-Shot Learning

Highly accurate protein structure prediction for the human proteome

Fourier Features Let Networks Learn High Frequency Functions in Low Dimensional Domains


Marshalling / communication library for drones.

Compatible Certificateless and Identity-Based Cryptosystems for Heterogeneous IoT

Viconmavlink: A software tool for indoor positioning using a motion capture system


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

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

Transportation Research Record: Journal of the Transportation Research Board

Modelling Bushfire Evacuation Behaviours


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


HDF5 for Python -- The h5py package is a Pythonic interface to the HDF5 binary data format.

Long read nanopore sequencing for detection of HLA and CYP2D6 variants and haplotypes

A voltage and current measurement dataset for plug load appliance identification in households

Beyond subhalos: Probing the collective effect of the Universe's small-scale structure with gravitational lensing

BrainLiner: A Neuroinformatics Platform for Sharing Time-Aligned Brain-Behavior Data

Deep learning for Directional Dark Matter search

HetSeq: Distributed GPU Training on Heterogeneous Infrastructure

The Incubascope : a simple, compact and large field of view microscope for long-term imaging inside an incubator

Towards quantifying the impact of triaxiality on optical signatures of galaxy clusters: weak lensing and galaxy distributions


An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

Discovering Vulnerabilities in COTS IoT Devices through Blackbox Fuzzing Web Management Interface

SIoTFuzzer: Fuzzing Web Interface in IoT Firmware via Stateful Message Generation

Reproducible and Adaptable Log Data Generation for Sound Cybersecurity Experiments

Asia-Pacific Computer Systems Architecture Conference


AngularJS - HTML enhanced for web apps!

We don't need another hero?

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

Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub

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

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

A Search for Improved Performance in Regular Expressions

The significance of bug report elements

From one to hundreds: multi-licensing in the JavaScript ecosystem

Developing a knowledge base to support the annotation of ultrasound images of ectopic pregnancy

GHTraffic: A Dataset for Reproducible Research in Service-Oriented Computing


Mirror of https://git.ffmpeg.org/ffmpeg.git

Smart Greybox Fuzzing

Exploring Software Naturalness through Neural Language Models

Data Quality for Software Vulnerability Datasets

Fast Object Detection in Compressed Video

SPI: Automated Identification of Security Patches via Commits

Spatio-Temporal Rich Model-Based Video Steganalysis on Cross Sections of Motion Vector Planes

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

Atss-Net: Target Speaker Separation via Attention-based Neural Network

Exploring the Contextual Factors Affecting Multimodal Emotion Recognition in Videos

Real-time detection of neural oscillation bursts allows behaviourally relevant neurofeedback

PHANTOM: Curating GitHub for engineered software projects using time-series clustering

Zenodo (CERN European Organization for Nuclear Research)


Apache Hadoop

A Manually-Curated Dataset of Fixes to Vulnerabilities of Open-Source Software

Wait For It: Identifying "On-Hold" Self-Admitted Technical Debt

On Preserving the Behavior in Software Refactoring: A Systematic Mapping Study

Behind the Scenes: On the Relationship Between Developer Experience and Refactoring

CodeEditor: Learning to Edit Source Code with Pre-trained Models

Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests

Tools and Algorithms for Construction and Analysis of Systems

Predicting technical debt from commit contents: reproduction and extension with automated feature selection

On the Relationship between Self-Admitted Technical Debt Removals and Technical Debt Measures

gambit -- An Open Source Name Disambiguation Tool for Version Control Systems

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


Functions and classes to access online data resources. Maintainers: @keflavich and @bsipocz and @ceb8

DustPedia: Multiwavelength photometry and imagery of 875 nearby galaxies in 42 ultraviolet-microwave bands

The COS Absorption Survey of Baryon Harbors: The Galaxy Database and Cross-correlation Analysis of O vi Systems∗

The Astrophysical Journal Supplement Series

Applying Deep Neural Networks (DNN) for Measuring Photometric Redshifts from Galaxy Images: Preliminary Study

Gravitational-wave Electromagnetic Counterpart Korean Observatory (GECKO): GECKO Follow-up Observation of GW190425

Open Astronomy Catalogs API


Apache Airflow - A platform to programmatically author, schedule, and monitor workflows

ServerMix: Tradeoffs and Challenges of Serverless Data Analytics

On Distribution Shift in Learning-based Bug Detectors

Quant 4.0: Engineering Quantitative Investment with Automated, Explainable and Knowledge-driven Artificial Intelligence

Large Scale Audio-Visual Video Analytics Platform for Forensic Investigations of Terroristic Attacks

Interpersonal Trust in OSS: Exploring Dimensions of Trust in GitHub Pull Requests

2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)

dagger: A Python Framework for Reproducible Machine Learning Experiment Orchestration

Empirically evaluating flaky test detection techniques combining test case rerunning and machine learning models

Arteria: An automation system for a sequencing core facility

When conversations turn into work: a taxonomy of converted discussions and issues in GitHub

An Empirical Study of Challenges in Machine Learning Asset Management


TorchBench is a collection of open source benchmarks used to evaluate PyTorch performance.

Using Python for Model Inference in Deep Learning

TorchBench: Benchmarking PyTorch with High API Surface Coverage

Vision Transformers for End-to-End Vision-Based Quadrotor Obstacle Avoidance


Python tools for geographic data

A Cloud-Based Environment for Generating Yield Estimation Maps From Apple Orchards Using UAV Imagery and a Deep Learning Technique

PyLandStats: An open-source Pythonic library to compute landscape metrics

Crash and disengagement data of autonomous vehicles on public roads in California

AD-AutoGPT: An Autonomous GPT for Alzheimer's Disease Infodemiology

The effects of containment measures in the Italian outbreak of COVID-19

Application of Remote Sensing, GIS and Machine Learning with Geographically Weighted Regression in Assessing the Impact of Hard Coal Mining on the Natural Environment

Gridded land use data for the conterminous United States 1940–2015

Towards CCTV-aware Routing and Navigation for Privacy, Anonymity, and Safety - Feasibility Study in Jyväskylä

PROCEEDINGS OF THE 28TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION FRUCT

Geo-L: Topological Link Discovery for Geospatial Linked Data Made Easy

Integrated Land Suitability Assessment for Depots Siting in a Sustainable Biomass Supply Chain


Enabling PyTorch on XLA Devices (e.g. Google TPU)

Don't Stop Pretraining: Adapt Language Models to Domains and Tasks

A Light Recipe to Train Robust Vision Transformers

KinyaBERT: a Morphology-aware Kinyarwanda Language Model

Revisiting and Advancing Chinese Natural Language Understanding with Accelerated Heterogeneous Knowledge Pre-training

Optimizing DNN Compilation for Distributed Training With Joint OP and Tensor Fusion

IEEE Transactions on Parallel and Distributed Systems

Exploration of TPUs for AI Applications