Wolfram SchulteMicrosoft's Cloud and Enterprise DivisionTools for Software Engineers
Research in Software EngineeringLinqCodeContractsTask Parallel LibraryIntelliTestSpec#VCC2016 Mills Award
was director of engineering in , Redmond, USA, where he founded the team to improve Microsoft’s engineering velocity, more specifically minimize the cycle time of the inner loop from code review, via build, code-analysis and test, to deployment. Before venturing into product groups, Wolfram lead the (RiSE) group and worked for many tools that Microsoft ships, including , , , and SpecExplorer. Wolfram also co-developed the experimental program verifiers and . Wolfram is a recipient of the .
Research in Software EngineeringLinqCodeContractsTask Parallel LibraryIntelliTestSpec#VCC2016 Mills Award
Dates
Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:00 | |||
14:00 60mTalk | Challenges to Achieving High Availability at Scale ECOOP Invited Speakers Wolfram Schulte Microsoft Media Attached |
Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | Dahl-Nygaard Senior PrizeECOOP Invited Speakers at Auditorium, Vertex Building Chair(s): Eric Jul University of Oslo | ||
09:00 60mTalk | Composing Software in an Age of Dissonance ECOOP Invited Speakers Gilad Bracha Google Media Attached |
Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | Dahl-Nygaard Junior PrizeECOOP Invited Speakers at Auditorium, Vertex Building Chair(s): Eric Jul University of Oslo | ||
09:00 60mTalk | Retargeting Gradual Typing ECOOP Invited Speakers Ross Tate Cornell University Media Attached |
Accepted Papers
Title | |
---|---|
Challenges to Achieving High Availability at Scale ECOOP Invited Speakers Media Attached | |
Composing Software in an Age of Dissonance ECOOP Invited Speakers Media Attached | |
Retargeting Gradual Typing ECOOP Invited Speakers Media Attached |