Haibo Chen

According to our database1, Haibo Chen
  • authored at least 155 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
VarCatcher: A Framework for Tackling Performance Variability of Parallel Workloads on Multi-Core.
IEEE Trans. Parallel Distrib. Syst., 2017

Prophet: A Parallel Instruction-Oriented Many-Core Simulator.
IEEE Trans. Parallel Distrib. Syst., 2017

Scalable Adaptive NUMA-Aware Lock.
IEEE Trans. Parallel Distrib. Syst., 2017

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

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

A software cybernetics approach to self-tuning performance of on-line transaction processing systems.
Journal of Systems and Software, 2017

High-Efficiency Urban Traffic Management in Context-Aware Computing and 5G Communication.
IEEE Communications Magazine, 2017

Nontrivial solutions for impulsive fractional differential equations via Morse theory.
Applied Mathematics and Computation, 2017

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

Replication-driven Live Reconfiguration for Fast Distributed Transaction Processing.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Soft Updates Made Simple and Fast on Non-volatile Memory.
Proceedings of the 2017 USENIX Annual Technical Conference, 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

Eunomia: Scaling Concurrent Search Trees under Contention Using HTM.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Visual analysis of large heterogeneous network through interactive centrality based sampling.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Learn-as-You-Go with Megh: Efficient Live Migration of Virtual Machines.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 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

Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads.
Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

2016
A Loosely-Coupled Full-System Multicore Simulation Framework.
IEEE Trans. Parallel Distrib. Syst., 2016

Performance Analysis of Multimedia Retrieval Workloads Running on Multicores.
IEEE Trans. Parallel Distrib. Syst., 2016

IMR: High-Performance Low-Cost Multi-Ring NoCs.
IEEE Trans. Parallel Distrib. Syst., 2016

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

Deep Learning at Scale and at Ease.
TOMCCAP, 2016

Hardware Support for Concurrent Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architectures.
IEEE Trans. Computers, 2016

Parallelizing image feature extraction algorithms on multi-core platforms.
J. Parallel Distrib. Comput., 2016

Toward an automated methodology for the valuation of reliability.
J. Intellig. Transport. Systems, 2016

Deep Learning At Scale and At Ease.
CoRR, 2016

Generalized quasilinear asymptotically periodic Schrödinger equations with critical growth.
Computers & Mathematics with Applications, 2016

Multiple solutions for a nonlinear Schrödinger-Poisson system with sign-changing potential.
Computers & Mathematics with Applications, 2016

Petri net based test case generation for evolved specification.
SCIENCE CHINA Information Sciences, 2016

Positive solutions for generalized quasilinear Schrödinger equations with potential vanishing at infinity.
Appl. Math. Lett., 2016

Least energy sign-changing solutions for nonlinear Schrödinger equations with indefinite-sign and vanishing potential.
Appl. Math. Lett., 2016

Existence of infinitely many high energy solutions for a fractional Schrödinger equation in RN.
Appl. Math. Lett., 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

Scaling Multicore Databases via Constrained Parallel Execution.
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.
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.
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.
Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

Mitigating Sync Amplification for Copy-on-write Virtual Disk.
Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

Fast and general distributed transactions using RDMA and HTM.
Proceedings of the Eleventh European Conference on Computer Systems, 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
Multilevel Phase Analysis.
ACM Trans. Embedded Comput. Syst., 2015

Calculation of singular point quantities at infinity for a type of polynomial differential systems.
Mathematics and Computers in Simulation, 2015

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

The Scale-free Network of Passwords : Visualization and Estimation of Empirical Passwords.
CoRR, 2015

Persistent Transactional Memory.
Computer Architecture Letters, 2015

Least energy nodal solution for quasilinear biharmonic equations with critical exponent in RN.
Appl. Math. Lett., 2015

Multiple solutions for a coupled system of nonlinear fractional differential equations via variational methods.
Applied Mathematics and Computation, 2015

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

Fast in-memory transaction processing using RDMA and HTM.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

NUMA-aware graph-structured analytics.
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.
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.
Proceedings of the 13th Annual International Conference on Mobile Systems, 2015

AdAttester: Secure Online Mobile Advertisement Attestation Using TrustZone.
Proceedings of the 13th Annual International Conference on Mobile Systems, 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

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

PowerLyra: differentiated graph computation and partitioning on skewed graphs.
Proceedings of the Tenth European Conference on Computer Systems, 2015

Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

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

Estimation of spatially varying open boundary conditions for a numerical internal tidal model with adjoint method.
Mathematics and Computers in Simulation, 2014

Multiple solutions for superlinear Schrödinger-Poisson system with sign-changing potential and nonlinearity.
Computers & Mathematics with Applications, 2014

Geometry-constrained crowd formation animation.
Computers & Graphics, 2014

Architecting Flash-based Solid-State Drive for High-performance I/O Virtualization.
Computer Architecture Letters, 2014

Multiplicity of small negative-energy solutions for a class of nonlinear Schrödinger-Poisson systems.
Applied Mathematics and Computation, 2014

Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks.
Proceedings of the 2014 USENIX Annual Technical Conference, 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

Using restricted transactional memory to build a scalable in-memory database.
Proceedings of the Ninth Eurosys Conference 2014, 2014

Replication-Based Fault-Tolerance for Large-Scale Graph Processing.
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.
TACO, 2013

Security-Preserving Live Migration of Virtual Machines in the Cloud.
J. Network Syst. Manage., 2013

Parallelizing live migration of virtual machines.
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.
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.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

An indirect reinforcement learning approach for ramp control under incident-induced congestion.
Proceedings of the 16th International IEEE Conference on Intelligent Transportation 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

