RiSE at the Principles of Programming Languages' 09 (Channel 9)

Several RiSE researchers will present their latest joint work at the upcoming Principles of Programming Languages (POPL'09) conference (non RiSE authors are marked with *):

Tayfun Elmas*, Shaz Qadeer, and Serdar Tasiran will present: A Calculus of Atomic Actions.
Daan Leijen will present Flexible types: Robust type inference for first-class polymorphism [pdf].
Sumit Gulwani, Krishna Mehra* and Trishul Chilimbi will present SPEED: Precise and Efficient Static Estimation of Program Computational Complexity.
Sumit Gulwani, Tal Lev-Ami* and Mooly Sagiv* will present: A Combination Framework for Tracking Partition Sizes.
Jeremy Condit *, Brian Hackett*, Shuvendu Lahiri, and Shaz Qadeer will present: Unifying Type Checking and Property Checking for Low-Level Code.

Enjoy your reading!

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Follow the Discussion

Follow
Oops, something didn't work.

Try again?

Sign In to be begin to follow these comments

What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in. You need to be signed in to Channel 9 to use this feature.

Getting "follow" information

Stop following these comments

Start following these comments

What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in and view them all on your notifications page.

Removing your "follow"

Setting up your "follow"

Did you know you can
sign up for email notifications?
- Subscribe to this comments

nicholas22

Dec 06, 2008 at 12:07 PM

wow sounds boring...
they need to come up with cleverer and more current topics imho
Wolfram

Dec 08, 2008 at 9:07 AM

Hi Nicholas,

After rereading the titles, I realized that they might have sounded too ‘academic’ to you (is that what happened?). All the papers actually tackle fundamental issues about software engineering (although the titles might not convey this on the first look):

- Do you care about performance estimation: look at "Speed..."

- Do you care about having correct C programs: look at Unifying type and property checking..."

- Do you care how Haskell might look like tomorrow: consider more "Flexible types..."
- Do you care how we develop and verify multi-threaded programs, then look at "Atomic Actions..."

In the future we will try to do a better job at bringing our ideas across.
mcannistra Mario Cannistrà

Dec 09, 2008 at 7:37 AM

Welcome on Channel 9 to the RiSE team. Nice to see the ACM logo here !

Thank you for the papers : just read the first and it was amazing.

Cheers,
Mario
shaz.qadeer

Dec 12, 2008 at 1:49 PM

Hi Mario,

Thank you for your encouraging words. It is not everyday that somebody finds one of our "academic" articles amazing. I was wondering which article in particular you were referring to. Was it the one titled "A calculus of atomic actions"? We would be very interested in your feedback on the article. Also, let us know if you would like a deeper dive on any of these papers, perhaps in a Channel 9 video.

Shaz
mcannistra Mario Cannistrà

Jan 07, 2009 at 9:57 AM

Hi Shaz.

When I started working in IT (1984) i had access to some "academic" papers thanks to a friend of mine with contacts in US. At that time, internet was not so ... easiliy available and the amount of info i have now access just searching the web cannot be compared....

Subjects discussed in those papers drove me through the fascinating world of IT and increased my passion for ... everything that's computing related

It was for me a big surprise to see both the ACM logo on Channel 9 AND papers on interesting subjects. Yes, I was referring to "A calculus of atomic actions" but also other papers like "SPEED: Precise and Efficient Static Estimation of Program Computational Complexity" were interesting as well.

Previously, I was aware of interesting activities going on at Microsoft Research thanks to some of Jim Gray's great papers about SDSS and database techniques applied to Astronomy (yes, I'm also an amateur astronomer). But I didn't know you were also working on Software Engineering. Nice surprise !

About the deeper dive in a video: it's a difficult question. Given the level of detail reached by both papers, I could not imagine a deeper level in a video without reaching an excessive length...

In my humble opinion, you could prepare videos to introduce the subjects to niners and leave the details in the papers. Links to papers' pdfs (and source code if any) should be supplied in the video post.

my 2 cents...

Mario