Deployment scripts & config for Sock Shop

A Self-Adaptive Approach for Managing Applications and Harnessing Renewable Energy for Sustainable Cloud Computing

IEEE Transactions on Sustainable Computing

iBrownout: An Integrated Approach for Managing Energy and Brownout in Container-Based Clouds

The μTOSCA toolchain: Mining, analyzing, and refactoring microservice‐based architectures

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

On the Nature of Issues in Five Open Source Microservices Systems: An Empirical Study

PROCEEDINGS OF EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING (EASE 2021)

NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge

On Representing Resilience Requirements of Microservice Architecture Systems

On Representing and Eliciting Resilience Requirements of Microservice Architecture Systems.

KubeHound: Detecting Microservices' Security Smells in Kubernetes Deployments

Hawk: DevOps-driven Transparency and Accountability in Cloud Native Systems


jiant is an nlp toolkit

GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understanding

SuperGLUE: A Stickier Benchmark for General-Purpose Language Understanding Systems

BERT Rediscovers the Classical NLP Pipeline

What do you learn from context? Probing for sentence structure in contextualized word representations

Fine-Tuning Pretrained Language Models: Weight Initializations, Data Orders, and Early Stopping

Sentence Encoders on STILTs: Supplementary Training on Intermediate Labeled-data Tasks

BLiMP: The Benchmark of Linguistic Minimal Pairs for English

On the Stability of Fine-tuning BERT: Misconceptions, Explanations, and Strong Baselines

A Survey on Data Augmentation for Text Classification

Assessing Social and Intersectional Biases in Contextualized Word Representations


Scalable collective authority

Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing

Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning

Survey: Sharding in Blockchains

Raziel: Private and Verifiable Smart Contracts on Blockchains

Secure and Efficient Multi-Signature Schemes for Fabric: An Enterprise Blockchain Platform

Brick: Asynchronous State Channels

Brick: Asynchronous Payment Channels

Privacy-preserving Decentralized Deep Learning with Multiparty Homomorphic Encryption

chainBoost: A Secure Performance Booster for Blockchain-based Resource
  Markets


Floodlight SDN OpenFlow Controller

Hybrid SDN evolution: A comprehensive survey of the state-of-the-art

QoS improvement with an optimum controller selection for software-defined networks

Controller selection in software defined networks using best-worst multi-criteria decision-making

Bulletin of Electrical Engineering and Informatics

Implementation Aspects of Smart Grids Cyber-Security Cross-Layered Framework for Critical Infrastructure Operation

MonLink: Piggyback Status Monitoring over LLDP in Software-Defined Energy Internet

NetRep: Automatic Repair for Network Programs


Q# libraries for the Quantum Development Kit

Q# and NWChem: Tools for Scalable Quantum Chemistry on Quantum Computers

Quantum Circuits for Functionally Controlled NOT Gates

A Q# Implementation of a Quantum Lookup Table for Quantum Arithmetic Functions


Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.

How does Heterophily Impact the Robustness of Graph Neural Networks? Theoretical Connections and Practical Implications

Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining

On the Relationship between Heterophily and Robustness of Graph Neural Networks.

On the Evolution of A.I. and Machine Learning: Towards a Meta-level Measuring and Understanding Impact, Influence, and Leadership at Premier A.I. Conferences


ZMap is a fast single packet network scanner designed for Internet-wide network surveys.

One to Rule them All? A First Look at DNS over QUIC

Characterizing the VPN Ecosystem in the Wild

Zeroing in on Port 0 Traffic in the Wild

Passive and Active Network Measurement Conference

Identifying and characterizing ZMap scans: a cryptanalytic approach

An Evaluation on the Behaviors of Aftershock Sequence of November 26th, 2019 Earthquake, ML=6.3, North of Durrës, Albania

Muş Alparslan Üniversitesi Fen Bilimleri Dergisi


A collection of AWESOME things about domian adaptation

Visual Domain Adaptation: A survey of recent advances

A Survey of Unsupervised Deep Domain Adaptation

A Review of Single-Source Deep Unsupervised Visual Domain Adaptation

Adaptively-Accumulated Knowledge Transfer for Partial Domain Adaptation

Multi-source transfer learning of time series in cyclical manufacturing

On generalization in moment-based domain adaptation

Annals of Mathematics and Artificial Intelligence


A Blockchain-based Approach for Assessing Compliance with SLA-guaranteed IoT Services

Requirements for Ethereum Private Sidechains

Flexible Integration of Blockchain with Business Process Automation: A Federated Architecture

Lecture notes in business information processing

Blockchain Privacy and Scalability in a Decentralized Validated Energy Trading Context with Hyperledger Fabric

Fabric-GC: A Blockchain-based Gantt Chart System for Cross-organizational Project Management


Streetmix makes it easy for people to design public spaces together.

Open access transport models: A leverage point in sustainable transport planning


Official repo for the #tidytuesday project

GPT detectors are biased against non-native English writers

AfriSenti: A Twitter Sentiment Analysis Benchmark for African Languages

Integrating Random Effects in Deep Neural Networks

A Realistic Guide to Making Data Available Alongside Code to Improve Reproducibility

Ten simple rules for teaching yourself R

Neural Mixed Effects for Nonlinear Personalized Predictions

Using API with Logistic Regression Model to Predict Hotel Reservation Cancellation by Detecting the Cancellation Factors

International Journal of Advanced Computer Science and Applications

Why is the prediction wrong? Towards underfitting case explanation via meta-classification

International Conference on Data Science and Advanced Analytics

TaBIIC: Taxonomy Building through Iterative and Interactive Clustering

Tutorly: Turning Programming Videos Into Apprenticeship Learning Environments with LLMs


Thai Natural Language Processing in Python.

Cross-lingual Language Model Pretraining

Beyond English-Centric Multilingual Machine Translation

PyThaiNLP: Thai Natural Language Processing in Python

82 Treebanks, 34 Models: Universal Dependency Parsing with Multi-Treebank Models

AttaCut: A Fast and Accurate Neural Thai Word Segmenter

Word Similarity Datasets for Thai: Construction and Evaluation

Influenza, dengue and common cold detection using LSTM with fully connected neural network and keywords selection

A Comparative Study of Pretrained Language Models on Thai Social Text Categorization

Combating the hate speech in Thai textual memes

Indonesian Journal of Electrical Engineering and Computer Science

Improving the state-of-the-art in Thai semantic similarity using distributional semantics and ontological information


A coupling library for partitioned multi-physics simulations, including, but not restricted to fluid-structure interaction and conjugate heat transfer simulations.

preCICE v2: A sustainable and user-friendly coupling library

Quasi‐Newton waveform iteration for partitioned surface‐coupled multiphysics applications

Steady-State Anderson Accelerated Coupling of Lattice Boltzmann and Navier–Stokes Solvers

CFD/CSD Coupling for an Isolated Rotor Using preCICE

Efficient and Scalable Initialization of Partitioned Coupled Simulations with preCICE

Gym-preCICE: Reinforcement Learning Environments for Active Flow Control


The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

The Impact of Pathway Database Choice on Statistical Enrichment Analysis and Predictive Modeling

Causal Discovery Toolbox: Uncover causal relationships in Python

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

Short communication: Landlab v2.0: a software package for Earth surface dynamics

LiPyphilic: A Python toolkit for the analysis of lipid membrane simulations

Formalizing Atom-typing and the Dissemination of Force Fields with Foyer

ChemKED: A Human‐ and Machine‐Readable Data Standard for Chemical Kinetics Experiments

Reciprocalspaceship: A Python Library for Crystallographic Data Analysis

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

Identifying Planetary Transit Candidates in TESS Full-frame Image Light Curves via Convolutional Neural Networks


:spider_web: input/output for many mesh formats

PySPH: A Python-based Framework for Smoothed Particle Hydrodynamics

ACM Transactions on Mathematical Software

Portable simulation framework for diffusion MRI

Journal of magnetic resonance (San Diego, Calif. : 1997)

Nonlinear Finite Element Analysis-Based Flow Distribution and Heat Transfer Model

GivEn -- Shape Optimization for Gas Turbines in Volatile Energy Networks

BasicTools: a numerical simulation toolbox

fieldcompare: A Python package for regression testing simulation results


Caffe: a fast open framework for deep learning.

Fully Convolutional Networks for Semantic Segmentation

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

Rich feature hierarchies for accurate object detection and semantic segmentation

Fast R-CNN

Caffe: Convolutional Architecture for Fast Feature Embedding

ShuffleNet: An Extremely Efficient Convolutional Neural Network for Mobile Devices

Recent Advances in Convolutional Neural Networks

ImageNet-trained CNNs are biased towards texture; increasing shape bias improves accuracy and robustness

