Binyu Zang

Orcid: 0000-0002-1968-7645

According to our database1, Binyu Zang authored at least 143 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Ad Hoc Transactions through the Looking Glass: An Empirical Study of Application-Level Transactions in Web Applications.
ACM Trans. Database Syst., March, 2024

Toward an SGX-Friendly Java Runtime.
IEEE Trans. Computers, January, 2024

Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads.
Proceedings of the Nineteenth European Conference on Computer Systems, 2024

Jade: A High-throughput Concurrent Copying Garbage Collector.
Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2023
Flock: Towards Multitasking Virtual Machines for Function-as-a-Service.
IEEE Trans. Computers, November, 2023

Understanding and Mitigating Twin Function Misuses in Operating System Kernel.
IEEE Trans. Computers, August, 2023

Ad Hoc Transactions: What They Are and Why We Should Care.
SIGMOD Rec., 2023

Bridging the Gap between Relational OLTP and Graph-based OLAP.
Proceedings of the 2023 USENIX Annual Technical Conference, 2023

Bifrost: Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines.
Proceedings of the 2023 USENIX Annual Technical Conference, 2023

Security and Performance in the Delegated User-level Virtualization.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

ISA-Grid: Architecture of Fine-grained Privilege Control for Instructions and Registers.
Proceedings of the 50th Annual International Symposium on Computer Architecture, 2023

CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

Heterogeneous Serverless Computing.
Proceedings of the ACM Turing Award Celebration Conference - China 2023, 2023

2022
Wukong+G: Fast and Concurrent RDF Query Processing Using RDMA-Assisted GPU Graph Exploration.
IEEE Trans. Parallel Distributed Syst., 2022

DrTM+B: Replication-Driven Live Reconfiguration for Fast and General Distributed Transaction Processing.
IEEE Trans. Parallel Distributed Syst., 2022

Colony: A Privileged Trusted Execution Environment With Extensibility.
IEEE Trans. Computers, 2022

General and Fast Inter-Process Communication via Bypassing Privileged Software.
IEEE Trans. Computers, 2022

Reducing Transaction Processing Latency in Hardware Transactional Memory-based Database with Non-volatile Memory.
Int. J. Softw. Informatics, 2022

DuVisor: a User-level Hypervisor Through Delegated Virtualization.
CoRR, 2022

Zero-Change Object Transmission for Distributed Big Data Analytics.
Proceedings of the 2022 USENIX Annual Technical Conference, 2022

Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly.
Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Asymmetry-aware scalable locking.
Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

Serverless computing on heterogeneous computers.
Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021
XStore: Fast RDMA-Based Ordered Key-Value Store Using Remote Learned Cache.
ACM Trans. Storage, 2021

Boosting Inter-process Communication with Architectural Support.
ACM Trans. Comput. Syst., 2021

Enclavisor: A Hardware-Software Co-Design for Enclaves on Untrusted Cloud.
IEEE Trans. Computers, 2021

Revisiting Persistent Indexing Structures on Intel Optane DC Persistent Memory.
J. Comput. Sci. Technol., 2021

TZ-Container: protecting container from untrusted OS with ARM TrustZone.
Sci. China Inf. Sci., 2021

Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM.
Proceedings of the 2021 USENIX Annual Technical Conference, 2021

TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing.
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Scalable Memory Protection in the PENGLAI Enclave.
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp.
Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Efficiently Recovering Stateful System Components of Multi-server Microkernels.
Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

Bridging the performance gap for copy-based garbage collectors atop non-volatile memory.
Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020
Optimistic Transaction Processing in Deterministic Database.
J. Comput. Sci. Technol., 2020

GCPersist: an efficient GC-assisted lazy persistency framework for resilient Java applications on NVM.
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.
Proceedings of the 29th USENIX Security Symposium, 2020

Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services.
Proceedings of the 2020 USENIX Annual Technical Conference, 2020

No barrier in the road: a comprehensive study and optimization of ARM barriers.
Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

TEEp: Supporting Secure Parallel Processing in ARM TrustZone.
Proceedings of the 26th IEEE International Conference on Parallel and Distributed Systems, 2020

Characterizing serverless platforms with serverlessbench.
Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019
Scaling out NUMA-Aware Applications with RDMA-Based Distributed Shared Memory.
J. Comput. Sci. Technol., 2019

Taming Distrust in the Decentralized Internet with PIXIU.
CoRR, 2019

