Junfeng Yang

Orcid: 0009-0000-2277-6545

According to our database1, Junfeng Yang authored at least 193 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The Response of Stratospheric Gravity Waves to the 11-Year Solar Cycle.
Remote. Sens., September, 2024

Cloud Actor-Oriented Database Transactions in Orleans.
Proc. VLDB Endow., August, 2024

Tight Ergodic Sublinear Convergence Rate of the Relaxed Proximal Point Algorithm for Monotone Variational Inequalities.
J. Optim. Theory Appl., July, 2024

Oxygen and Air Density Retrieval Method for Single-Band Stellar Occultation Measurement.
Remote. Sens., June, 2024

A New Method for Bearing Fault Diagnosis across Machines Based on Envelope Spectrum and Conditional Metric Learning.
Sensors, May, 2024

A Flexible Pressure Sensor Based on an Interlocked Micropillars Array With Secondary Nanoprotrusions for Health Monitoring.
IEEE Trans. Instrum. Meas., 2024

Golden Ratio Proximal Gradient ADMM for Distributed Composite Convex Optimization.
J. Optim. Theory Appl., 2024

The extended weighted t-norms-based linear hybrid aggregation function and its application for aggregating improved basic uncertain linguistic information.
Eng. Appl. Artif. Intell., 2024

I Can Hear You: Selective Robust Training for Deepfake Audio Detection.
CoRR, 2024

SPIN: Self-Supervised Prompt INjection.
CoRR, 2024

Detecting Buggy Contracts via Smart Testing.
CoRR, 2024

Comment on Revisiting Neural Program Smoothing for Fuzzing.
CoRR, 2024

Hokoff: Real Game Dataset from Honor of Kings and its Offline Reinforcement Learning Benchmarks.
CoRR, 2024

Learning to Rewrite: Generalized LLM-Generated Text Detection.
CoRR, 2024

KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution.
CoRR, 2024

Turns Out I'm Not Real: Towards Robust Detection of AI-Generated Videos.
CoRR, 2024

SemCoder: Training Code Language Models with Comprehensive Semantics.
CoRR, 2024

NTIRE 2024 Quality Assessment of AI-Generated Content Challenge.
CoRR, 2024

On the Effect of Image Resolution on Semantic Segmentation.
CoRR, 2024

A note on progressive hedging algorithm for multistage stochastic variational inequalities.
Appl. Math. Lett., 2024

SmartInv: Multimodal Learning for Smart Contract Invariant Inference.
Proceedings of the IEEE Symposium on Security and Privacy, 2024

QUACK: Hindering Deserialization Attacks via Static Duck Typing.
Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

Align-IQA: Aligning Image Quality Assessment Models with Diverse Human Preferences via Customizable Guidance.
Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Exploiting Code Symmetries for Learning Program Semantics.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

MGit: A Model Versioning and Management System.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

Raidar: geneRative AI Detection viA Rewriting.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

INViTE: INterpret and Control Vision-Language Models with Text Explanations.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

RAFT: Realistic Attacks to Fool Text Detectors.
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

MoE-AGIQA: Mixture-of-Experts Boosted Visual Perception-Driven and Semantic-Aware Quality Assessment for AI-Generated Images.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

GDA: Generalized Diffusion for Robust Test-Time Adaptation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

NTIRE 2024 Quality Assessment of AI-Generated Content Challenge.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

Chablis: Fast and General Transactions in Geo-Distributed Systems.
Proceedings of the 14th Conference on Innovative Data Systems Research, 2024

Towards a Theoretical Understanding of Why Local Search Works for Clustering with Fair-Center Representation.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Research on Stellar Occultation Detection with Bandpass Filtering for Oxygen Density Retrieval.
Remote. Sens., July, 2023

Learning Approximate Execution Semantics From Traces for Binary Function Similarity.
IEEE Trans. Software Eng., April, 2023

ELGONBP: A grouped neighboring intensity difference encoding for texture classification.
Multim. Tools Appl., March, 2023

Does teacher's data literacy and digital teaching competence influence empowering students in the classroom? Evidence from China.
Educ. Inf. Technol., March, 2023

BPF-oF: Storage Function Pushdown Over the Network.
CoRR, 2023

A Single-Loop Algorithm for Decentralized Bilevel Optimization.
CoRR, 2023

Robustifying Language Models with Test-Time Adaptation.
CoRR, 2023

Interpreting and Controlling Vision Foundation Models via Text Explanations.
CoRR, 2023

Symmetry-Preserving Program Representations for Learning Code Semantics.
CoRR, 2023

Monitoring and Adapting ML Models on Mobile Devices.
CoRR, 2023

Test-time Detection and Repair of Adversarial Samples via Masked Autoencoder.
CoRR, 2023

Self-Supervised Convolutional Visual Prompts.
CoRR, 2023

