Add-on agent to generate and expose cluster-level metrics.

Managing Feature Compatibility in Kubernetes: Vendor Comparison and Analysis

PBScaler: A Bottleneck-aware Autoscaling Framework for Microservice-based Applications

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


This repository contains implementations and illustrative code to accompany DeepMind publications

Bootstrap your own latent: A new approach to self-supervised Learning

Learning to Simulate Complex Physics with Graph Networks

Perceiver: General Perception with Iterative Attention

Skillful Precipitation Nowcasting using Deep Generative Models of Radar

Learning Mesh-Based Simulation with Graph Networks

Perceiver IO: A General Architecture for Structured Inputs & Outputs

High-Performance Large-Scale Image Recognition Without Normalization

Multi-Object Representation Learning with Iterative Variational Inference

Self-Supervised MultiModal Versatile Networks

Are Labels Required for Improving Adversarial Robustness?


Configurable Pipeline for the Analysis of Connectomes

A cortical surface-based geodesic distance package for Python

U-net model for brain extraction: Trained on humans for transfer to non-human primates

Moving Beyond Processing and Analysis-Related Variation in Neuroscience

Relationships between Diffusion Tensor Imaging and Resting State Functional Connectivity in Patients with Schizophrenia and Healthy Controls: A Preliminary Study


Zuul is a gateway service that provides dynamic routing, monitoring, resiliency, security, and more.

Circuit Breakers, Discovery, and API Gateways in Microservices

A model-driven approach for continuous performance engineering in microservice-based systems

One Size Does Not Fit All: Quantifying and Exposing the Accuracy-Latency Trade-Off in Machine Learning Cloud Service APIs via Tolerance Tiers

International Symposium on Performance Analysis of Systems and Software

Microservice Architecture Practices and Experience: a Focused Look on Docker Configuration Files

Convert Monolithic Application to Microservice Application


Next generation of ADIOS developed in the Exascale Computing Program

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

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

Long Distance Geographically Distributed InfiniBand Based Computing

Supercomputing Frontiers and Innovations


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

Habitat: A Platform for Embodied AI Research

On Evaluation of Embodied Navigation Agents

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

Habitat 2.0: Training Home Assistants to Rearrange their Habitat

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

ObjectNav Revisited: On Evaluation of Embodied Agents Navigating to Objects

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

International Conference on Robotics and Automation

A Survey on Human-aware Robot Navigation

Habitat-Matterport 3D Semantics Dataset

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


PyTorch tutorials.

Generalization and Robustness Implications in Object-Centric Learning

Stochastic In-Face Frank-Wolfe Methods for Non-Convex Optimization and Sparse Neural Network Training

On the notion of number in humans and machines

SOC-MartNet: A Martingale Neural Network for the Hamilton-Jacobi-Bellman
  Equation without Explicit inf H in Stochastic Optimal Controls


Trust & Safety tools for working together to fight digital harms.

A Dataset of Fact-Checked Images Shared on WhatsApp During the Brazilian and Indian Elections

Adversarial Detection Avoidance Attacks: Evaluating the robustness of perceptual hashing-based client-side scanning

A First Look at COVID-19 Messages on WhatsApp in Pakistan

Characterising User Content on a Multi-lingual Social Network

Hamming distributions of popular perceptual hashing techniques

PDQ & TMK + PDQF -- A Test Drive of Facebook's Perceptual Hashing Algorithms

Detecting Misinformation on WhatsApp without Breaking Encryption.

Analyzing Misinformation Claims During the 2022 Brazilian General Election on WhatsApp, Twitter, and Kwai

Leveraging Semantic Relationships to Prioritise Indicators of Compromise in Additive Manufacturing Systems

Exploiting and Defending Against the Approximate Linearity of Apple's NeuralHash


HydroShare is a collaborative website for better access to data and models in the hydrologic sciences.


Lingvo

GPipe: Efficient Training of Giant Neural Networks using Pipeline Parallelism

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

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

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

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

PolyLoss: A Polynomial Expansion Perspective of Classification Loss Functions

StarNet: Targeted Computation for Object Detection in Point Clouds

Improving 3D Object Detection through Progressive Population Based Augmentation

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

Learning an Uncertainty-Aware Object Detector for Autonomous Driving


RNA sequencing analysis pipeline using STAR, RSEM, HISAT2 or Salmon with gene/isoform counts and extensive quality control.

Longitudinal Multi-omics Analyses Identify Responses of Megakaryocytes, Erythroid Cells, and Plasmablasts as Hallmarks of Severe COVID-19

FMN reduces Amyloid-β toxicity in yeast by regulating redox status and cellular metabolism

Streamlining data-intensive biology with workflow systems

Lipid Nanoparticles Deliver the Therapeutic VEGFA mRNA In Vitro and In Vivo and Transform Extracellular Vesicles for Their Functional Extensions

The pollen virome of wild plants and its association with variation in floral traits and land use

Whole-genome Sequencing of Follicular Thyroid Carcinomas Reveal Recurrent Mutations in MicroRNA Processing Subunit DGCR8

The Journal of clinical endocrinology and metabolism

Distinctive exercise-induced inflammatory response and exerkine induction in skeletal muscle of people with type 2 diabetes

XPRESSyourself: Enhancing, standardizing, and automating ribosome profiling computational analyses yields improved insight into data

Adaptation of the emerging pathogenic yeast Candida auris to high caspofungin concentrations correlates with cell wall changes

The gut microbiota instructs the hepatic endothelial cell transcriptome


Main repository for QMCPACK, an open-source production level many-body ab initio Quantum Monte Carlo code for computing the electronic structure of atoms, molecules, and solids with full performance portable GPU support

QMCPACK: an open source ab initio quantum Monte Carlo package for the electronic structure of atoms, molecules and solids

Journal of physics. Condensed matter : an Institute of Physics journal

QMCPACK: Advances in the development, efficiency, and application of auxiliary field and real-space variational and diffusion quantum Monte Carlo.

Accelerating Auxiliary-Field Quantum Monte Carlo Simulations of Solids with Graphical Processing Units.

Journal of chemical theory and computation

Software engineering to sustain a high-performance computing scientific application: QMCPACK


GNU Radio – the Free and Open Software Radio Ecosystem

Broadband Digital Over-the-Air Computation for Wireless Federated Edge Learning

An Overview of the Drone Open-Source Ecosystem

A DSEL for High Throughput and Low Latency Software-Defined Radio on Multicore CPUs

WISCANet: A Rapid Development Platform for Beyond 5G and 6G Radio System Prototyping

Communications and High-Precision Positioning (CHP2): Hardware Architecture, Implementation, and Validation

Implementation and Performance Analysis of a Low Resolution OFDM System Prototype With Low Cost Hardware


Build context-aware reasoning applications

Visual Instruction Tuning

Visual ChatGPT: Talking, Drawing and Editing with Visual Foundation Models

The Rise and Potential of Large Language Model Based Agents: A Survey

MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework

Reasoning with Language Model Prompting: A Survey

MEGA: Multilingual Evaluation of Generative AI

Trustworthy LLMs: a Survey and Guideline for Evaluating Large Language Models' Alignment

AudioGPT: Understanding and Generating Speech, Music, Sound, and Talking Head

Survey on Factuality in Large Language Models: Knowledge, Retrieval and Domain-Specificity

ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings


bike sharing + python = pybikes


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

cvc5: A Versatile and Industrial-Strength SMT Solver

Tools and Algorithms for the Construction and Analysis of Systems

StringFuzz: A Fuzzer for String Solvers

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

Proceedings of the ACM on Programming Languages

Generative type-aware mutation for testing SMT solvers

JavaSMT 3: Interacting with SMT Solvers in Java

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

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

CVC4 at the SMT Competition 2018

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

DRAT-based Bit-Vector Proofs in CVC4


Open Source Computer Vision Library

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

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

Machine Learning Testing: Survey, Landscapes and Horizons

Phased LSTM: Accelerating Recurrent Network Training for Long or Event-based Sequences

Fast Face-swap Using Convolutional Neural Networks

On the "steerability" of generative adversarial networks

Stable Video Diffusion: Scaling Latent Video Diffusion Models to Large Datasets

Automatic classification of defective photovoltaic module cells in electroluminescence images

On Face Segmentation, Face Swapping, and Face Perception

Neural Code Comprehension: A Learnable Representation of Code Semantics


Official GitHub repository for netCDF-C libraries and utilities.

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

Journal of Advances in Modeling Earth Systems

The AlborEX dataset: sampling of sub-mesoscale features in the Alboran Sea

RGB image-based data analysis via discrete Morse theory and persistent homology


Pretrained models for TensorFlow.js

PromptChainer: Chaining Large Language Model Prompts through Visual Programming

Backbones-Review: Feature Extraction Networks for Deep Learning and Deep Reinforcement Learning Approaches

The "Shut the f**k up" Phenomenon: Characterizing Incivility in Open Source Code Review Discussions

Proceedings of the ACM on Human-Computer Interaction

The Effect of Moderation on Online Mental Health Conversations

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

Applied intelligence (Dordrecht, Netherlands)

Pose Estimation for Facilitating Movement Learning from Online Videos

Proceedings of the International Conference on Advanced Visual Interfaces

Let me join you! Real-time F-formation recognition by a socially aware robot

Nonintrusive Fine-Grained Home Care Monitoring: Characterizing Quality of In-Home Postural Changes Using Bone-Based Human Sensing

Clood CBR: Towards Microservices Oriented Case-Based Reasoning

Adaptive Accessible AR/VR Systems


A fast library for AutoML and tuning. Join our Discord: https://discord.gg/Cppx2vSPVP.

FLAML: A Fast and Lightweight AutoML Library

Frugal Optimization for Cost-related Hyperparameters

Cost-Effective Hyperparameter Optimization for Large Language Model Generation Inference

An Empirical Study on Hyperparameter Optimization for Fine-Tuning Pre-trained Language Models