Remote Sensing Image Scene Classification: Benchmark and State of the Art

Delving into Transferable Adversarial Examples and Black-box Attacks


pefile is a Python module to read and work with PE (Portable Executable) files

Transfer Learning for Image-Based Malware Classification

A Survey of Machine Learning Methods and Challenges for Windows Malware Classification

Activation Analysis of a Byte-Based Deep Neural Network for Malware Classification

I-MAD: Interpretable malware detector using Galaxy Transformer

Exploring Backdoor Poisoning Attacks Against Malware Classifiers

Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors

MAB-Malware: A Reinforcement Learning Framework for Attacking Static Malware Classifiers

Federated Learning Approach for Distributed Ransomware Analysis

On Visual Hallmarks of Robustness to Adversarial Malware

Application of Distance Metric Learning to Automated Malware Detection


Parameter/topology editor and molecular simulator

Biochemical and Genetic Analysis Identify CSLD3 as a beta-1,4-Glucan Synthase That Functions during Plant Cell Wall Synthesis

Solvation free energies and partition coefficients with the coarse-grained and hybrid all-atom/coarse-grained MARTINI models

Journal of computer-aided molecular design

Effects of Acetylation and Phosphorylation on Subunit Interactions in Three Large Eukaryotic Complexes

Predicting molecular properties of α-synuclein using force fields for intrinsically disordered proteins

Proteins: Structure, Function, and Bioinformatics

Structural and dynamical insights into the PH domain of p62 in human TFIIH

Replica-Exchange Enveloping Distribution Sampling Using Generalized AMBER Force-Field Topologies: Application to Relative Hydration Free-Energy Calculations for Large Sets of Molecules

Journal of chemical information and modeling

Domino-like effect of C112R mutation on ApoE4 aggregation and its reduction by Alzheimer’s Disease drug candidate

Mechanistic insights into multiple-step transport of mitochondrial ADP/ATP carrier

Computational and structural biotechnology journal

Design of Peptides that Fold and Self-Assemble on Graphite

RmsdXNA: RMSD prediction of nucleic acid-ligand docking poses using machine-learning method


A modular, open and non-proprietary toolkit for core robotic functionalities by harnessing deep learning

OpenDR: An Open Toolkit for Enabling High Performance, Low Footprint Deep Learning for Robotics

Neural Attention-driven Non-Maximum Suppression for Person Detection

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

Co-speech gestures for human-robot collaboration

VPIT: Real-time Embedded Single Object 3D Tracking Using Voxel Pseudo Images

SingleDemoGrasp: Learning to Grasp From a Single Image Demonstration

2022 IEEE 18th International Conference on Automation Science and Engineering (CASE)


Python Productivity for ZYNQ

Efficient Edge-AI Application Deployment for FPGAs

The implementation of a Deep Recurrent Neural Network Language Model on a Xilinx FPGA

Artificial Intelligence in Electric Machine Drives: Advances and Trends

LPYOLO: Low Precision YOLO for Face Detection on FPGA

World Congress on Electrical Engineering and Computer Systems and Science

On the Computational Complexities of Complex-valued Neural Networks


Bitcoin CoinJoin implementation with incentive structure to convince people to take part

Adoption and Actual Privacy of Decentralized CoinJoin Implementations in Bitcoin

Context matters: Methods for Bitcoin tracking

Forensic Science International: Digital Investigation

Heuristics for Detecting CoinJoin Transactions on the Bitcoin Blockchain


Pretrained model hub for Keras 3

Vulnerability Mimicking Mutants


Espressif IoT Development Framework. Official development framework for Espressif SoCs.

A Practical Evaluation on RSA and ECC-Based Cipher Suites for IoT High-Security Energy-Efficient Fog and Mist Computing Devices

Leaky Noise: New Side-Channel Attack Vectors in Mixed-Signal IoT Devices

IACR Transactions on Cryptographic Hardware and Embedded Systems

Clock Frequency Impact on the Performance of High-Security Cryptographic Cipher Suites for Energy-Efficient Resource-Constrained IoT Devices

Fine Time Measurement for the Internet of Things: A Practical Approach Using ESP32

The International Conference on scientific innovations in Science, Technology, and Management

Adaptive antenna system by ESP32-PICO-D4 and its application to web radio system

Fast Deployment of a UWB-Based IPS for Emergency Response Operations

TLS Protocol Analysis Using IoTST—An IoT Benchmark Based on Scheduler Traces

Design and implementation of intelligent packet filtering in IoT microcontroller-based devices


Main repository for the NREL-supported OpenFAST whole-turbine and FAST.Farm wind farm simulation codes.

ExaWind: A multifidelity modeling and simulation environment for wind energy

Augmented Kalman filter with a reduced mechanical model to estimate tower loads on a land-based wind turbine: a step towards digital-twin simulations

DTUWEC: an open-source DTU Wind Energy Controller with advanced industrial features

SCIENCE OF MAKING TORQUE FROM WIND (TORQUE 2020), PTS 1-5

Land-based wind turbines with flexible rail transportable blades – Part I: Conceptual design and aeroservoelastic performance

Constrained Power Reference Control for Wind Turbines

Model tests of a 10 MW semi-submersible floating wind turbine under waves and wind using hybrid method to integrate the rotor thrust and moments

Numerical simulations of ice accretion on wind turbine blades: are performance losses due to ice shape or surface roughness?

Optimization-based calibration of hydrodynamic drag coefficients for a semisubmersible platform using experimental data of an irregular sea state

Control of a Floating Wind Turbine on a Novel Actuated Platform

Model-based closed-loop wind farm control for power maximization using Bayesian Optimization: a large eddy simulation study

Zenodo (CERN European Organization for Nuclear Research)


Deep Residual Learning for Image Recognition

DeePMD-kit: A deep learning package for many-body potential energy representation and molecular dynamics

End-to-end Symmetry Preserving Inter-atomic Potential Energy Model for Finite and Extended Systems

Recent advances and applications of deep learning methods in materials science

DeePMD-kit v2: A software package for Deep Potential models

Forces are not Enough: Benchmark and Critical Evaluation for Machine Learning Force Fields with Molecular Simulations

Choosing the right molecular machine learning potential

Dissolving salt is not equivalent to applying a pressure on water

MLatom 2: An Integrative Platform for Atomistic Machine Learning

Realistic phase diagram of water from "first principles" data-driven quantum simulations


PyPSA: Python for Power System Analysis

PyPSA: Python for Power System Analysis

Regional impacts of electricity system transition in Central Europe until 2035

Evaluation of Temporal Complexity Reduction Techniques Applied to Storage Expansion Planning in Power System Models

Agent-based Model for Spot and Balancing Electricity Markets

Transmission Expansion Planning Using Cycle Flows

International Conference on Future Energy Systems


Parsing ELF and DWARF in Python

XDA: Accurate, Robust Disassembly with Transfer Learning

Mitigating Data-only Attacks by Protecting Memory-resident Sensitive Data

Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models

Large-scale Debloating of Binary Shared Libraries

Reconciling optimization with secure compilation

Proceedings of the ACM on Programming Languages

Secure Optimization Through Opaque Observations

Black-box Attacks Against Neural Binary Function Detection

Characterization and Comparison of Application Resilience for Serial and Parallel Executions


Trax — Deep Learning with Clear Code and Speed

Reformer: The Efficient Transformer

Rethinking Attention with Performers

Program Synthesis with Large Language Models

Advantage-Weighted Regression: Simple and Scalable Off-Policy Reinforcement Learning

Sparse is Enough in Scaling Transformers

Masked Language Modeling for Proteins via Linearly Scalable Long-Context Transformers

Learnable Fourier Features for Multi-Dimensional Spatial Positional Encoding

Hierarchical Transformers Are More Efficient Language Models

Incremental Sampling Without Replacement for Sequence Models

Improving Transformer-Based Neural Machine Translation with Prior Alignments


newspaper3k is a news, full-text, and article metadata extraction in Python 3. Advanced docs:

The neural architecture of language: Integrative modeling converges on predictive processing

All That's 'Human' Is Not Gold: Evaluating Human Evaluation of Generated Text

A Survey on Data Augmentation for Text Classification

Predicting Race and Ethnicity From the Sequence of Characters in a Name

ReCOVery: A Multimodal Repository for COVID-19 News Credibility Research

International Conference on Information and Knowledge Management

Controllable protein design with language models

RealTime QA: What's the Answer Right Now?

Algorithmic fairness datasets: the story so far

Trafilatura: A Web Scraping Library and Command-Line Tool for Text Discovery and Extraction

Meeting of the Association for Computational Linguistics

MuMiN: A Large-Scale Multilingual Multimodal Fact-Checked Misinformation Social Network Dataset


