Liqiang Wang

Orcid: 0000-0002-1265-4656

According to our database1, Liqiang Wang authored at least 181 papers between 2003 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Efficient zeroth-order proximal stochastic method for nonconvex nonsmooth black-box problems.
Mach. Learn., January, 2024

Ar-Spider: Text-to-SQL in Arabic.
CoRR, 2024

Learning Semantic Proxies from Visual Prompts for Parameter-Efficient Fine-Tuning in Deep Metric Learning.
CoRR, 2024

BA-LINS: A Frame-to-Frame Bundle Adjustment for LiDAR-Inertial Navigation.
CoRR, 2024

Towards Improved Proxy-Based Deep Metric Learning via Data-Augmented Domain Adaptation.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
FF-LINS: A Consistent Frame-to-Frame Solid-State-LiDAR-Inertial State Estimator.
IEEE Robotics Autom. Lett., December, 2023

On complementing unsupervised learning with uncertainty quantification.
Pattern Recognit. Lett., December, 2023

A Multimodel Edge Computing Offloading Framework for Deep-Learning Application Based on Bayesian Optimization.
IEEE Internet Things J., October, 2023

Anthropomorphic diagnosis of runtime hidden behaviors in OpenMP multi-threaded applications.
J. Parallel Distributed Comput., July, 2023

A new regulation control method for underactuated 3D overhead cranes.
Trans. Inst. Meas. Control, March, 2023

Real-Time Dense Reconstruction with Binocular Endoscopy Based on StereoNet and ORB-SLAM.
Sensors, February, 2023

Contrastive JS: A Novel Scheme for Enhancing the Accuracy and Robustness of Deep Models.
IEEE Trans. Multim., 2023

LE-VINS: A Robust Solid-State-LiDAR-Enhanced Visual-Inertial Navigation System for Low-Speed Robots.
IEEE Trans. Instrum. Meas., 2023

Black-box attacks against log anomaly detection with adversarial examples.
Inf. Sci., 2023

Minimally Distorted Structured Adversarial Attacks.
Int. J. Comput. Vis., 2023

SE-LIO: Semantics-enhanced Solid-State-LiDAR-Inertial Odometry for Tree-rich Environments.
CoRR, 2023

Multi-modal Domain Adaptation for REG via Relation Transfer.
CoRR, 2023

PO-VINS: An Efficient Pose-Only LiDAR-Enhanced Visual-Inertial State Estimator.
CoRR, 2023

Low-complexity Transform Network Architecture for JPEG AI Image Codec.
Proceedings of the IEEE International Conference on Visual Communications and Image Processing, 2023

Ensemble Distillation for Out-of-distribution Detection.
Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

SIGMA: A Dataset for Text-to-Code Semantic Parsing with Statistical Analysis.
Proceedings of the International Conference on Machine Learning and Applications, 2023

Distributed Intelligent Collaborative Scheduling Mechanism for Cloud-Edge-End Resources in IoT.
IAIC (3), 2023

Dynamic Deployment of DNN Inference Tasks Based on Distributed Proximal Policy Optimization.
IAIC (3), 2023

On Calibrating Semantic Segmentation Models: Analyses and An Algorithm.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022
Continuous sliding mode control for the translational oscillator with a rotating actuator system.
Trans. Inst. Meas. Control, 2022

NoisyOTNet: A Robust Real-Time Vehicle Tracking Model for Traffic Surveillance.
IEEE Trans. Circuits Syst. Video Technol., 2022

Unifying Obstacle Detection, Recognition, and Fusion Based on the Polarization Color Stereo Camera and LiDAR for the ADAS.
Sensors, 2022

ADCNN: Towards learning adaptive dilation for convolutional neural networks.
Pattern Recognit., 2022

A three-dimensional measurement method for binocular endoscopes based on deep learning.
Frontiers Inf. Technol. Electron. Eng., 2022

Bug-Transformer: Automated Program Repair Using Attention-Based Deep Neural Network.
J. Circuits Syst. Comput., 2022

A dynamic handover scheme based on bidirectional VLC channel in multi-user attocell networks.
EURASIP J. Wirel. Commun. Netw., 2022

On Calibrating Semantic Segmentation Models: Analysis and An Algorithm.
CoRR, 2022

Reinforcement Learning-Based Visible Light Positioning and Handover Scheme With Stereo-Camera.
IEEE Access, 2022

