Haibo Chen

Rafael Lourenco de Lima Chehab

ACM SIGOPS Oper. Syst. Rev., 2021

Revisiting Persistent Indexing Structures on Intel Optane DC Persistent Memory.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2021

Accelerator Virtualization Framework Based on Inter-VM Exitless Communication.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2021

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report).

[BibT_eX]

[DOI]

Jonas Oberhauser

CoRR, 2021

TZ-Container: protecting container from untrusted OS with ARM TrustZone.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2021

Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM.

[BibT_eX]

[DOI]

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM.

[BibT_eX]

[DOI]

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

CLoF: A Compositional Lock Framework for Multi-level NUMA Systems.

[BibT_eX]

[DOI]

Rafael Lourenco de Lima Chehab

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Polyjuice: High-Performance Transactions via Learned Concurrency Control.

[BibT_eX]

[DOI]

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing.

[BibT_eX]

[DOI]

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Bringing Decentralized Search to Decentralized Services.

[BibT_eX]

[DOI]

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Scalable Memory Protection in the PENGLAI Enclave.

[BibT_eX]

[DOI]

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp.

[BibT_eX]

[DOI]

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Confidential Serverless Made Efficient with Plug-In Enclaves.

[BibT_eX]

[DOI]

Mingyu Li

Yubin Xia

Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021

Bridging the performance gap for copy-based garbage collectors atop non-volatile memory.

[BibT_eX]

[DOI]

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

Third-Eye: Practical and Context-Aware Inference of Causal Relationship Violations in Commodity Kernels.

[BibT_eX]

[DOI]

Chuhong Yuan

Dong Du

Rafael Lourenco de Lima Chehab

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2021

VSync: push-button verification and optimization for synchronization primitives on weak memory models.

[BibT_eX]

[DOI]

Jonas Oberhauser

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

CPU Elasticity to Mitigate Cross-VM Runtime Monitoring.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2020

Secure and Efficient Control Data Isolation with Register-Based Data Cloaking.

[BibT_eX]

[DOI]

Xiayang Wang

Fuqian Huang

IEEE Trans. Computers, 2020

Optimistic Transaction Processing in Deterministic Database.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2020

GCPersist: an efficient GC-assisted lazy persistency framework for resilient Java applications on NVM.

[BibT_eX]

[DOI]

Proceedings of the VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2020

(Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services.

[BibT_eX]

[DOI]

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication.

[BibT_eX]

[DOI]

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

XIndex: a scalable learned index for multicore data storage.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

No barrier in the road: a comprehensive study and optimization of ARM barriers.

[BibT_eX]

[DOI]

Nian Liu

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache.

[BibT_eX]

[DOI]

Xingda Wei

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Characterizing serverless platforms with serverlessbench.

[BibT_eX]

[DOI]

Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

On the precision of precise event based sampling.

[BibT_eX]

[DOI]

Proceedings of the APSys '20: 11th ACM SIGOPS Asia-Pacific Workshop on Systems, 2020

SIndex: a scalable learned index for string keys.

[BibT_eX]

[DOI]

Proceedings of the APSys '20: 11th ACM SIGOPS Asia-Pacific Workshop on Systems, 2020

2019

Learn-as-you-go with Megh: Efficient Live Migration of Virtual Machines.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2019

Scaling out NUMA-Aware Applications with RDMA-Based Distributed Shared Memory.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2019

DTrace: fine-grained and efficient data integrity checking with hardware instruction tracing.

[BibT_eX]

[DOI]

Xiayang Wang

Fuqian Huang

Cybersecur., 2019

Learned Indexes for Dynamic Workloads.

[BibT_eX]

[DOI]

CoRR, 2019

Taming Distrust in the Decentralized Internet with PIXIU.

[BibT_eX]

[DOI]

CoRR, 2019

TEEv: virtualizing trusted execution environments on mobile platforms.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2019

ScissorGC: scalable and efficient compaction for Java full garbage collection.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2019

Pragh: Locality-preserving Graph Traversal with Split Live Migration.

[BibT_eX]

[DOI]

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Pisces: A Scalable and Efficient Persistent Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices.

[BibT_eX]

[DOI]

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Using concurrent relational logic with helpers for verifying the AtomFS file system.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Performance and protection in the ZoFS user-space NVM file system.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

On the Parallels between Paxos and Raft, and how to Port Optimizations.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

XPC: architectural support for secure and efficient cross process call.

[BibT_eX]

[DOI]

Proceedings of the 46th International Symposium on Computer Architecture, 2019

SkyBridge: Fast and Secure Inter-Process Communication for Microkernels.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

Eunomia: Scaling Concurrent Index Structures Under Contention Using HTM.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2018

Replication-Based Fault-Tolerance for Large-Scale Graph Processing.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2018

PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs.

[BibT_eX]

[DOI]

ACM Trans. Parallel Comput., 2018

Research on ARM TrustZone.

[BibT_eX]

[DOI]

Wenhao Li

Yubin Xia

GetMobile Mob. Comput. Commun., 2018

ShadowEth: Private Smart Contract on Public Blockchain.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2018

SplitPass: A Mutually Distrusting Two-Party Password Manager.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2018

Asymmetric virtual machine replication for low latency and high available service.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

Cloud bursting for the world's largest consumer market.

[BibT_eX]

[DOI]

Commun. ACM, 2018

Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration.

[BibT_eX]

[DOI]

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs.

[BibT_eX]

[DOI]

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better!

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

VButton: Practical Attestation of User-driven Operations in Mobile Apps.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual International Conference on Mobile Systems, 2018

Comprehensive VM Protection Against Untrusted Hypervisor Through Retrofitted AMD Memory Encryption.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2018

Leveraging Hardware Transactional Memory for Cache Side-Channel Defenses.

[BibT_eX]

[DOI]

Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018

Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

Analysis and Optimizations of Java Full Garbage Collection.

[BibT_eX]

[DOI]

Haoyu Li

Mingyu Wu

Proceedings of the 9th Asia-Pacific Workshop on Systems, 2018

2017

VarCatcher: A Framework for Tackling Performance Variability of Parallel Workloads on Multi-Core.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Prophet: A Parallel Instruction-Oriented Many-Core Simulator.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Scalable Adaptive NUMA-Aware Lock.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Fence-Free Synchronization with Dynamically Serialized Synchronization Variables.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Efficient and Available In-Memory KV-Store with Hybrid Erasure Coding and Replication.

[BibT_eX]

[DOI]

ACM Trans. Storage, 2017

Fast In-Memory Transaction Processing Using RDMA and HTM.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2017

Secure Outsourcing of Virtual Appliance.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2017

A software cybernetics approach to self-tuning performance of on-line transaction processing systems.

[BibT_eX]

[DOI]

Zuohua Ding

Zhijie Wei

J. Syst. Softw., 2017

Characterizing and optimizing Java-based HPC applications on Intel many-core architecture.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2017

vTZ: Virtualizing ARM TrustZone.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

Replication-driven Live Reconfiguration for Fast Distributed Transaction Processing.

[BibT_eX]

[DOI]

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Soft Updates Made Simple and Fast on Non-volatile Memory.

[BibT_eX]

[DOI]

Mingkai Dong

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data.

[BibT_eX]

[DOI]

Yunhao Zhang

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

POSTER: Recovering Performance for Vector-based Machine Learning on Managed Runtime.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Eunomia: Scaling Concurrent Search Trees under Contention Using HTM.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Deconstructing Xen.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Transparent and Efficient CFI Enforcement with Intel Processor Trace.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on High Performance Computer Architecture, 2017

Secure Live Migration of SGX Enclaves on Untrusted Cloud.

[BibT_eX]

[DOI]

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

2016

A Loosely-Coupled Full-System Multicore Simulation Framework.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2016

Performance Analysis of Multimedia Retrieval Workloads Running on Multicores.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2016

IMR: High-Performance Low-Cost Multi-Ring NoCs.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2016

Fast Consensus Using Bounded Staleness for Scalable Read-Mostly Synchronization.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2016

Deep Learning at Scale and at Ease.

[BibT_eX]

[DOI]

ACM Trans. Multim. Comput. Commun. Appl., 2016

Hardware Support for Concurrent Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

Parallelizing image feature extraction algorithms on multi-core platforms.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2016

Deep Learning At Scale and At Ease.

[BibT_eX]

[DOI]

CoRR, 2016

Petri net based test case generation for evolved specification.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2016

Scaling Multicore Databases via Constrained Parallel Execution.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Management of Data, 2016

Scalable adaptive NUMA-aware lock: combining local locking and remote locking for efficient concurrency.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Fast and Concurrent RDF Queries with RDMA-Based Distributed Graph Exploration.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication.

[BibT_eX]

[DOI]

Heng Zhang

Mingkai Dong

Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

Mitigating Sync Amplification for Copy-on-write Virtual Disk.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

Fast and general distributed transactions using RDMA and HTM.

[BibT_eX]

[DOI]

Proceedings of the Eleventh European Conference on Computer Systems, 2016

A Case for Virtualizing Persistent Memory.

[BibT_eX]

[DOI]

Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

Rethinking Benchmarking for NVM-based File Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016

2015

Multilevel Phase Analysis.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2015

Bipartite-Oriented Distributed Graph Partitioning for Big Learning.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2015

Persistent Transactional Memory.

[BibT_eX]

[DOI]

IEEE Comput. Archit. Lett., 2015

You Shouldn't Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps.

[BibT_eX]

[DOI]

Proceedings of the 24th USENIX Security Symposium, 2015

Fast in-memory transaction processing using RDMA and HTM.

[BibT_eX]

[DOI]

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

NUMA-aware graph-structured analytics.

[BibT_eX]

[DOI]

Kaiyuan Zhang

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

SYNC or ASYNC: time to fuse for distributed graph-parallel computation.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Poster: TVisor - A Practical and Lightweight Mobile Red-Green Dual-OS Architecture.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual International Conference on Mobile Systems, 2015

AdAttester: Secure Online Mobile Advertisement Attestation Using TrustZone.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual International Conference on Mobile Systems, 2015

Reducing world switches in virtualized environment with flexible cross-world calls.

[BibT_eX]

[DOI]

Proceedings of the 42nd Annual International Symposium on Computer Architecture, 2015

Open JDK Meets Xeon Phi: A Comprehensive Study of Java HPC on Intel Many-Core Architecture.

[BibT_eX]

[DOI]

Proceedings of the 44th International Conference on Parallel Processing Workshops, 2015

<i>TinMan</i>: eliminating confidential mobile data exposure with security oriented offloading.

[BibT_eX]

[DOI]

Proceedings of the Tenth European Conference on Computer Systems, 2015

PowerLyra: differentiated graph computation and partitioning on skewed graphs.

[BibT_eX]

[DOI]

Proceedings of the Tenth European Conference on Computer Systems, 2015

Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

X10-FT: Transparent fault tolerance for APGAS language and runtime.

[BibT_eX]

[DOI]

Parallel Comput., 2014

Architecting Flash-based Solid-State Drive for High-performance I/O Virtualization.

[BibT_eX]

[DOI]

Xiang Song

Jian Yang

IEEE Comput. Archit. Lett., 2014

Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks.

[BibT_eX]

[DOI]

Ran Liu

Heng Zhang

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Hydra: Efficient Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architecture.

[BibT_eX]

[DOI]

Proceedings of the 43rd International Conference on Parallel Processing, 2014

Computation and communication efficient graph processing with distributed immutable view.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on High-Performance Parallel and Distributed Computing, 2014

Concurrent and consistent virtual machine introspection with hardware transactional memory.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on High Performance Computer Architecture, 2014

Greedy map generalization by iterative point removal.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2014

Using restricted transactional memory to build a scalable in-memory database.

[BibT_eX]

[DOI]

Proceedings of the Ninth Eurosys Conference 2014, 2014

Replication-Based Fault-Tolerance for Large-Scale Graph Processing.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

Tiled-MapReduce: Efficient and Flexible MapReduce Processing on Multicore with Tiling.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2013

Security-Preserving Live Migration of Virtual Machines in the Cloud.

[BibT_eX]

[DOI]

Fengzhe Zhang

J. Netw. Syst. Manag., 2013

Parallelizing live migration of virtual machines.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), 2013