ChaCha for Online AutoML

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

Adv3D: Generating Safety-Critical 3D Objects through Closed-Loop Simulation

Mining Robust Default Configurations for Resource-constrained AutoML


Dex to Java decompiler

Neural Sketch Learning for Conditional Program Generation

StoryDroid: Automated Generation of Storyboard for Android Apps

Do Android Taint Analysis Tools Keep Their Promises?

Security and Privacy Analyses of Internet of Things Toys

An Empirical Assessment of Global COVID-19 Contact Tracing Applications

Embedding Java Classes with code2vec: Improvements from Variable Obfuscation

Research Commons (University of Waikato)

CRYLOGGER: Detecting Crypto Misuses Dynamically

Dissecting contact tracing apps in the Android platform

MalBERT: Using Transformers for Cybersecurity and Malicious Software Detection

A First Look at Android Applications in Google Play related to Covid-19


Open source routing engine for OpenStreetMap. Use it as Java library or standalone web server.

Evaluating Origin–Destination Matrices Obtained from CDR Data

Optimization models for fair horizontal collaboration in demand-responsive transportation

Implications of the Relocation Type and Frequency for Shared Autonomous Bike Service: Comparison between the Inner and Complete City Scenarios for Magdeburg as a Case Study

Towards a catalog of composite refactorings

OMOD: An open-source tool for creating disaggregated mobility demand based on OpenStreetMap

Data-Driven Analytics towards Software Sustainability: The Case of Open-Source Multimedia Tools on Cultural Storytelling

HappyRouting: Learning Emotion-Aware Route Trajectories for Scalable
  In-The-Wild Navigation


Weaviate is an open-source vector database that stores both objects and vectors, allowing for the combination of vector search with structured filtering with the fault tolerance and scalability of a cloud-native database.

Manu: A Cloud Native Vector Database Management System

Prompting Frameworks for Large Language Models: A Survey

Lyfe Agents: Generative agents for low-cost real-time social interactions

Deep Lake: a Lakehouse for Deep Learning

KRAGEN: a knowledge graph-enhanced RAG framework for biomedical problem solving using large language models


Authoring Books and Technical Documents with R Markdown

Framework for Accessible and Inclusive Teaching Materials for Statistics and Data Science Courses

Validation of the UK English Oxford cognitive screen-plus in sub-acute and chronic stroke survivors

The adoptr Package: Adaptive Optimal Designs for Clinical Trials in R

Using tours to visually investigate properties of new projection pursuit indexes with application to problems in physics

You Only Write Thrice: Creating Documents, Computational Notebooks and Presentations From a Single Source


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

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

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

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

cuSLINK: Single-linkage Agglomerative Clustering on the GPU

Parallel Top-K Algorithms on GPU: A Comprehensive Study and New Methods

Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis

GPU Semiring Primitives for Sparse Neighborhood Methods


TURTLEDOVE

Differentially Private Continual Releases of Streaming Frequency Moment Estimations

Masked LARk: Masked Learning, Aggregation and Reporting worKflow

Differentially Private Stream Processing at Scale

Building K-Anonymous User Cohorts with Consecutive Consistent Weighted Sampling (CCWS)

About evaluation metrics for contextual uplift modeling


A treasure chest for visual classification and recognition powered by PaddlePaddle

Deep Residual Learning for Image Recognition

ImageNet classification with deep convolutional neural networks

Very Deep Convolutional Networks for Large-Scale Image Recognition

Going Deeper with Convolutions

Densely Connected Convolutional Networks

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

Squeeze-and-Excitation Networks

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

Rethinking the Inception Architecture for Computer Vision

MobileNetV2: Inverted Residuals and Linear Bottlenecks


A static type analyzer for Python code

Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python

Proceedings of the 44th International Conference on Software Engineering

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

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

PyART: Python API Recommendation in Real-Time

Static inference meets deep learning

Generative Type Inference for Python

Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis

Taming type annotations in gradual typing

HiTyper: A Hybrid Static Type Inference Framework with Neural Prediction.

Leveraging Documentation to Test Deep Learning Library Functions

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools


End-to-End Speech Processing Toolkit

A Comparative Study on Transformer vs RNN in Speech Applications

Automatic Speech Recognition & Understanding

The fifth 'CHiME' Speech Separation and Recognition Challenge: Dataset, task and baselines

SpeechBrain: A General-Purpose Speech Toolkit

A Survey on Neural Speech Synthesis

An Overview of Voice Conversion and Its Challenges: From Statistical Modeling to Deep Learning

GigaSpeech: An Evolving, Multi-domain ASR Corpus with 10,000 Hours of Transcribed Audio

Recent Developments on ESPnet Toolkit Boosted by Conformer

ESPnet-TTS: Unified, Reproducible, and Integratable Open Source End-to-End Text-to-Speech Toolkit

ESPnet-ST: All-in-One Speech Translation Toolkit

Evaluation of Neural Architectures Trained with Square Loss vs Cross-Entropy in Classification Tasks


the AI-native open-source embedding database

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

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

EcoAssistant: Using LLM Assistant More Affordably and Accurately

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

An Empirical Evaluation of Columnar Storage Formats

Domain-specific ChatBots for Science using Embeddings

ReGAL: Refactoring Programs to Discover Generalizable Abstractions

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

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

Interactive-KBQA: Multi-Turn Interactions for Knowledge Base Question
  Answering with Large Language Models


Official HDF5® Library Repository

QCD constraints on isospin-dense matter and the nuclear equation of state

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

RawHash2: Accurate and Fast Mapping of Raw Nanopore Signals using a Hash-based Seeding Mechanism

animal2vec and MeerKAT: A self-supervised transformer for rare-event raw
  audio input and a large-scale reference dataset for bioacoustics

AMEP: The Active Matter Evaluation Package for Python

Green/WeakCoupling: Implementation of fully self-consistent
  finite-temperature many-body perturbation theory for molecules and solids


Model interpretability and understanding for PyTorch

A Unified Approach to Interpreting Model Predictions

Grad-CAM: Visual Explanations from Deep Networks via Gradient-Based Localization

International Journal of Computer Vision

Visualizing and Understanding Convolutional Networks

"Why Should I Trust You?": Explaining the Predictions of Any Classifier

Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Maps

Axiomatic Attribution for Deep Networks

Striving for Simplicity: The All Convolutional Net

Learning Important Features Through Propagating Activation Differences

SmoothGrad: removing noise by adding noise

Sanity Checks for Saliency Maps


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

Open-Source Machine Learning in Computational Chemistry

Journal of chemical information and modeling

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

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

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


GFS physics for CCPP

The Common Community Physics Package (CCPP) Framework v6


A JavaScript codemod toolkit.

Automated Refactoring of Legacy JavaScript Code to ES6 Modules

Investigating the Evolvability of Web Page Load Time

Forest: Structural Code Editing with Multiple Cursors

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software

Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications


Circuit IR Compilers and Tools

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

HIR: An MLIR-based Intermediate Representation for Hardware Accelerator Description

Bridging Control-Centric and Data-Centric Optimization

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

Verilog-to-PyG -- A Framework for Graph Learning and Augmentation on RTL Designs

Compiler Infrastructure for Specializing Domain-Specific Memory Templates

Trireme: Exploring Hierarchical Multi-Level Parallelism for Domain Specific Hardware Acceleration

Allo: A Programming Model for Composable Accelerator Design

An Intermediate Representation for Composable Typed Streaming Dataflow Designs

Platform-Aware FPGA System Architecture Generation based on MLIR

A Toolchain for Streaming Dataflow Accelerator Designs for Big Data Analytics: Defining an IR for Composable Typed Streaming Dataflow Designs


caret (Classification And Regression Training) R package that contains misc functions for training and plotting classification and regression models

Association of Systemic Lupus Erythematosus With Decreased Immunosuppressive Potential of the IgG Glycome

Arthritis & rheumatology (Hoboken, N.J.)

Large-scale mapping of cortical alterations in 22q11.2 deletion syndrome: Convergence with idiopathic psychosis and effects of deletion size

Global patterns and drivers of soil total phosphorus concentration

Mapping soil hydraulic properties using random-forest-based pedotransfer functions and geostatistics

A comprehensive analysis of 195 DNA methylomes reveals shared and cell-specific features of partially methylated domains

A Prediction Model of Essential Hypertension Based on Genetic and Environmental Risk Factors in Northern Han Chinese

International journal of medical sciences

Spatiotemporal models for predicting high pollen concentration level of Corylus, Alnus, and Betula

Feature Interaction in Terms of Prediction Performance

Mapping Canopy Chlorophyll Content in a Temperate Forest Using Airborne Hyperspectral Data

Physical characteristics not psychological state or trait characteristics predict motion during resting state fMRI


cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

An Empirical Study of Fault Localization Families and Their Combinations

Deep Learning with Dynamic Computation Graphs

Joey NMT: A Minimalist NMT Toolkit for Novices

Toxic Code Snippets on Stack Overflow

IEEE Transactions on Software Engineering

Keystone: An Open Framework for Architecting TEEs

Streaming graph challenge: Stochastic block partition

IEEE High Performance Extreme Computing Conference

Is this GitHub project maintained? Measuring the level of maintenance activity of open-source projects

Vadere: An open-source simulation framework to promote interdisciplinary understanding

Better Together? An Evaluation of AI-Supported Code Translation

International Conference on Intelligent User Interfaces

Automated Unit Test Generation for Python

Symposium on Search Based Software Engineering


Tidy Messy Data

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

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

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

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

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

Frontiers in bioengineering and biotechnology

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

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

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

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

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


Symbolic execution tool

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

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

Zenodo (CERN European Organization for Nuclear Research)

Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks

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

Harvey: A Greybox Fuzzer for Smart Contracts

Understanding Security Issues in the NFT Ecosystem

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts

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

Scilla: a Smart Contract Intermediate-Level LAnguage