Experimental Verification of the Modified PSA Algorithm.
IEEE Access, 2022

Multi-stream dynamic video Summarization.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

APR-ES: Adaptive Penalty-Reward Based Evolution Strategy for Deep Reinforcement Learning.
Proceedings of the IEEE Smartworld, 2022

Optimize neural network based in-loop filters through iterative training.
Proceedings of the Picture Coding Symposium, 2022

Neural Network Based in-Loop Filter with Constrained Memory.
Proceedings of the IEEE International Conference on Multimedia and Expo, 2022

Anti-Neuron Watermarking: Protecting Personal Data Against Unauthorized Neural Networks.
Proceedings of the Computer Vision - ECCV 2022, 2022

ICKG: An I Ching Knowledge Graph Tool Revealing Ancient Wisdom.
Proceedings of the Computer Supported Cooperative Work and Social Computing, 2022

CTIN: Robust Contextual Transformer Network for Inertial Navigation.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Active dropblock: Method to enhance deep model accuracy and robustness.
Neurocomputing, 2021

AEVRNet: Adaptive exploration network with variance reduced optimization for visual tracking.
Neurocomputing, 2021

Rapid Assessments of Light-Duty Gasoline Vehicle Emissions Using On-Road Remote Sensing and Machine Learning.
CoRR, 2021

Anti-Neuron Watermarking: Protecting Personal Data Against Unauthorized Neural Model Training.
CoRR, 2021

Deep Reinforcement Learning-Based Adaptive Handover Mechanism for VLC in a Hybrid 6G Network Architecture.
IEEE Access, 2021

Analyzing Deep Neural Network's Transferability via Fréchet Distance.
Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2021

Enhanced Implicit Selection of Transform Skip in AVS3.
Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021

A Lazy Approach to Long-Horizon Gradient-Based Meta-Learning.
Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Ranking Neural Checkpoints.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

Review on the development of blast furnace condition identification based on blast furnace gas flow distribution.
Proceedings of the AIAM 2021: 3rd International Conference on Artificial Intelligence and Advanced Manufacture, Manchester, United Kingdom, October 23, 2021

Deep Epidemiological Modeling by Black-box Knowledge Distillation: An Accurate Deep Learning Model for COVID-19.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

SODA: A Semantics-Aware Optimization Framework for Data-Intensive Applications Using Hybrid Program Analysis.
Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021

2020
Attention shake siamese network with auxiliary relocation branch for visual object tracking.
Neurocomputing, 2020

Interaction of neuronal and network mechanisms on firing propagation in a feedforward network.
Neurocomputing, 2020

Trace-Norm Adversarial Examples.
CoRR, 2020

Cross-Domain Learning for Classifying Propaganda in Online Contents.
Proceedings of the 2020 Truth and Trust Online Conference (TTO 2020), 2020

Preoperative Prediction of Lymph Node Metastasis from Clinical DCE MRI of the Primary Breast Tumor Using a 4D CNN.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2020, 2020

Beyond the Deep Metric Learning: Enhance the Cross-Modal Matching with Adversarial Discriminative Domain Regularization.
Proceedings of the 25th International Conference on Pattern Recognition, 2020

Deep Reinforcement Learning based Elasticity-compatible Heterogeneous Resource Management for Time-critical Computing.
Proceedings of the ICPP 2020: 49th International Conference on Parallel Processing, 2020

Self-Supervised Learning for Audio-Visual Speaker Diarization.
Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

Robust Sparse Regularization: Defending Adversarial Attacks Via Regularized Sparse Network.
Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

Improving Object Detection with Selective Self-supervised Self-training.
Proceedings of the Computer Vision - ECCV 2020, 2020

Neural Networks Are More Productive Teachers Than Human Raters: Active Mixup for Data-Efficient Knowledge Distillation From a Blackbox Model.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

BachGAN: High-Resolution Image Synthesis From Salient Object Layout.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

Rethinking Class-Balanced Methods for Long-Tailed Visual Recognition From a Domain Adaptation Perspective.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

AdaFilter: Adaptive Filter Fine-Tuning for Deep Transfer Learning.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Localized Video Coding.
J. Signal Process. Syst., 2019

Interaction Models for Detecting Nodal Activities in Temporal Social Media Networks.
ACM Trans. Manag. Inf. Syst., 2019

