yusuke1997/dblp-id-title huggingface dataset:
Rough Set Theory of Pattern Classification in the Brain
Specifying Spatio Temporal Relations for Multimedia Ontologies
Binarizing Change for Fast Trend Similarity Based Clustering of Time Series Data
Cross-Correlation and Evolutionary Biclustering: Extracting Gene Interaction Sub-networks
EAI-NET: Effective and Accurate Iris Segmentation Network
Improved Simulation of Holography Based on Stereoscopy and Face Tracking
Accurate Localizations of Reference Points in a Fingerprint Image
A Novel OCR System Based on Rough Set Semi-reduct
Hierarchical Ranking of Cricket Teams Incorporating Player Composition
Efficient Multi-method Rule Learning for Pattern Classification Machine Learning and Data Mining
Text Line Segmentation for Unconstrained Handwritten Document Images Using Neighborhood Connected Component Analysis
Automated Reasoning for Mathematics
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations
MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper)
The Benefits of Diligence
The Naproche-ZF Theorem Prover (Short Paper)
On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
Induction in Saturation
Fast and Verified UNSAT Certificate Checking
Certifying Phase Abstraction
Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Local Intuitionistic Modal Logics and Their Calculi
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper)
A Cyclic Proof System for Guarded Kleene Algebra with Tests
Unification in the Description Logic ELH ℛ + Without the Top Concept Modulo Cycle-Restricted Ontologies
A Dependency Pair Framework for Relative Termination of Term Rewriting
What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?
Equivalence Checking of Quantum Circuits by Model Counting
Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Synthesis of Recursive Programs in Saturation
Satisfiability Modulo Exponential Integer Arithmetic
Certified MaxSAT Preprocessing
Equational Anti-unification over Absorption Theories
A Decision Method for First-Order Stream Logic
Model Construction for Modal Clauses
Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic
Lemma Discovery and Strategies for Automated Induction
Booleguru, the Propositional Polyglot (Short Paper)
Sequents vs Hypersequents for Åqvist Systems
Regularization in Spider-Style Strategy Discovery and Schedule Construction
Model Completeness for Rational Trees
Verifying a Realistic Mutable Hash Table - Case Study (Short Paper)
A Higher-Order Vampire (Short Paper)
Stepping Stones in the TPTP World
Skolemisation for Intuitionistic Linear Logic
First-Order Automatic Literal Model Generation
SAT-Based Learning of Computation Tree Logic
Solving Quantitative Equations
A Proof Theory of (ømega-)Context-Free Languages, via Non-wellfounded Proofs
Uniform Substitution for Differential Refinement Logic
Confluence of Logically Constrained Rewrite Systems Revisited
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL
A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems
Quantifier Shifting for Quantified Boolean Formulas Revisited
Reducibility Constraints in Superposition
Sequent Systems on Undirected Graphs
An Empirical Assessment of Progress in Automated Theorem Proving
Non-iterative Modal Resolution Calculi
Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property
Towards Framework-Independent, Non-Intrusive Performance Characterization for Dataflow Computation
TO FLUSH or NOT: Zero Padding in the File System with SSD Devices
Rethinking remote memory placement on large-memory systems with path diversity
CertiKOS: a certified kernel for secure cloud computing
TinyFTL: an FTL architecture for flash memory cards with scarce resources
Order Matters for Accounting Idempotent Resources
Detecting Data Center Cooling Problems Using a Data-driven Approach
Feasibility study of mobile phone WiFi detection in aerial search and rescue operations
libVNF: A Framework for Building Scalable High Performance Virtual Network Functions
Nearly symmetric multi-core processors
DeepPlace: Learning to Place Applications in Multi-Tenant Clusters
Container Density Improvements with Dynamic Memory Extension using NAND Flash
A Name Is Not A Name: The Implementation Of A Cloud Storage System
D 2 P : a distributed deadline propagation approach to tolerate long-tail latency in datacenters
Lazy tree mapping: generalizing and scaling deterministic parallelism
A heterogeneous microkernel OS for Rack-Scale systems
An efficient software shared virtual memory for the single-chip cloud computer
FLsched: A Lockless and Lightweight Approach to OS Scheduler for Xeon Phi
Persistent memory aware performance isolation with dicio
Neverlast: an NVM-centric operating system for persistent edge systems
Retroactive auditing
Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys 2024, Kyoto, Japan, September 4-5, 2024
Multiple Physical Mappings: Dynamic DRAM Channel Sharing and Partitioning
Family Classification based on Tree Representations for Malware
APSys '22: 13th ACM SIGOPS Asia-Pacific Workshop on Systems, Virtual Event, Singapore, August 23 - 24, 2022
APSys '21: 12th ACM SIGOPS Asia-Pacific Workshop on Systems, Hong Kong, China, August 24-25, 2021
Programming for Non-Volatile Main Memory Is Hard
High-Performance Stateful Stream Processing on Solid-State Drives
ACTS in Need: Automatic Configuration Tuning with Scalability Guarantees
SIndex: a scalable learned index for string keys
No Security Without Time Protection: We Need a New Hardware-Software Contract
Using Inputs and Context to Verify User Intentions in Internet Services
A Case for Protecting Huge Pages from the Kernel
NV-process: a fault-tolerance process model based on non-volatile memory
A scalable and topology configurable protocol for distributed parameter synchronization
The systems hacker's guide to the galaxy energy usage in a modern smartphone
OnionDisk: A Log-Structured Write-Optimal Virtual Block Device
Polar: A Managed Runtime with Hotness-Segregated Heap for Far Memory
To preempt or not to preempt, that is the question
An Empirical Study on NVM-based Block I/O Caches
SWAN: WAN-aware stream processing on geographically-distributed clusters
A Preliminary Performance Model for Optimizing Software Packet Processing Pipelines
A better way to negotiate for testbed resources
Challenges in the emulation of large scale software defined networks
Exploring microcontrollers in GPUs
Building a Security OS With Software Defined Infrastructure
A read-disturb management technique for high-density NAND flash memory
AVX overhead profiling: how much does your fast code slow you down?
InterFS: An Interplanted Distributed File System to Improve Storage Utilization
Reducing tail latency of DNN-based recommender systems using in-storage processing
Liquid: Mix-and-Match Multiple Image Formats to Balance DNN Training Pipeline
Recovering from intrusions in distributed systems with DARE
Profiling and optimizing deep learning inference on mobile GPUs
Enforcing Privacy Policies with Meta-Code
AutoLog: facing log redundancy and insufficiency
Developing Process Scheduling Policies in User Space with Common OS Features
Bipartite-oriented distributed graph partitioning for big learning
Traveling forward in time to newer operating systems using ShadowReboot
Hardware-supported virtualization on ARM
PreCrime to the rescue: defeating mobile malware one-step ahead
TCP Performance Optimization for Epoch-based Execution
Correct, fast, maintainable: choose any three!
Micro-CLK: returning to the asynchronicity with communication-less microkernel
Asia-Pacific Workshop on Systems, APSys '13, Singapore, Singapore, July 29-30, 2013
Linux kernel vulnerabilities: state-of-the-art defenses and open problems
Detecting System Failures with GPUs and LLVM
RepFrame: An Efficient and Transparent Framework for Dynamic Program Analysis
On the precision of precise event based sampling
MemScope: Analyzing Memory Duplication on Android Systems
Towards OS Heterogeneity Aware Cluster Management for HPC
C2J: compulsory compound transaction for journaling file system
Security bugs in embedded interpreters
Why Is HTTP Adaptive Streaming So Hard?
RocketStreams: A Framework for the Efficient Dissemination of Live Streaming Video
TRIPOD: An Efficient, Highly-available Cluster Management System
Building trusted path on untrusted device drivers for mobile devices
TUS: A Transactional Update Service for SDN Applications
User scripting on Android using BladeDroid
GPU-based first aid for system faults
Towards unobtrusive VM live migration for cloud computing platforms
SyncGC: A Synchronized Garbage Collection Technique for Reducing Tail Latency in Cassandra
Optimizing unit test execution in large software programs using dependency analysis
Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys 2023, Seoul, Republic of Korea, August 24-25, 2023
Improving User Experience of Android Smartphones Using Foreground App-Aware I/O Management
So many performance events, so little time
Samsara: Efficient Deterministic Replay with Hardware Virtualization Extensions
Rebooting Virtualization Research (Again)
A case for RDMA in clouds: turning supercomputer networking into commodity
Brokered Agreements in Multi-Party Machine Learning
Query-efficient Partitions for Dynamic Data
Redundantly grouped cross-object coding for repairable storage
Static analysis of device drivers: we can do better!
Device drivers should not do power management
Accelerating Flow Processing Middleboxes with Programmable NICs
Optimizing half precision Winograd convolution on ARM many-core processors
Reducing Attack Surface with Container Transplantation for Lightweight Sandboxing
Split gRPC: An Isolation Architecture for RPC Software Stacks
Characterizing Co-located Datacenter Workloads: An Alibaba Case Study
DiME: A Performance Emulator for Disaggregated Memory Architectures
Non-repudiable disk I/O in untrusted kernels
CryptZip: Squeezing out the Redundancy in Homomorphically Encrypted Backup Data
Coalescent computing
WoundDie: Concurrency Control Protocol with Lightweight Priority Control
Storage-class memory needs flexible interfaces
Don't Forget Your Electricity Bills!: An Empirical Study of Characterizing Energy Consumption of 3D Printers
SSMalloc: a low-latency, locality-conscious memory allocator with stable performance scalability
The Case for Writing a Kernel in Rust
Cost-Efficient Serverless Inference Serving with Joint Batching and Multi-Processing
Zero-copy Migration for Lightweight Software Rejuvenation of Virtualized Systems
ExtOS: Data-centric Extensible OS
SemSwap: semantics-aware swapping in memory disaggregated datacenters
Seraph: A Performance-Cost Aware Tuner for Training Reinforcement Learning Model on Serverless Computing
Saec: similarity-aware embedding compression in recommendation systems
SLIM: Mmap from the cloud to device, and back
gHA: An Efficient and Iterative Checkpointing Mechanism for Virtualized GPUs
Optimizing the file system with variable-length I/O for fast storage devices
Toward under-millisecond I/O latency in Xen-ARM
Lessons learned from migrating complex stateful applications onto serverless platforms
Shadow Kernels: A General Mechanism For Kernel Specialization in Existing Operating Systems
Towards isolated execution at the machine level
APSys '20: 11th ACM SIGOPS Asia-Pacific Workshop on Systems, Tsukuba, Japan, August 24-25, 2020
Machine fault tolerance for reliable datacenter systems
How beneficial is peer-to-peer DMA?
Split Migration of Large Memory Virtual Machines
Toward an Edge-Friendly Distributed Object Store for Serverless Functions
NotNets: Accelerating Microservices by Bypassing the Network
RevDedup: a reverse deduplication storage system optimized for reads to latest backups
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys '16, Hong Kong, China, August 4-5, 2016
Experiences in profile-guided operating system kernel optimization
Proceedings of the 9th Asia-Pacific Workshop on Systems, APSys 2018, Jeju Island, Republic of Korea, August 27-28, 2018
Quantifying the Security Profile of Linux Applications
Making automated testing of cloud applications an integral component of PaaS
U-HAUL: Efficient State Migration in NFV
Lightweight data lifetime classification using migration counts to improve performance and lifetime of flash-based SSDs
NVMcached: An NVM-based Key-Value Cache
Scaling Up IoT Stream Processing
Improving Cloud Storage Usage Experience for Mobile Applications
Semantic-Aware Virtual Reality Video Streaming
Grok the data center
SmartNIC-Enabled Live Migration for Storage-Optimized VMs
One optimized I/O configuration per HPC application: leveraging the configurability of cloud
uFLIP-OC: Understanding Flash I/O Patterns on Open-Channel Solid-State Drives
APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July 11-12, 2011
First steps in verifying the seL4 Core Platform
Evaluation of a Disaggregated Rack System
Towards portable end-to-end network performance characterization of SmartNICs
Draining our glass: an energy and heat characterization of Google Glass
Mobile applications need targeted micro-updates
Dynamic Refresh Rate Control for IGZO Display
Rethinking Benchmarking for NVM-based File Systems
Thinking about A New Mechanism for Huge Page Management
PACE: Penalty Aware Cache Modeling with Enhanced AET
New wine in old skins: the case for distributed operating systems in the data center
Towards a Flexible and High-Fidelity Approach to Distributed DNN Training Emulation
Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys 2019, Hangzhou, China, Augsut 19-20, 2019
HDRF: Hadoop data reduction framework for hadoop distributed file system
Asia-Pacific Workshop on Systems, APSys'14, Beijing, China, June 25-26, 2014
Handling more data with less cost: taming power peaks in MapReduce clusters
TotalCOW: Unleash the Power of Copy-On-Write for Thin-provisioned Containers
DiLOS: adding performance to paging-based memory disaggregation
Our troubles with Linux and why you should care
Towards application performance fairness on clouds
Revisiting challenges for selective data protection of real applications
Towards a fully disaggregated and programmable data center
Go Gentle into the Good Night via Controlled Battery Discharging
To Isolate, or to Share?: That is a Question for Intel SGX
Towards realistic benchmarks for virtual infrastructure resource allocators
Optimizing Hash-based Distributed Storage Using Client Choices
Containing the Hype
BurstRadar: Practical Real-time Microburst Monitoring for Datacenter Networks
The Dangers and Complexities of SQLite Benchmarking
Analysis and Improvement of Optimizer for Query Processing on Graph Store
Protected hard real-time: the next frontier
The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security
BMoss: Reconfigurable Hardware Accelerator for Scalable Plagiarism Detection
Accelerating GNN training with locality-aware partial execution
Faster FUSE Filesystems with Efficient Data Transfers
USETL: Unikernels for Serverless Extract Transform and Load Why should you settle for less?
Opportunities and pitfalls of multi-core scaling using hardware transaction memory
Enhancing SSD reliability through efficient RAID support
Towards practical multikernel OSes with MySyS
Security breaches as PMU deviation: detecting and identifying security attacks using performance counters
xOS: The End Of The Process-Thread Duo Reign
Evaluation of the Intel thread director technology on an Alder Lake processor
The case for mobile forensics of private data leaks: towards large-scale user-oriented privacy protection
Persistent Memory I/O-Aware Task Placement for Mitigating Resource Contention
Anatomy of Cloud Monitoring and Metering: A case study and open problems
FTSD: a fissionable lock for multicores
SubZero: zero-copy IO for persistent main memory file systems
The Case for a Virtualization-Based Trusted Execution Environment in Mobile Devices
Improving Throughput-oriented Generative Inference with CPUs
Learning from Big Malwares
Anatomizing System Activities on Interactive Wearable Devices
Virtual Memory Revisited for Tiered Memory
Quantifying the Impact of Edge Computing on Mobile Applications
Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017
Machine learning for load balancing in the Linux kernel
Framekernel: A Safe and Efficient Kernel Architecture via Rust-based Intra-kernel Privilege Separation
Yawn: A CPU Idle-state Governor for Datacenter Applications
ColumnBurst: a near-storage accelerator for memory-efficient database join queries
Understanding the Security of Linux eBPF Subsystem
PCDedup: I/O-Activity Centric Deduplication for Improving the SSD Lifetime
Mjölnir: The Magical Web Application Hammer
Rethinking Compiler Optimizations for the Linux Kernel: An Explorative Study
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4
Controlling the speed of virtual time for malware deactivation
HyperFresh: Live Refresh of Hypervisors Using Nested Virtualization
Optimizing RAM-latency dominated applications
A Lightweight and Fine-grained File System Sandboxing Framework
SmartOS: towards automated learning and user-adaptive resource allocation in operating systems
The nonkernel: a kernel designed for the cloud
Schedule processes, not VCPUs
Vis: virtualization enhanced live acquisition for native system
Understanding Security Vulnerabilities in File Systems
Towards Efficient End-to-End Encryption for Container Checkpointing Systems
Undefined behavior: what happened to my code?
StepAhead: Rethinking Filesystem Namespace Translations
SELF: Improving the Memory-Sharing Opportunity using Virtual-Machine Self-Hints in Virtualized Systems
Designing and Implementing Live Migration Support for Arm-based Confidential VMs
pNOVA: Optimizing Shared File I/O Operations of NVM File System on Manycore Servers
Capybara: μSecond-Scale Live TCP Migration
Guaranteeing the Metadata Update Atomicity in EXT4 File system
Unifying synchronization and events in a multicore OS
Wayfinder: towards automatically deriving optimal OS configurations
For a Microkernel, a Big Lock Is Fine
Analyzing The Tradeoff Between Throughput and Latency in Multicore Scalable In-Memory Database Systems
PMShifter: enabling persistent memory fluidness in Linux
Proceedings of the 6th Asia-Pacific Workshop on Systems, APSys 2015, Tokyo, Japan, July 27-28, 2015
File Defragmentation Scheme for a Log-Structured File System
Libservices: dynamic storage provisioning for multitenant I/O isolation
Towards user-defined SLA in cloud flash storage
SPECTRE: speculation to hide communication latency
Time Capsule: Tracing Packet Latency across Different Layers in Virtualized Systems
The power of batching in the Click modular router
Eliminating State Entanglement with Checkpoint-based Virtualization of Mobile OS Services
Building verified neural networks with specifications for systems
Is It Possible to Automatically Port Kernel Modules?
FHA: Flow-level High Availability on Programmable Network Hardware for Cloud Provider
dm-x: Protecting Volume-level Integrity for Cloud Volumes and Local Block Devices
The Feniks FPGA Operating System for Cloud Computing
Realizing privacy by definition in social networks
Analysis and Optimizations of Java Full Garbage Collection
Smart and Secure: Preserving Privacy in Untrusted Home Routers
Offloading load balancers onto SmartNICs
On Building a Programmable Wireless High-Quality Virtual Reality System Using Commodity Hardware
MoonBox: debugging with online slicing and dryrun
FlashEmbedding: storing embedding tables in SSD for large-scale recommender systems
Scalability in the Clouds!: A Myth or Reality?
Oolong: asynchronous distributed applications made easy
A virtual memory foundation for scalable deterministic parallelism
Implementation and evaluation of deep neural networks (DNN) on mainstream heterogeneous systems
Asia-Pacific Workshop on Systems, APSys '12, Seoul, Republic of Korea, July 23-24, 2012
Smart Power Plugs for Efficient Online Classification and Tracking of Appliance Behavior
Chaos: Function Granularity Runtime Address Layout Space Randomization for Kernel Module
Protocol-Independent FIB Architecture for Network Overlays
Enhanced control path for repeated TCP connections
Hora: High Assurance Periodic Availability Guarantee for Life-Critical Applications on Smartphones
Debugging OpenStack Problems Using a State Graph Approach
Trusted Heterogeneous Disaggregated Architectures
Concerto: cooperative network-wide telemetry with controllable error rate
Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads
Why does cryptographic software fail?: a case study and open problems
ZapRAID: Toward High-Performance RAID for ZNS SSDs via Zone Append
A Novel Automatic Image Annotation Method Based on Co-occurrence Keywords
Top-down Natural Language Query Approach for Embodied Conversational Agent
Secure Fast Pre-authentication Based on IEEE 802.11i
Receiver-Driven Congestion Control for Streaming Video Application
Valuing Double Barrier Options with Time-Dependent Parameters
A Study about Different Strategies in Risk Elicitation
A Hybrid SPIHT-EBC Image Coder
The Calculation of Annular Duct Geometries by Prescribing a Velocity Distribution on the Pressure Surface and the Radius of the Suction Surface
Assoiation Rules Mining of Novel Genetic Algorithm Based on Image Databases
SNPrimer- Design of Natural and Degenerated Primers for SNPs
Flicker Level Mitigation in Systems Including Wind Turbines using Dynamic Compensators
A Communication Module Using Message Queue for a Process Automation System of the Industry Environment
Case Study on a Comprehensive Approach to the Supplier Assessment
ANA - Black Box (Optical CPU)
ID-Based E-Will System using Bilinear Pairings
Automatic Resumption of Streaming Sessions over Wireless Communications Using Agents
Multimedia Interactive Satellite Communication Systems for Distance Learning
Context and Contextual Reasoning from the Perspective of AI
Applying LCR and AFD in Performance Analysis for SC Diversity over General Fading Channels
The Use of a Maximum Error Function in High Precision FDM Calculations Applied to Cylindrically Symmetric Geometries
A First Look on iMiner' s Knowledge Base and Detecting Hidden Hierarchy of Riyadh Bombing Terrorist Network
Metamodel-Assisted Global Search Using a Probing Technique
Towards Increasing the Robustness of Image Watermarking Scheme Against JPEG Compression
Intrusion Detection Using Wavelet Transform and Non Negative Matrix Factorization
FSCP: A Resource Space Model Based on Semantically Enabled P2P Grid
How to Make Lisp Go Faster than C
A Biplane-Based Approach to Knee Joint Reconstruction without Calibration
Stock Price Prediction Based on Neurofuzzy System for Thai Stock Index
Docking studies of Tau Protein
A Common Subexpression Sharing Approach for Multiplierless Synthesis of Multiple Constant Multiplications
Limiting Frechet Subdifferentials of Marginal Functions
Wireless Local Area Network Implementation
Supporting the conception of a Knowledge Management System by the PIFA approach: case study STMicroelectronics
Security Features and Technologies for E-business Architecture Design
Synergies of Three Letters Syndrome for Revitalizing Manufacturing
A Web Based Maintenance Method of Computer Servers Using Extracted Rules by ADG
Highly Efficient Authenticated Key Agreement in Integrated 3G/WLAN IP Networks
Fuzzy Control for a Planetary Gear Type Inverted Pendulum Mechanism
A Hybrid Method: GMCSA-CNN for Image Noise Cancellation
Spam Mail Templates Using Genetic Algorithm
Image Denoising Using Adaptive Neuro-Fuzzy system
A Survey of 3D Reconstruction Algorithms from 2D Images
Boundary Layer Solutions Around Body of Revolution