programming languages in a time of technical disruptionakcheung/pnw16/zorn.pdf · programming...

14
Zorn, PNEPLSE 2016 Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research Manager Research in Software Engineering (RiSE) Group Microsoft Research, Redmond

Upload: others

Post on 20-May-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

ProgrammingLanguagesinaTimeofTechnicalDisruption

BenZornPrincipalResearcherandResearchManager

ResearchinSoftwareEngineering (RiSE)GroupMicrosoftResearch,Redmond

Page 2: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

machinelearning

naturallanguageprocessing

HCI

cloudcomputing

bigdata

mobile

sensors

EnergyandSustainability

SecurityandPrivacy

TechnologyforDevelopment

MedicineandGlobalHealthEducation

ScientificDiscovery

Transportation

NeuralEngineering

ElderCare Accessibility

InteractingwiththePhysicalWorld

CORECSE

Graphic:Lazowska

TheRapidlyExpandingWorldofComputing

Page 3: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

ImplicationsofCS+X…QuestionstoConsider:• Howmuchdoesyourlifedependonsoftwarebeingcorrect?•What’sthetrend?• Dogovernmentshavetheunderstandingand/orabilitytoregulatethistrend?•Whendoyoustartworrying?

Page 4: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

EveryobjectisacomputerRing.com Nest

MSBand

AmazonEcho

TeslaModelS

Page 5: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

Everycompanyisasoftwarecompany

Page 6: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

Everythingyoudoisrecorded

Page 7: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

Isn’tthisaProgrammingLanguagesWorkshop?!

Page 8: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

Programminglanguageshaveimpact

• Financialmodeling:Spreadsheets• Minicomputers/PCs:C/Unix• Web:Java/WWW• Web2.0:HTML+JavaScript+CSS• Statistics:S,R,…

However…• HowmanycompaniesshowinginterestinPLDI?• WhyisindustryattendanceatSPLASH/OOPSLAreduced?

Page 9: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

Howwillprogramminglanguagestakeusforward?•Understandingverticalsbetter• Cyber-physicalsystems• Health,energy, transportation,…

•Howwouldyou preventStuxnet?• ComputerScientist:“Reduceattacksurfaceinsoftware…”•Mechanicalengineer:“Putalimitswitchinthecentrifuges!”

•Gowheretheproblemsare…

Page 10: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

Publichealthisimportant…

Whatdoesthis…

…havetodowiththis?

Page 11: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

SafeCyberPhysicalSystemsExpedition

Safeandcomplexautonomy interactingwiththephysicalworld atscaleandwithoutfailures.

Ranveer Chandra Mobility and Networking Research Mike Chieh-Jan Liang MobileandSensing SystemsGroupAlex Ching Hardware lab Shaz Qadeer Research in Software Engineering Ethan K. Jackson Research in Software Engineering Patrick Therien Hardware labChris Hawblitzel Systems Research Group Feng Zhao Mobile and Sensing Systems GroupAshish Kapoor Adaptive Systems and Interaction Group Benjamin Zorn Research in Software Engineering

Slidecourtesy ofJeannetteWing

Page 12: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

CalltoAction

•Smartobjectswillreplacedumbobjects• Thesoftwareembeddedinthisobjects

willbewritteninthenext5years,butwillhaveimplicationsforthenext50years

• Ourliveswilldependon theseobjects…• “IBOUGHT SOME AWFUL LIGHT BULBS SO YOU DON'T HAVE TO”• ByMatthewGarrett,https://mjg59.dreamwidth.org/40397.html• (viaJonathanProtzenko)

• Weneedlanguages,tools,andprocesses tomaketheseobjectssafe

Page 13: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016

TheCathedralandtheSkyscraper

Heroiceffort,amazingengineering,oneofakind…

Strongermaterials,reusablecomponents,mathematicalanalysis…

Page 14: Programming Languages in a Time of Technical Disruptionakcheung/pnw16/zorn.pdf · Programming Languages in a Time of Technical Disruption Ben Zorn Principal Researcher and Research

Zorn,PNEPLSE 2016