Yifeng Chen

According to our database1, Yifeng Chen
  • authored at least 46 papers between 2000 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Hybrid small class teaching: dividing and conquering large computer systems classes.
Proceedings of the ACM Turing 50th Celebration Conference - China, 2017

2016
Samsara parallel: a non-BSP parallel-in-time model.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Optimizing Protein Folding Simulation on Intel Xeon Phi.
Proceedings of the 15th International Symposium on Parallel and Distributed Computing, 2016

2015
Trends and potential cautions in food web research from a bibliometric analysis.
Scientometrics, 2015

A bibliometric analysis of research papers related to the Mekong River.
Scientometrics, 2015

Methods to speed up read operation in a 64 Mbit phase change memory chip.
IEICE Electronic Express, 2015

Tiles: a new language mechanism for heterogeneous parallelism.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

UniDegree: A GPU-Based Graph Representation for SSSP.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Improving Performance of Floating Point Division on GPU and MIC.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Programming Heterogeneous Systems with Array Types.
Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

2014
Flexible block management with data migration wear-leveling algorithm for phase change memory.
IEICE Electronic Express, 2014

Optimization of periphery circuits in a 1K-bit PCRAM chip for highly reliable write and read operations.
IEICE Electronic Express, 2014

Cross-Platform Parallel Programming in Parray: A Case Study.
Proceedings of the Network and Parallel Computing, 2014

2013
Semantic inheritance in unifying theories of programming.
Formal Asp. Comput., 2013

Algebraic Program Semantics for Supercomputing.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
PARRAY: a unifying array representation for heterogeneous parallelism.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Power-aware Programming with GPU Accelerators.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

2011
Programming-Level Power Measurement for GPU Clusters.
Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications (GreenCom), 2011

2010
UTP and Sustainability.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Programmable Verifiers in Imperative Programming.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Abstraction of Object Graphs in Program Verification.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Large-scale FFT on GPU clusters.
Proceedings of the 24th International Conference on Supercomputing, 2010

Auto-tuning Dense Matrix Multiplication for GPGPU with Cache.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

2009
Improving Performance of Matrix Multiplication and FFT on GPU.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Unifying Probability with Nondeterminism.
Proceedings of the FM 2009: Formal Methods, 2009

2007
Inheriting Laws for Processes with States.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006
Hierarchical Organisation of Predicate-Semantic Models.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Compositional Reasoning for Pointer Structures.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

MADESE: A Simulation Environment for Mobile Agent.
Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006

2005
The weakest specifunction.
Acta Inf., 2005

A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs.
Proceedings of the Network and Parallel Computing, IFIP International Conference, 2005

Generating C Code from LOGS Specifications.
Proceedings of the Theoretical Aspects of Computing, 2005

2004
Logic of global synchrony.
ACM Trans. Program. Lang. Syst., 2004

Checkpointing in Hybrid Distributed Systems.
Proceedings of the 7th International Symposium on Parallel Architectures, 2004

Integrating Temporal Logics.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

From Durational Specifications to TLA Designs of Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2004

2003
A fixpoint theory for non-monotonic parallelism.
Theor. Comput. Sci., 2003

Top-Down Design of Bulk-Synchronous Parallel Programs.
Parallel Processing Letters, 2003

A Relational Model for Formal Object-Oriented Requirement Analysis in UML.
Proceedings of the Formal Methods and Software Engineering, 2003

A GA-Based Solution to the Migration Problem of Mobile Agents in Distributed Information Retrieval Systems.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

2002
Generic Composition.
Formal Asp. Comput., 2002

A Fixpoint Theory for Non-monotonic Parallelism.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001
Weakest Specifunctions for BSP.
Parallel Processing Letters, 2001

Logic of Global Synchrony.
Proceedings of the CONCUR 2001, 2001

2000
Specification for reactive bulk-synchronous programming.
Proceedings of the Eight Euromicro Workshop on Parallel and Distributed Processing, 2000

How to Write a Healthiness Condition.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000


  Loading...