Crowdsourcing-based Model Testing in Federated Learning.
Proceedings of the 22nd IEEE International Conference on Trust, 2023

Undermining License Plate Recognition: A Data Poisoning Attack.
Proceedings of the 22nd IEEE International Conference on Trust, 2023

Divergent Representations: When Compiler Optimizations Enable Exploitation.
Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023

Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Convolutional Visual Prompt for Robust Visual Perception.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Robust Perception through Equivariance.
Proceedings of the International Conference on Machine Learning, 2023

Understanding Zero-shot Adversarial Robustness for Large-Scale Models.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

Mars Attacks!: Software Protection Against Space Radiation.
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

Effective Performance Issue Diagnosis with Value-Assisted Cost Profiling.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

Doubly Right Object Recognition: A Why Prompt for Visual Rationales.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022
Golden Ratio Primal-Dual Algorithm with Linesearch.
SIAM J. Optim., 2022

First Observations of Mars Atmosphere and Ionosphere with Tianwen-1 Radio-Occultation Technique on 5 August 2021.
Remote. Sens., 2022

Specific Windows Search for Multi-Ship and Multi-Scale Wake Detection in SAR Images.
Remote. Sens., 2022

PPG biometric recognition with singular value decomposition and local mean decomposition.
J. Intell. Fuzzy Syst., 2022

Packing Privacy Budget Efficiently.
CoRR, 2022

Adversarially Robust Video Perception by Seeing Motion.
CoRR, 2022

Development of a Neural Network-Based Mathematical Operation Protocol for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS).
CoRR, 2022

Using Multiple Self-Supervised Tasks Improves Model Robustness.
CoRR, 2022

NeuDep: neural binary memory dependence analysis.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Neuroshard: towards automatic multi-objective sharding with deep reinforcement learning.
Proceedings of the aiDM '22: Proceedings of the Fifth International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, 2022

XRP: In-Kernel Storage Functions with eBPF.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

A Tale of Two Models: Constructing Evasive Attacks on Edge Models.
Proceedings of the Fifth Conference on Machine Learning and Systems, 2022

Causal Transportability for Visual Recognition.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

2021
Study on PPG Biometric Recognition Based on Multifeature Extraction and Naive Bayes Classifier.
Sci. Program., 2021

Support Vector Machine-Based Backprojection Algorithm for Detection of Gastric Cancer Lesions with Abdominal Endoscope Using Magnetic Resonance Imaging Images.
Sci. Program., 2021

A Golden Ratio Primal-Dual Algorithm for Structured Convex Optimization.
J. Sci. Comput., 2021

Performance Analysis of Delay Distribution and Packet Loss Ratio for Body-to-Body Networks.
IEEE Internet Things J., 2021

Speech emotion recognition using emotion perception spectral feature.
Concurr. Comput. Pract. Exp., 2021

Bandwidth Enhancement for Wireless Power Transfer System Employing Non-Linear Resonator.
IEEE Access, 2021

Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing.
Proceedings of the 2021 USENIX Annual Technical Conference, 2021

StateFormer: fine-grained type recovery from binaries using generative state modeling.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Greenplum: A Hybrid Database for Transactional and Analytical Workloads.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Equivalent Electrical Model and Experimental Analysis of a Novel Needle-ring Atmospheric Pressure Plasma Microjets Array.
Proceedings of the 16th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2021

XDA: Accurate, Robust Disassembly with Transfer Learning.
Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

Adversarial Attacks are Reversible with Natural Supervision.
Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

BPF for storage: an exokernel-inspired approach.
Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

Generative Interventions for Causal Learning.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

2020
Tight Sublinear Convergence Rate of the Proximal Point Algorithm for Maximal Monotone Inclusion Problems.
SIAM J. Optim., 2020

Modeling and Research on Power System of Distributed Sensor Networks for Long Streamers in Marine Seismic Exploration.
Sensors, 2020

Photoplethysmography Biometric Recognition Model Based on Sparse Softmax Vector and k-Nearest Neighbor.
J. Electr. Comput. Eng., 2020

Games Literacy for Teacher Education: Towards the Implementation of Game-based Learning.
J. Educ. Technol. Soc., 2020

Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity.
CoRR, 2020

An LCC-SP Compensated Inductive Power Transfer System and Design Considerations for Enhancing Misalignment Tolerance.
IEEE Access, 2020

Design of LCC-S Compensation Topology and Optimization of Misalignment Tolerance for Inductive Power Transfer.
IEEE Access, 2020

Full Reference Image Quality Assessment by Considering Intra-Block Structure and Inter-Block Texture.
IEEE Access, 2020

Multitask Learning Strengthens Adversarial Robustness.
Proceedings of the Computer Vision - ECCV 2020, 2020