TEEv: virtualizing trusted execution environments on mobile platforms.
Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2019

ScissorGC: scalable and efficient compaction for Java full garbage collection.
Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2019

Pisces: A Scalable and Efficient Persistent Transactional Memory.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

XPC: architectural support for secure and efficient cross process call.
Proceedings of the 46th International Symposium on Computer Architecture, 2019

2018
Replication-Based Fault-Tolerance for Large-Scale Graph Processing.
IEEE Trans. Parallel Distributed Syst., 2018

PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs.
ACM Trans. Parallel Comput., 2018

ShadowEth: Private Smart Contract on Public Blockchain.
J. Comput. Sci. Technol., 2018

SplitPass: A Mutually Distrusting Two-Party Password Manager.
J. Comput. Sci. Technol., 2018

EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

VButton: Practical Attestation of User-driven Operations in Mobile Apps.
Proceedings of the 16th Annual International Conference on Mobile Systems, 2018

Comprehensive VM Protection Against Untrusted Hypervisor Through Retrofitted AMD Memory Encryption.
Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2018

Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017
Fence-Free Synchronization with Dynamically Serialized Synchronization Variables.
IEEE Trans. Parallel Distributed Syst., 2017

Efficient and Available In-Memory KV-Store with Hybrid Erasure Coding and Replication.
ACM Trans. Storage, 2017

Fast In-Memory Transaction Processing Using RDMA and HTM.
ACM Trans. Comput. Syst., 2017

Secure Outsourcing of Virtual Appliance.
IEEE Trans. Cloud Comput., 2017

Characterizing and optimizing Java-based HPC applications on Intel many-core architecture.
Sci. China Inf. Sci., 2017

vTZ: Virtualizing ARM TrustZone.
Proceedings of the 26th USENIX Security Symposium, 2017

POSTER: Recovering Performance for Vector-based Machine Learning on Managed Runtime.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

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

Transparent and Efficient CFI Enforcement with Intel Processor Trace.
Proceedings of the 2017 IEEE International Symposium on High Performance Computer Architecture, 2017

Secure Live Migration of SGX Enclaves on Untrusted Cloud.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016
Fast Consensus Using Bounded Staleness for Scalable Read-Mostly Synchronization.
IEEE Trans. Parallel Distributed Syst., 2016

Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments.
Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2016

A Case for Virtualizing Persistent Memory.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

Rethinking Benchmarking for NVM-based File Systems.
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016

2015
Bipartite-Oriented Distributed Graph Partitioning for Big Learning.
J. Comput. Sci. Technol., 2015

You Shouldn't Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps.
Proceedings of the 24th USENIX Security Symposium, 2015

SYNC or ASYNC: time to fuse for distributed graph-parallel computation.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Reducing world switches in virtualized environment with flexible cross-world calls.
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.
Proceedings of the 44th International Conference on Parallel Processing Workshops, 2015

<i>TinMan</i>: eliminating confidential mobile data exposure with security oriented offloading.
Proceedings of the Tenth European Conference on Computer Systems, 2015

2014
Permission Use Analysis for Vetting Undesirable Behaviors in Android Apps.
IEEE Trans. Inf. Forensics Secur., 2014

Measuring Microarchitectural Details of Multi- and Many-Core Memory Systems through Microbenchmarking.
ACM Trans. Archit. Code Optim., 2014

X10-FT: Transparent fault tolerance for APGAS language and runtime.
Parallel Comput., 2014

Hydra: Efficient Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architecture.
Proceedings of the 43rd International Conference on Parallel Processing, 2014

Computation and communication efficient graph processing with distributed immutable view.
Proceedings of the 23rd International Symposium on High-Performance Parallel and Distributed Computing, 2014

Concurrent and consistent virtual machine introspection with hardware transactional memory.
Proceedings of the 20th IEEE International Symposium on High Performance Computer Architecture, 2014

Greedy map generalization by iterative point removal.
Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2014

PreCrime to the rescue: defeating mobile malware one-step ahead.
Proceedings of the Asia-Pacific Workshop on Systems, 2014

Building trusted path on untrusted device drivers for mobile devices.
Proceedings of the Asia-Pacific Workshop on Systems, 2014

Bipartite-oriented distributed graph partitioning for big learning.
Proceedings of the Asia-Pacific Workshop on Systems, 2014

2013
Understanding architectural characteristics of multimedia retrieval workloads.
Proceedings of the ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2013

X10-PM: Transparent and Efficient Place Migration for APGAS Language.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