A polyhedral compiler for expressing fast and portable data parallel algorithms

Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code

Formal Semantics for the Halide Language


An extensible multilanguage static code analyzer.

Bellwethers: A Baseline Method For Transfer Learning

Learning Quick Fixes from Code Repositories

A Critical Comparison on Six Static Analysis Tools: Detection, Agreement, and Precision

Less is more: Minimizing code reorganization using XTREE

A systematic literature review on source code similarity measurement and clone detection: techniques, applications, and challenges

A preliminary study on the adequacy of static analysis warnings with respect to code smell prediction

GitHub-OSS Fixit: Fixing bugs at scale in a Software Engineering Course

CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite

Simpler Transfer Learning (Using "Bellwethers").

Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages


Repository for MPAS models and shared framework releases.

Evaluation of a unique approach to high-resolution climate modeling using the Model for Prediction Across Scales – Atmosphere (MPAS-A) version 5.1

Towards multiscale modeling of ocean surface turbulent mixing using coupled MPAS-Ocean v6.3 and PALM v5.0

The Compressional Beta Effect: Analytical Solution, Numerical Benchmark, and Data Analysis

Anelastic equatorial waves with the complete Coriolis terms

Impact of Convective Parameterizations on Atmospheric Mesoscale Kinetic Energy Spectra in Global High‐Resolution Simulations


OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

Training language models to follow instructions with human feedback

Instruction Tuning with GPT-4

OpenAssistant Conversations -- Democratizing Large Language Model Alignment

Instruction Tuning for Large Language Models: A Survey

AgentBench: Evaluating LLMs as Agents

Preference Ranking Optimization for Human Alignment

LLM-Blender: Ensembling Large Language Models with Pairwise Ranking and Generative Fusion

Visual Adversarial Examples Jailbreak Aligned Large Language Models

Human-Like Intuitive Behavior and Reasoning Biases Emerged in Language Models -- and Disappeared in GPT-4

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


The Text Encoding Initiative Guidelines

Deep encoding of etymological information in TEI

TEI and LMF crosswalks

TermITH-Eval: a French Standard-Based Resource for Keyphrase Extraction Evaluation

Lightweight Grammatical Annotation in the TEI: New Perspectives

PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION (LREC 2018)

From manuscript catalogues to a handbook of Syriac literature: Modeling an infrastructure for Syriaca.org

Journal of Data Mining and Digital Humanities

Analyzing and Visualizing Uncertain Knowledge: The Use of TEI Annotations in the PROVIDEDH Open Science Platform

The Digital Enhancement of a Discipline Byzantine Sigillography and Digital Humanities: Byzantine Sigillography and Digital Humanities

Wake up, standOff!


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

Mask R-CNN

CCNet: Criss-Cross Attention for Semantic Segmentation

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

IEEE transactions on pattern analysis and machine intelligence

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

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

FUNSD: A Dataset for Form Understanding in Noisy Scanned Documents

kPAM: KeyPoint Affordances for Category-Level Robotic Manipulation

Boundary-preserving Mask R-CNN

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

Shakedrop Regularization for Deep Residual Learning


Tools (written in C using htslib) for manipulating next-generation sequencing data

Twelve years of SAMtools and BCFtools

Local regulation of gene expression by lncRNA promoters, transcription and splicing

Genetic Drivers of Epigenetic and Transcriptional Variation in Human Immune Cells

The Implication of Early Chromatin Changes in X Chromosome Inactivation

Fast and accurate alignment of long bisulfite-seq reads

Sarek: A portable workflow for whole-genome sequencing analysis of germline and somatic variants

Genome-wide association mapping of date palm fruit traits

Ancient introgression drives adaptation to cooler and drier mountain habitats in a cypress species complex

De novo analysis of transcriptome reveals genes associated with leaf abscission in sugarcane (Saccharum officinarum L.)

Collapse of the mammoth-steppe in central Yukon as revealed by ancient environmental DNA


Training PyTorch models with differential privacy

Deep Learning with Differential Privacy

Conference on Computer and Communications Security

Secure and Robust Machine Learning for Healthcare: A Survey

Opacus: User-Friendly Differential Privacy Library in PyTorch

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

Rényi Differential Privacy of the Sampled Gaussian Mechanism

Personalized Federated Learning with First Order Model Optimization

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

When Machine Unlearning Jeopardizes Privacy

A General Approach to Adding Differential Privacy to Iterative Training Procedures

Backdoor Defense via Decoupling the Training Process


novel deep learning research works with PaddlePaddle

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

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

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

Leveraging Graph to Improve Abstractive Multi-Document Summarization

Knowledge Aware Conversation Generation with Explainable Reasoning over Augmented Graphs

CoKE: Contextualized Knowledge Graph Embedding

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

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

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

HGAMN: Heterogeneous Graph Attention Matching Network for Multilingual POI Retrieval at Baidu Maps


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


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++


Apache Beam is a unified programming model for Batch and Streaming data processing.

Self-Supervised Bug Detection and Repair

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

International Conference on Distributed Computing Systems

On using Stack Overflow comment-edit pairs to recommend code maintenance changes

Parallel Particle Swarm Optimization Using Apache Beam

An Empirical Study on Data Leakage and Generalizability of Link Prediction Models for Issues and Commits

Recommending Code Understandability Improvements based on Code Reviews


Simple and easily configurable grid world environments for reinforcement learning

D4RL: Datasets for Deep Data-Driven Reinforcement Learning

Towards the Systematic Reporting of the Energy and Carbon Footprints of Machine Learning

Recurrent Independent Mechanisms

BabyAI: A Platform to Study the Sample Efficiency of Grounded Language Learning

Emergent Complexity and Zero-shot Transfer via Unsupervised Environment Design

InfoBot: Transfer and Exploration via the Information Bottleneck

Generalization in Reinforcement Learning with Selective Noise Injection and Information Bottleneck

RIDE: Rewarding Impact-Driven Exploration for Procedurally-Generated Environments

The NetHack Learning Environment

Prioritized Level Replay


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

Measuring Mathematical Problem Solving With the MATH Dataset

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

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

Dynamic Concept Maps for eTextbook Glossaries: Design and Evaluation

Learning Beyond Pattern Matching? Assaying Mathematical Understanding in LLMs


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


A Python package to create, run, and post-process MODFLOW-based models.


Geocoding library for Python.

Self-Supervised Bug Detection and Repair

You Tweet What You Speak: A City-Level Dataset of Arabic Dialects

Remote collaboration fuses fewer breakthrough ideas

The Twitter Social Mobility Index: Measuring Social Distancing Practices With Geolocated Tweets

Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews

PROCEEDINGS OF THE 43RD INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR '20)

SALSA: A Scheduling Algorithm for LoRa to LEO Satellites

Extroverts tweet differently from introverts in Weibo

Using Social Media to Promote STEM Education: Matching College Students with Role Models

Convergence Behaviour of Bystanders: An Analysis of 2016 Munich Shooting Twitter Crisis Communication

A Comparative Study on Distancing, Mask and Vaccine Adoption Rates from Global Twitter Trends


State of the art mutation testing system for the JVM

Automatic Generation of Pull Request Descriptions

Automatic test improvement with DSpot: a study with ten mature open-source projects

Mutation testing in the wild: findings from GitHub

Is the Stack Distance Between Test Case and Method Correlated With Test Effectiveness?

PROCEEDINGS OF EASE 2019 - EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING

Attention: Not Just Another Dataset for Patch-Correctness Checking


Modelica library for building and district energy systems developed within IBPSA Project 1

IBPSA Project 1: BIM/GIS and Modelica framework for building and community energy system design and operation - ongoing developments, lessons learned and challenges

SUSTAINABLE BUILT ENVIRONMENT D-A-CH CONFERENCE 2019 (SBE19 GRAZ)

Combined Optimal Design and Control of Hybrid Thermal-Electrical Distribution Grids Using Co-Simulation


Daemon for easy but powerful stats aggregation

Monitoring self-adaptive applications within edge computing frameworks: A state-of-the-art review

A Capillary Computing Architecture for Dynamic Internet of Things: Orchestration of Microservices from Edge Devices to Fog and Cloud Providers

Monitoring fog computing: A review, taxonomy and open challenges

Analysis of CERN computing infrastructure and monitoring data

Towards Advanced Monitoring for Scientific Workflows

Your data is your dogfood: DevOps in the astronomical observatory

A Semantic Model for Interchangeable Microservices in Cloud Continuum Computing

Scalable and fail-safe deployment of the ATLAS Distributed Data Management system Rucio

Circllhist - A Log-Linear Histogram Data Structure for IT Infrastructure Monitoring.

Universal Tracing Interface for Multicore Processors