Formal Specification and Verification of Smart Contracts for Azure Blockchain


Open-source Ethereum consensus client written in Java

Resource Analysis of Ethereum 2.0 Clients

Ethereum Proof-of-Stake under Scrutiny

The Multibillion Dollar Software Supply Chain of Ethereum

Analyzing Reward Dynamics and Decentralization in Ethereum 2.0: An Advanced Data Engineering Workflow and Comprehensive Datasets for Proof-of-Stake Incentives


Fast C++ logging library.

A Survey on Automated Log Analysis for Reliability Engineering

Alchemist: An Apache Spark ⇔ MPI interface

KERN

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

Versatile Configuration and Control Framework for Real-Time Data Acquisition Systems

Efficient Source Finding for Radio Interferometric Images

Taming Metadata-intensive HPC Jobs Through Dynamic, Application-agnostic QoS Control

IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing

Running on Raygun

Improvements in charged lepton and photon propagation for the software PROPOSAL


An API standard for multi-agent reinforcement learning environments, with popular reference environments and related utilities

PettingZoo: Gym for Multi-Agent Reinforcement Learning

An Introduction to Multi-Agent Reinforcement Learning and Review of its Application to Autonomous Mobility

SuperSuit: Simple Microwrappers for Reinforcement Learning Environments

A Survey of Progress on Cooperative Multi-agent Reinforcement Learning in Open Environment

Learning Altruistic Behaviours in Reinforcement Learning without External Rewards

Diverse Policy Optimization for Structured Action Space


"Das U-Boot" Source Tree

ReZone: Disarming TrustZone with TEE Privilege Reduction

Intelligent Security Monitoring System Based on RISC-V SoC

Protecting the Integrity of IoT Sensor Data and Firmware With A Feather-Light Blockchain Infrastructure


AWS Service registry for resilient mid-tier load balancing and failover.

Monolithic vs. Microservice Architecture: A Performance and Scalability Evaluation

Circuit Breakers, Discovery, and API Gateways in Microservices

A model-driven approach for continuous performance engineering in microservice-based systems

Applying Model-Driven Engineering to Stimulate the Adoption of DevOps Processes in Small and Medium-Sized Development Organizations

NDBench: Benchmarking Microservices at Scale

VERCASM-CPS: Vulnerability Analysis and Cyber Risk Assessment for Cyber-Physical Systems

No Free Lunch: Microservice Practices Reconsidered in Industry

Stable and Consistent Membership at Scale with Rapid

Microservice Architecture Practices and Experience: a Focused Look on Docker Configuration Files

Internet of Agents: Weaving a Web of Heterogeneous Agents for Collaborative Intelligence


A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python, R, Java, C++. Supports computation on CPU and GPU.

CatBoost: unbiased boosting with categorical features

CatBoost: gradient boosting with categorical features support

Time Masking for Temporal Language Models

A Novel Fracture Prediction Model Using Machine Learning in a Community‐Based Cohort

The Nature of High [OIII]_ 88μ m/[CII]_ 158μ m Galaxies in the Epoch of Reionization: Low Carbon Abundance and a Top-Heavy IMF?

Breakthrough Curves Prediction of Selenite Adsorption on Chemically Modified Zeolite Using Boosted Decision Tree Algorithms for Water Treatment Applications

Machine Learning based System for Vessel Turnaround Time Prediction

Minimal Variance Sampling in Stochastic Gradient Boosting

Occupancy Prediction Using Low-Cost and Low-Resolution Heat Sensors for Smart Offices

Clinical Predictors of Prolonged Hospital Stay in Patients with Myasthenia Gravis: A Study Using Machine Learning Algorithms


CUDA Templates for Linear Algebra Subroutines

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

Modeling Deep Learning Accelerator Enabled GPUs

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

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

MegaBlocks: Efficient Sparse Training with Mixture-of-Experts

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

TensorIR: An Abstraction for Automatic Tensorized Program Optimization

S-LoRA: Serving Thousands of Concurrent LoRA Adapters

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

Proceedings of the 50th Annual International Symposium on Computer Architecture

Breaking the Computation and Communication Abstraction Barrier in Distributed Machine Learning Workloads


cuGraph - RAPIDS Graph Analytics Library

Performance of a geometric deep learning pipeline for HL-LHC particle tracking

Analyzing Multi-trillion Edge Graphs on Large GPU Clusters: A Case Study with PageRank

IEEE Conference on High Performance Extreme Computing

BOBA: A Parallel Lightweight Graph Reordering Algorithm with Heavyweight Implications


A PyTorch Extension:  Tools for easy mixed precision and distributed training in Pytorch

nnU-Net: a self-configuring method for deep learning-based biomedical image segmentation

Unsupervised Learning of Visual Features by Contrasting Cluster Assignments

Longformer: The Long-Document Transformer

MMDetection: Open MMLab Detection Toolbox and Benchmark

UNITER: UNiversal Image-TExt Representation Learning

FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness

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

HERO: Hierarchical Encoder for Video+Language Omni-representation Pre-training

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

UNITER: Learning UNiversal Image-TExt Representations


The WebAssembly Binary Toolkit

Wasabi: A Framework for Dynamically Analyzing WebAssembly

EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection

Wasmati: An efficient static vulnerability scanner for WebAssembly

Characterizing and Detecting WebAssembly Runtime Bugs

WaDec: Decompiling WebAssembly Using Large Language Model

Multi-modal Learning for WebAssembly Reverse Engineering

Wasmizer: Curating WebAssembly-driven Projects on GitHub


FlatBuffers: Memory Efficient Serialization Library

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

A Survey of JSON-compatible Binary Serialization Specifications

Software-based data acquisition and processing for neutron detectors at European Spallation Source—early experience from four detector designs

Supporting AI Engineering on the IoT Edge through Model-Driven TinyML

Annual International Computer Software and Applications Conference

Analysis of Include Dependencies in C++ Source Code

Federated Conference on Computer Science and Information Systems

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

A static analysis method for safe comparison functors in C++

Az Eszterházy Károly Tanárképző Főiskola tudományos közleményei. Tanulmányok a matematikai tudományok köréből/Az Eszterházy Károly Főiskola tudományos közleményei. Tanulmányok a matematikai tudományok köréből/Annales mathematicae et informaticae

Generating High-Performance FPGA Accelerator Designs for Big Data Analytics with Fletcher and Apache Arrow


A parallel, extensible finite element code to simulate convection in both 2D and 3D models.

Development of 3-D Rift Heterogeneity Through Fault Network Evolution

Efficient and practical Newton solvers for non-linear Stokes systems in geodynamic problems

The influence of crustal strength on rift geometry and development – insights from 3D numerical modelling

Dynamics of the North American Plate: Large‐Scale Driving Mechanism From Far‐Field Slabs and the Interpretation of Shallow Negative Seismic Anomalies

A comparison of 3-D spherical shell thermal convection results at low to moderate Rayleigh number using ASPECT (version 2.2.0) and CitcomS (version 3.3.1)

Changes in core-mantle boundary heat flux patterns throughout the supercontinent cycle

Trench migration and slab buckling control the formation of the Central Andes

Sensitivity of horizontal surface deformation to mantle dynamics from 3D instantaneous dynamics modeling of the eastern Mediterranean region


Graphical Java application for managing BibTeX and biblatex (.bib) databases

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

User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners

Warm-Starting and Quantum Computing: A Systematic Mapping Study

Software publications with rich metadata: state of the art, automated workflows and HERMES concept

Designing for Cognitive Diversity: Improving the GitHub Experience for Newcomers

Internal Quality Evolution of Open-Source Software Systems

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


An open-source framework for machine learning and other computations on decentralized data.

Federated Learning for Mobile Keyboard Prediction

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

Can You Really Backdoor Federated Learning?

Generative Models for Effective ML on Private, Decentralized Datasets

Trustworthy AI: A Computational Perspective

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

Soft Computing - A Fusion of Foundations, Methodologies and Applications

When the Curious Abandon Honesty: Federated Learning Is Not Private

Federated Heavy Hitters Discovery with Differential Privacy

Deep learning in electron microscopy

Machine Learning: Science and Technology

FedLab: A Flexible Federated Learning Framework


Jenkins automation server

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

SZZ unleashed: an open implementation of the SZZ algorithm - featuring example usage in a study of just-in-time bug prediction for the Jenkins project

Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation

A comprehensive study of bloated dependencies in the Maven ecosystem

IDEAL: An Open-Source Identifier Name Appraisal Tool

Towards a Geometry Automated Provers Competition

Automated and Manual Testing in the Development of the Research Software RCE

On the Use of Refactoring in Security Vulnerability Fixes: An Exploratory Study on Maven Libraries

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

Identifying Vulnerability Patches by Comprehending Code Commits with Comprehensive Change Contexts

Empirical Analysis of Software Vulnerabilities Causing Timing Side Channels


Apache HBase

Predicting Flaky Tests Categories using Few-Shot Learning

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

An Empirical Study of Untangling Patterns of Two-Class Dependency Cycles

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

InK: In-Kernel Key-Value Storage with Persistent Memory


PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.

A Survey of Large Language Models

LLaMA-Adapter: Efficient Fine-tuning of Language Models with Zero-init Attention

LLaMA-Adapter V2: Parameter-Efficient Visual Instruction Model

Principle-Driven Self-Alignment of Language Models from Scratch with Minimal Human Supervision

Aligning Large Language Models with Human: A Survey

Efficient and Effective Text Encoding for Chinese LLaMA and Alpaca

MedAlpaca -- An Open-Source Collection of Medical Conversational AI Models and Training Data

Clinical Text Summarization: Adapting Large Language Models Can Outperform Human Experts

Platypus: Quick, Cheap, and Powerful Refinement of LLMs

LoraHub: Efficient Cross-Task Generalization via Dynamic LoRA Composition


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