Multi-level phase analysis for sampling simulation.
Proceedings of the Design, Automation and Test in Europe, 2013

Vetting undesirable behaviors in android apps with permission use analysis.
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Schedule processes, not VCPUs.
Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012
Mercury: Combining Performance with Dependability Using Self-Virtualization.
J. Comput. Sci. Technol., 2012

Swift: a register-based JIT compiler for embedded JVMs.
Proceedings of the 8th International Conference on Virtual Execution Environments, 2012

Revisiting Software Zero-Copy for Web-caching Applications with Twin Memory Allocation.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

A case for secure and scalable hypervisor using safe language.
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.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

Adaptive Pipeline Parallelism for Image Feature Extraction Algorithms.
Proceedings of the 41st International Conference on Parallel Processing, 2012

Defending against VM rollback attack.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

CFIMon: Detecting violation of control flow integrity using performance counters.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

Transformer: a functional-driven cycle-accurate multicore simulator.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

A GPU-based high-throughput image retrieval algorithm.
Proceedings of the 5th Annual Workshop on General Purpose Processing with Graphics Processing Units, 2012

2011
Dynamic Software Updating Using a Relaxed Consistency Model.
IEEE Trans. Software Eng., 2011

ORDER: Object centRic DEterministic Replay for Java.
Proceedings of the 2011 USENIX Annual Technical Conference, 2011

CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

COREMU: a scalable and portable parallel full-system emulator.
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.
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.
Proceedings of the European Conference on Computer Systems, 2011

Limiting cache-based side-channel in multi-tenant cloud using dynamic page coloring.
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.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

A Hierarchical Approach to Maximizing MapReduce Efficiency.
Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010
Optimizing crash dump in virtualized environments.
Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

Why software hangs and what can be done with it.
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.
Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

2009
Optimizing techniques for saturated arithmetic with first-order linear recurrence.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Control flow obfuscation with information flow tracking.
Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009

A Robust Detection of the Sybil Attack in Urban VANETs.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009

Evaluating SPLASH-2 Applications Using MapReduce.
Proceedings of the Advanced Parallel Processing Technologies, 8th International Symposium, 2009

2008
An ontological engineering approach for automating inspection and quarantine at airports.
J. Comput. Syst. Sci., 2008

Undergraduate education in the computer system of software school, Fudan University.
Proceedings of the First ACM Summit on Computing Education in China, 2008

From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware.
Proceedings of the 35th International Symposium on Computer Architecture (ISCA 2008), 2008

2007
Optimizing software cache performance of packet processing applications.
Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

POLUS: A POwerful Live Updating System.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

A High Resolution Video Display System by Seamlessly Tiling Multiple Projectors.
Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, 2007

Distance Measurement in Panorama.
Proceedings of the International Conference on Image Processing, 2007

Interactive Browsing of Large Images on Multi-projector Display Wall System.
Proceedings of the Human-Computer Interaction. Interaction Platforms and Techniques, 2007

Optimizing Bandwidth Constraint through Register Interconnection for Stream Processors.
Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007

2006
Live updating operating systems using virtualization.
Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

Optimizing compiler for shared-memory multiple SIMD architecture.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Data Pipeline Optimization for Shared Memory Multiple-SIMD Architecture.
Proceedings of the Languages and Compilers for Parallel Computing, 2006

2005
Practical Zero-Knowledge Arguments from Sigma-Protocols.
Proceedings of the Internet and Network Economics, First International Workshop, 2005

A Note on the Cramer-Damgård Identification Scheme.
Proceedings of the Internet and Network Economics, First International Workshop, 2005

A Web Service-Based Framework for Supply Chain Management.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

ADDI: an agent-based extension to UDDI for supply chain management.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

Boosting the Performance of Multimedia Applications Using SIMD Instructions.
Proceedings of the Compiler Construction, 14th International Conference, 2005

A Security Model Design in Web Service Environment.
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2004
Overflow Controlled SIMD Arithmetic.
Proceedings of the Languages and Compilers for High Performance Computing, 2004

2002
Run-Time Data-Flow Analysis.
J. Comput. Sci. Technol., 2002

2001
A New Approach to Pointer Analysis for Assignments.
J. Comput. Sci. Technol., 2001

1997
Exploiting loop parallelism with redundant execution.
J. Comput. Sci. Technol., 1997

The design considerations and test results of AFT-a new generation parallelizing compiler.
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997


  Loading...