Y
Yanling Wang
Researcher at Cornell University
Publications - 6
Citations - 1201
Yanling Wang is an academic researcher from Cornell University. The author has contributed to research in topics: Cyclone (programming language) & Memory management. The author has an hindex of 4, co-authored 6 publications receiving 1150 citations.
Papers
More filters
Proceedings Article
Cyclone: A Safe Dialect of C
TL;DR: This paper examines safety violations enabled by C’s design, and shows how Cyclone avoids them, without giving up C”s hallmark control over low-level details such as data representation and memory management.
Proceedings ArticleDOI
Region-based memory management in cyclone
TL;DR: This paper focuses on the region-based memory management of Cyclone and its static typing discipline, and combines default annotations, local type inference, and a novel treatment of region effects to reduce this burden.
Formal Type Soundness for Cyclone''s Region System
TL;DR: This paper focuses on the region-based memory management of Cyclone and its static typing discipline, which incorporates several advancements, including support for region subtyping and a coherent integration with stack allocation and a garbage collector.
Cyclone User''s Manual, Version 0.1.3
TL;DR: The current version of this manual should be available at http://www.cs.cornell.edu/projects/cyclone/ and http:// www.research.att.com/Projects/Cyclone/Cycle Version 0.1.3 as discussed by the authors.