Yuan Yu

According to our database1, Yuan Yu authored at least 44 papers between 1990 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Dynamic Control Flow in Large-Scale Machine Learning.
CoRR, 2018

Application of semi-automated ultrasonography on nutritional support for severe acute pancreatitis.
Comp. Med. Imag. and Graph., 2018

Dynamic control flow in large-scale machine learning.
Proceedings of the Thirteenth EuroSys Conference, 2018

2017
ORB-SLAM based semi-dense mapping with monocular camera.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

2016
A Highly Sensitive Fiber-Optic Fabry-Perot Interferometer Based on Internal Reflection Mirrors for Refractive Index Measurement.
Sensors, 2016

TensorFlow: A system for large-scale machine learning.
CoRR, 2016

TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems.
CoRR, 2016

Relaxed stability conditions for continuous-time Takagi-Sugeno fuzzy systems based on a new upper bound inequality.
Complexity, 2016


2014
Graph-based SLAM based magnet map generation for magnetic guidance.
Proceedings of the 2014 IEEE International Conference on Robotics and Biomimetics, 2014

Leo: A Profile-Driven Dynamic Optimization Framework for GPU Applications.
Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014

2013
Dandelion: a compiler and runtime for heterogeneous systems.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

TimeStream: reliable stream computation in the cloud.
Proceedings of the Eighth Eurosys Conference 2013, 2013

Optimus: a dynamic rewriting framework for data-parallel execution plans.
Proceedings of the Eighth Eurosys Conference 2013, 2013

2012
Assessing the authority of free online scholarly information.
Scientometrics, 2012

MadLINQ: large-scale distributed matrix computation for the cloud.
Proceedings of the European Conference on Computer Systems, 2012

2011
Steno: automatic optimization of declarative queries.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

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

2010
Power allocation for a MIMO relay system with multiple-antenna users.
IEEE Trans. Signal Processing, 2010

Nectar: Automatic Management of Data and Computation in Datacenters.
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
Power Scheduling for Multi-Hop Wireless Networks.
PhD thesis, 2009

Further Development of Synchronous Array Method for Ad Hoc Wireless Networks.
EURASIP J. Adv. Sig. Proc., 2009

Distributed aggregation for data-parallel computing: interfaces and implementations.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Distributed data-parallel computing using a high-level programming language.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

BotGraph: Large Scale Spamming Botnet Detection.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Early Performance Evaluation of Dawning 5000A and DeepComp 7000.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

DryadInc: Reusing Work in Large-scale Computations.
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009

2008
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Throughput analysis of wireless mesh networks.
Proceedings of the IEEE International Conference on Acoustics, 2008

2007
An Assessment of the Currency of Free Science Information on the Web.
Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007

Dryad: distributed data-parallel programs from sequential building blocks.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006
Software Configuration Management Using Vesta
Monographs in Computer Science, Springer, ISBN: 978-0-387-30852-4, 2006

2005
RaceTrack: efficient detection of data race conditions via adaptive tracking.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

2004
Linking Simulation with Formal Verification at a Higher Level.
IEEE Design & Test of Computers, 2004

2003
Checking Cache-Coherence Protocols with TLA+.
Formal Methods in System Design, 2003

Using a formal specification and a model checker to monitor and direct simulation.
Proceedings of the 40th Design Automation Conference, 2003

2002
Specifying and verifying systems with TLA+.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2000
Caching function calls using precise dependencies.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999
Cache Coherence Verification with TLA+.
Proceedings of the FM'99 - Formal Methods, 1999

Model Checking TLA+ Specifications.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

1996
Automated Proofs of Object Code for a Widely Used Microprocessor.
J. ACM, 1996

1992
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.
Proceedings of the Automated Deduction, 1992

1990
Computer Proofs in Group Theory.
J. Autom. Reasoning, 1990


  Loading...