Yin Wang

Affiliations:
  • HP Labs, Palo Alto, CA, USA
  • University of Michigan, Electrical Engineering and Computer Science Department, Ann Arbor, MI, USA (PhD 2009)


According to our database1, Yin Wang authored at least 37 papers between 2005 and 2015.

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

2015
Erratum to: Diagnosis of discrete event systems using decentralized architectures.
Discret. Event Dyn. Syst., 2015

Mining Large-Scale GPS Streams for Connectivity Refinement of Road Maps.
Comput. J., 2015

2014
Greedy map generalization by iterative point removal.
Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2014

2013
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.
IEEE Trans. Control. Syst. Technol., 2013

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.
IEEE Trans. Autom. Control., 2013

Pervasive Urban Sensing with Large-Scale Mobile Probe Vehicles.
Int. J. Distributed Sens. Networks, 2013

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.
Discret. Event Dyn. Syst., 2013

CrowdAtlas: self-updating maps for cloud and personal use.
Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

CrowdAtlas: self-updating maps for cloud and personal use.
Proceedings of the 11th Annual International Conference on Mobile Systems, 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

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

Map matching: comparison of approaches using sparse and noisy data.
Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013

Mining large-scale gps streams for connectivity refinement of road maps.
Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013

Practical lock/unlock pairing for concurrent programs.
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
Explicit storage and analysis of billions of states using commodity computers.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Mining large-scale, sparse GPS traces for map inference: comparison of approaches.
Proceedings of the 18th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2012

Fast Viterbi map matching with tunable weight functions.
Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012

On atomicity enforcement in concurrent software via Discrete Event Systems theory.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case.
IEEE Trans. Autom. Control., 2011

On the Optimal Petri Net Representation for Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2011

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Supervisory control of software execution for failure avoidance: Experience from the Gadara project.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Optimal deadlock avoidance for complex resource allocation systems through classification theory.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A Language-Based Framework for Analyzing Service Representation Models and Service Composition Approaches.
Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010

Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Eliminating Concurrency Bugs with Control Engineering.
Computer, 2009

The theory of deadlock avoidance via discrete control.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2007
Diagnosis of Discrete Event Systems Using Decentralized Architectures.
Discret. Event Dyn. Syst., 2007

Proportional-Share Scheduling for Distributed Storage Systems.
Proceedings of the 5th USENIX Conference on File and Storage Technologies, 2007

Discrete control for safe execution of IT automation workflows.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006
Discrete Control for Dependable IT Automation.
Proceedings of the Second Workshop on Hot Topics in System Dependability, 2006

2005
Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005


  Loading...