Mingshu Li

Affiliations:
  • Chinese Academy of Sciences, Institute of Software, Laboratory for Internet Software Technologies, Beijing, China


According to our database1, Mingshu Li authored at least 104 papers between 1999 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution.
Proceedings of the 41st IEEE International Conference on Computer Design, 2023

2022
Secure Access Policy (SAP): Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment.
Proceedings of the IEEE 40th International Conference on Computer Design, 2022

2021
Matryoshka: A Coalesced Delta Sequence Prefetcher.
Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

2020
Bluethunder: A 2-level Directional Predictor Based Side-Channel Attack against SGX.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020

TEADS: A Defense-aware Framework for Synthesizing Transient Execution Attacks.
Proceedings of the 19th IEEE International Conference on Trust, 2020

2017
Towards a scalable and energy-efficient resource manager for coupling cluster computing with distributed embedded computing.
Clust. Comput., 2017

Enhancing sample-based scheduler with collaborate-state in big data cluster.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Multi-Objective Crowd Worker Selection in Crowdsourced Testing.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

COCOON: Crowdsourced Testing Quality Maximization Under Context Coverage Constraint.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

CQM: coverage-constrained quality maximization in crowdsourcing test.
Proceedings of the 39th International Conference on Software Engineering, 2017

Who Should Be Selected to Perform a Task in Crowdsourced Testing?
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

PCSsampler: Sample-based, Private-state Cluster Scheduling.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

2016
Perspectives on refactoring planning and practice: an empirical study.
Empir. Softw. Eng., 2016

Macaca: A Scalable and Energy-Efficient Platform for Coupling Cloud Computing with Distributed Embedded Computing.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

Understanding the Contribution of Non-source Documents in Improving Missing Link Recovery: An Empirical Study.
Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016

Tiresias: Low-Overhead Sample Based Scheduling with Task Hopping.
Proceedings of the 2016 IEEE International Conference on Cluster Computing, 2016

2015
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes.
J. Syst. Softw., 2015

Characterizing the spatio-temporal burstiness of storage workloads.
Proceedings of the 5th International Workshop on Cloud Data and Platforms, 2015

Sparkle: adaptive sample based scheduling for cluster computing.
Proceedings of the 5th International Workshop on Cloud Data and Platforms, 2015

2014
Investigating dependencies in software requirements for change propagation analysis.
Inf. Softw. Technol., 2014

Refactoring planning and practice in agile software development: an empirical study.
Proceedings of the International Conference on Software and Systems Process 2014, 2014

2013
Discovering hot topics from geo-tagged video.
Neurocomputing, 2013

Can requirements dependency network be used as early indicator of software integration bugs?
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Learning from evolution history to predict future requirement changes.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Search based risk mitigation planning in project portfolio management.
Proceedings of the International Conference on Software and System Process, 2013

Pricing crowdsourcing-based software development tasks.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Improving software testing process: feature prioritization to make winners of success-critical stakeholders.
J. Softw. Evol. Process., 2012

An investigation on the feasibility of cross-project defect prediction.
Autom. Softw. Eng., 2012

Assumption Generation for Asynchronous Systems by Abstraction Refinement.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Preliminary results of a systematic review on requirements evolution.
Proceedings of the 16th International Conference on Evaluation & Assessment in Software Engineering, 2012

An initial evaluation of requirements dependency types in change propagation analysis.
Proceedings of the 16th International Conference on Evaluation & Assessment in Software Engineering, 2012

2011
DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

An Empirical Study on Evolution of API Documentation.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010
Understanding the Influential Factors to Development Effort in Chinese Software Industry.
Proceedings of the Product-Focused Software Process Improvement, 2010

Disruption-Driven Resource Rescheduling in Software Development Processes.
Proceedings of the New Modeling Concepts for Today's Software Processes, 2010

A cut-off approach for bounded verification of parameterized systems.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

A Case Study on Usage of a Software Process Management Tool in China.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
Quantitative defects management in iterative development with BiDefect.
Softw. Process. Improv. Pract., 2009

MOIR/MT: Monitoring Large-Scale Road Network Traffic in Real-Time.
Proc. VLDB Endow., 2009

Stochastic Process Algebra Based Software Process Simulation Modeling.
Proceedings of the Trustworthy Software Development Processes, 2009

Process Trustworthiness as a Capability Indicator for Measuring and Improving Software Trustworthiness.
Proceedings of the Trustworthy Software Development Processes, 2009

Value-Based Multiple Software Projects Scheduling with Genetic Algorithm.
Proceedings of the Trustworthy Software Development Processes, 2009

Achieving On-Time Delivery: A Two-Stage Probabilistic Scheduling Strategy for Software Projects.
Proceedings of the Trustworthy Software Development Processes, 2009

Bridge the Gap between Software Test Process and Business Value: A Case Study.
Proceedings of the Trustworthy Software Development Processes, 2009

Effect of staffing pattern on software project: An empirical analysis.
Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

2008
Estimating fixing effort and schedule based on defect injection distribution.
Softw. Process. Improv. Pract., 2008

A flexible negotiation model for an agent-based software process modelling.
Int. J. Comput. Appl. Technol., 2008