Attention Is All You Need

Domain-Adversarial Training of Neural Networks

Unsupervised Domain Adaptation by Backpropagation

SpecAugment: A Simple Data Augmentation Method for Automatic Speech Recognition

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

Conformer: Convolution-augmented Transformer for Speech Recognition

Natural TTS Synthesis by Conditioning WaveNet on Mel Spectrogram Predictions

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

Tacotron: Towards End-to-End Speech Synthesis

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


Evaluating Fuzz Testing

PAC it up: Towards Pointer Integrity using ARM Pointer Authentication

Exploring C semantics and pointer provenance

Proceedings of the ACM on Programming Languages

Iceberg Hashing: Optimizing Many Hash-Table Criteria at Once

Reference counting with frame limited reuse

Proceedings of the ACM on programming languages

Tiny Pointers

Forward-Mode Automatic Differentiation of Compiled Programs

Auto-Tuning of Dynamic Scheduling Applied to 3D Reverse Time Migration on Multicore Systems

Configuring Test Generators using Bug Reports: A Case Study of GCC Compiler and Csmith

Future Directions for Optimizing Compilers


Stores documents used by the TensorFlow developer community

TF-Replicator: Distributed Machine Learning for Researchers

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

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

Survey on Software Tools that Implement Deep Learning Algorithms on Intel/x86 and IBM/Power8/Power9 Platforms

Supercomputing Frontiers and Innovations

GPU Accelerated Automatic Differentiation With Clad


DSPy: The framework for programming—not prompting—foundation models

What Makes Good In-Context Examples for GPT-3?

Demonstrate-Search-Predict: Composing retrieval and language models for knowledge-intensive NLP

Enhancing Retrieval-Augmented Large Language Models with Iterative Retrieval-Generation Synergy

DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines

Cognitive Architectures for Language Agents

Diagnostic Reasoning Prompts Reveal the Potential for Large Language Model Interpretability in Medicine

Reliable, Adaptable, and Attributable Language Models with Retrieval

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines

The Unreasonable Effectiveness of Eccentric Automatic Prompts

Optimizing Instructions and Demonstrations for Multi-Stage Language
  Model Programs


Supercharge Your Model Training

DNABERT-2: Efficient Foundation Model and Benchmark For Multi-Species Genome

Efficient Large Language Models: A Survey

FFCV: Accelerating Training by Removing Data Bottlenecks

A Survey on Efficient Training of Transformers

Compute-Efficient Deep Learning: Algorithmic Trends and Opportunities

Stop Wasting My Time! Saving Days of ImageNet and BERT Training with Latest Weight Averaging

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

Beyond Chinchilla-Optimal: Accounting for Inference in Language Model Scaling Laws

BioMedLM: A 2.7B Parameter Language Model Trained On Biomedical Text

DsDm: Model-Aware Dataset Selection with Datamodels


An adversarial example library for constructing attacks, building defenses, and benchmarking both

Explaining and Harnessing Adversarial Examples

Towards Deep Learning Models Resistant to Adversarial Attacks

The Limitations of Deep Learning in Adversarial Settings

Practical Black-Box Attacks against Machine Learning

ZOO: Zeroth Order Optimization based Black-box Attacks to Deep Neural
  Networks without Training Substitute Models

Proceedings of the 10th ACM Workshop on Artificial Intelligence and Security

Generating Adversarial Examples with Adversarial Networks

Adversarial Patch

Evading Defenses to Transferable Adversarial Examples by Translation-Invariant Attacks

Machine Learning Testing: Survey, Landscapes and Horizons

The Malicious Use of Artificial Intelligence: Forecasting, Prevention, and Mitigation


Fast and flexible image augmentation library. Paper about the library: https://www.mdpi.com/2078-2489/11/2/125

Random Erasing Data Augmentation

Improved Regularization of Convolutional Neural Networks with Cutout

Albumentations: fast and flexible image augmentations

FDA: Fourier Domain Adaptation for Semantic Segmentation

A Survey of Deep Learning for Scientific Discovery

Impact of lung segmentation on the diagnosis and explanation of COVID-19 in chest X-ray images

Robust deep learning-based semantic organ segmentation in hyperspectral images

Deepfake Videos in the Wild: Analysis and Detection

Unsupervised Change Detection Based on Image Reconstruction Loss

HyperionSolarNet: Solar Panel Detection from Aerial Images


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

Proximal Policy Optimization Algorithms

Continuous control with deep reinforcement learning

Playing Atari with Deep Reinforcement Learning

Asynchronous Methods for Deep Reinforcement Learning

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

Trust Region Policy Optimization

Addressing Function Approximation Error in Actor-Critic Methods

High-Dimensional Continuous Control Using Generalized Advantage Estimation

Soft Actor-Critic Algorithms and Applications

Hindsight Experience Replay


An open source library for deep learning end-to-end dialog systems and chatbots.

Recurrent Neural Network Grammars

Pre-trained models for natural language processing: A survey

LSTM-based Deep Learning Models for Non-factoid Answer Selection

Hybrid Code Networks: practical and efficient end-to-end dialog control with supervised and reinforcement learning

Adaptation of Deep Bidirectional Multilingual Transformers for Russian Language

Application of a Hybrid Bi-LSTM-CRF model to the task of Russian Named Entity Recognition

Pre-training Polish Transformer-based Language Models at Scale

WikiBERT models: deep transfer learning for many languages

Cross-lingual alignments of ELMo contextual embeddings

Evaluation of contextual embeddings on less-resourced languages


OpenMMLab Pose Estimation Toolbox and Benchmark.

Deep Residual Learning for Image Recognition

ImageNet classification with deep convolutional neural networks

Very Deep Convolutional Networks for Large-Scale Image Recognition

Microsoft COCO: Common Objects in Context

Squeeze-and-Excitation Networks

MobileNetV2: Inverted Residuals and Linear Bottlenecks

Swin Transformer: Hierarchical Vision Transformer using Shifted Windows

Aggregated Residual Transformations for Deep Neural Networks

ShuffleNet: An Extremely Efficient Convolutional Neural Network for Mobile Devices

Searching for MobileNetV3


The Fast Cross-Platform Package Manager

Streamlining data-intensive biology with workflow systems

AutoEFT: Automated Operator Construction for Effective Field Theories

The seeker R package: simplified fetching and processing of transcriptome data

Snaq: A Dynamic Snakemake Pipeline for Microbiome Data Analysis With QIIME2


- a deep learning toolkit for Text-to-Speech, battle-tested in research and production

Natural TTS Synthesis by Conditioning WaveNet on Mel Spectrogram Predictions

Tacotron: Towards End-to-End Speech Synthesis

FastSpeech 2: Fast and High-Quality End-to-End Text to Speech

Generalized End-to-End Loss for Speaker Verification

MelGAN: Generative Adversarial Networks for Conditional Waveform Synthesis

Efficient Neural Audio Synthesis

Parallel WaveGAN: A fast waveform generation model based on generative adversarial networks with multi-resolution spectrogram

FastSpeech: Fast, Robust and Controllable Text to Speech

WaveGrad: Estimating Gradients for Waveform Generation

Glow-TTS: A Generative Flow for Text-to-Speech via Monotonic Alignment Search


Awesome autocompletion, static analysis and refactoring library for python

Code Prediction by Feeding Trees to Transformers

CodePlan: Repository-level Coding using LLMs and Planning

Ariadne: analysis for machine learning programs

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

Understanding Performance Problems in Deep Learning Systems

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

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

Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis

Unsupervised Evaluation of Code LLMs with Round-Trip Correctness

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

How to Understand Whole Software Repository?


Dynamic Instrumentation Tool Platform

Sydr: Cutting Edge Dynamic Symbolic Execution

2020 Ivannikov Ispras Open Conference (ISPRAS)

The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation

Dynamic Binary Translation for SGX Enclaves

Efficient Binary-Level Coverage Analysis

Evaluating Dynamic Binary Instrumentation Systems for Conspicuous Features and Artifacts


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

The Interblockchain Communication Protocol: An Overview

Analyzing the Performance of the Inter-Blockchain Communication Protocol

TrustBoost: Boosting Trust among Interoperable Blockchains

Interchain Timestamping for Mesh Security

Evaluating Permissioned Blockchain Using Stochastic Modeling and Chaos Engineering

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

Emergency Management and Recovery of Luna Classic

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

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


Vulnerability Static Analysis for Containers

XI Commandments of Kubernetes Security: A Systematization of Knowledge Related to Kubernetes Security Practices

Practical guide for managing large-scale human genome data in research

Applications and potentials of nanopore sequencing in the (epi)genome and (epi)transcriptome era

Towards a Security Stress-Test for Cloud Configurations

Automatic Observability for Dockerized Java Applications

A Multitenant Container Platform with OKD, Harbor Registry and ELK

LUCID: A Framework for Reducing False Positives and Inconsistencies
  Among Container Scanning Tools


MAVLink to ROS gateway with proxy for Ground Control Station

Fast, autonomous flight in GPS‐denied and cluttered environments

The MRS UAV System: Pushing the Frontiers of Reproducible Research, Real-world Deployment, and Education with Autonomous Unmanned Aerial Vehicles

Journal of Intelligent and Robotic Systems

Real-Time Visual Tracking of Moving Targets Using a Low-Cost Unmanned Aerial Vehicle with a 3-Axis Stabilized Gimbal System

An Onboard Vision-Based System for Autonomous Landing of a Low-Cost Quadrotor on a Novel Landing Pad

A multirobot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades

Securing UAV communications using ROS with custom ECIES-based method

2019 Workshop on Research, Education and Development of Unmanned Aerial Systems (RED UAS)

Search Planning of a UAV/UGV Team with Localization Uncertainty in a Subterranean Environment

Implementation of UAV Coordination Based on a Hierarchical Multi-UAV Simulation Platform

An Overview of the Drone Open-Source Ecosystem

