Top Banner
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
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

May 20, 2020

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
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