What Does CNN Shift Invariance Look Like? A Visualization Study.
Proceedings of the Computer Vision - ECCV 2020 Workshops, 2020

Live Trojan Attacks on Deep Neural Networks.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

Effective Concurrency Testing for Distributed Systems.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

Egalito: Layout-Agnostic Binary Recompilation.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

Lambdata: Optimizing Serverless Computing by Making Data Intents Explicit.
Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020

2019
The effects of a dual adaptive strategy with gesture recognition and perceived exertion on training efficiency of elders' functional fitness.
Smart Learn. Environ., 2019

Bringing Engineering Rigor to Deep Learning.
ACM SIGOPS Oper. Syst. Rev., 2019

Unrestricted Adversarial Attacks for Semantic Segmentation.
CoRR, 2019

Using blended synchronous classroom approach to promote learning performance in rural area.
Comput. Educ., 2019

DeepXplore: automated whitebox testing of deep learning systems.
Commun. ACM, 2019

NEUZZ: Efficient Fuzzing with Neural Program Smoothing.
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Metric Learning for Adversarial Robustness.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

CodeMason: Binary-Level Profile-Guided Optimization.
Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, 2019

2018
Evaluation of smart classroom from the perspective of infusing technology into pedagogy.
Smart Learn. Environ., 2018

Plils: A Practical Indoor Localization System through Less Expensive Wireless Chips via Subregion Clustering.
Sensors, 2018

Directional gradients integration image for illumination insensitive face representation.
Mach. Vis. Appl., 2018

NEUZZ: Efficient Fuzzing with Neural Program Learning.
CoRR, 2018

Scalable Overload Control for Large-scale Microservice Architecture.
CoRR, 2018

Transient Behavior Analysis of Offshore Wind Turbines During Lightning Strike to Multi-Blade.
IEEE Access, 2018

Formal Security Analysis of Neural Networks using Symbolic Intervals.
Proceedings of the 27th USENIX Security Symposium, 2018

AppFlow: using machine learning to synthesize robust, reusable UI tests.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Efficient Formal Safety Analysis of Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

OWL: Understanding and Detecting Concurrency Attacks.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Overload Control for Scaling WeChat Microservices.
Proceedings of the ACM Symposium on Cloud Computing, 2018

Efficient Repair of Polluted Machine Learning Systems via Causal Unlearning.
Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018

Partial Order Aware Concurrency Sampling.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
An Efficient and Packing-Resilient Two-Phase Android Cloned Application Detection Approach.
Mob. Inf. Syst., 2017

Time and Energy Optimization Algorithms for the Static Scheduling of Multiple Workflows in Heterogeneous Computing System.
J. Grid Comput., 2017

Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems.
CoRR, 2017

FIRED: Frequent Inertial Resets with Diversification for Emerging Commodity Cyber-Physical Systems.
CoRR, 2017

A variational method using Riemannian metric for SAR image segmentation.
Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

PanNet: A Deep Network Architecture for Pan-Sharpening.
Proceedings of the IEEE International Conference on Computer Vision, 2017

Promoting Citizen's Learning Experience in Smart Cities.
Proceedings of the Blended Learning. New Challenges and Innovative Practices, 2017

2016
Image decomposition-based structural similarity index for image quality assessment.
EURASIP J. Image Video Process., 2016

A partially parallel splitting method for multiple-block separable convex programming with applications to robust PCA.
Comput. Optim. Appl., 2016

SUIDroid: An Efficient Hardening-Resilient Approach to Android App Clone Detection.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Reducing crash recoverability to reachability.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Shuffler: Fast and Deployable Continuous Code Re-Randomization.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

The Framework of Digital Learning Capacity for Digital Natives.
Proceedings of the 16th IEEE International Conference on Advanced Learning Technologies, 2016

Grandet: A Unified, Economical Object Store for Web Applications.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

2015
Making Lock-free Data Structures Verifiable with Artificial Transactions.
ACM SIGOPS Oper. Syst. Rev., 2015

A General Inertial Proximal Point Algorithm for Mixed Variational Inequality Problem.
SIAM J. Optim., 2015

Inertial Proximal ADMM for Linearly Constrained Separable Convex Optimization.
SIAM J. Imaging Sci., 2015

A Wavelet-Based Image Preprocessing Method or Illumination Insensitive Face Recognition.
J. Inf. Sci. Eng., 2015

Face recognition using local gradient binary count pattern.
J. Electronic Imaging, 2015

Automatic In-vivo Evolution of Kernel Policies for Better Performance.
CoRR, 2015

Secure Deduplication of General Computations.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Towards Making Systems Forget with Machine Unlearning.
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Paxos made transparent.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Development and Use of a Questionnaire for Evaluating K-12 Smart Classroom.
Proceedings of the Hybrid Learning: Innovation in Educational Practices, 2015