Fault-Adaptive Autonomy in Systems with Learning-Enabled Components


Intel® RealSense™ SDK

Intel RealSense Stereoscopic Depth Cameras

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

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

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

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

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

Chemogenetic activation of nigrostriatal dopamine neurons in freely moving common marmosets

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

International Conference on Robotics and Automation

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

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


SDK for developing enclaves

Precision Health Data: Requirements, Challenges and Existing Techniques for Data Security and Privacy

On the Performance of ARM TrustZone (Practical Experience Report)

SmashEx: Smashing SGX Enclaves Using Exceptions

Conference on Computer and Communications Security

Verifiable Fully Homomorphic Encryption

Machine Learning with Confidential Computing: A Systematization of Knowledge

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

Enclave-Aware Compartmentalization and Secure Sharing with Sirius

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

Private Delegated Computations Using Strong Isolation

SCL: A Secure Concurrency Layer For Paranoid Stateful Lambdas


cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

Fuzzing Hardware Like Software

BDAQ53, a versatile pixel detector readout and test system for the ATLAS and CMS HL-LHC upgrades

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components

Characterization and Verification Environment for the RD53A Pixel Readout Chip in 65 nm CMOS

Proceedings of Topical Workshop on Electronics for Particle Physics — PoS(TWEPP-17)

Design Principles for Packet Deparsers on FPGAs

Symposium on Field Programmable Gate Arrays

VeRLPy: Python Library for Verification of Digital Designs with Reinforcement Learning


Easy-to-use image segmentation library with awesome pre-trained model zoo, supporting wide-range of practical tasks in Semantic Segmentation, Interactive Segmentation, Panoptic Segmentation, Image Matting, 3D Segmentation, etc.

U-Net: Convolutional Networks for Biomedical Image Segmentation

Swin Transformer: Hierarchical Vision Transformer using Shifted Windows

DeepLab: Semantic Image Segmentation with Deep Convolutional Nets, Atrous Convolution, and Fully Connected CRFs

Encoder-Decoder with Atrous Separable Convolution for Semantic Image Segmentation

Pyramid Scene Parsing Network

Rethinking Atrous Convolution for Semantic Image Segmentation

UNet++: A Nested U-Net Architecture for Medical Image Segmentation

Dual Attention Network for Scene Segmentation

ShuffleNet V2: Practical Guidelines for Efficient CNN Architecture Design

Attention U-Net: Learning Where to Look for the Pancreas


ROS Wrapper for Intel(R) RealSense(TM) Cameras

Object Detection Using Sim2Real Domain Randomization for Robotic Applications

Enabling Flexibility in Manufacturing by Integrating Shopfloor and Process Perception for Mobile Robot Workers

A Universal Semantic-Geometric Representation for Robotic Manipulation

Quadrotor Autonomous Landing on Moving Platform

Bipedal Walking on Constrained Footholds with MPC Footstep Control

Filling the Gap between Research and Market: Portable Architecture for an Intelligent Autonomous Wheelchair

International journal of environmental research and public health

Dense 3D Reconstruction Through Lidar: A Comparative Study on Ex-vivo Porcine Tissue

MIR-Vehicle: Cost-Effective Research Platform for Autonomous Vehicle Applications

Experiments in Autonomous Driving Through Imitation Learning


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

Trusted Operations on Sensor Data †

Learning Gradient Fields for Scalable and Generalizable Irregular Packing


JavaScript 3D Library.

Viewport-aware adaptive 360° video streaming using tiles for virtual reality

Professional Differences: A Comparative Study of Visualization Task Performance and Spatial Ability Across Disciplines

VMesh: Hybrid Volume-Mesh Representation for Efficient View Synthesis

ScrollyVis: Interactive Visual Authoring of Guided Dynamic Narratives for Scientific Scrollytelling

3D WebGIS: From Visualization to Analysis. An Efficient Browser-Based 3D Line-of-Sight Analysis

ISPRS International Journal of Geo-Information

From One to Hundreds: Multi-Licensing in the JavaScript Ecosystem

Chemozart: a web-based 3D molecular structure editor and visualizer platform

THE CASE FOR LOW-COST, PERSONALIZED VISUALIZATION FOR ENHANCING NATURAL HAZARD PREPAREDNESS

The international archives of the photogrammetry, remote sensing and spatial information sciences/International archives of the photogrammetry, remote sensing and spatial information sciences

EVE-7 and FireworksWeb: The next generation event visualization tools for ROOT and CMS

Resolving Dilemmas Arising during Design and Implementation of Digital Repository of Heterogenic Scientific Resources


A set of command line tools (in Java) for manipulating high-throughput sequencing (HTS) data and formats such as SAM/BAM/CRAM and VCF.

A high-fidelity Cas9 mutant delivered as a ribonucleoprotein complex enables efficient gene editing in human hematopoietic stem and progenitor cells

Genetic Drivers of Epigenetic and Transcriptional Variation in Human Immune Cells

Assessment of Blood Tumor Mutational Burden as a Potential Biomarker for Immunotherapy in Patients With Non–Small Cell Lung Cancer With Use of a Next-Generation Sequencing Cancer Gene Panel

Microbial Succession and Flavor Production in the Fermented Dairy Beverage Kefir

The genome sequence of Sea-Island cotton (Gossypium barbadense) provides insights into the allopolyploidization and development of superior spinnable fibres

Whole genome sequencing of canids reveals genomic regions under selection and variants influencing morphology

The monoclonal antibody combination REGEN-COV protects against SARS-CoV-2 mutational escape in preclinical and human studies

SNP2TFBS-a database of regulatory SNPs affecting predicted transcription factor binding site affinity

The genome evolution and domestication of tropical fruit mango

SARS-CoV-2 infection in hamsters and humans results in lasting and unique systemic perturbations after recovery


ResearchKit is an open source software framework that makes it easy to create apps for medical research or for other research projects.

The mPower study, Parkinson disease mobile data collected using ResearchKit

The Mole Mapper Study, mobile phone skin imaging and melanoma risk data collected using ResearchKit

Using a ResearchKit Smartphone App to Collect Rheumatoid Arthritis Symptoms From Real-World Participants: Feasibility Study

The asthma mobile health study, smartphone data collected using ResearchKit

Speech Audiometry at Home: Automated Listening Tests via Smart Speakers With Normal-Hearing and Hearing-Impaired Listeners

Continuous Measurement of Reconnaissance Marines in Training With Custom Smartphone App and Watch: Observational Cohort Study

Exploring the weight bias of professionals working in the field of obesity with a mobile IAT: a pilot study

Therapeutic advances in endocrinology and metabolism


openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system in 275+ supported cars.

A Survey of Autonomous Driving: Common Practices and Emerging Technologies

ST-P3: End-to-end Vision-based Autonomous Driving via Spatial-Temporal Feature Learning

PersFormer: 3D Lane Detection via Perspective Transformer and the OpenLane Benchmark

Dirty Road Can Attack: Security of Deep Learning based Automated Lane Centering under Physical-World Attack

"Real Attackers Don't Compute Gradients": Bridging the Gap Between Adversarial ML Research and Practice

Invisible Perturbations: Physical Adversarial Examples Exploiting the Rolling Shutter Effect

Efficient Black-box Assessment of Autonomous Vehicle Safety

A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation

A Survey on Automated Driving System Testing: Landscapes and Trends

Experimental Resilience Assessment of An Open-Source Driving Agent

Pacific Rim International Symposium on Dependable Computing


An IPFS implementation in Go

Blockchain-Based Distributed Patient-Centric Image Management System

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

Passively Measuring IPFS Churn and Network Size

Privacy-preserving and Trusted Threat Intelligence Sharing using Distributed Ledgers

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

Improving Bitswap Privacy with Forwarding and Source Obfuscation

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

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


unofficial git repo -- report bugs/issues/pull requests on https://gitlab.torproject.org/ --

RegulaTor: A Straightforward Website Fingerprinting Defense

Padding-only Defenses Add Delay in Tor

DeTorrent: An Adversarial Padding-only Traffic Analysis Defense

State Machine Frameworks for Website Fingerprinting Defenses: Maybe Not


Statistical data visualization in Python

Highly accurate protein structure prediction with AlphaFold

Highly accurate protein structure prediction for the human proteome

Accurate structure prediction of biomolecular interactions with AlphaFold 3

Multiple pathways for SARS-CoV-2 resistance to nirmatrelvir

bioRxiv : the preprint server for biology

A foundation model for generalizable disease detection from retinal images

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

On the Influence of Social Bots in Online Protests

Halophilic microbial community compositional shift after a rare rainfall in the Atacama Desert

MADICS: A Methodology for Anomaly Detection in Industrial Control Systems

A spinal organ of proprioception for integrated motor action feedback


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

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

Skyhook: Towards an Arrow-Native Storage System

Towards an Arrow-native Storage System


Guides, papers, lecture, notebooks and resources for prompt engineering

Clinical Text Summarization: Adapting Large Language Models Can Outperform Human Experts

Software Testing With Large Language Models: Survey, Landscape, and Vision

Retrieval-Augmented Generation for AI-Generated Content: A Survey

Rephrase and Respond: Let Large Language Models Ask Better Questions for Themselves

Assessing Language Model Deployment with Risk Cards

Performance of the Large Language Model ChatGPT on the National Nurse Examinations in Japan: Evaluation Study (Preprint)

Making Them Ask and Answer: Jailbreaking Large Language Models in Few
  Queries via Disguise and Reconstruction

Demystifying RCE Vulnerabilities in LLM-Integrated Apps

ChatGPT: Understanding Code Syntax and Semantics

Safeguarding Crowdsourcing Surveys from ChatGPT with Prompt Injection


OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

A Unified Game-Theoretic Approach to Multiagent Reinforcement Learning

Deep Reinforcement Learning from Self-Play in Imperfect-Information Games

OpenSpiel: A Framework for Reinforcement Learning in Games