[ARCHIVED] The C++ parallel algorithms library. See https://github.com/NVIDIA/cccl

Revisiting Huffman Coding: Toward Extreme Performance on Modern GPU Architectures

kEDM: A Performance-portable Implementation of Empirical Dynamic Modeling using Kokkos

Practice and Experience in Advanced Research Computing

Comparison of parallel sorting algorithms

Cornerstone: Octree Construction Algorithms for Scalable Particle Simulations

Proceedings of the Platform for Advanced Scientific Computing Conference

GPU-Accelerated Interaction-Aware Motion Prediction

An Algorithm to Parallelise Parton Showers on a GPU

A parallel priority queue with fast updates for GPU architectures

Concurrent CPU-GPU Task Programming using Modern C++

Certified SAT solving with GPU accelerated inprocessing

Theoretical and numerical investigation of internal conical refraction of structured light beams

Journal of the Optical Society of America. A, Optics, image science, and vision


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

Secure and Robust Machine Learning for Healthcare: A Survey

Cohort-based federated learning services for industrial collaboration on the edge

Journal of Parallel and Distributed Computing

FedPrune: Towards Inclusive Federated Learning


Scalable fuzzing infrastructure.

An Empirical Study of OSS-Fuzz Bugs

Learning Discrete Energy-based Models via Auxiliary-variable Local Exploration

Fuzzing Class Specifications

Multiple Targets Directed Greybox Fuzzing

Finding Bug-Inducing Program Environments


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


Robust Speech Recognition via Large-Scale Weak Supervision

Zipformer: A faster and better encoder for automatic speech recognition

GPU-accelerated Guided Source Separation for Meeting Transcription

SALM: Speech-Augmented Language Model with in-Context Learning for Speech Recognition and Translation

ASR2K: Speech Recognition for Around 2000 Languages without Audio

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

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

Libriheavy: a 50,000 hours ASR corpus with punctuation casing and context

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

Fast and parallel decoding for transducer


Compile your Julia Package

Adaptive numerical simulations with Trixi.jl: A case study of Julia for scientific computing

NetworkDynamics.jl—Composing and simulating complex networks in Julia

Chaos An Interdisciplinary Journal of Nonlinear Science

Productivity meets Performance: Julia on A64FX

Forecasting local hospital bed demand for COVID-19 using on-request simulations


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


INET Framework for the OMNeT++ discrete event simulator

An Overview of the Drone Open-Source Ecosystem

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

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

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

Quality Control Methodology for Simulation Models of Computer Network Protocols


Cloud-native genomic dataframes and batch computing

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

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

Exploiting the GTEx resources to decipher the mechanisms at GWAS loci

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

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

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

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

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

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

Genetic contributions to variation in human stature in prehistoric Europe


Python Imaging Library (Fork)

fastai: A Layered API for Deep Learning

Pysteps: an open-source Python library for probabilistic precipitation nowcasting (v1.0)

Satellite Image Super-Resolution via Multi-Scale Residual Deep Neural Network

MegaPose: 6D Pose Estimation of Novel Objects via Render & Compare

Templates for 3D Object Pose Estimation Revisited: Generalization to New Objects and Robustness to Occlusions

TorchGeo: Deep Learning With Geospatial Data

Quantifying cellulose accessibility during enzyme-mediated deconstruction using 2 fluorescence-tagged carbohydrate-binding modules

Proceedings of the National Academy of Sciences of the United States of America

APERO: A PipelinE to Reduce Observations -- Demonstration with SPIRou

Automated rapid & intelligent microplastics mapping by FTIR microscopy: A Python-based workflow

Image Enhanced Rotation Prediction for Self-Supervised Learning


A curated list of awesome pipeline toolkits inspired by Awesome Sysadmin

Sustainable data analysis with Snakemake

Genomics of host-pathogen interactions: challenges and opportunities across ecological and spatiotemporal scales

Using prototyping to choose a bioinformatics workflow management system

uap: reproducible and robust HTS data analysis

Recent Advances in Data Engineering for Networking

Implementing code review in the scientific workflow: Insights from ecology and evolutionary biology

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

MolSSI and BioExcel Workflow Workshop 2018 Report

Converting Biomedical Text Annotated Resources into FAIR Research Objects with an Open Science Platform

The bdpar Package: Big Data Pipelining Architecture for R


Challenge by ENECHANGE Ltd.


The rewritten engine, originally for tensorflow. Now all other backends have been ported here.

Accelerating Self-Play Learning in Go

Evaluating Superhuman Models with Consistency Checks

Learning to Play the Chess Variant Crazyhouse Above World Champion Level With Deep Neural Networks and Human Data

Representation Matters: The Game of Chess Poses a Challenge to Vision Transformers

Neural Networks for Chess

MiniZero: Comparative Analysis of AlphaZero and MuZero on Go, Othello, and Atari Games


Apache Commons IO

Deep API Learning

A Closer Look at Real-World Patches

PROCEEDINGS 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME)

A comprehensive study of pseudo-tested methods

How well does LLM generate security tests?

An approach and benchmark to detect behavioral changes of commits in continuous integration

The Used, the Bloated, and the Vulnerable: Reducing the Attack Surface of an Industrial Application

Mutation Testing in Evolving Systems: Studying the Relevance of Mutants to Code Evolution

On the test smells detection: an empirical study on the JNose Test accuracy

Zenodo (CERN European Organization for Nuclear Research)

Predicting Crash Fault Residence via Simplified Deep Forest Based on A Reduced Feature Set


Proposed compiler and language changes for GHC and GHC/Haskell

A quick look at impredicativity

Proceedings of the ACM on Programming Languages

Higher-order type-level programming in Haskell

A role for dependent types in Haskell

Staging with class: a specification for typed template Haskell

Proceedings of the ACM on programming languages

Type variables in patterns

Kindly Bent to Free Us

Kinds are calling conventions

Reasoning about the garden of forking paths

Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows

A Role for Dependent Types in Haskell (Extended version)


Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.

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

A New Consensus Protocol for Blockchain Interoperability Architecture

The Interblockchain Communication Protocol: An Overview

Distributed Edge Computing with Blockchain Technology to Enable Ultra -Reliable Low-Latency v2x Communications

Analyzing the Performance of the Inter-Blockchain Communication Protocol

TrustBoost: Boosting Trust among Interoperable Blockchains

Interchain Timestamping for Mesh Security

A Circuit Approach to Constructing Blockchains on Blockchains


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

KLUE: Korean Language Understanding Evaluation

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

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

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

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

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

Proceedings of the 25th Conference on Computational Natural Language Learning


HACL*, a formally verified cryptographic library written in F*

Verified Low-Level Programming Embedded in F*

CT-wasm: type-driven secure cryptography for the web ecosystem

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

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives


Internet-Drafts that make up the base QUIC specification

Workshop in Information Security Theory and Practice

Observing the Evolution of QUIC Implementations

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

Beyond socket options: making the Linux TCP stack truly extensible

FlEC: Enhancing QUIC with application-tailored reliability mechanisms

Performance of QUIC Implementations Over Geostationary Satellite Links

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

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

2023 IFIP Networking Conference (IFIP Networking)

Adding Forward Erasure Correction to QUIC

ECN with QUIC: Challenges in the Wild

Proceedings of the 2023 ACM on Internet Measurement Conference


Official git repository for Biopython (originally converted from CVS)

The Indian cobra reference genome and transcriptome enables comprehensive identification of venom toxins

A deep learning approach to programmable RNA switches

The evolution of a counter-defense mechanism in a virus constrains its host range

Knowledge-enhanced biomedical named entity recognition and normalization: application to proteins and genes

Amplification of overlapping DNA amplicons in a single-tube multiplex PCR for targeted next-generation sequencing of BRCA1 and BRCA2

An integrated pipeline for mammalian genetic screening

The Big Effects of Short-term Efforts: Mentorship and Code Integration in Open Source Scientific Software

Eukaryotic initiation factor EIF-3.G augments mRNA translation efficiency to regulate neuronal activity

AX Semantics’ Submission to the CoNLL–SIGMORPHON 2018 Shared Task

Revealing data leakage in protein interaction benchmarks


Stable Diffusion web UI

Navigating Text-To-Image Customization: From LyCORIS Fine-Tuning to Model Evaluation

4M: Massively Multimodal Masked Modeling

PromptPaint: Steering Text-to-Image Generation Through Paint Medium-like Interactions

Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology

Using Human Feedback to Fine-tune Diffusion Models without Any Reward Model

LD-ZNet: A Latent Diffusion Approach for Text-Based Image Segmentation

The Infinite Index: Information Retrieval on Generative Text-To-Image Models

An HCI-Centric Survey and Taxonomy of Human-Generative-AI Interactions