X10-FT: transparent fault tolerance for APGAS language and runtime.

[BibT_eX]

[DOI]

Chenning Xie

Zhijun Hao

Proceedings of the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, 2013

Scalable deterministic replay in a parallel full-system emulator.

[BibT_eX]

[DOI]

Yufei Chen

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

X10-PM: Transparent and Efficient Place Migration for APGAS Language.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

Architecture support for guest-transparent VM protection from untrusted hypervisor and physical attacks.

[BibT_eX]

[DOI]

Yubin Xia

Yutao Liu

Proceedings of the 19th IEEE International Symposium on High Performance Computer Architecture, 2013

Point-polygon topological relationship query using hierarchical indices.

[BibT_eX]

[DOI]

Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013

Multi-level phase analysis for sampling simulation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Opportunities and pitfalls of multi-core scaling using hardware transaction memory.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Workshop on Systems, 2013

Schedule processes, not VCPUs.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012

Mercury: Combining Performance with Dependability Using Self-Virtualization.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2012

Revisiting Software Zero-Copy for Web-caching Applications with Twin Memory Allocation.

[BibT_eX]

[DOI]

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

A case for secure and scalable hypervisor using safe language.

[BibT_eX]

[DOI]

Proceedings of the 2012 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, 2012

Improving dynamic prediction accuracy through multi-level phase analysis.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