Architecture support for guest-transparent VM protection from untrusted hypervisor and physical attacks.
Proceedings of the 19th IEEE International Symposium on High Performance Computer Architecture, 2013

Point-polygon topological relationship query using hierarchical indices.
Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013

An automatic recognition approach of constellation satellites' usability based on clustering.
Proceedings of the 10th International Conference on Fuzzy Systems and Knowledge Discovery, 2013

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

Opportunities and pitfalls of multi-core scaling using hardware transaction memory.
Proceedings of the Asia-Pacific Workshop on Systems, 2013

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

2012
Impulsive fractional differential equations with nonlinear boundary conditions.
Mathematical and Computer Modelling, 2012

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

Existence of positive solutions for nonlinear fractional functional differential equation.
Computers & Mathematics with Applications, 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

SSMalloc: a low-latency, locality-conscious memory allocator with stable performance scalability.
Proceedings of the Asia-Pacific Workshop on Systems, 2012

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

Infinitely many solutions for second-order Hamiltonian system with impulsive effects.
Mathematical and Computer Modelling, 2011

Periodic Solutions for Autonomous (q, p)-Laplacian System with Impulsive Effects.
J. Applied Mathematics, 2011

Positive Solution of Singular Fractional Differential Equation in Banach Space.
J. Applied Mathematics, 2011

Variational methods to the second-order impulsive differential equation with Dirichlet boundary value problem.
Computers & Mathematics with Applications, 2011

The multiplicity of solutions for fourth-order equations generated from a boundary condition.
Appl. Math. Lett., 2011

Center problem and bifurcation behavior for a class of quasi analytic systems.
Applied Mathematics and Computation, 2011

Positive periodic solution for a multispecies competition-predator system with Holling III functional response and time delays.
Applied Mathematics and Computation, 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

Evaluating the Performance and Scalability of MapReduce Applications on X10.
Proceedings of the Advanced Parallel Processing Technologies - 9th International Symposium, 2011

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

2010
The existence of multiple positive solutions for singular functional differential equations with sign-changing nonlinearity.
J. Computational Applied Mathematics, 2010

Multiple positive solutions of n-point boundary value problems for p-Laplacian impulsive dynamic equations on time scales.
Computers & Mathematics with Applications, 2010

Unique positive solutions for fractional differential equation boundary value problems.
Appl. Math. Lett., 2010

The bifurcation of limit cycles in Zn-equivariant vector fields.
Applied Mathematics and Computation, 2010

An application of variational method to second-order impulsive differential equation on the half-line.
Applied Mathematics and Computation, 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 Architecture and Compilation Techniques, 2010

2009
Existence of solutions of three-point boundary value problems in Banach spaces.
Mathematical and Computer Modelling, 2009

Application of gradient descent method to the sedimentary grain-size distribution fitting.
J. Computational Applied Mathematics, 2009

Triple positive solutions for nonlinear boundary value problems in Banach space.
Computers & Mathematics with Applications, 2009

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

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

2008
Predicting Real-Time Roadside CO and hboxNO2 Concentrations Using Neural Networks.
IEEE Trans. Intelligent Transportation Systems, 2008

Safety of dynamic positioning operations on mobile offshore drilling units.
Rel. Eng. & Sys. Safety, 2008

Triple positive solutions of boundary value problems for p-Laplacian impulsive dynamic equations on time scales.
Mathematical and Computer Modelling, 2008

Classification of road traffic and roadside pollution concentrations for assessment of personal exposure.
Environmental Modelling and Software, 2008

Three-point boundary value problems for second-order ordinary differential equations in Banach spaces.
Computers & Mathematics with Applications, 2008

Multiplicity of solutions to two-point boundary value problems for second-order impulsive differential equations.
Applied Mathematics and Computation, 2008

TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing.
Proceedings of the Security Protocols XVI, 2008

Corey: An Operating System for Many Cores.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 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
Positive solutions for the nonhomogeneous three-point boundary value problem of second-order differential equations.
Mathematical and Computer Modelling, 2007

Daonity - Grid security from two levels of virtualization.
Inf. Sec. Techn. Report, 2007

Double positive solutions of boundary value problems for p-Laplacian impulsive functional dynamic equations on time scales.
Computers & Mathematics with Applications, 2007

Boundary value problem for second-order impulsive functional differential equations.
Applied Mathematics and Computation, 2007

Positive solutions of a nonlinear second-order n-point boundary value problem.
Applied Mathematics and Computation, 2007

Daonity: Protocol Solutions to Grid Security Using Hardware Strengthened Software Environment.
Proceedings of the Security Protocols, 2007

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

Mercury: Combining Performance with Dependability Using Self-virtualization.
Proceedings of the 2007 International Conference on Parallel Processing (ICPP 2007), 2007

2006
Bifurcation at the equator for a class of quintic polynomial differential system.
Applied Mathematics and Computation, 2006

Global attractivity of the difference equation xn+1=(xn+alphaxn-1)/(beta+xn).
Applied Mathematics and Computation, 2006

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

Research of Local Co-location Pattern in Spatial Event Sequences.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Third International Conference, 2006

2005
CR*-Tree: An Improved R-Tree Using Cost Model.
Proceedings of the Computational Intelligence and Security, International Conference, 2005

2004
Probabilistic modeling and evaluation of collision between shuttle tanker and FPSO in tandem offloading.
Rel. Eng. & Sys. Safety, 2004

Linear recursion formulas of quantities of singular point and applications.
Applied Mathematics and Computation, 2004

2001
A Study of Hybrid Neural Network Approaches and the Effects of Missing Data on Traffic Forecasting.
Neural Computing and Applications, 2001

1990
Processor self-scheduling for parallel loops in preemptive environments.
Future Generation Comp. Syst., 1990


  Loading...