Dynamically Optimize Process Execution Based on Process-agent.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Automated Process Quality Assurance for Distributed Software Development.
Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2008

Requirement-Centric Traceability for Change Impact Analysis: A Case Study.
Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

An Investigation of Software Development Productivity in China.
Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

Quantitatively Managing Defects for Iterative Projects: An Industrial Experience Report in China.
Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

Software Multi-project Resource Scheduling: A Comparative Analysis.
Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

An Analysis to Understand Software Trustworthiness.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

An empirical analysis on distribution patterns of software maintenance effort.
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

A constraint-driven human resource scheduling method in software development and maintenance process.
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

An integrated solution for software process improvement.
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

A survey on software cost estimation in the chinese software industry.
Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008

Phase distribution of software development effort.
Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008

Reducing biases in individual software effort estimations: a combining approach.
Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008

An Investigation on Performance of Software Enhancement Projects in China.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007
TRISO-Model: A New Approach to Integrated Software Process Assessment and Improvement.
Softw. Process. Improv. Pract., 2007

A Tool to Create Process-Agents for OEC-SPM from Historical Project Data.
Proceedings of the Software Process Dynamics and Agility, 2007

An Algebraic Approach for Managing Inconsistencies in Software Processes, .
Proceedings of the Software Process Dynamics and Agility, 2007

Coping with the Cone of Uncertainty: An Empirical Study of the SAIV Process Model.
Proceedings of the Software Process Dynamics and Agility, 2007

An Empirical Study on Establishing Quantitative Management Model for Testing Process.
Proceedings of the Software Process Dynamics and Agility, 2007

Empirical Study on Benchmarking Software Development Tasks.
Proceedings of the Software Process Dynamics and Agility, 2007

A Multilateral Negotiation Method for Software Process Modeling.
Proceedings of the Software Process Dynamics and Agility, 2007

Cost Estimation and Analysis for Government Contract Pricing in China.
Proceedings of the Software Process Dynamics and Agility, 2007

A Simulation-Based Approach for Fine-Grained Project Plan Analysis.
Proceedings of the Third International Conference on Natural Computation, 2007

Tracking Projects through A Three-Dimensional Software Development Model.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
SEM2XPDL: Towards SPEM Model Enactment.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering Environment.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

COCOMO-U: An Extension of COCOMO II for Cost Estimation with Uncertainty.
Proceedings of the Software Process Change, 2006

A Process-Agent Construction Method for Software Process Modeling in SoftPM.
Proceedings of the Software Process Change, 2006

On Mobility of Software Processes.
Proceedings of the Software Process Change, 2006

Assessing 3-D Integrated Software Development Processes: A New Benchmark.
Proceedings of the Software Process Change, 2006

BSR: a statistic-based approach for establishing and refining software process performance baseline.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A risk-driven method for eXtreme programming release planning.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Applying agent technology to software process modeling and process-centered software engineering environment.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A Survey of CMM/CMMI Implementation in China.
Proceedings of the Unifying the Software Process Spectrum, 2005

Software Process Management: Practices in China.
Proceedings of the Unifying the Software Process Spectrum, 2005

Expanding the Horizons of Software Development Processes: A 3-D Integrated Methodology.
Proceedings of the Unifying the Software Process Spectrum, 2005

Measuring and improving software process in China.
Proceedings of the 2005 International Symposium on Empirical Software Engineering (ISESE 2005), 2005

2004
A real-time path planning approach without the computation of Cspace obstacles.
Robotica, 2004

Mobile communications in China.
Int. J. Mob. Commun., 2004

HyO-XTM: a set of hyper-graph operations on XML Topic Map toward knowledge management.
Future Gener. Comput. Syst., 2004

A Metamodel for the CMM Software Process.
Proceedings of the Parallel and Distributed Processing and Applications, 2004

A QoS-aware Component-Based Middleware for Pervasive Computing.
Proceedings of the Embedded Software and Systems, First International Conference, 2004

A User-Oriented Model-Driven Requirements Elicitation Process based on User Modeling.
Proceedings of the Computer Supported Activity Coordination, 2004

VICOS: A Framework for Session Management in Network Computing Infrastructure.
Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004), 2004

2003
A Context-Aware User-Adaptive Supporting System for Goal-Oriented Requirements Elicitation Process.
Proceedings of the ICEIS 2003, 2003

2002
Research on intellectual property right problems of peer-to-peer networks.
Electron. Libr., 2002

On Constructing a Cooperative Paradigm.
Appl. Artif. Intell., 2002

Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata.
Proceedings of the 13th IEEE International Workshop on Rapid System Prototyping (RSP 2002), 2002

TEMPPLET: A New Method for Domain-Specific Ontology Design.
Proceedings of the Engineering and Deployment of Cooperative Information Systems, 2002

2001
Real-time communication mechanism for distributed objects in the MCPU-DFO model for Internet enterprise.
Proceedings of the IEEE International Conference on Systems, 2001

Enterprise modeling on Internet.
Proceedings of the IEEE International Conference on Systems, 2001

T.120/H.32x-based Multimedia Conferencing Desig.
Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, 2001

A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

A Risk-Driven Design Model for Embedded System.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

1999
Object-Oriented Requirements Modeling Based on UML.
Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999


  Loading...