Adaptive Pipeline Parallelism for Image Feature Extraction Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Parallel Processing, 2012

Defending against VM rollback attack.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

CFIMon: Detecting violation of control flow integrity using performance counters.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

Transformer: a functional-driven cycle-accurate multicore simulator.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

A GPU-based high-throughput image retrieval algorithm.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual Workshop on General Purpose Processing with Graphics Processing Units, 2012

SSMalloc: a low-latency, locality-conscious memory allocator with stable performance scalability.

[BibT_eX]

[DOI]

Ran Liu

Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011

Dynamic Software Updating Using a Relaxed Consistency Model.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

ORDER: Object centRic DEterministic Replay for Java.

[BibT_eX]

[DOI]

Proceedings of the 2011 USENIX Annual Technical Conference, 2011

CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

COREMU: a scalable and portable parallel full-system emulator.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

A comprehensive analysis and parallelization of an image retrieval algorithm.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2011

A case for scaling applications to many-core with OS clustering.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Computer Systems, 2011

Limiting cache-based side-channel in multi-tenant cloud using dynamic page coloring.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Security breaches as PMU deviation: detecting and identifying security attacks using performance counters.

[BibT_eX]

[DOI]

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

Evaluating the Performance and Scalability of MapReduce Applications on X10.

[BibT_eX]

[DOI]

Proceedings of the Advanced Parallel Processing Technologies - 9th International Symposium, 2011

A Hierarchical Approach to Maximizing MapReduce Efficiency.

[BibT_eX]

[DOI]

Zhiwei Xiao

Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010

Optimizing crash dump in virtualized environments.

[BibT_eX]

[DOI]

Yijian Huang

Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

Why software hangs and what can be done with it.

[BibT_eX]

[DOI]

Xiang Song

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Tiled-MapReduce: optimizing resource usages of data-parallel applications on multicore with tiling.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

2009

Control flow obfuscation with information flow tracking.

[BibT_eX]

[DOI]

Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009

Evaluating SPLASH-2 Applications Using MapReduce.

[BibT_eX]

[DOI]

Proceedings of the Advanced Parallel Processing Technologies, 8th International Symposium, 2009

2008

TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing.

[BibT_eX]

[DOI]