Zhengwei Qi

According to our database1, Zhengwei Qi
  • authored at least 83 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
ForenVisor: A Tool for Acquiring and Preserving Reliable Data in Cloud Live Forensics.
IEEE Trans. Cloud Computing, 2017

Scala Based FPGA Design Flow (Abstract Only).
Proceedings of the 2017 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2017

2016
A user mode CPU-GPU scheduling framework for hybrid workloads.
Future Generation Comp. Syst., 2016

AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

gScale: Scaling up GPU Virtualization with Dynamic Sharing of Graphics Memory Space.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

VSP: A Virtual Smartphone Platform to Enhance the Capability of Physical Smartphone.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

gHA: An Efficient and Iterative Checkpointing Mechanism for Virtualized GPUs.
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016

2015
Energy-Efficient SLA Guarantees for Virtualized GPU in Cloud Gaming.
IEEE Trans. Parallel Distrib. Syst., 2015

Flexible and Extensible Runtime Verification for Java (Extended Version).
International Journal of Software Engineering and Knowledge Engineering, 2015

A Virtualization Based Monitoring System for Mini-intrusive Live Forensics.
International Journal of Parallel Programming, 2015

A survey on data center networking for cloud computing.
Computer Networks, 2015

Boosting GPU Virtualization Performance with Hybrid Shadow Page Tables.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Effective Real-Time Android Application Auditing.
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Flexible and Extensible Runtime Verification for Java.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

DefDroid: Securing Android with Fine-Grained Security Policy.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

FLOWPROPHET: Generic and Accurate Traffic Prediction for Data-Parallel Cluster Computing.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Seagull - A Real-Time Coflow Scheduling System.
Proceedings of the IEEE 2nd International Conference on Cyber Security and Cloud Computing, 2015

A programming model and framework for comprehensive dynamic analysis on Android.
Proceedings of the 14th International Conference on Modularity, 2015

2014
vGASA: Adaptive Scheduling Algorithm of Virtualized GPU Resource in Cloud Gaming.
IEEE Trans. Parallel Distrib. Syst., 2014

Multi-Granularity Memory Mirroring via Binary Translation in Cloud Environments.
IEEE Trans. Network and Service Management, 2014

VGRIS: Virtualized GPU Resource Isolation and Scheduling in Cloud Gaming.
TACO, 2014

Dynamic program analysis - Reconciling developer productivity and tool performance.
Sci. Comput. Program., 2014

Service level agreement based energy-efficient resource management in cloud data centers.
Computers & Electrical Engineering, 2014

Loosely-Coupled Benchmark Framework Automates Performance Modeling on IaaS Clouds.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Pinso: Precise Isolation of Concurrency Bugs via Delta Triaging.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

ScalaHDL: Express and test hardware designs in a Scala DSL.
Proceedings of the 32nd IEEE International Conference on Computer Design, 2014

A Load Balancing and Overload Controlling Architecture in Clouding Computing.
Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

2013
A refined decompiler to generate C code with high readability.
Softw., Pract. Exper., 2013

Quality of service aware power management for virtualized data centers.
Journal of Systems Architecture - Embedded Systems Design, 2013

A multi-objective ant colony system algorithm for virtual machine placement in cloud computing.
J. Comput. Syst. Sci., 2013

Introduction to dynamic program analysis with DiSL.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

SRIDesk: A Streaming based Remote Interactivity architecture for desktop virtualization system.
Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

VGRIS: virtualized GPU resource isolation and scheduling in cloud gaming.
Proceedings of the 22nd International Symposium on High-Performance Parallel and Distributed Computing, 2013

kMemvisor: flexible system wide memory mirroring in virtual environments.
Proceedings of the 22nd International Symposium on High-Performance Parallel and Distributed Computing, 2013

Productive Development of Dynamic Program Analysis Tools with DiSL.
Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012
Optimizing virtual machines using hybrid virtualization.
Journal of Systems and Software, 2012

SPAD: Software Protection Through Anti-Debugging Using Hardware-Assisted Virtualization.
J. Inf. Sci. Eng., 2012