Deep Counterfactual Regret Minimization

Mastering the game of Stratego with model-free multiagent reinforcement learning

Actor-Critic Policy Optimization in Partially Observable Multiagent Environments

α-Rank: Multi-Agent Evaluation by Evolution

Fictitious Play for Mean Field Games: Continuous Time Analysis and Applications

Re-evaluating Evaluation

A Generalized Training Approach for Multiagent Learning


Object Detection toolkit based on PaddlePaddle. It supports object detection, instance segmentation, multiple object tracking and real-time multi-person keypoint detection.

Deep Residual Learning for Image Recognition

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

Microsoft COCO: Common Objects in Context

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

SSD: Single Shot MultiBox Detector

Mask R-CNN

Focal Loss for Dense Object Detection

Feature Pyramid Networks for Object Detection

MobileNetV2: Inverted Residuals and Linear Bottlenecks

Swin Transformer: Hierarchical Vision Transformer using Shifted Windows


Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more

MXNet: A Flexible and Efficient Machine Learning Library for Heterogeneous Distributed Systems

Deep Gradient Compression: Reducing the Communication Bandwidth for Distributed Training

Reconstructing cell cycle and disease progression using deep learning

The History Began from AlexNet: A Comprehensive Survey on Deep Learning Approaches

Demystifying Neural Style Transfer

Comprehensive survey of deep learning in remote sensing: theories, tools, and challenges for the community

Empowering Things With Intelligence: A Survey of the Progress, Challenges, and Opportunities in Artificial Intelligence of Things

On the Reconstruction of Face Images from Deep Face Templates

Scalable Deep Learning on Distributed Infrastructures: Challenges, Techniques and Tools

Medical image analysis based on deep learning approach


A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

Enabling high-performance cloud computing for Earth science modeling on over a thousand cores: application to the GEOS-Chem atmospheric chemistry model

Journal of Advances in Modeling Earth Systems

PMT: Power Measurement Toolkit

Spack-Based Packaging and Development for HEP

SpackDev: Multi-Package Development with Spack


A Chaos Engineering Platform for Kubernetes.

Frisbee: A Suite for Benchmarking Systems Recovery

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

Generic and Robust Root Cause Localization for Multi-Dimensional Data in Online Service Systems

Perona: Robust Infrastructure Fingerprinting for Resource-Efficient Big Data Analytics

A Comprehensive Benchmarking Analysis of Fault Recovery in Stream Processing Frameworks

Event-Driven Testing For Edge Applications


The NEST simulator

Towards a theory of cortical columns: From spiking neurons to interacting neural populations of finite size

Evolving interpretable plasticity for spiking networks

Connectivity concepts in neuronal network modeling

The NEST Dry-Run Mode: Efficient Dynamic Analysis of Neuronal Network Simulation Code

A Modular Workflow for Performance Benchmarking of Neuronal Network Simulations

Dynamical Characteristics of Recurrent Neuronal Networks Are Robust Against Low Synaptic Weight Resolution

Runtime Construction of Large-Scale Spiking Neuronal Network Models on GPU Devices


Emscripten: An LLVM-to-WebAssembly Compiler

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8

Symposium on Principles of Programming Languages

WebAL Comes of Age: A Review of the First 21 Years of Artificial Life on the Web

Superoptimization of WebAssembly bytecode

International Conference on the Art, Science and Engineering of Programming

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

Musical Score Following and Audio Alignment

Wasmizer: Curating WebAssembly-driven Projects on GitHub


Autoscaling components for Kubernetes

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

Elascale: Autoscaling and Monitoring as a Service

Practical Efficient Microservice Autoscaling with QoS Assurance

Autoscaling Pods on an On-Premise Kubernetes Infrastructure QoS-Aware

Memtrade: A Disaggregated-Memory Marketplace for Public Clouds

PBScaler: A Bottleneck-aware Autoscaling Framework for Microservice-based Applications

Collective Autoscaling for Cloud Microservices


FASTJSON 2.0.x has been released, faster and more secure, recommend you upgrade.

How well does LLM generate security tests?

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

RegMiner: Towards Constructing Large Regression Dataset from Code Evolution History

Bootstrapping Automated Testing for RESTful Web Services

On the Use of Mutation in Injecting Test Order-Dependency

An Empirical Study of the Landscape of Open Source Projects in Baidu, Alibaba, and Tencent

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


Python tools for geographic data

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

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

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

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

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

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

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

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

PROCEEDINGS OF THE 28TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION FRUCT

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

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


Create Minecraft bots with a powerful, stable, and high level JavaScript API.

STEVE-1: A Generative Model for Text-to-Behavior in Minecraft

A Survey on Large Language Model-Based Game Agents

Hierarchical Auto-Organizing System for Open-Ended Multi-Agent
  Navigation

Do We Really Need a Complex Agent System? Distill Embodied Agent into a
  Single Model

A Quadtree-based synchronization protocol for inter-server game state synchronization

Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach

MineLand: Simulating Large-Scale Multi-Agent Interactions with Limited
  Multimodal Senses and Physical Needs


Luigi is a Python module that helps you build complex pipelines of batch jobs. It handles dependency resolution, workflow management, visualization etc. It also comes with Hadoop support built in.

A review of bioinformatic pipeline frameworks

Parsl: Pervasive Parallel Programming in Python

IEEE International Symposium on High-Performance Parallel Distributed Computing

A self-driving laboratory advances the Pareto front for material properties

Comparative Annotation Toolkit (CAT)—simultaneous clade and personal genome annotation

NanoARG: a web service for detecting and contextualizing antimicrobial resistance genes from nanopore-derived metagenomes

BugsInPy: a database of existing bugs in Python programs to enable controlled testing and debugging studies

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

Fast modeling of turbulent transport in fusion plasmas using neural networks

Zenodo (CERN European Organization for Nuclear Research)

StreamFlow: cross-breeding cloud with HPC

Software for Dataset-wide XAI: From Local Explanations to Global Insights with Zennit, CoRelAy, and ViRelAy

Harnessing the Power of Many: Extensible Toolkit for Scalable Ensemble Applications


Apache Commons Lang

Mining Fix Patterns for FindBugs Violations

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

Sentinel: A Hyper-Heuristic for the Generation of Mutant Reduction Strategies

IEEE Transactions on Software Engineering

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

RegMiner: Towards Constructing Large Regression Dataset from Code Evolution History

Compatible Remediation on Vulnerabilities from Third-Party Libraries for Java Projects

Internal Quality Evolution of Open-Source Software Systems

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


A JavaScript / TypeScript / Python / C# / PHP cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges

Cryptocurrency Trading: A Comprehensive Survey

Anatomy of a Stablecoin's failure: the Terra-Luna case

Ftx's Downfall and Binance's Consolidation: The Fragility of Centralized Digital Finance

Dependency Structures in Cryptocurrency Market from High to Low Frequency

Periodicity in Cryptocurrency Volatility and Liquidity