A Novel Derived Mode for Block Partitioning Structure in Video Coding.
IEEE Signal Process. Lett., 2019

Understanding archetypes of fake news via fine-grained classification.
Soc. Netw. Anal. Min., 2019

CPGAVAS2, an integrated plastome sequence annotator and analyzer.
Nucleic Acids Res., 2019

Meteor: Optimizing spark-on-yarn for short applications.
Future Gener. Comput. Syst., 2019

LADRA: Log-based abnormal task detection and root-cause analysis in big data processing with Spark.
Future Gener. Comput. Syst., 2019

Defending Against Adversarial Attacks Using Random Forests.
CoRR, 2019

Robust Sparse Regularization: Simultaneously Optimizing Neural Network Robustness and Compactness.
CoRR, 2019

Frame-Recurrent Video Inpainting by Robust Optical Flow Inference.
CoRR, 2019

Depthwise Convolution is All You Need for Learning Multiple Visual Domains.
CoRR, 2019

A Transfer Learning Based Interpretable User Experience Model on Small Samples.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Derived Tree Block Partition for AVS3 Intra Coding.
Proceedings of the Picture Coding Symposium, 2019

An Efficient Probability Estimation Design for Logarithmic Binary Arithmetic Coding.
Proceedings of the Picture Coding Symposium, 2019

NATTACK: Learning the Distributions of Adversarial Examples for an Improved Black-Box Attack on Deep Neural Networks.
Proceedings of the 36th International Conference on Machine Learning, 2019

AET vs. AED: Unsupervised Representation Learning by Auto-Encoding Transformations Rather Than Data.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

Defending Against Adversarial Attacks Using Random Forest.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2019

Learning to Adaptively Scale Recurrent Neural Networks.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Depthwise Convolution Is All You Need for Learning Multiple Visual Domains.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Asynchronous Delay-Aware Accelerated Proximal Coordinate Descent for Nonconvex Nonsmooth Problems.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
NPIY : A novel partitioner for improving mapreduce performance.
J. Vis. Lang. Comput., 2018

A fault tolerant election-based deadlock detection algorithm in distributed systems.
Softw. Qual. J., 2018

Big Data Analytics for Information Security.
Secur. Commun. Networks, 2018

ISAT: An intelligent Web service selection approach for improving reliability via two-phase decisions.
Inf. Sci., 2018

Naive Bayes Classifier Based Partitioner for MapReduce.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

Public Opinion Spamming: A Model for Content and Users on Sina Weibo.
Proceedings of the 10th ACM Conference on Web Science, 2018

A Semi-Supervised Two-Stage Approach to Learning from Noisy Labels.
Proceedings of the 2018 IEEE Winter Conference on Applications of Computer Vision, 2018

Effective Inter Transform Method Based on QTBT Structure for Future Video Coding.
Proceedings of the 2018 Picture Coding Symposium, 2018

Meta-analysis of the Immunomodulatory Effect of Ganoderma Lucidum Spores Using an Automatic Pipeline.
Proceedings of the Smart Health - International Conference, 2018

Improving the Improved Training of Wasserstein GANs: A Consistency Term and Its Dual Effect.
Proceedings of the 6th International Conference on Learning Representations, 2018

Tuning Performance of Spark Programs.
Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

How Local Is the Local Diversity? Reinforcing Sequential Determinantal Point Processes with Dynamic Ground Sets for Supervised Video Summarization.
Proceedings of the Computer Vision - ECCV 2018, 2018

Social Media vs. News Media: Analyzing Real-World Events from Different Perspectives.
Proceedings of the Database and Expert Systems Applications, 2018

FTSGD: An Adaptive Stochastic Gradient Descent Algorithm for Spark MLlib.
Proceedings of the 2018 IEEE 16th Intl Conf on Dependable, 2018

Detecting Anomaly in Big Data System Logs Using Convolutional Neural Network.
Proceedings of the 2018 IEEE 16th Intl Conf on Dependable, 2018

Detect Cooperative Hyping Among VIP Users and Spammers in Sina Weibo.
Proceedings of the Computer Supported Cooperative Work and Social Computing, 2018

A Reinforcement Learning Based Resource Management Approach for Time-critical Workloads in Distributed Computing Environment.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Five Shades of Untruth: Finer-Grained Classification of Fake News.
Proceedings of the IEEE/ACM 2018 International Conference on Advances in Social Networks Analysis and Mining, 2018