New Job, New Gender? Measuring the Social Bias in Image Generation Models

Fake or JPEG? Revealing Common Biases in Generated Image Detection
  Datasets

Manipulating Embeddings of Stable Diffusion Prompts


E-mails, subdomains and names Harvester - OSINT

A survey exploring open source Intelligence for smarter password cracking

Forensic Science International: Digital Investigation

Survey and Taxonomy of Adversarial Reconnaissance Techniques

Investigating the Ecosystem of Offensive Information Security Tools


GeoTrellis is a geographic data processing engine for high performance applications.

A Survey on Spatio-temporal Data Analytics Systems

High resolution, annual maps of the characteristics of smallholder-dominated croplands at national scales

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


LLM training code for Databricks foundation models

WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct

Efficient Large Language Models: A Survey

SlimPajama-DC: Understanding Data Combinations for LLM Training

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

Zero-Resource Hallucination Prevention for Large Language Models

DsDm: Model-Aware Dataset Selection with Datamodels

RoSA: Accurate Parameter-Efficient Fine-Tuning via Robust Adaptation

DataComp-LM: In search of the next generation of training sets for
  language models

PhoGPT: Generative Pre-training for Vietnamese

Tokenization Is More Than Compression


Hazelcast is a unified real-time data platform combining stream processing with a fast data store, allowing customers to act instantly on data-in-motion for real-time insights.

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

Hazelcast Jet: Low-latency Stream Processing at the 99.99th Percentile

ESPBench: The Enterprise Stream Processing Benchmark

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

FIXME: synchronize with database! An empirical study of data access self-admitted technical debt

An Elastic Middleware Platform for Concurrent and Distributed Cloud and MapReduce Simulations

On the Distribution of "Simple Stupid Bugs" in Unit Test Files: An Exploratory Study


The code coverage tool for Python

Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models

The Impact of Pathway Database Choice on Statistical Enrichment Analysis and Predictive Modeling

Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT

Fuzzing Automatic Differentiation in Deep-Learning Libraries

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models

Integration of Structured Biological Data Sources using Biological Expression Language

Modular software for real-time quantum control systems

AmPyfier: Test amplification in Python

Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation


OpenEMS - Open Source Energy Management System

Optimized Charging of PV-Batteries for Households Using Real-Time Pricing Scheme: A Model and Heuristics-Based Implementation

A Heuristics-Based Policy to Reduce the Curtailment of Solar-Power Generation Empowered by Energy-Storage Systems


Datasets, Transforms and Models specific to Computer Vision

Deep Residual Learning for Image Recognition

ImageNet classification with deep convolutional neural networks

Very Deep Convolutional Networks for Large-Scale Image Recognition

Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks

Going Deeper with Convolutions

Densely Connected Convolutional Networks

SSD: Single Shot MultiBox Detector

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

Rethinking the Inception Architecture for Computer Vision

Focal Loss for Dense Object Detection


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

Git4Voc: Git-based Versioning for Collaborative Vocabulary Development

Croissant: A Metadata Format for ML-Ready Datasets

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


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)


A library for transfer learning by reusing parts of TensorFlow models.

HuggingFace's Transformers: State-of-the-art Natural Language Processing

Data and Representation for Turkish Natural Language Inference

Deep learning-based, computer-aided classifier developed with dermoscopic images shows comparable performance to 164 dermatologists in cutaneous disease diagnosis in the Chinese population

Towards ML Engineering: A Brief History Of TensorFlow Extended (TFX)

Learning Representations for Axis-Aligned Decision Forests through Input Perturbation

Automated Detection of Cervical Carotid Artery Calcifications in Cone Beam Computed Tomographic Images Using Deep Convolutional Neural Networks

Use of Machine Translation to Obtain Labeled Datasets for Resource-Constrained Languages.


A fast image processing library with low memory needs.

Microscopy-BIDS: An Extension to the Brain Imaging Data Structure for Microscopy Data

H2G-Net: A multi-resolution refinement approach for segmentation of breast cancer region in gigapixel histopathological images

ACROBAT -- a multi-stain breast cancer histological whole-slide-image data set from routine diagnostics for computational pathology

Hybrid guiding: A multi-resolution refinement approach for semantic segmentation of gigapixel histopathological images

How Far Have We Gone in Stripped Binary Code Understanding Using Large
  Language Models


Download market data from Yahoo! Finance's API

The CoRisk-Index: A Data-Mining Approach to Identify Industry-Specific Risk Assessments Related to COVID-19 in Real-Time

Neural Likelihoods via Cumulative Distribution Functions

Collective dynamics of stock market efficiency

Adversarial Attacks on Probabilistic Autoregressive Forecasting Models

Making sense of complex systems through resolution, relevance, and mapping entropy.

Applications of Markov Decision Process Model and Deep Learning in Quantitative Portfolio Management during the COVID-19 Pandemic

A comparative study of the MACD-base trading strategies: evidence from the US stock market


Mirror of LALSuite, please use official GitLab repository.

Black hole spectroscopy in the next decade

Gravitational-wave Merger Forecasting: Scenarios for the Early Detection and Localization of Compact-binary Mergers with Ground-based Observatories

Improved deep learning techniques in gravitational-wave data analysis

An architecture for efficient gravitational wave parameter estimation with multimodal linear surrogate models

Accuracy of source localization for eccentric inspiraling binary mergers using a ground-based detector network

A Note on QR-Based Model Reduction: Algorithm, Software, and Gravitational Wave Applications

Sub-atomic constraints on the Kerr geometry of GW150914


A modern, portable, easy to use crypto library.

Constant-Time Foundations for the New Spectre Era

CT-wasm: type-driven secure cryptography for the web ecosystem

A Guideline on Pseudorandom Number Generation (PRNG) in the IoT

Password-authenticated searchable encryption

International Journal of Information Security

Util::Lookup: Exploiting key decoding in cryptographic libraries

A Tutorial on the Interoperability of Self-sovereign Identities

Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure

Improving type information inferred by decompilers with supervised machine learning

Binary Diffing as a Network Alignment Problem via Belief Propagation

International Conference on Automated Software Engineering

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time


DuckDB is an analytical in-process SQL database management system

Making RDBMSs Efficient on Graph Workloads Through Predefined Joins

SRAI: Towards Standardization of Geospatial AI

Video Pre-trained Transformer: A Multimodal Mixture of Pre-trained Experts


the package manager for JavaScript

PyCG: Practical Call Graph Generation in Python

Demystifying the Vulnerability Propagation and Its Evolution via Dependency Trees in the NPM Ecosystem

Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js

A Review of Attacks Against Language-Based Package Managers


iperf3:  A TCP, UDP, and SCTP network bandwidth measurement tool

A First Look at Commercial 5G Performance on Smartphones

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

Kollaps: Decentralized and Dynamic Topology Emulation

On the benefits of the remote GPU virtualization mechanism: The rCUDA case

Concurrency and Computation: Practice and Experience

Quality of Service Provision in Fog Computing: Network-Aware Scheduling of Containers

Beyond socket options: making the Linux TCP stack truly extensible

How Fast Can We Insert? An Empirical Performance Evaluation of Apache Kafka

DRMaestro: orchestrating disaggregated resources on virtualized data-centers

Journal of Cloud Computing Advances Systems and Applications

BBRv2+: Towards balancing aggressiveness and fairness with delay-based bandwidth probing

Multi-Tenant Virtual GPUs for Optimising Performance of a Financial Risk Application

ThorFI: A Novel Approach for Network Fault Injection as a Service


Brave browser for Android, iOS, Linux, macOS, Windows.

Improving Web Content Blocking With Event-Loop-Turn Granularity JavaScript Signatures

Actions speak louder than words: Semi-supervised learning for browser fingerprinting detection

Challenges and approaches to privacy preserving post-click conversion prediction

Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites

There's No Trick, Its Just a Simple Trick: A Web-Compat and Privacy Improving Approach to Third-party Web Storage


Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Attention Is All You Need

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

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

RoBERTa: A Robustly Optimized BERT Pretraining Approach

Swin Transformer: Hierarchical Vision Transformer using Shifted Windows

Language Models are Unsupervised Multitask Learners

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

End-to-End Object Detection with Transformers

HuggingFace's Transformers: State-of-the-art Natural Language Processing

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


A set of documented functions for simulating the performance of photovoltaic energy systems.

pvlib iotools—Open-source Python functions for seamless access to solar irradiance data

Influence of Solar Position Calculation Methods Applied to Horizontal Single-Axis Solar Trackers on Energy Generation

Beginner's Guide to Visual Analysis of Perovskite and Organic Solar Cell Current Density–Voltage Characteristics

PROCSIM: An Open-Source Simulator to Generate Energy Community Power Demand and Generation Scenarios


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)