Vis: Virtualization enhanced live forensics acquisition for native system.
Digital Investigation, 2012

Static program analysis assisted dynamic taint tracking for software vulnerability discovery.
Computers & Mathematics with Applications, 2012

Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Challenges for Refinement and Composition of Instrumentations: Position Paper.
Proceedings of the Software Composition - 11th International Conference, 2012

Hypervisor-based protection of sensitive files in a compromised system.
Proceedings of the ACM Symposium on Applied Computing, 2012

Memvisor: Application Level Memory Mirroring via Binary Translation.
Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012

Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

DiSL: a domain-specific language for bytecode instrumentation.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
VASP: virtualization assisted security monitor for cross-platform protection.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Optimizing virtual machines using hybrid virtualization.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

SPAD: software protection through anti-debugging using hardware virtualization.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

DsVD: An Effective Low-Overhead Dynamic Software Vulnerability Discoverer.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Combining Static and Dynamic Analysis to Discover Software Vulnerabilities.
Proceedings of the Fifth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2011

Efficient Taint Analysis with Taint Behavior Summary.
Proceedings of the Third International Conference on Communications and Mobile Computing, 2011

Apad: A QoS Guarantee System for Virtualized Enterprise Servers.
Proceedings of the Third International Conference on Communications and Mobile Computing, 2011

Power Consumption of Virtual Machine Live Migration in Clouds.
Proceedings of the Third International Conference on Communications and Mobile Computing, 2011

A Power and Performance Management Framework for Virtualized Server Clusters.
Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications (GreenCom), 2011

Vis: virtualization enhanced live acquisition for native system.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010
CoDBT: A multi-source dynamic binary translator using hardware-software collaborative techniques.
Journal of Systems Architecture - Embedded Systems Design, 2010

A Refined Decompiler to Generate C Code with High Readability.
Proceedings of the 17th Working Conference on Reverse Engineering, 2010

A Translation Framework for Virtual Execution Environment on CPU/GPU Architecture.
Proceedings of the Third International Symposium on Parallel Architectures, 2010

Enhanced Privilege Separation for Commodity Software on Virtualized Platform.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Real-time Enhancement for Xen Hypervisor.
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

Enhance Information Flow Tracking with Function Recognition.
Proceedings of the Forensics in Telecommunications, Information, and Multimedia, 2010

2009
FiLM: A Runtime Monitoring Tool for Distributed Systems.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

FLTL-MC: Online High Level Program Analysis for Web Services.
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services.
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

A Heuristic Policy-based System Call Interposition in Dynamic Binary Translation.
Proceedings of the IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, 2009

HBSP: A Lightweight Hardware Virtualization Based Framework for Transparent Software Protection in Commodity Operating Systems.
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

Croth: Effective Process Protection and Monitoring with Hardware Virtualization.
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

2008
An Online Model Checking Tool for Safety and Liveness Bugs.
Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008

Mining Change Patterns in AspectJ Software Evolution.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Transaction Management for Grid Workflow Applications.
Proceedings of the Grid and Cooperative Computing, 2007

2006
Membrane Calculus: a formal method for Grid transactions.
Concurrency and Computation: Practice and Experience, 2006

2005
Building Graphical Model Based System in Sensor Networks.
Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005

2004
WebTP: A Case Study of Web Transaction Processing.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

Membrane Calculus: A Formal Method for Grid Transactions.
Proceedings of the Grid and Cooperative Computing, 2004

Integrating X/Open DTP into Grid Services for Grid Transaction Processing.
Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004

A BioAmbients Based Framework for Chain-Structured Biomolecules Modelling.
Proceedings of the Computational and Information Science, First International Symposium, 2004

An Information Retrieval Model based on Probabilistic network.
Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004), 2004

A New Formal Model Based on P-System for Mobile Transactions.
Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004), 2004

The P-System Based Model for Mobile Transactions.
Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2003
P Systems and Petri Nets.
Proceedings of the Membrane Computing, International Workshop, 2003

GSPD: A Middleware That Supports Publication and Discovery of Grid Services.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

GridTP Services for Grid Transaction Processing.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003


  Loading...