KD-tree based clustering algorithm for fast face recognition on large-scale data.
Proceedings of the Seventh International Conference on Digital Image Processing, 2015

Android Malware Static Analysis Techniques.
Proceedings of the 10th Annual Cyber and Information Security Research Conference, 2015

RepFrame: An Efficient and Transparent Framework for Dynamic Program Analysis.
Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014
Design of a Broadband Electrical Impedance Matching Network for Piezoelectric Ultrasound Transducers Based on a Genetic Algorithm.
Sensors, 2014

Inexact Alternating-Direction-Based Contraction Methods for Separable Linearly Constrained Convex Optimization.
J. Optim. Theory Appl., 2014

Emerging approaches for supporting easy, engaged and effective collaborative learning.
J. King Saud Univ. Comput. Inf. Sci., 2014

Strategies for Smooth and Effective Cross-Cultural Online Collaborative Learning.
J. Educ. Technol. Soc., 2014

Making parallel programs reliable with stable multithreading.
Commun. ACM, 2014

A Method for Evaluating Technology-Rich Classroom Environment.
Proceedings of the Emerging Issues in Smart Learning, 2014

Efficiently, effectively detecting mobile app bugs with AppDoctor.
Proceedings of the Ninth Eurosys Conference 2014, 2014

2013
A Proximal Point Algorithm for Log-Determinant Optimization with Group Lasso Regularization.
SIAM J. Optim., 2013

Linearized augmented Lagrangian and alternating direction methods for nuclear norm minimization.
Math. Comput., 2013

Optimizing Classroom Environment to Support Technology Enhanced Learning.
Proceedings of the Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data, 2013

The Concept of eTextbooks in K-12 Classes from the Perspective of Its Stakeholders.
Proceedings of the Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data, 2013

Parrot: a practical runtime for deterministic, stable, and reliable threads.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Effective dynamic detection of alias analysis errors.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It.
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Verifying systems rules using rule-directed symbolic execution.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012
Sound and precise analysis of parallel programs through schedule specialization.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

A Framework of Designing Learning Activities for Mobile Learning.
Proceedings of the Hybrid Learning - 5th International Conference, 2012

The MEERKATS Cloud Security Architecture.
Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

Concurrency Attacks.
Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

2011
Alternating Direction Algorithms for <sub>1</sub>-Problems in Compressive Sensing.
SIAM J. Sci. Comput., 2011

Alternating Direction Method for Image Inpainting in Wavelet Domains.
SIAM J. Imaging Sci., 2011

Context-based Online Configuration-Error Detection.
Proceedings of the 2011 USENIX Annual Technical Conference, 2011

Pervasive detection of process races in deployed systems.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Practical software model checking via dynamic interface reduction.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Efficient deterministic multithreading through schedule relaxation.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Optimizing Data Partitioning for Data-Parallel Computing.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

The SPARCHS Project: Hardware Support for Software Security.
Proceedings of the First SysSec Workshop 2011, 2011

The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security.
Proceedings of the First SysSec Workshop 2011, 2011

2010
A Fast Alternating Direction Method for TVL1-L2 Signal Reconstruction From Partial Fourier Data.
IEEE J. Sel. Top. Signal Process., 2010

Practical compressive sensing with Toeplitz and circulant matrices.
Proceedings of the Visual Communications and Image Processing 2010, 2010

Bypassing Races in Live Applications with Execution Filters.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Stable Deterministic Multithreading through Schedule Memoization.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Scalable and systematic detection of buggy inconsistencies in source code.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009
Kinesis: A new approach to replica placement in distributed storage systems.
ACM Trans. Storage, 2009

An Efficient TVL1 Algorithm for Deblurring Multichannel Images Corrupted by Impulsive Noise.
SIAM J. Sci. Comput., 2009

A Fast Algorithm for Edge-Preserving Variational Multichannel Image Restoration.
SIAM J. Imaging Sci., 2009

MODIST: Transparent Model Checking of Unmodified Distributed Systems.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

A Game Analysis of the Mergers and Acquisitions of Foreign Capital Based on the Perspective of Industry Security.
Proceedings of the Business Intelligence: Artificial Intelligence in Business, 2009

2008
Automatic detection of serious storage system errors via model checking.
PhD thesis, 2008

A New Alternating Minimization Algorithm for Total Variation Image Reconstruction.
SIAM J. Imaging Sci., 2008

2006
Using model checking to find serious file system errors.
ACM Trans. Comput. Syst., 2006

Automatically Generating Malicious Disks using Symbolic Execution.
Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2004
Correlation exploitation in error ranking.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

2003
MECA: an extensible, expressive system and language for statically checking security properties.
Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2001
An Empirical Study of Operating System Errors.
Proceedings of the 18th ACM Symposium on Operating System Principles, 2001


  Loading...