Exploring Aspects of Polyglot High-Performance Virtual Machine GraalVM

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

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


An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

Chipyard: Integrated Design, Simulation, and Implementation Framework for Custom SoCs

Gemmini: Enabling Systematic Deep-Learning Architecture Evaluation via Full-Stack Integration

CHIPKIT: An Agile, Reusable Open-Source Framework for Rapid Test Chip Development


CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities

Report on the Differential Testing of Static Analyzers

Detecting Uninitialized Variables in C++ with the Clang Static Analyzer

LLM-Assisted Static Analysis for Detecting Security Vulnerabilities


Netty project - an event-driven asynchronous network application framework

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

The significance of bug report elements

Root cause prediction based on bug reports

International Symposium on Software Reliability Engineering

Do code refactorings influence the merge effort?

Accelerating covering array generation by combinatorial join for industry scale software testing


TNN: developed by Tencent Youtu Lab and Guangying Lab, a uniform deep learning inference framework for mobile、desktop and server. TNN is distinguished by several outstanding features, including its cross-platform capability, high performance, model compression and code pruning. Based on ncnn and Rapidnet, TNN further strengthens the support and performance optimization for mobile devices, and also draws on the advantages of good extensibility and high performance from existed open source efforts. TNN has been deployed in multiple Apps from Tencent, such as Mobile QQ, Weishi, Pitu, etc. Contributions are welcome to work in collaborative with us and make TNN a better framework.

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

Computation-efficient Deep Learning for Computer Vision: A Survey

Challenges and Obstacles Towards Deploying Deep Learning Models on Mobile Devices

UGC: Unified GAN Compression for Efficient Image-to-Image Translation

Automation Slicing and Testing for in-App Deep Learning Models


Refine high-quality datasets and visual AI models

ZeroWaste Dataset: Towards Deformable Object Segmentation in Cluttered Scenes

CPPE-5: Medical Personal Protective Equipment Dataset

E-Scooter Rider Detection and Classification in Dense Urban Environments

The 5th Recognizing Families in the Wild Data Challenge: Predicting Kinship from Faces

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

SniffyArt: The Dataset of Smelling Persons

Proceedings of the 5th Workshop on analySis, Understanding and proMotion of heritAge Contents

LSA-T: The first continuous Argentinian Sign Language dataset for Sign Language Translation

Task Bias in Vision-Language Models

Adversarial Detection: Attacking Object Detection in Real Time

Closed-Chain Inverse Dynamics for the Biomechanical Analysis of Manual Material Handling Tasks through a Deep Learning Assisted Wearable Sensor Network


An experimental library for Cubical Agda

Cubical Agda: A dependently typed programming language with univalence and higher inductive types

Proceedings of the ACM on Programming Languages

Internalizing Representation Independence with Univalence

Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages

Path Spaces of Higher Inductive Types in Homotopy Type Theory

Three equivalent ordinal notation systems in cubical Agda

Formalizing π4(S3) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda

Set-Theoretic and Type-Theoretic Ordinals Coincide

Free Commutative Monoids in Homotopy Type Theory

Naive cubical type theory

Computing Cohomology Rings in Cubical Agda


FinRL:  Financial Reinforcement Learning.

Practical Deep Reinforcement Learning Approach for Stock Trading

FinRL: A Deep Reinforcement Learning Library for Automated Stock Trading in Quantitative Finance

NeoRL: A Near Real-World Benchmark for Offline Reinforcement Learning

FinRL-Meta: Market Environments and Benchmarks for Data-Driven Financial Reinforcement Learning

DeepScalper: A Risk-Aware Reinforcement Learning Framework to Capture Fleeting Intraday Trading Opportunities

Reinforcement Learning and Bandits for Speech and Language Processing: Tutorial, Review and Outlook

Dynamic Datasets and Market Environments for Financial Reinforcement Learning


NL-Augmenter  →  A Collaborative Repository of Natural Language Transformations

Holistic Evaluation of Language Models

Multi-lingual Evaluation of Code Generation Models

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

ReCode: Robustness Evaluation of Code Generation Models

Automatic Construction of Evaluation Suites for Natural Language Generation Datasets

Bias Mitigation in Machine Translation Quality Estimation

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

AugCSE: Contrastive Sentence Embedding with Diverse Augmentations

Multimodal Robustness for Neural Machine Translation

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing

Causally Estimating the Sensitivity of Neural NLP Models to Spurious Features


A Python library for quantum programming using Quil.

Open Quantum Assembly Language

Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers

Unsupervised Machine Learning on a Hybrid Quantum Computer

Overview and Comparison of Gate Level Quantum Software Platforms

Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights

Challenges and Opportunities of Near-Term Quantum Computing Systems

OpenQASM 3: A broader and deeper quantum assembly language

The Born supremacy: quantum advantage and training of an Ising Born machine

Open source software in quantum computing

Qiskit Backend Specifications for OpenQASM and OpenPulse Experiments


:zap: A Fast, Extensible Progress Bar for Python and CLI

tqdm: A Fast, Extensible Progress Meter for Python and CLI

FLEX: Unifying Evaluation for Few-Shot NLP

Understanding Rare Spurious Correlations in Neural Networks

What You See is What You Get: Principled Deep Learning via Distributional Generalization

A Unified Framework for U-Net Design and Analysis

MR-MOOSE: an advanced SED-fitting tool for heterogeneous multi-wavelength data sets

Monthly Notices of the Royal Astronomical Society

Unsupervised Evaluation of Code LLMs with Round-Trip Correctness

torchgfn: A PyTorch GFlowNet library

Purple: A Computational Workflow for Strategic Selection of Peptides for Viral Diagnostics Using MS-Based Targeted Proteomics

Ultra-fast Model Emulation with PRISM: Analyzing the Meraxes Galaxy Formation Model

The Astrophysical Journal Supplement Series


Architected for speed. Automated for easy. Monitoring and troubleshooting, transformed!

How do I update my model? On the resilience of Predictive Process Monitoring models to change

Intelligent Performance Prediction: The Use Case of a Hadoop Cluster

Continuous Deployment of Trustworthy Smart IoT Systems

Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking

An Empirical Study On Correlation between Readme Content and Project Popularity

An Incremental Snapshot System using Smart Backup for Persistent Disks in Cloud


Morphological diversity of single neurons in molecularly defined cell types

Cross-modal coherent registration of whole mouse brains

M-AMST: an automatic 3D neuron tracing method based on mean shift and adapted minimum spanning tree

mBrainAligner-Web: a web server for cross-modal coherent registration of whole mouse brains

SmartScope2: Simultaneous Imaging and Reconstruction of Neuronal Morphology

Axonal and Dendritic Morphology of Excitatory Neurons in Layer 2/3 Mouse Barrel Cortex Imaged Through Whole-Brain Two-Photon Tomography and Registered to a Digital Brain Atlas

Full-Spectrum Neuronal Diversity and Stereotypy through Whole Brain Morphometry

ZooPathWeb: a comprehensive web resource for zoonotic pathogens


Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Light Clients for Lazy Blockchains

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation

StableSims: Optimizing MakerDAO Liquidations 2.0 Incentives via Agent-Based Modeling

Evaluation of ChatGPT's Smart Contract Auditing Capabilities Based on
  Chain of Thought

Private, Anonymous, Collateralizable Commitments vs. MEV


CoreNLP: A Java suite of core NLP tools for tokenization, sentence segmentation, NER, parsing, coreference, sentiment analysis, etc.

The Stanford CoreNLP Natural Language Processing Toolkit

PROCEEDINGS OF 52ND ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS: SYSTEM DEMONSTRATIONS

Recursive Deep Models for Semantic Compositionality Over a Sentiment Treebank

Empirical Methods in Natural Language Processing

Generalisation in Named Entity Recognition: A Quantitative Analysis

Fine-grained Event Categorization with Heterogeneous Graph Convolutional Networks

Cross-lingual Pseudo-Projected Expectation Regularization for Weakly Supervised Learning

Time Expression Analysis and Recognition Using Syntactic Token Types and General Heuristic Rules

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

Multitask Parsing Across Semantic Representations

Neural Text Generation: A Practical Guide

Factual Consistency Evaluation for Text Summarization via Counterfactual Estimation

Author-Based Analysis of Conference versus Journal Publication in Computer Science

Journal of the Association for Information Science and Technology


OCI Runtime Specification

Sarus: Highly Scalable Docker Containers for HPC Systems

On-demand virtual research environments using microservices

ExploitWP2Docker: a Platform for Automating the Generation of Vulnerable WordPress Environments for Cyber Ranges

A Qualitative and Quantitative Analysis of Container Engines


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

Detecting and Counting Oysters

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

Journal of Intelligent and Robotic Systems

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

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