Texture and Position Based Multiple Transform for Inter-Predicted Residue Coding.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2018

A Proximal Zeroth-Order Algorithm for Nonconvex Nonsmooth Problems.
Proceedings of the 56th Annual Allerton Conference on Communication, 2018

2017
Detecting and resolving deadlocks in mobile agent systems.
J. Vis. Lang. Comput., 2017

RNALocate: a resource for RNA subcellular localizations.
Nucleic Acids Res., 2017

MRapid: An Efficient Short Job Optimizer on Hadoop.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

Link prediction by exploiting network formation games in exchangeable graphs.
Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Log-based Abnormal Task Detection and Root Cause Analysis for Spark.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Us and Them: Adversarial Politics on Twitter.
Proceedings of the 2017 IEEE International Conference on Data Mining Workshops, 2017

Improving MapReduce Performance By Using A New Partitioner In YARN.
Proceedings of the 23rd International Conference on Distributed Multimedia Systems, 2017

A Survey of Semantics-Aware Performance Optimization for Data-Intensive Computing.
Proceedings of the 15th IEEE Intl Conf on Dependable, 2017

Optimizing MapReduce Partitioner Using Naive Bayes Classifier.
Proceedings of the 15th IEEE Intl Conf on Dependable, 2017

Energy Efficiency Optimization with CoMP in Homogeneous Network of TD-LTE-A System.
Proceedings of the Communications, Signal Processing, and Systems, 2017

Investigating Microstructure Patterns of Enterprise Network in Perspective of Ego Network.
Proceedings of the Web and Big Data - First International Joint Conference, 2017

MRSIM: Mitigating Reducer Skew In MapReduce.
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

Hierarchical Spark: A Multi-Cluster Big Data Computing Framework.
Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017

2016
Building and Analyzing of Enterprise Network: A Case Study on China Automobile Supply Network.
Int. J. Web Serv. Res., 2016

Efficient image features selection and weighting for fundamental matrix estimation.
IET Comput. Vis., 2016

FAQS: Fast Web Service Composition Algorithm Based on QoS-Aware Sampling.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

A leader election based deadlock detection algorithm in distributed systems.
Proceedings of the 1st International Workshop on Specification, 2016

An Intelligent QoS Identification for Untrustworthy Web Services via Two-Phase Neural Networks.
Proceedings of the IEEE International Conference on Web Services, 2016

A Novel Priority-based Deadlock Detection and Resolution Algorithm in Mobile Agent Systems.
Proceedings of the 22nd International Conference on Distributed Multimedia Systems, 2016

Migrating GIS Big Data Computing from Hadoop to Spark: An Exemplary Study Using Twitter.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

Auto-tuning Performance of MPI Parallel Programs Using Resource Management in Container-Based Virtual Cloud.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015
ViRBase: a resource for virus-host ncRNA-associated interactions.
Nucleic Acids Res., 2015

Cloud Computing Research Analysis Using Bibliometric Method.
Int. J. Softw. Eng. Knowl. Eng., 2015

HBTM: A Heartbeat-based Behavior Detection Mechanism for POSIX Threads and OpenMP Applications.
CoRR, 2015

Accurate cross-architecture performance modeling for sparse matrix-vector multiplication (SpMV) on GPUs.
Concurr. Comput. Pract. Exp., 2015

A Resilient Framework for Fault Handling in Web Service Oriented Systems.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

A Novel Concurrent Generalized Deadlock Detection Algorithm in Distributed Systems.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Detecting Thread-Safety Violations in Hybrid OpenMP/MPI Programs.
Proceedings of the 2015 IEEE International Conference on Cluster Computing, 2015

Dart: A Geographic Information System on Hadoop.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014
A Performance Modeling and OptimizationAnalysis Tool for Sparse Matrix-VectorMultiplication on GPUs.
IEEE Trans. Parallel Distributed Syst., 2014

SMARTH: Enabling Multi-pipeline Data Transfer in HDFS.
Proceedings of the 43rd International Conference on Parallel Processing, 2014

Enterprise Relationship Network: Build Foundation for Social Business.
Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

2013
Accelerating the discontinuous Galerkin method for seismic wave propagation simulations using the graphic processing unit (GPU) - single-GPU implementation.
Comput. Geosci., 2013

