Cyclone
C dialect, based partly on Popcorn, type-safe, polymorphic, gives C control over data representation and memory management, but prevents buffer overflows, dangling pointers, and format string attacks. Description, documents, download.
C with Safety: Cyclone
Forum system with much debate, many interesting and useful posts, some nonsense. Begins debate via New Scientist Cyclone article. [Slashdot]
Cyclone Blows Away the Bugs for Programmers
Cyclone is similar to the C language, but far more bug resistant because it forces code to be checked thoroughly before authors can finish programs, via its special compiler which rewrites code or suggest fixes. [silicon.com]
MediaNet
Overlay distribution network, for distributed streaming data services, to meet user-specified Quality of Service (QOS) criteria. Servers coded in Cyclone.
Hybrid Resource Control of Active Extensions
Combines dynamic and static checking; an extension of Click modular router, customized for active networking in Janos active network OS. Coded in Cyclone. Downloads: paper in PDF, Postscript gzip; slides in PDF, PowerPoint.
The Open Kernel Environment
Brief, very clear summary of OKE, explains its essence in different way than official website. [Computer Science Daily News]
Open Kernel Environment: OKE
Lets users, other than root, load native, fully optimised code into the extensible secure kernel. Coded in Cyclone.
Cyclone Blows Computer Bugs Out of Code
New computer language designed to avoid programming errors may prevent many security breaches, according to US computer scientists behind project, teams at Cornell University, AT&T Labs New York. [New Scientist]
New Cyclone Programming Language: Bugs be Gone
Cornell University, AT&T Labs develop C variant far harder for authors to make bugs in when programming; data representation, calling conventions interoperable with C styles, which simplifies porting. [Security Administrator]
|