The H.E.S.S. Galactic plane survey

naima: a Python package for inference of relativistic particle energy distributions from observed nonthermal spectra

Gammapy - A prototype for the CTA science tools

How Do Software Developers Use GitHub Actions to Automate Their Workflows?

Spatial likelihood analysis for MAGIC telescope data

Gammapy: A Python package for gamma-ray astronomy

GitHub Actions: The Impact on the Pull Request Process

Physics Performance of the Large Size Telescope prototype of the Cherenkov Telescope Array

The Future of Gamma-Ray Experiments in the MeV-EeV Range

The γ-ray Milky Way above 10 GeV: Distinguishing Sources from Diffuse Emission


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

Determining cross sections from transport coefficients using deep neural networks

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

medRxiv : the preprint server for health sciences

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

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

Parallelizing Explicit and Implicit Extrapolation Methods for Ordinary Differential Equations


RFCs for changes to Rust

Leveraging Rust Types for Modular Specification and Verification

Putting the Semantics into Semantic Versioning

Rusty Variation: Deadlock-free Sessions with Failure in Rust

The Usability of Ownership

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications

Dependent Type Systems as Macros

An Empirical Study of Yanked Releases in the Rust Package Registry

IEEE Transactions on Software Engineering

Rust Distilled: An Expressive Tower of Languages

Borrowing Safe Pointers from Rust in SPARK

Unboxed Data Constructors: Or, How cpp Decides a Halting Problem


CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Software Verification with PDR: An Implementation of the State of the Art

JavaSMT 3: Interacting with SMT Solvers in Java

CoVEGI: Cooperative Verification via Externally Generated Invariants

PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2021

Cooperative Verification via Collective Invariant Generation

Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)


Resource scheduling and cluster management for AI

Analysis of Large-Scale Multi-Tenant GPU Clusters for DNN Training Workloads

BenchENAS: A Benchmarking Platform for Evolutionary Neural Architecture Search

NeuronBlocks: Building Your NLP DNN Models Like Playing Lego

Blox: A Modular Toolkit for Deep Learning Schedulers


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


Exporter for machine metrics

Cloud resource orchestration in the multi-cloud landscape: a systematic review of existing frameworks

Journal of Cloud Computing Advances Systems and Applications

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

TEEMon: A continuous performance monitoring framework for TEEs

A model-based infrastructure for the specification and runtime execution of self-adaptive IoT architectures

FortisEDoS: A Deep Transfer Learning-empowered Economical Denial of Sustainability Detection Framework for Cloud-Native Network Slicing

IEEE Transactions on Dependable and Secure Computing

A model-based framework for IoT systems in wastewater treatment plants


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

InstructPix2Pix: Learning to Follow Image Editing Instructions

Scalable Diffusion Models with Transformers

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

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

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

Fast Sampling of Diffusion Models with Exponential Integrator

Inversion-based Style Transfer with Diffusion Models

Text-to-3D using Gaussian Splatting

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

Poisoning Web-Scale Training Datasets is Practical


A fast and secure runtime for WebAssembly

Automatically eliminating speculative leaks from cryptographic code with blade

Symposium on Principles of Programming Languages

AccTEE: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting

MIDDLEWARE'19: PROCEEDINGS OF THE 2019 MIDDLEWARE'19: 20TH INTERNATIONAL MIDDLEWARE CONFERENCE

Twine: An Embedded Trusted Runtime for WebAssembly

International Conference on Data Engineering

TEMPOS: QoS Management Middleware for Edge Cloud Computing FaaS in the Internet of Things

Isolation Without Taxation: Near Zero Cost Transitions for SFI

A fast in-place interpreter for WebAssembly

Characterizing and Detecting WebAssembly Runtime Bugs

Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly

Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode

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


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

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

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

Dissecting OCT4 defines the role of nucleosome binding in pluripotency

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

Journal of epidemiology and community health

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

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

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

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

m6A reader Pho92 is recruited co-transcriptionally and couples translation efficacy to mRNA decay to promote meiotic fitness in yeast

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


Core ML tools contain supporting tools for Core ML model conversion, editing, and validation.

An Empirical Study on Deployment Faults of Deep Learning Based Mobile Applications

Adaptive Frequency Filters As Efficient Global Token Mixers

EdgeSAM: Prompt-In-the-Loop Distillation for On-Device Deployment of SAM

Towards Using Police Officers’ Business Smartphones for Contactless Fingerprint Acquisition and Enabling Fingerprint Comparison against Contact-Based Datasets

An Empirical Study of Challenges in Converting Deep Learning Models

Efficient Modulation for Vision Networks

Autonomous and Real-time Rock Image Classification using Convolutional Neural Networks

Prediction of Kinetic Product Ratios: Investigation of a Dynamically Controlled Case

Toward Tiny and High-quality Facial Makeup with Data Amplify Learning


The Sphinx documentation generator

CoSMoMVPA: Multi-Modal Multivariate Pattern Analysis of Neuroimaging Data in Matlab/GNU Octave

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

APERO: A PipelinE to Reduce Observations -- Demonstration with SPIRou

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

bioRxiv : the preprint server for biology

Integration of Structured Biological Data Sources using Biological Expression Language


MindSpore is a new open source deep learning training/inference framework that could be used for mobile, edge and cloud scenarios.

Pre-Trained Models: Past, Present and Future

Fourier Contour Embedding for Arbitrary-Shaped Text Detection

TensorOpt: Exploring the Tradeoffs in Distributed DNN Training With Auto-Parallelism

On Efficient Training of Large-Scale Deep Learning Models: A Literature Review

Enabling Resource-Efficient AIoT System With Cross-Level Optimization: A Survey

Landing AI on Networks: An Equipment Vendor Viewpoint on Autonomous Driving Networks

IEEE Transactions on Network and Service Management

Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization

Adapting for the COVID-19 pandemic in Ecuador, a characterization of hospital strategies and patients

MLink: Linking Black-Box Models from Multiple Domains for Collaborative Inference

Freeing hybrid distributed AI training configuration

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


Apache Tomcat

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

An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities

ACM Transactions on Software Engineering and Methodology

Guiding Greybox Fuzzing with Mutation Testing

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

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

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

Using Distributed Representation of Code for Bug Detection

Quick remedy commits and their impact on mining software repositories

Automated Self-Admitted Technical Debt Tracking at Commit-Level: A Language-independent Approach


Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.

A First Look at Ad Blocking Apps on Google Play

WitheredLeaf: Finding Entity-Inconsistency Bugs with LLMs


The repository for high quality TypeScript type definitions.

OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints

Detecting locations in JavaScript programs affected by breaking library changes

Proceedings of the ACM on Programming Languages

Do Machine Learning Models Produce TypeScript Types That Type Check?

Generation of TypeScript Declaration Files from JavaScript Code

Learning Type Inference for Enhanced Dataflow Analysis


Mirror of Apache Kafka

AUGER: Automatically Generating Review Comments with Pre-training Models

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

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

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

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

IoT Cloud Computing Middleware for Crowd Monitoring and Evacuation

International Journal of Circuits, Systems and Signal Processing

Empirical Analysis of Software Vulnerabilities Causing Timing Side Channels


An open-source, low-code machine learning library in Python

Classification and Explanation for Intrusion Detection System Based on Ensemble Trees and SHAP Method

How the Outliers Influence the Quality of Clustering?

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

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

Detection of Intermittent Claudication from Smartphone Inertial Data in Community Walks Using Machine Learning Classifiers

Harnessing Large Language Model to collect and analyze Metal-organic
  framework property dataset


Tool for producing high quality forecasts for time series data that has multiple seasonality with linear or non-linear growth.

Transfer Graph Neural Networks for Pandemic Forecasting

Analysis of the COVID-19 pandemic by SIR model and machine learning technics for forecasting

ONLINE FORECASTING OF COVID-19 CASES IN NIGERIA USING LIMITED DATA

A joint model for IT operation series prediction and anomaly detection

Comparative prediction of confirmed cases with COVID-19 pandemic by machine learning, deterministic and stochastic SIR models

Failure diagnosis and trend‐based performance losses routines for the detection and classification of incidents in large‐scale photovoltaic systems

Progress in Photovoltaics: Research and Applications

Understand Waiting Time in Transaction Fee Mechanism: An Interdisciplinary Perspective

Visualization and machine learning for forecasting of COVID-19 in Senegal

Forecasting the Consumer Price Index (CPI) of Ecuador: A Comparative Study of Predictive Models

International Journal on Advanced Science, Engineering and Information Technology

Impact studies of nationwide measures COVID-19 anti-pandemic: compartmental model and machine learning


An Industrial Grade Federated Learning Framework

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

Federated Learning on Non-IID Data: A Survey