An optimized parallel LSQR algorithm for seismic tomography.
Comput. Geosci., 2013

Fully Secure Attribute-Based Encryption with Non-monotonic Access Structures.
Proceedings of the 2013 5th International Conference on Intelligent Networking and Collaborative Systems, 2013

A new thermal protection approach for permanent magnet synchronous motor.
Proceedings of the IECON 2013, 2013

Symbolic Analysis of Concurrency Errors in OpenMP Programs.
Proceedings of the 42nd International Conference on Parallel Processing, 2013

A Scalable Parallel LSQR Algorithm for Solving Large-Scale Linear System for Tomographic Problems: A Case Study in Seismic Tomography.
Proceedings of the International Conference on Computational Science, 2013

CAP3: A Cloud Auto-Provisioning Framework for Parallel Processing Using On-Demand and Spot Instances.
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012
An MPI-CUDA Implementation and Optimization for Parallel Sparse Equations and Least Squares (LSQR).
Proceedings of the International Conference on Computational Science, 2012

Accurate CUDA performance modeling for sparse matrix-vector multiplication.
Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

An OpenMP Analyzer for Detecting Concurrency Errors.
Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012

2011
Data Replication in Data Intensive Scientific Applications with Performance Guarantee.
IEEE Trans. Parallel Distributed Syst., 2011

HEAT: a combined approach for thread escape analysis.
Int. J. Syst. Assur. Eng. Manag., 2011

Classification of Seismic Windows Using Artificial Neural Networks.
Proceedings of the International Conference on Computational Science, 2011

SD-GIS-based temporal-spatial simulation of water quality in sudden water pollution accidents.
Comput. Geosci., 2011

Hybrid fire detection using hidden Markov model and luminance map.
Comput. Electr. Eng., 2011

A model-driven partitioning and auto-tuning integrated framework for sparse matrix-vector multiplication on GPUs.
Proceedings of the 2011 TeraGrid Conference - Extreme Digital Discovery, 2011

Rapid 3D Seismic Source Inversion Using Windows Azure and Amazon EC2.
Proceedings of the World Congress on Services, 2011

SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs.
Proceedings of the Hardware and Software: Verification and Testing, 2011

The performance of replaceable linear polyacrylamide(PLA) gel electrophoresis of DNA analyzer.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

2010
Detection of deadlock potentials in multithreaded programs.
IBM J. Res. Dev., 2010

Rapid Processing of Synthetic Seismograms Using Windows Azure Cloud.
Proceedings of the Cloud Computing, Second International Conference, 2010

CRI: Symbolic Debugger for MCAPI Applications.
Proceedings of the Automated Technology for Verification and Analysis, 2010

Message Race Detection for Web Services by an SMT-Based Analysis.
Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

P&P: A Combined Push-Pull Model for Resource Monitoring in Cloud Computing Environment.
Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009
Miniaturized CMOS Imaging Module with Real-time DSP Technology for Endoscope and Laryngoscope Applications.
J. Signal Process. Syst., 2009

Atomicity and provenance support for pipelined scientific workflows.
Future Gener. Comput. Syst., 2009

Analysis of Network Security and Risks Prevention Strategies of Hongqiao Airport West Terminal.
Comput. Inf. Sci., 2009

A Cloud Computing Platform for Large-Scale Forensic Computing.
Proceedings of the Advances in Digital Forensics V, 2009

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

An Integrated Framework for Checking Concurrency-Related Programming Errors.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
MRGIS: A MapReduce-Enabled High Performance Workflow System for GIS.
Proceedings of the Fourth International Conference on e-Science, 2008

Running smart process based on goals.
Proceedings of the 12th International Conference on CSCW in Design, 2008

2007
Research on Patterns of Cancer Markers Based on Cross Section Imaging of Serum Proteomic Data.
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2007

A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2006
Runtime Analysis of Atomicity for Multithreaded Programs.
IEEE Trans. Software Eng., 2006

Accurate and efficient runtime detection of atomicity errors in concurrent programs.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

2005
Static analysis of atomicity for programs with non-blocking synchronization.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Automated type-based analysis of data races and atomicity.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Optimized run-time race detection and atomicity checking using partial discovered types.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.
Proceedings of the Hardware and Software Verification and Testing, 2005

2003
Run-Time Analysis for Atomicity.
Proceedings of the Third Workshop on Run-time Verification, 2003


  Loading...