PaddlePaddle High Performance Deep Learning Inference Engine for Mobile and Edge (飞桨高性能深度学习端侧推理引擎）

Convergence of Edge Computing and Deep Learning: A Comprehensive Survey

IEEE Communications Surveys and Tutorials

A First Look at Deep Learning Apps on Smartphones

Deep Learning on Mobile Devices - A Review

PP-PicoDet: A Better Real-Time Object Detector on Mobile Devices

LFFD: A Light and Fast Face Detector for Edge Devices

From Server-Based to Client-Based Machine Learning: A Comprehensive Survey

A First Look at On-device Models in iOS Apps


A collaboration friendly studio for NeRFs

Instant Neural Graphics Primitives with a Multiresolution Hash Encoding

Nerfstudio: A Modular Framework for Neural Radiance Field Development

NeRSemble: Multi-view Radiance Field Reconstruction of Human Heads

INITIAL ASSESSMENT ON THE USE OF STATE-OF-THE-ART NERF NEURAL NETWORK 3D RECONSTRUCTION FOR HERITAGE DOCUMENTATION


Secure and fast microVMs for serverless computing.

Benchmarking, analysis, and optimization of serverless function snapshots

International Conference on Architectural Support for Programming Languages and Operating Systems

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

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


Streamlit — A faster way to build and share data apps.

SummVis: Interactive Visual Analysis of Models, Data, and Evaluation for Text Summarization

Stmol: A component for building interactive molecular visualizations within streamlit web-applications

Automatically evolving preference-based dispatching rules for multi-objective job shop scheduling

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

The Botrytis cinerea Gene Expression Browser

RouteExplainer: An Explanation Framework for Vehicle Routing Problem

Using Open-Source Software for Business, Urban, and Other Applications of Deep Neural Networks, Machine Learning, and Data Analytics Tools

International Journal of Artificial Intelligence and Machine Learning

AMGPT: a Large Language Model for Contextual Querying in Additive
  Manufacturing

CMULAB: An Open-Source Framework for Training and Deployment of Natural
  Language Processing Models


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

TensorFlow.js: Machine Learning for the Web and Beyond

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

Applied intelligence (Dordrecht, Netherlands)

CPPE-5: Medical Personal Protective Equipment Dataset

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

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

Towards Understanding the Faults of JavaScript-Based Deep Learning Systems

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

Studying the Impact of TensorFlow and PyTorch Bindings on Machine Learning Software Quality


An interpreter for Rust's mid-level intermediate representation

Stacked borrows: an aliasing model for Rust

Proceedings of the ACM on Programming Languages

SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis

A Grounded Conceptual Model for Ownership Types in Rust

An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing

Sound Borrow-Checking for Rust via Symbolic Semantics

"Against the Void": An Interview and Survey Study on How Rust Developers
  Use Unsafe Code


Performant type-checking for python.

Data Leakage in Notebooks: Static Detection and Better Processes

An LLM-Assisted Easy-to-Trigger Backdoor Attack on Code Completion Models: Injecting Disguised Vulnerabilities against Strong Detection


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

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

Inference with Reference: Lossless Acceleration of Large Language Models

Knowledge Graph-augmented Language Models for Complex Question Answering

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

Language Model Alignment with Elastic Reset

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

Crystal: Introspective Reasoners Reinforced with Self-Feedback

Sequoia: Scalable, Robust, and Hardware-aware Speculative Decoding

CustomVideo: Customizing Text-to-Video Generation with Multiple Subjects

Autoencoding Galaxy Spectra. I. Architecture

MARIO: MAth Reasoning with code Interpreter Output -- A Reproducible Pipeline


Google Research

PaLM: Scaling Language Modeling with Pathways

DARTS: Differentiable Architecture Search

Supervised Contrastive Learning

Efficient Neural Architecture Search via Parameter Sharing

Self-Consistency Improves Chain of Thought Reasoning in Language Models

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

Can You Trust Your Model's Uncertainty? Evaluating Predictive Uncertainty Under Dataset Shift

Rethinking Attention with Performers

Cluster-GCN: An Efficient Algorithm for Training Deep and Large Graph Convolutional Networks

Stand-Alone Self-Attention in Vision Models


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

HoME: a Household Multimodal Environment

Memory-based Deep Reinforcement Learning for POMDPs

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

Learning Generalizable Locomotion Skills with Hierarchical Reinforcement Learning

Active 3D Shape Reconstruction from Vision and Touch

From Pixels to Legs: Hierarchical Learning of Quadruped Locomotion

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

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

Seeking Quality Diversity in Evolutionary Co-design of Morphology and Control of Soft Tensegrity Modular Robots

Proceedings of the Genetic and Evolutionary Computation Conference

Rhoban Football Club: RoboCup Humanoid KidSize 2019 Champion Team Paper


Library of deep learning models and datasets designed to make deep learning more accessible and accelerate ML research.

Attention Is All You Need

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

Self-Attention with Relative Position Representations

When Does Label Smoothing Help?

Model-Based Reinforcement Learning for Atari

Generating Wikipedia by Summarizing Long Sequences

Universal Transformers

Population Based Training of Neural Networks

Achieving Human Parity on Automatic Chinese to English News Translation

Pay Less Attention with Lightweight and Dynamic Convolutions


UNIX-like reverse engineering framework and command-line toolset

SAFE: Self-Attentive Function Embeddings for Binary Similarity

CCS - FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution

Conference on Computer and Communications Security

SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask

InternalBlue - Bluetooth Binary Patching and Experimentation Framework

International Conference on Mobile Systems, Applications, and Services

IoT Malware Analysis Using Federated Learning: A Comprehensive Survey

JuCify: A Step Towards Android Code Unification for Enhanced Static Analysis

Android Code Protection via Obfuscation Techniques: Past, Present and Future Directions

Same File, Different Changes: The Potential of Meta-Maintenance on GitHub

Towards Generic Deobfuscation of Windows API Calls

A Formal Semantics for P-Code

Verified Software: Theories, Tools, Experiments


A podcast manager for Android

It Takes Two to TANGO: Combining Visual and Textual Information for Detecting Duplicate Video-Based Bug Reports

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs

Lifestate: Event-Driven Protocols and Callback Control Flow (Extended
  Version)


Aggregate results from bioinformatics analyses across many samples into a single report.

Best practices for bioinformatic characterization of neoantigens for clinical utility

Gfastats: conversion, evaluation and manipulation of genome sequences using assembly graphs

Th17 reprogramming of T cells in systemic juvenile idiopathic arthritis

MasterOfPores: A Workflow for the Analysis of Oxford Nanopore Direct RNA Sequencing Datasets

Feasibility of whole genome and transcriptome profiling in pediatric and young adult cancers

Analysis pipelines for cancer genome sequencing in mice

The gut-microbiota-brain axis in a Spanish population in the aftermath of the COVID-19 pandemic: microbiota composition linked to anxiety, trauma, and depression profiles

An invasive Haemophilus influenzae serotype b infection in an Anglo-Saxon plague victim

Long-Read Sequencing Improves the Detection of Structural Variations Impacting Complex Non-Coding Elements of the Genome

International journal of molecular sciences

FAK regulates IL-33 expression by controlling chromatin accessibility at c-Jun motifs


Connect, secure, control, and observe services.

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

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

International Conference on Cloud Computing

Demystifying Software Release Note Issues on GitHub

Research on Enterprise Service Governance Based on Service Mesh

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


A flexible, high-performance serving system for machine learning models

TensorFlow-Serving: Flexible, High-Performance ML Serving

A Comprehensive Study on Challenges in Deploying Deep Learning Based Software

Modeling the Sequential Dependence among Audience Multi-step Conversions with Multi-task Learning in Targeted Display Advertising

TF.Learn: TensorFlow's High-level Module for Distributed Machine Learning

Production Machine Learning Pipelines: Empirical Analysis and Optimization Opportunities

New Frontiers in IoT: Networking, Systems, Reliability, and Security Challenges

The machine learning life cycle and the cloud: implications for drug discovery

DELTA: A DEep learning based Language Technology plAtform

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

MLProxy: SLA-Aware Reverse Proxy for Machine Learning Inference Serving on Serverless Computing Platforms


Nearest Neighbor Machine Translation

kNN-BOX: A Unified Framework for Nearest Neighbor Generation

HistAlign: Improving Context Dependency in Language Generation by Aligning with History

Pluggable Neural Machine Translation Models via Memory-augmented Adapters


Uncertainty Weighted Actor-Critic for Offline Reinforcement Learning

Mildly Conservative Q-Learning for Offline Reinforcement Learning

Double Check Your State Before Trusting It: Confidence-Aware Bidirectional Offline Model-Based Imagination

State Advantage Weighting for Offline RL

Robust Offline Reinforcement Learning with Gradient Penalty and Constraint Relaxation


TrafficBots V1.5: TrafficBots + HPTR. 3rd place solution for Waymo Open Sim Agent Challenge 2024.

Scene Transformer: A unified architecture for predicting multiple agent trajectories

TrafficBots: Towards World Models for Autonomous Driving Simulation and Motion Prediction

Real-Time Motion Prediction via Heterogeneous Polyline Transformer with Relative Pose Encoding

TrafficBots V1.5: Traffic Simulation via Conditional VAEs and Transformers with Relative Pose Encoding


profile the repeat landscape in a genome

Comparative Analysis of Transposable Elements Highlights Mobilome Diversity and Evolution in Vertebrates

Insights into the evolution of Darwin’s finches from comparative analysis of the Geospiza magnirostris genome sequence

Microsporidia with Vertical Transmission Were Likely Shaped by Nonadaptive Processes


Protein-protein binding affinity benchmark

On the binding affinity of macromolecular interactions: daring to ask why proteins interact

Updates to the Integrated Protein-Protein Interaction Benchmarks: Docking Benchmark Version 5 and Affinity Benchmark Version 2.

A structure‐based benchmark for protein–protein binding affinity

Protein science : a publication of the Protein Society

Erratum: Are scoring functions in protein - Protein Docking Ready to predict interactomes? Clues from a novel binding affinity benchmark (Journal of Proteome Research (2010) 9 (2216-2225)

Proteins Feel More Than They See: Fine-Tuning of Binding Affinity by Properties of the Non-Interacting Surface

Molecular origins of binding affinity: seeking the Archimedean point

HADDOCK2P2I: A Biophysical Model for Predicting the Binding Affinity of Protein–Protein Interaction Inhibitors

Journal of chemical information and modeling


Align your LM to express calibrated verbal statements of confidence in its long-form generations.

Proximal Policy Optimization Algorithms

Training language models to follow instructions with human feedback

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

Linguistic Calibration of Long-Form Generations


Spliced read mapper for RNA-Seq

Characterizing Mutational Signatures in Human Cancer Cell Lines Reveals Episodic APOBEC Mutagenesis

The Implication of Early Chromatin Changes in X Chromosome Inactivation

A targetable LIFR−NF-κB−LCN2 axis controls liver tumorigenesis and vulnerability to ferroptosis

Comparison of Alternative Splicing Junction Detection Tools Using RNA-Seq Data

Transcriptome Differences in Porcine Alveolar Macrophages from Tongcheng and Large White Pigs in Response to Highly Pathogenic Porcine Reproductive and Respiratory Syndrome Virus (PRRSV) Infection

Proteogenomic Analysis Unveils the HLA Class I-Presented Immunopeptidome in Melanoma and EGFR-Mutant Lung Adenocarcinoma

Integrated time-series transcriptomic and metabolomic analyses reveal different inflammatory and adaptive immune responses contributing to host resistance to PRRSV

Multiomic molecular characterization of the response to combination immunotherapy in MSS/pMMR metastatic colorectal cancer

Identification of Candidate Genes for a Major Quantitative Disease Resistance Locus From Soybean PI 427105B for Resistance to Phytophthora sojae


[UNMAINTAINED] Point spread function modeling tool

Point spread function modelling for astronomical telescopes: a review focused on weak gravitational lensing studies

Frontiers in Astronomy and Space Sciences

A new strategy for matching observed and simulated lensing galaxies

Monthly Notices of the Royal Astronomical Society

Measuring the Substructure Mass Power Spectrum of 23 SLACS Strong
  Galaxy-Galaxy Lenses with Convolutional Neural Networks


TimeMAE: Self-Supervised Representations of Time Series with Decoupled Masked Autoencoders

FormerTime: Hierarchical Multi-Scale Representations for Multivariate Time Series Classification

ConvTimeNet: A Deep Hierarchical Fully Convolutional Model for
  Multivariate Time Series Analysis

Learning Transferable Time Series Classifier with Cross-Domain
  Pre-training from Language Model


Self-Monitoring Navigation Agent via Auxiliary Progress Estimation

Intention-Net: Integrating Planning and Deep Learning for Goal-Directed Autonomous Navigation

One-Shot Reinforcement Learning for Robot Navigation with Interactive Replay

Robot Localization in Floor Plans Using a Room Layout Edge Extraction Network


Efficient Bayesian Learning Curve Extrapolation using Prior-Data Fitted Networks

The Unreasonable Effectiveness Of Early Discarding After One Epoch In Neural Network Hyperparameter Optimization


Invertible Residual Networks

Residual Flows for Invertible Generative Modeling

Invertible DenseNets with Concatenated LipSwish


[ECCV 2024] UMBRAE: Unified Multimodal Brain Decoding | Unveiling the 'Dark Side' of Brain Modality

Brain Captioning: Decoding human brain activity into images and text

DREAM: Visual Decoding from Reversing Human Visual System


A CSV formatted file using data from the Yelp Academic Dataset.

Regularized Submodular Maximization at Scale

Streaming Submodular Maximization under a k-Set System Constraint

Submodular Maximization Through Barrier Functions


A 3D Map of the Human Genome at Kilobase Resolution Reveals Principles of Chromatin Looping

Juicer Provides a One-Click System for Analyzing Loop-Resolution Hi-C Experiments

HiC-Pro: an optimized and flexible pipeline for Hi-C data processing

De novo assembly of the Aedes aegypti genome using Hi-C yields chromosome-length scaffolds

Three-dimensional Epigenome Statistical Model: Genome-wide Chromatin Looping Prediction

Iterative correction of Hi-C data reveals hallmarks of chromosome organization

Chromosome-scale scaffolding of de novo genome assemblies based on chromatin interactions

Exploring the three-dimensional organization of genomes: interpreting chromatin interaction data

Cooler: scalable storage for Hi-C data and other genomically-labeled arrays

Condensin-driven remodelling of X chromosome topology during dosage compensation


Official release of the DMControl Generalization Benchmark 2 (DMC-GB2)

Generalization in Reinforcement Learning by Soft Data Augmentation

The Distracting Control Suite -- A Challenging Benchmark for Reinforcement Learning from Pixels

A Recipe for Unbounded Data Augmentation in Visual Reinforcement Learning


Code for Environment Inference for Invariant Learning (ICML 2021 Paper)

Out-of-distribution Prediction with Invariant Risk Minimization: The Limitation and An Effective Fix

Decorr: Environment Partitioning for Invariant Learning and OOD Generalization

Mitigating Simplicity Bias in Deep Learning for Improved OOD Generalization and Robustness


Software to calculate magnetostriction coefficients and magnetoelastic constants

Spin-lattice model for cubic crystals

MAELAS: MAgneto-ELAStic properties calculation via computational high-throughput approach

MAELAS 2.0: A new version of a computer program for the calculation of magneto-elastic properties

MAELASviewer: An Online Tool to Visualize Magnetostriction

Automated calculations of exchange magnetostriction


Euclidean Wasserstein-2 optimal transportation

Optimal transport mapping via input convex neural networks

Wasserstein-2 Generative Networks

Convex Potential Flows: Universal Probability Distributions with Optimal Transport and Convex Optimization

Do Neural Optimal Transport Solvers Work? A Continuous Wasserstein-2 Benchmark

Generative Modeling with Optimal Transport Maps

2-Wasserstein Approximation via Restricted Convex Potentials with Application to Improved Training for GANs

On amortizing convex conjugates for optimal transport

Self-Consistent Velocity Matching of Probability Flows


An optimized log compression tool via iterative clustering [ASE'19]

Logzip: Extracting Hidden Structures via Iterative Clustering for Log Compression

A Comprehensive Survey of Logging in Software: From Logging Statements Automation to Log Mining and Analysis

LogShrink: Effective Log Compression by Leveraging Commonality and Variability of Log Data


Bayesian Program Learning model for one-shot learning

Spectroscopic characterization of isomerization transition states

One-shot Compositional Data Generation for Low Resource Handwritten Text Recognition

A Relational Model for One-Shot Classification


data and scripts for the shared task "Task 1: Paraphrase and Semantic Similarity in Twitter (PIT)" at SemEval 2015

A Paraphrase and Semantic Similarity Detection System for User Generated Short-Text Content on Microblogs

International Conference on Computational Linguistics

A multi-cascaded model with data augmentation for enhanced paraphrase detection in short texts


Tensorflow 1.14 for Bert, Bert UniLM, ALBert

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

ALBERT: A Lite BERT for Self-supervised Learning of Language Representations

Unified Language Model Pre-training for Natural Language Understanding and Generation


papers we read about Recommendation Advertising & Search

Modeling Task Relationships in Multi-task Learning with Multi-gate Mixture-of-Experts

Recommending what video to watch next: a multitask ranking system

RECSYS 2019: 13TH ACM CONFERENCE ON RECOMMENDER SYSTEMS

A pareto-efficient algorithm for multiple objective optimization in e-commerce recommendation

PAL: a position-bias aware learning framework for CTR prediction in live recommender systems


Machine learning and deep learning resources

A few useful things to know about machine learning

Deep Learning in Bioinformatics

Deep learning for computational biology

A guide to machine learning for biologists

Scaling tree-based automated machine learning to biomedical big data with a feature set selector

Breast Cancer Histopathological Image Classification: A Deep Learning Approach

A Deep Learning Framework for Predicting Response to Therapy in Cancer.

A Guide on Deep Learning for Complex Trait Genomic Prediction


Binary Programming Formulation for Learning Classification Trees Using Cplex

Learning Optimal Decision Trees Using Caching Branch-and-Bound Search

THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE

Column generation based math-heuristic for classification trees

Learning Optimal Decision Trees from Large Datasets


Data and code used in our NAACL'19 paper "Selective Attention for Context-aware Neural Machine Translation"

A Simple and Effective Unified Encoder for Document-Level Machine Translation

Meeting of the Association for Computational Linguistics

Encouraging Lexical Translation Consistency for Document-Level Neural Machine Translation

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

P-Transformer: Towards Better Document-to-Document Neural Machine Translation

Document-Level Neural Machine Translation Using BERT as Context Encoder

International Joint Conference on Natural Language Processing

A Case Study on Context Encoding in Multi-Encoder based Document-Level Neural Machine Translation


An ECG based biometric model for specialised authentication systems

End-to-End Incremental Learning

ECG arrhythmia classification using a 2-D convolutional neural network

Classification of Arrhythmia by Using Deep Learning with 2-D ECG Spectral Image Representation

A Comparison of 1-D and 2-D Deep Convolutional Neural Networks in ECG Classification


List of (automatic) protocol reverse engineering tools for network protocols

Inference and analysis of formal models of botnet command and control protocols

PROCEEDINGS OF THE 17TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'10)

A Survey of Automatic Protocol Reverse Engineering Tools

Learning stateful models for network honeypots

State of the art of network protocol reverse engineering tools

Journal of Computer Virology and Hacking Techniques

ProWord: An unsupervised approach to protocol feature word extraction

International Conference on Computer Communications

Research in Attacks, Intrusions, and Defenses

Bit-oriented format extraction approach for automatic binary protocol reverse engineering

A Survey of Automatic Protocol Reverse Engineering Approaches, Methods, and Tools on the Inputs and Outputs View

Survey of Protocol Reverse Engineering Algorithms: Decomposition of Tools for Static Traffic Analysis

IEEE Communications Surveys and Tutorials

Protocol Specification Extraction Based on Contiguous Sequential Pattern Algorithm


Implementation for NAT.

DARTS: Differentiable Architecture Search

Efficient Neural Architecture Search via Parameter Sharing

NAT: Neural Architecture Transformer for Accurate and Compact Architectures

Towards Accurate and Compact Architectures via Neural Architecture Transformer


BMXNet: An Open-Source Binary Neural Network Implementation Based on MXNet

XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks

DoReFa-Net: Training Low Bitwidth Convolutional Neural Networks with Low Bitwidth Gradients

Binarized Neural Networks: Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1

Learning to Train a Binary Neural Network


A self-contained C++ implementation of MMA and GCMMA.

Lagrangian–Eulerian multidensity topology optimization with the material point method

International Journal for Numerical Methods in Engineering

Cellular topology optimization on differentiable Voronoi diagrams

A Hybrid Lagrangian-Eulerian Method for Topology Optimization.


Minimal implementation of PAWS (https://arxiv.org/abs/2104.13963) in TensorFlow.

Unsupervised Learning of Visual Features by Contrasting Cluster Assignments

Big Self-Supervised Models are Strong Semi-Supervised Learners

Meta Pseudo Labels

Semi-Supervised Learning of Visual Features by Non-Parametrically Predicting View Assignments with Support Samples


Utilities for nonlinear least-squares fits.

|Vub | from B →π ν decays and (2+1)-flavor lattice QCD

Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D, Particles, fields, gravitation, and cosmology

Two-nucleon S -wave interactions at the SU(3) flavor-symmetric point with mud≈ msphys: A first lattice QCD calculation with the stochastic Laplacian Heaviside method

Bc→J/ψ form factors for the full q2 range from lattice…

Neutral kaon mixing beyond the Standard Model with n f = 2 + 1 chiral fermions. Part 2: non perturbative renormalisation of the ΔF = 2 four-quark operators

Gluon gravitational structure of hadrons of different spin

Reconstruction of smeared spectral functions from Euclidean correlation functions

Progress of Theoretical and Experimental Physics

FK /Fπ from Möbius domain-wall fermions solved on gradient-flowed HISQ ensembles

Bc→Bs(d)
 form factors from lattice QCD

Gravitational form factors of the pion from lattice QCD

Improved information criteria for Bayesian model averaging in lattice field theory


Gluon implementation of channel-attention modules: SE, ECA, GCT

Squeeze-and-Excitation Networks

ECA-Net: Efficient Channel Attention for Deep Convolutional Neural Networks

Gated Channel Transformation for Visual Recognition