SecureBoost: A Lossless Federated Learning Framework

A Secure Federated Transfer Learning Framework

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

Soft Computing - A Fusion of Foundations, Methodologies and Applications

IBM Federated Learning: an Enterprise Framework White Paper V0.1

Secure and Efficient Federated Transfer Learning

Federated Learning on Clinical Benchmark Data: Performance Assessment

Automatic Sleep Staging: Recent Development, Challenges, and Future Directions

Two-Phase Multi-Party Computation Enabled Privacy-Preserving Federated Learning


Ethereum Proof-of-Stake Consensus Specifications

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

Survey: Sharding in Blockchains

Blockchain for Decentralized Multi-Drone to Combat COVID-19

Green-PoW: An Energy-Efficient Blockchain Proof-of-Work Consensus Algorithm

Three Attacks on Proof-of-Stake Ethereum

Sidechains and interoperability

Blockchain-Powered Collaboration in Heterogeneous Swarms of Robots

A Decade of Blockchain: Review of the Current Status, Challenges, and Future Directions

The Availability-Accountability Dilemma and its Resolution via Accountability Gadgets

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


Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

Robust Immersive Telepresence and Mobile Telemanipulation: NimbRo wins ANA Avatar XPRIZE Finals

Interactive All-Hex Meshing via Cuboid Decomposition

NimbRo Wins ANA Avatar XPRIZE Immersive Telepresence Competition: Human-Centric Evaluation and Lessons Learned

mc-mujoco: Simulating Articulated Robots with FSM Controllers in MuJoCo

SplitStreams: A Visual Metaphor for Evolving Hierarchies

Implementing a digital infrastructure for the lab using a central laboratory server and the SiLA2 communication standard

Running on Raygun

Improving graphics programming with shader tests

Non-homogeneous denoising for virtual reality in real-time path tracing rendering

Instant Feedback Rapid Prototyping for GPU-Accelerated Computation, Manipulation, and Visualization of Multidimensional Data

International journal of biomedical imaging


TF-Agents: A reliable, scalable and easy to use TensorFlow library for Contextual Bandits and Reinforcement Learning.

Deep Reinforcement Learning for Autonomous Driving: A Survey

Offline Reinforcement Learning with Implicit Q-Learning

Dynamics-Aware Unsupervised Discovery of Skills

Acme: A Research Framework for Distributed Reinforcement Learning

Real-time quantum error correction beyond break-even

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

RecSim: A Configurable Simulation Platform for Recommender Systems

Maximum Entropy RL (Provably) Solves Some Robust RL Problems

Data Efficient Reinforcement Learning for Legged Robots

ColO-RAN: Developing Machine Learning-Based xApps for Open RAN Closed-Loop Control on Programmable Experimental Platforms


The math library of Lean 4

Process-Driven Autoformalization in Lean 4

Guided Equality Saturation

Proceedings of the ACM on programming languages

Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System

Multiple-inheritance hazards in dependently-typed algebraic hierarchies

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts


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


WebAssembly specification, reference interpreter, and test suite.

Wasabi: A Framework for Dynamically Analyzing WebAssembly

Potential of WebAssembly for Embedded Systems

Mediterranean Conference on Embedded Computing

Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly


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

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


An open source ML system for the end-to-end data science lifecycle

On Optimizing Operator Fusion Plans for Large-Scale Machine Learning in SystemML

TEP-GNN: Accurate Execution Time Prediction of Functional Tests using Graph Neural Networks

Labyrinth: Compiling Imperative Control Flow to Parallel Dataflows

HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries

Homomorphic Parameter Compression for Distributed Deep Learning Training


A C++ library for interacting with JSON.

Parsing gigabytes of JSON per second

CppTransport: a platform to automate calculation of inflationary correlation functions

Open Chemistry: RESTful Web APIs, JSON, NWChem and the Modern Web Application

HAEC-SIM: A Simulation Framework for Highly Adaptive Energy-Efficient Computing Platforms

Simulation Tools and Techniques for Communications, Networks and System

Xu: An Automated Query Expansion and Optimization Tool

Computer Software and Applications Conference

Optimising PICCANTE - an Open Source Particle-in-Cell Code for Advanced Simulations on Tier-0 Systems

MAUS: the MICE analysis user software

SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode

Implementation of IMS/NGN Transport Stratum Based on the SDN Concept


Command-line program to download videos from YouTube.com and other video sites

VISION: a video and image dataset for source identification

V3C - a Research Video Collection

DALI: a large Dataset of synchronized Audio, LyrIcs and notes, automatically created using teacher-student machine learning paradigm

D-vlog: Multimodal Vlog Dataset for Depression Detection

THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE

Deepfake Videos in the Wild: Analysis and Detection

Sound of guns: digital forensics of gun audio samples meets artificial intelligence

Contrastive Learning with Positive-Negative Frame Mask for Music Representation

Understanding video streaming algorithms in the wild

Families in Wild Multimedia: A Multimodal Database for Recognizing Kinship

Comparing Learning Methodologies for Self-Supervised Audio-Visual Representation Learning


Solidity, the Smart Contract Programming Language

Beh-Raft-Chain: A Behavior-Based Fast Blockchain Protocol for Complex Networks

Metaverse for Social Good: A University Campus Prototype

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

Decentralized Applications: The Blockchain-Empowered Software System

MadMax: surviving out-of-gas conditions in Ethereum smart contracts

Vandal: A Scalable Security Analysis Framework for Smart Contracts

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

Workshop in Information Security Theory and Practice

Defining Smart Contract Defects on Ethereum

A Concurrent Perspective on Smart Contracts


Official Java client library for kubernetes

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

Synthesizing replacement classes


Small and highly portable detection tests based on MITRE's ATT&CK.

AttacKG: Constructing Technique Knowledge Graph from Cyber Threat Intelligence Reports

PicoDomain: A Compact High-Fidelity Cybersecurity Dataset

Anomaly Detection of Command Shell Sessions based on DistilBERT: Unsupervised and Supervised Approaches

RACONTEUR: A Knowledgeable, Insightful, and Portable LLM-Powered Shell Command Explainer

ProblemChild: Discovering Anomalous Patterns based on Parent-Child Process Relationships


JDK main-line development https://openjdk.org/projects/jdk

Adaptive Shivers Sort: An Alternative Sorting Algorithm

Tell-Tale Tail Latencies: Pitfalls and Perils in Database Benchmarking

Profiling and Optimizing Java Streams

SBOM.EXE: Countering Dynamic Code Injection based on Software Bill of
  Materials in Java

Pattern-Based Peephole Optimizations with Java JIT Tests

Galloping in fast-growth natural merge sorts

Java JIT Testing with Template Extraction

Sound Atomicity Inference for Data-Centric Synchronization

Verifying C++ Dynamic Binding


:atom: The hackable text editor

On the impact of security vulnerabilities in the npm and RubyGems dependency networks

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

How Successful Are Open Source Contributions From Countries With Different Levels of Human Development?

An Empirical Study of Flaky Tests in JavaScript

Identifying Emergent Leadership in OSS Projects Based on Communication Styles

GIRT-Model: Automated Generation of Issue Report Templates


Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

A comprehensive study of bloated dependencies in the Maven ecosystem

A Critical Comparison on Six Static Analysis Tools: Detection, Agreement, and Precision

A preliminary study on the adequacy of static analysis warnings with respect to code smell prediction

Mutation testing in the wild: findings from GitHub

Zenodo (CERN European Organization for Nuclear Research)

Alleviating Merge Conflicts with Fine-grained Visual Awareness

State‐of‐the‐practice in quality assurance in Java‐based open source software development

Understanding and Detecting Annotation-Induced Faults of Static
  Analyzers

Long Method and Long Parameter List Code Smells Detection using Functional and Semantic Characteristics

International Journal of Recent Technology and Engineering (IJRTE)

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


Extremely Fast Compression algorithm

Sprintz: Time Series Compression for the Internet of Things

Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies

Is it time to replace gzip? Comparison of modern compressors for molecular sequence databases

A practical approach to storage and retrieval of high-frequency physiological signals

JUNGFRAU detector for brighter x-ray sources: Solutions for IT and data science challenges in macromolecular crystallography

Hadoop Perfect File: A fast and memory-efficient metadata access archive file to face small files problem in HDFS

Journal of Parallel and Distributed Computing

EIGER2 hybrid-photon-counting X-ray detectors for advanced synchrotron diffraction experiments

Fast OLAP Query Execution in Main Memory on Large Data in a Cluster

R2F: A Remote Retraining Framework for AIoT Processors With Computing Errors

Validating UTF-8 In Less Than One Instruction Per Byte

MRCZ – A file format for cryo-TEM data with fast compression