DZone
Thanks for visiting DZone today,
Edit Profile
  • Manage Email Subscriptions
  • How to Post to DZone
  • Article Submission Guidelines
Sign Out View Profile
  • Post an Article
  • Manage My Drafts
Over 2 million developers have joined DZone.
Log In / Join
Refcards Trend Reports Events Over 2 million developers have joined DZone. Join Today! Thanks for visiting DZone today,
Edit Profile Manage Email Subscriptions Moderation Admin Console How to Post to DZone Article Submission Guidelines
View Profile
Sign Out
Refcards
Trend Reports
Events
Zones
Culture and Methodologies Agile Career Development Methodologies Team Management
Data Engineering AI/ML Big Data Data Databases IoT
Software Design and Architecture Cloud Architecture Containers Integration Microservices Performance Security
Coding Frameworks Java JavaScript Languages Tools
Testing, Deployment, and Maintenance Deployment DevOps and CI/CD Maintenance Monitoring and Observability Testing, Tools, and Frameworks
Partner Zones AWS Cloud
by AWS Developer Relations
Culture and Methodologies
Agile Career Development Methodologies Team Management
Data Engineering
AI/ML Big Data Data Databases IoT
Software Design and Architecture
Cloud Architecture Containers Integration Microservices Performance Security
Coding
Frameworks Java JavaScript Languages Tools
Testing, Deployment, and Maintenance
Deployment DevOps and CI/CD Maintenance Monitoring and Observability Testing, Tools, and Frameworks
Partner Zones
AWS Cloud
by AWS Developer Relations

Trending

  • How to Handle Secrets in Kubernetes
  • Developers Are Scaling Faster Than Ever: Here’s How Security Can Keep Up
  • AWS Multi-Region Resiliency Aurora MySQL Global DB With Headless Clusters
  • The Native Way To Configure Path Aliases in Frontend Projects

RiSE4Fun - Microsoft Research, Research in Software Engineering, "Fun" Dev, via web, site

Greg Duncan user avatar by
Greg Duncan
·
Nov. 06, 11 · News
Like (0)
Save
Tweet
Share
2.82K Views

Join the DZone community and get the full member experience.

Join For Free

"RiSE4fun showcases projects from various groups at Microsoft Research. See how RiSE projects interact together.

About RiSE The Research in Software Engineering team (RiSE) coordinates Microsoft's Research in Software Engineering in Redmond, USA. Our mission is to advance the state of the art in Software Engineering, to bring those advances to Microsoft’s business, and to take care of those SE technologies that are critical to the company, but not inherently linked to particular products.

About PPT The Programming Principles and Tools group devises formal techniques and models for understanding programs, programming abstractions and languages, and develops related implementation technology.

About RSE The Rigorous Software Engineering studies software engineering issues in developing large scale software systems. We work on tools, languages and methodologies to dramatically increase the productivity of software development. We are interested in both analysis tools for existing software, as well as in asking questions about how software of the future should be designed.

...

REST Services Tools can also be accessed and executed through the RiSE4fun REST services. The services API is available here.

Hosting RiSE4fun in your page RiSE4fun can be hosted in your own pages using an iframe and adding frame=1 to the url. Adding menu=0 will also hide the list of tools so that you can point directly at a sample. Adding ask=1 will trigger the 'ask' button automatically

..."

RiSE4fun

image

I'm not really sure what to make of this site, but it's just too cool, interesting and "out there" to not mention it.

And the fact that you can call this via REST and/or host it via an IFrame is just cool.

But I think the pure geekness of the how they answer the "projects" question rocks. Very meta... :)

Projects

image

digraph RiSE
{
  Agl [fillcolor=gray, fontcolor=white, color=gray]
  Bek [fillcolor=gray, fontcolor=white, color=gray]
  Boogie [fillcolor=gray, fontcolor=white, color=gray]
  CodeContractsVerifier [fillcolor=gray, fontcolor=white, color=gray]
  ConcurrentRevisions [fillcolor=gray, fontcolor=white, color=gray]
  Dafny [fillcolor=gray, fontcolor=white, color=gray]
  Dkal [fillcolor=gray, fontcolor=white, color=gray]
  F* [fillcolor=gray, fontcolor=white, color=gray]
  Formula [fillcolor=gray, fontcolor=white, color=gray]
  HeapDbg [fillcolor=gray, fontcolor=white, color=gray]
  Pex [fillcolor=gray, fontcolor=white, color=gray]
  Poirot [fillcolor=gray, fontcolor=white, color=gray]
  Rex [fillcolor=gray, fontcolor=white, color=gray]
  SLayer [fillcolor=gray, fontcolor=white, color=gray]
  SpecSharp [fillcolor=gray, fontcolor=white, color=gray]
  Vcc [fillcolor=gray, fontcolor=white, color=gray]
  Z3 [fillcolor=gray, fontcolor=white, color=gray]

  DGML -> Agl;
  Rex -> Agl;
  Rex -> Automata;
  Bek -> Automata;
  Bek -> DGML;
  Automata -> Z3;
  Boogie -> Z3;
  Boogie -> CCI;
  Dafny -> Boogie;
  Chalice -> Boogie;
  Vcc -> Boogie;
  Vcc -> CCI;
  CodeContracts -> CCI;
  CodeContractsVerifier -> CCI;
  CodeContractsVerifier -> CodeContracts;
  HeapDbg -> CCI;
  HeapDbg -> Agl;
  Pex -> Z3;
  Pex -> ER;
  Pex -> Moles;
  Pex -> Rex;
  Moles -> ER;
  CHESS -> ER;
  CHESS -> CAP;
  Cuzz -> CAP;
  ConcurrentRevisions -> CCI;
  F* -> Z3;
  SymDiff -> Boogie
  SymDiff -> Havoc
  SLAM -> Z3;
  Poirot -> Boogie;
  Poirot -> Havoc;
  Havoc -> Boogie
  LineUp -> CHESS
  RaceKit -> ER
  SpecSharp -> Boogie
  SpecSharp -> CCI
  Formula -> Z3
  Formula -> Agl
  SLayer -> Z3;
}

image

Related Past Post XRef:
Playing with Pex is just a web browser away at www.pexforfun.com
Software engineering dev

Published at DZone with permission of Greg Duncan, DZone MVB. See the original article here.

Opinions expressed by DZone contributors are their own.

Trending

  • How to Handle Secrets in Kubernetes
  • Developers Are Scaling Faster Than Ever: Here’s How Security Can Keep Up
  • AWS Multi-Region Resiliency Aurora MySQL Global DB With Headless Clusters
  • The Native Way To Configure Path Aliases in Frontend Projects

Comments

Partner Resources

X

ABOUT US

  • About DZone
  • Send feedback
  • Careers
  • Sitemap

ADVERTISE

  • Advertise with DZone

CONTRIBUTE ON DZONE

  • Article Submission Guidelines
  • Become a Contributor
  • Visit the Writers' Zone

LEGAL

  • Terms of Service
  • Privacy Policy

CONTACT US

  • 600 Park Offices Drive
  • Suite 300
  • Durham, NC 27709
  • support@dzone.com

Let's be friends: