Emery Berger emery@cs.umass.edu http://www.emeryberger.com

College of Information and Computer Sciences University of Massachusetts Amherst

Amherst, MA 01003

RESEARCH INTERESTS Designandimplementationofprogramminglanguages,runtimesystems,andprogramanalyses,withafocusonautomaticallyimprovingreliability,security,andperformance.

EDUCATION Ph.D., Computer Science, UNIVERSITYOFTEXASATAUSTIN,August2002

Thesis:Memory Management for High-Performance Applications Advisor:KathrynS.McKinley

M.S., Computer Science, UNIVERSITYOFTEXASATAUSTIN,December1991 B.S., Computer Science, UNIVERSITYOFMIAMI,May1988

ACADEMIC EXPERIENCE Professor,UNIVERSITYOFMASSACHUSETTSAMHERST,2014–present Visiting Researcher, UNIVERSITYOFWASHINGTON,2018–9 Visiting Researcher, MICROSOFTRESEARCH,2005,2006,2011,2013,2015,2016,2018–9 Associate Professor,UNIVERSITYOFMASSACHUSETTSAMHERST,2008–2014Associate Researcher,BARCELONASUPERCOMPUTINGCENTER,2010–2013Visiting Professor,UNIVERSITATPOLITÈCNICADECATALUNYA,2008–2009Assistant Professor,UNIVERSITYOFMASSACHUSETTSAMHERST,2002–2008Research Intern, MICROSOFTRESEARCH, Summer2000&2001Graduate Research Assistant,UNIVERSITYOFTEXASATAUSTIN,1997–2002

PROFESSIONAL EXPERIENCE

Systems Analyst, UNIVERSITYOFTEXASATAUSTIN, 1995–2000Teacher, BENJAMINFRANKLININTERNATIONALSCHOOL,Barcelona,Spain,1992–1994 Systems Analyst,APPLIEDRESEARCHLABORATORIES:UT-AUSTIN, 1990–1992Instructor, THEPRINCETONREVIEW, Austin,Texas,1989–1990Teaching Assistant,UNIVERSITYOFTEXASATAUSTIN,1989–1990Programmer, FOCALINFORMATIQUE, Grenoble,France,Summer1990 Programmer, TEXASINSTRUMENTS,Austin,Texas,1989–1990 Programmer, COMPROASSOCIATES,Orlando,Florida,1988 Programmer, STROMBERG-CARLSON,INC.(nowSIEMENS),LakeMary,Florida,1986 Programmer, AT&TINFORMATIONSYSTEMS,Maitland,Florida,1985 Programmer, FETCOINC.,Sanford,Florida,1984

2

HONORS & AWARDS ACM Distinguished Member,2018ACM Senior Member,2011Most Influential Paper Award,ASPLOS2019(≥10yeartestoftimeaward)forHoard:AScalableAllocatorforMultithreadedApplicationsMost Influential Paper Award,PLDI2016(10yeartestoftimeaward)forDieHard:ProbabilisticMemorySafetyforUnsafeLanguagesMost Influential Paper Award,OOPSLA2012(10yeartestoftimeaward)forReconsideringCustomMemoryAllocationCACM Research Highlight,BLeak:AutomaticallyDebuggingMemoryLeaksinWebApplications,toappearCACM Research Highlight,Coz:FindingCodethatCountswithCausalProfiling,June2018CACM Research Highlight,AutoMan:IntegratingDigitalandHumanComputation,June2016CACM Research Highlight,Exterminator:AutomaticallyCorrectingErrorswithHighProbability,December2008SIGPLAN Research Highlight, BLeak:AutomaticallyDebuggingMemoryLeaksinWebApplications, 2019SIGPLAN Research Highlight, Doppio:BreakingtheBrowserLanguageBarrier, 2014SIGPLAN Research Highlight, AutoMan:IntegratingHumanandDigitalComputation, 2013Best Paper Award, Coz:FindingCodethatCountswithCausalProfiling(SOSP2015) Best Paper Award, SurveyMan:ProgrammingandDebuggingSurveys(OOPSLA2014) Best PaperAward,TFS:ATransparentFileSystemforContributoryStorage(FAST2007) National Science Foundation (NSF) CAREER Award,2004–2007Facebook Faculty Research Award,2017University of Massachusetts Exceptional Merit Award, 2014PLDI Distinguished Artifact Award,2014 Microsoft Software Engineering Foundation (SEIF) Award,2013Google Research Award,2011Lilly Teaching Fellowship,UniversityofMassachusettsAmherst,2006 Microsoft Research Graduate Fellowship,2001–2002Novell Corporation Fellowship,1997–1998Florida Honors Scholarship,1984–1988

PUBLICATIONS: CONFERENCE PAPERS Note: In Computer Science, unlike many other fields, conference papers are rigorously reviewed, with top conferences having low acceptance rates; publications in these conferences are considered archival and comparable to top journal papers. Citation counts from Google Scholar, June 2019; total: 4,572. HTTPS://GOO.GL/B54C1B [UIST 2019] Tea: A High-Level Language and Runtime System for Automating Statistical

Analysis, E.Jun,M.Daum,J.Roesch,S.Chasins,E.Berger,R.Just,K.Reinecke.InProceedingsofthe2019ACMUserInterfaceSoftwareandTechnologySymposium,toappearOctober2019.http://tea-lang.org

[USENIX 2019] Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code, A.

Jangda,B.Powers,E.Berger,A.Guha.InProceedingsofthe2019USENIXAnnualTechnicalConference,toappearJuly2019.Acceptancerate:20%(71/356).[1citation,toarXivpreprint]

3

[PLDI 2019] Mesh: Compacting Memory Management for C/C++ Applications, B.Powers,D.Tench,E.Berger,A.McGregor.InProceedingsofthe2019ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation,toappearJune2019.Acceptancerate:27%(76/281).http://libmesh.org

[Middleware 18] CRIMES: Using Evidence to Secure the Cloud, S.Rajasekaran,H.Chawla,Z.

Ni,N.Shah,E.Berger,T.Wood.InProceedingsofthe19thAnnualMiddlewareConference,December2018.Acceptancerate:23%(22/95).

[OOPSLA 2018] ExceLint: Automatically Finding Spreadsheet Formula Errors, D.Barowy,E.

Berger,B.Zorn.InProceedingsofthe2018ACMSIGPLANConferenceonObject-OrientedProgrammingLanguages,Systems,andApplications,November2018.Acceptancerate:28%(60/216).http://excelint.org[1citation]

[PLDI 2018] BLeak: Automatically Debugging Memory Leaks in Web Applications, J.Vilk,E.Berger.InProceedingsofthe39thACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation,June2018.Acceptancerate:21%(55/258)SIGPLANResearchHighlight.http://bleak-detector.org/[3citations]

[CHI 2017] VoxPL: Programming with the Wisdom of the Crowd, D.Barowy,D.Goldstein,S.Suri,E.Berger.InProceedingsofthe35thAnnualCHIConferenceonHumanFactorsinComputingSystems,May2017.Acceptancerate:25%(600/2400).[5citations]

[ASPLOS 2017] Browsix: Bridging the Gap Between Unix and the Browser, B.Powers,J.Vilk,E.Berger.InProceedingsoftheTwenty-ThirdInternationalConferenceonArchitecturalSupportforProgrammingLanguagesandOperatingSystems,April2017.Acceptancerate:17%(56/321).https://browsix.org[4citations]

[OOPSLA 2016] Prioritized Garbage Collection: Explicit GC Support for Software Caches, D.Nunez,S.Guyer,E.Berger.InProceedingsofthe2016ACMSIGPLANConferenceonObject-OrientedProgrammingLanguages,Systems,andApplications,November2016.Acceptancerate:26%(52/203).[3citations]

[ICSE 2016] DOUBLETAKE: Fast and Precise Error Detection via Evidence-Based

Dynamic Analysis,T.Liu,C.Curtsinger,E.Berger.InProceedingsofthe38thInternationalConferenceonSoftwareEngineering,May2016.Acceptancerate:19%(101/530).[19citations]

4

[SOSP 2015] COZ: Finding Code that Counts with Causal Profiling,C.Curtsinger,E.Berger.InProceedingsofthe25thACM2015SymposiumonSystemsPrinciples.BestPaperAward,CACMResearchHighlight.http://coz-profiler.org[57citations]

[OOPSLA 2014] CHECKCELL: Data Debugging for Spreadsheets,D.Barowy,D.Gochev,E.

Berger.InProceedingsofthe2014ACMSIGPLANConferenceonObject-OrientedProgrammingLanguages,Systems,andApplications,October2014.Acceptancerate:28%(53/185).http://checkcell.org[30citations]

[OOPSLA 2014] SURVEYMAN: Programming and Automatically Debugging Surveys,E.

Tosch,E.Berger.InProceedingsofthe2014ACMSIGPLANConferenceonObject-OrientedProgrammingLanguages,Systems,andApplications,October2014.Acceptancerate:28%(53/185).BestPaperAward.http://surveyman.org[7citations]

[PLDI 2014] DOPPIO: Breaking the Browser Language Barrier,J.Vilk,E.Berger.InProceedingsofthe35thACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation,pp.508-518,June2014.Acceptancerate:18%(52/287).WinnerofPLDI2014DistinguishedArtifactAward;SIGPLANResearchHighlight.http://doppiojvm.org[12citations]

[PPoPP 2014] PREDATOR: Predictive False Sharing Detection,T.Liu,C.Tian,Z.Hu,E.Berger.InProceedingsofthe19thACMSIGPLANSymposiumonPrinciplesandPracticeofParallelProgramming,pp.3-14,February2014.Acceptancerate:16%(28/179).[25citations]

[ASPLOS 2013] STABILIZER: Statistically Sound Performance Evaluation,C.Curtsinger,E.

Berger.InProceedingsoftheEighteenthInternationalConferenceonArchitecturalSupportforProgrammingLanguagesandOperatingSystems,pp.219-228,March2013.Acceptancerate:23%(44/191).http://stabilizer-tool.org[87citations]

[DATE 2013] Probabilistic Timing Analysis on Conventional Cache Designs,L.Kosmidis,

C.Curtsinger,E.Quiñones,J.Abella,E.Berger,F.Cazorla.InProceedingsoftheConferenceonDesign,AutomationandTestinEurope,pp.603-606,March2013.[41citations]

5

[OOPSLA 2012] AUTOMAN: Integrating Digital and Human Computation,D.Barowy,C.Curtsinger,E.Berger,A.McGregor.InProceedingsofthe2012ACMConferenceonObject-OrientedProgrammingLanguages,Systems,andApplications,pp.639-654,October2012.Acceptancerate:25%(57/228).SIGPLANResearchHighlight,CACMResearchHighlight.http://automan-lang.org[128citations]

[SOSP 2011] DTHREADS: Efficient Deterministic Multithreading,T.Liu,C.Curtsinger,E.Berger.InProceedingsoftheTwenty-ThirdACMSymposiumonOperatingSystemsPrinciples,pp.327-336,October2011.Acceptancerate:18%(28/153).[255citations]http://dthreads.org

[OOSPLA 2011] SHERIFF: Precise Detection and Automatic Mitigation of False Sharing,T.

Liu,E.Berger.InProceedingsofthe2011ACMConferenceonObject-OrientedProgrammingLanguages,Systems,andApplications,pp.3-18,October2011.Acceptancerate:37%(61/166).[71citations]

[WOOT 2011] DieHarder: Securing the Heap,G.Novark,E.Berger.InProceedingsofthe5th

USENIXWorkshoponOffensiveTechnologies,August2011(invitedpaper). [CCS 2010] DieHarder: Securing the Heap,G.Novark,E.Berger.InProceedingsofthe

2010ACMConferenceonComputerandCommunicationsSecurity,pp.573-584,October2010.Acceptancerate:17%(55/325).[156citations]Inspirationforsecurity-hardeningfeaturesinWindows8.

[OOPSLA 2009] Grace: Safe Multithreaded Programming for C/C++,E.Berger,T.Yang,T.

Liu,G.Novark.InProceedingsofthe2009ACMSIGPLANConferenceonObject-OrientedProgramming,Systems,Languages,andApplications,pp.81-96,October2009.Acceptancerate:17%(25/144).[310citations]

[ECRTS 2009] Using Randomized Caches in Real-Time Systems,E.Quiñones,E.Berger,G.Bernat,F.Cazorla.InProceedingsofthe21stIEEEEuromicroConferenceonReal-TimeSystems,pp.129-138,June2009.Acceptancerate:25%(26/102).[55citations]

[PLDI 2009] Efficiently and Precisely Locating Memory Leaks and Bloat,

G.Novark,E.Berger,B.Zorn.InProceedingsofthe2009ACMConferenceonProgrammingLanguageDesignandImplementation,pp.397-407,June2009.Acceptancerate:21%(41/194).[72citations]

[OSDI 2008] Redline: First Class Support for Interactivity in Commodity Operating

Systems,T.Yang,T.Liu,E.Berger,S.Kaplan,J.Moss.InProceedingsofthe8thUSENIXSymposiumonOperatingSystemDesignandImplementation,pp.73-86,December2008.Acceptancerate:13%(26/193).[83citations]

[ASPLOS 2008] Archipelago: Trading Address Space for Reliability and Security,

V.Lvin,G.Novark,E.Berger,andB.Zorn.InProceedingsoftheThirteenthInternationalConferenceonArchitecturalSupportforProgrammingLanguagesandOperatingSystems-XIII,10pages,March2008.Acceptancerate:24%(31/127).[86citations]

6

[SenSys 2007] Eon: A Language and Runtime System for Perpetual Systems,J.Sorber,A.Kostadinov,M.Brennan,M.Garber,M.Corner,andE.Berger.InProceedingsofthe5thACMConferenceonEmbeddedNetworkedSensorSystems,pp.161-174,November2007.Acceptancerate:16%.[225citations]

[PLDI 2007] Exterminator: Automatically Correcting Memory Errors with High

Probability,G.Novark,E.Berger,andB.Zorn.InProceedingsofthe2007ACMConferenceonProgrammingLanguageDesignandImplementation,pp.1-11,June2007.Acceptancerate:25%(45/178).CACMResearchHighlight.[162citations]

[FAST 2007] TFS: A Transparent File System for Contributory Storage,

J.Cipar,M.Corner,E.Berger.InProceedingsoftheFifthUSENIXConferenceonFileandStorageTechnologies,pp.215-229,February2007.Acceptancerate:20%.Bestpaperaward.[22citations]

[OSDI 2006] CRAMM: Virtual Memory Support for Garbage-Collected Applications,T.Yang,E.Berger,S.Kaplan,J.E.B.Moss.InProceedingsofthe7thUSENIXSymposiumonOperatingSystemsDesignandImplementation,pp.103-116,November2006.Acceptancerate:18%(27/150).[118citations]

[PLDI 2006] DieHard: Probabilistic Memory Safety for Unsafe Languages,

E.BergerandB.Zorn.InProceedingsofthe2006ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation,pp.158-167,June2006.Acceptancerate:21%(36/174).DirectlyinspiredthedesignoftheWindowsFault-TolerantHeap;WinnerofMostInfluentialPaperAward,PLDI2016.[443citations]

[USENIX 2006] Flux: A Language for Programming High-Performance Servers,

B.Burns,K.Grimaldi,A.Kostadinov,E.BergerandM.Corner.InProceedingsoftheUSENIX2006AnnualTechnicalConference,pp.129-142,May2006.Fullpaperacceptancerate:13.7%(21/153).[53citations]

[USENIX 2006] Transparent Contribution of Memory,

J.Cipar,M.Corner,E.Berger.InProceedingsoftheUSENIX2006AnnualTechnicalConference,pp.109-114,May2006.Acceptancerate:18.5%.[16citations]

[OOPSLA 2005] Quantifying the Performance of Garbage Collection vs. Explicit Memory

Management,M.HertzandE.Berger.InProceedingsofthe2005ACMSIGPLANConferenceonObject-OrientedProgrammingSystems,Languages,andApplications,pp.313-326,October2005.Acceptancerate:18%(32/174).[136citations]

7

[PLDI 2005] Garbage Collection Without Paging,M.Hertz,Y.Feng,andE.Berger.InProceedingsofthe2005ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation,pp.143-153,June2005.Acceptancerate:21%(28/135).[99citations]

[OOPSLA 2004] MC2: High-Performance Garbage Collection for Memory Constrained

Environments,N.Sachindran,J.E.B.MossandE.Berger.InProceedingsofthe2004ACMSIGPLANConferenceonObject-OrientedProgrammingSystems,Languages,andApplications,pp.81-98,October2004.Acceptancerate:15%.[51citations]

[ISMM 2004] Automatic Heap Sizing: Taking Real Memory into Account,

T.Yang,M.Hertz,E.Berger,S.Kaplan,J.E.B.Moss.InProceedingsofthe2004ACMSIGPLANInternationalSymposiumonMemoryManagement,pp.61-72,October2004.Acceptancerate:34%(15/43).[64citations]

[OOPSLA 2002] Reconsidering Custom Memory Allocation,

E.Berger,B.ZornandK.S.McKinley.InProceedingsofthe2002ACMSIGPLANConferenceonObject-OrientedProgrammingSystems,Languages,andApplications,pp.1-12,November2002.Acceptancerate:20%(25/125).Winnerof2012OOPSLAMostInfluentialPaperAward.[215citations]

[PLDI 2001] Composing High-Performance Memory Allocators,

E.Berger,B.ZornandK.S.McKinley.InProceedingsofthe2001ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation,pp.114-124,June2001.Acceptancerate:20%(30/144).http://www.heaplayers.org[169citations]

[PPSC 2001] Customizing Software Libraries for Performance Portability,

S.Guyer,E.Berger,andC.Lin.In10thSIAMConferenceonParallelProcessingforScientificComputing,March2001[8citations]

[ASPLOS-IX] Hoard: A Scalable Allocator for Multithreaded Applications,

E.Berger,K.S.McKinley,R.BlumofeandP.Wilson.InTheNinthInternationalConferenceonArchitecturalSupportforProgrammingLanguagesandOperatingSystems,pp.117-128,November2000.Acceptancerate:21%(24/114).http://www.hoard.org[561citations]AlgorithmadoptedbyMacOSXandIBM;numerouscommercialusers.VariantofHoardawardedtest-of-timeawardatPLDI2014;MostInfluentialPaperAwardatASPLOS2019

PUBLICATIONS: JOURNAL ARTICLES [TOPLAS 2019] On the Impact of Programming Languages on Code Quality,E.Berger,C.

Hollenbeck,P.Maj,J.Vitek,O.Vitek.InProceedingsoftheACMTransactionsonProgrammingLanguagesandSystems,toappear.

8

[CACM 2019] GOTO Rankings Considered Helpful,E.Berger,S.Blackburn,C.Brodley,H.V.Jagadish,K.S.McKinley,M.A.Nascimento,M.Shin,L.Xie,K.Wang.InCommunicationsoftheACM,July2019.

[CACM 2018] Coz: Finding Code that Counts with Causal Profiling,C.Curtsinger,E.

Berger.InCommunicationsoftheACM(ResearchHighlight),Volume61,Issue6,pp.91-99,June2018.

[CACM 2018] Effectiveness of Anonymization in Double-Blind Reviewing,C.LeGoues,Y.

Brun,S.Apel,E.Berger,S.Khurshid,Y.Smaragdakis.InCommunicationsoftheACM,Volume61,Issue6,pp.30-33,June2018.[2citations]

[CACM 2016] AutoMan: A Platform for Integrating Human-Based and Digital

Computation,D.Barowy,C.Curtsinger,A.McGregor,E.Berger.InCommunicationsoftheACM(ResearchHighlight),Volume59,Issue6,pp.102-109,June2016.[9citations]

[TECS 2013] PROARTIS: Probabilistically Analysable Real-Time Systems,

F.Cazorla,E.Quiñones,T.Vardanega,L.Cucu,B.Triquet,G.Bernat,E.Berger,J.Abella,F.Wartel,M.Houston,L.Santinelli,L.Kosmidis,C.Lo,D.Maxim.InACMTransactionsonEmbeddedComputingSystems,Volume12,Issue2s(94pages),May2013.[145citations]

[CACM 2012] Software Needs Seatbelts and Airbags,E.Berger.InCommunicationsoftheACM,Volume55,Issue9,pp.48-53,September2012.[11citations]

[CACM 2008] Exterminator: Automatically Correcting Memory Errors with High

Probability,G.Novark,E.Berger,B.Zorn.InCommunicationsoftheACM(ResearchHighlight),pp.87-95,December2008.

[TOS 2007] TFS: A Transparent File System for Contributory Storage,

J.Cipar,M.Corner,E.Berger.InACMTransactionsonStorage,Volume3,Issue3,Article12(26pages),October2007.[10citations]

[IJHPCA 2000] Compositional Development of Performance Models in POEMS,J.C.Browne,E.Berger,andA.Dube.InInternationalJournalofHighPerformanceComputingApplications,SageSciencePress,Volume14,Number4(pp.283-291),Winter2000[22citations]

[IJNME 1998] A Fast Solution Method for Three-Dimensional Many-Particle Problems

of Linear Elasticity,Y.Fu,K.Klimkowski,G.Rodin,E.Berger,J.C.Browne,J.Singer,R.vandeGeijn,andK.Vemaganti.InInternationalJournalforNumericalMethodsinEngineering,Volume42,1998[192citations]

PUBLICATIONS: PEER-REVIEWED WORKSHOP PAPERS

[HotCloud 2016] Scalable Cloud Security via Asynchronous Virtual Machine Introspection,S.

Rajasekaran,Z.Ni,H.Chawla,N.Shah,T.Wood,E.Berger.In8thUSENIXWorkshoponHotTopicsinCloudComputing,June2016.[3citations]

9

[MSP 2005] A Locality-Improving Dynamic Memory Allocator,

Y.Feng,E.Berger.In3rdAnnualACMSIGPLANWorkshoponMemorySystemsPerformance,pp.68-77,June2005.Acceptancerate:33%.[50citations]

PUBLICATIONS: PRE-PRINTS AND TECHNICAL REPORTS (NOT PUBLISHED ELSEWHERE)

Systems computing challenges in the Internet of Things,R.Alur,E.Berger,A.Drobnis,L.Fix,K.Fu,G.Hager,D.Lopresti,K.Nahrstedt,E.Mynatt,S.Patel,J.Rexford,J.Stankovic,B.ZornE.BergerandB.Zorn(CCCWhitepaper,https://arxiv.org/pdf/1604.02980),September2015.[23citations]

Efficient Probabilistic Memory Safety,E.BergerandB.Zorn.UMassCSTechnicalReportTR-07-17,March2007.HeapShield: Library-Based Heap Overflow Protection for Free,E.Berger.UMassCSTechnicalReportTR-06-28,June2006.[17citations]Custom Object Layout for Garbage-Collected Languages,G.Novark,T.Strohman,andE.Berger.UMassCSTechnicalReport,TR-06-06,January2006.[6citations]Optimizing Shell Scripting Languages, E.Berger.UMassCSTechnicalReportTR-03-09,November2003.Detecting Errors with Whole-Program Configurable Dataflow Analysis, S.Guyer,E.Berger,andC.Lin.UTCSTechnicalReportTR-02-04,January2002. [16citations] FP + OOP = Haskell, E.Berger.UTCSTechnicalReportTR-92-30,January1992. [7citations]

PATENTS USPatent#10,102,241,E.BergerandB.Zorn,“Detectingerrorsinspreadsheets”,issued10/16/2018USPatent#7,802,232,E.BergerandB.Zorn,“Softwarerobustnessthroughsearchforrobustruntimeimplementations”,9/21/2010[4citations]“Automaticerrorfixesforhigh-availabilityapplications”,D.Barowy,E.Berger,C.Curtsinger,andR.Rabbah,applicationfiled11/2017.

E.BergerandB.Zorn,“Softwarevariationforrobustnessthroughrandomizedexecutioncontexts”,applicationfiled3/31/2006

10

RESEARCH SUPPORT E.Berger(PI),SHF: S3:Statistical and Structural Analysis for Spreadsheets,NationalScienceFoundation,$347,400,9/2016-8/2019E.Berger(PI),S.Freund(PI),XPS: SDA: SCORE: Scalability-Oriented Optimization,NationalScienceFoundation,$648,000,9/2015-8/2019E.Berger(PI).FacebookFacultyResearchAward,$30,000,6/2017–unlimitedE.Berger(PI),System Resiliency,RaytheonCorporation,$100,000,12/2016-12/2017E.Berger(PI),T.Wood(PI),TWC: EVADE: Evidence-Assisted Detection and Elimination of Security Vulnerabilities,NationalScienceFoundation,$250,000,9/2015-8/2017E.Berger(PI),AlexandraMeliou,EAGER: Data Debugging,NationalScienceFoundation,CCF- 1349784,$150,000,9/2013-3/2015E.Berger(PI),EAGER: Programming the Crowd,NationalScienceFoundation,CCF-1144520,$300,002,8/2011-8/2013

E.Berger(PI),CheckCell: Data Debugging for Spreadsheets,MicrosoftSoftwareEngineeringInnovationFoundation(SEIF)Award,$25,000,3/2013-unlimitedE.Berger(PI),Causal Profiling, GoogleResearchAward,$50,000,12/2011-unlimitedE.Berger(PI),AmazonAWSTeachingGrant,$2,000,12/2011-unlimitedE.Berger(PI),Reliable Performance,NationalScienceFoundation,CCF-1012195(collaborativewithD.Jiménez,UT-SanAntonio),$550,000,8/1/2010-7/31/2012E.Berger(PI),Perpetually-Available Software Systems, GigascaleSystemsResearchCenter,$315,000,11/1/2009-10/31/2012E.Berger(PI),PASS: Perpetually-Available Software Systems, NationalScienceFoundationCCF-0910883(collaborativewithK.McKinley,UT-AustinandM.Hicks,Maryland),$639,420,8/1/2009-7/31/2013F.Cazorla(PI)(BarcelonaSupercomputingCenter),Co-PIs:EmeryBerger,GuillemBernat(RapitimeSystems),TullioVardanega(UniversityofPadua),LilianaCucu(INRIA),BenoitTriquet(Airbus).PROARTIS – PRObabilistic Analyzable Real-Time Systems.€1,810,621(2/1/2010–1/31/2013),EuropeanCommissionFP7-ICT-2009-4,Proposal249100E.Berger(PI),Using Multiple Cores to Improve Reliability and Security, IntelResearchGrant,$30,000,April2007–unlimited

E.Berger(PI),Probabilistically Correct Execution: Hardening Applications Against Error and Attack, NationalScienceFoundationCNS-0615211,$300,000,9/15/06–9/14/09

11

R.Manmatha(PI),J.Allan,E.Berger,D.Kulp, Cluster Acquisition for Computational Research into Large Scale Data Rich Problems,NationalScienceFoundationCNS-0619337,$350,000,9/1/06–8/31/08

E.Berger(PI),Using Multiple Cores to Improve Reliability and Security,IntelResearchGrant,$30,000,4/06–unlimited

E.Berger,MicrosoftResearchGift,$30,000,September2005

B.Levine(PI),E.Berger,M.Corner.Building IA Capacity at UMass Amherst,DoD,$130,000,9/1/05–12/31/06E.Berger(PI), Cooperative System Support for Robust High Performance,NationalScienceFoundationCAREERAwardCNS-0347339,$477,000,6/1/04–5/31/09

SELECTED SOFTWARE

CSrankings. CSrankingsisametrics-basedrankingoftopcomputerscienceinstitutionsaroundtheworld,withcheckboxesforindividualareasofcomputerscienceandlinkstoindividualfacultymemberhomepages,GoogleScholarpages,andDBLPpublicationprofiles.(www.csrankings.org,over700,000usersandapproximately2Kvisitsperday)

The Hoard scalable memory allocator.Hoardisawidely-deployedmemorymanagementlibrarythatprovablyimprovesthescalabilityandperformanceofmultithreadedapplications.CommercialusersincludeAOL,BritishTelecom,BusinessObjects(SAP),Cisco,CreditSuisseFirstBoston,Entrust,KamakuraCorporation,Novell,OpenText,PervasiveSoftware,Philips,PlathGmbH,Reuters,RoyalBankofCanada,Quest,SonusNetworks,TIBCO,andVSNLInternational.TheMacOSXandIBMmemoryallocatorsaredirectlybasedonHoard’sdesign.(www.hoard.org,over100,000downloads,winneroftheASPLOS2019MostInfluentialPaperaward). DieHard.AsystemthattransparentlyimprovesthereliabilityandsecurityofC/C++applications.(www.diehard-software.org,over20,000downloads).DieHardwasthedirectinspirationfortheFault-TolerantHeapincorporatedinWindows7;DieHarder,asecurevariant,inspiredthesecurity-hardeningfeaturesinWindows8.

Heap Layers.Aflexibleinfrastructureforcomposinghigh-performancegeneralandcustommemorymanagers.(www.heaplayers.org).Hoard,DieHard,andDieHarderwerebuiltusingHeapLayers.Othersoftwaresystemsavailableatemeryberger.com/software.

TEACHING EXPERIENCE

UNIVERSITYOFMASSACHUSETTS, DepartmentofComputerScience

CMPSCI590S: SystemsforDataScience,2016,2017(newclass)CMPSCI630: GraduateSystems,2011-2018(newcoreclass)CMPSCI691DD: ResearchMethodsinEmpiricalComputerScience,2014-2016

12

CMPSCI230: ComputerSystemsPrinciples,2010-2011(newrequiredclass)CMPSCI691W: Parallel&ConcurrentProgramming,Spring2006(new)CMPSCI691S: HotTopicsinProgrammingLanguages&Systems,Fall2005CMPSCI691R: TopicsinRuntimeSystems,Fall2004(new)CMPSCI377: OperatingSystems(fullyrevised),

Fall2003,Fall2004,Fall2005,Spring2006,Fall2007,Fall2009CMPSCI710: AdvancedCompilerTechniques(fullyrevised)

Spring2003,Spring2004CMPSCI691P: RobustSoftwareSystems,Fall2002(new)

ISSISP’18:INTERNATIONALSUMMERSCHOOLONINFORMATIONSECURITYANDPROTECTION(coursetitle:“Low-LevelSystemsSecurity”)Canberra,Australia,July2018UNIVERSITATPOLITECNICADECATALUNYA(coursetitle:“SystemsforDataScience”)Barcelona,Spain,July2017HIPEACSUMMERSCHOOL:NinthInternationalSummerSchoolonAdvancedComputerArchitectureandCompilationforHigh-PerformanceandEmbeddedSystems(coursetitle:“SoftwareFaultToleranceandCorrection”)Fiuggi,Italy,July2013GarbageCollection&MemoryManagementSummerSchool UNIVERSITYOFKENTATCANTERBURY,UK,July2004

PROFESSIONAL SERVICE (LEADERSHIP ROLES)

Program Chair, ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation(PLDI)2016SIGPLAN Executive Committee Member-at-Large, Awards Co-Chair and Research Highlights Chair (electedtosecondthree-yearterm),2015–2021Creator and Maintainer, CSRankings(https://csrankings.org),2016–presentAssociate Editor, ACMTransactionsonProgrammingLanguagesandSystems(TOPLAS),2007–2017Organizer and Co-Program Chair, FirstWorkshoponApproximateandProbabilisticComputing(APPROX)2014Co-Program Chair, USENIXWorkshoponHotTopicsinParallelism(HotPar),2013Organizer and Program Chair, WorkshoponDeterminismandCorrectnessinParallelism(WoDet3),2012

13

Co-Program Chair and Program Committee Member, ACMSIGPLAN/SIGOPSInternationalConferenceonVirtualExecutionEnvironments(VEE)2010General Chair and Program Committee Member, ACMSIGPLANWorkshoponMemorySystemsPerformance&Correctness(MSPC)2008

Publicity Chair, ACMConferenceonObject-OrientedProgrammingSystems,Languages,andApplications(SPLASH/OOPSLA)2013President, GRACS,thecomputersciencegraduatestudentassociationoftheUniversityofTexasatAustin,1995–1997

DevelopedTEXbooks,theofficialtextbooksitefortheUniversityofTexasatAustin,1996–2004

PROFESSIONAL SERVICE (OTHER)

Program Committee Member, InternationalConferenceonArchitecturalSupportforProgrammingLanguagesandOperatingSystems(ASPLOS)2020 Program Committee Member, InternationalSymposiumonMemoryManagement(ISMM)2018 Program Committee Member, ACMSymposiumonOperatingSystemsPrinciples(SOSP)2017Program Committee Member, ACMConferenceonObject-OrientedProgrammingSystems,Languages,andApplications(SPLASH/OOPSLA)2016Program Committee Member, USENIXSecurity2014Program Committee Member, InternationalSymposiumonMemoryManagement(ISMM)2014Program Committee Member, WorkshoponDeterminismandCorrectnessinParallelism(WoDet)2014Program Committee Member, InternationalConferenceonArchitecturalSupportforProgrammingLanguagesandOperatingSystems(ASPLOS)2014

Program Committee Member, ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation(PLDI)2013 Program Committee Member, FifthAnnualInternationalSystemsandStorageConference(Systor2012)

14

Program Committee Member, USENIXConferenceonHotTopicsinParallelism(HotPar)2012Program Committee Member, ACMSymposiumonPrinciplesandPracticeofParallelProgramming(PPoPP)2012

Program Committee Member, WorkshoponDeterministicParallelism(WoDet)2011

Program Committee Member, ACMConferenceonComputerandCommunicationsSecurity(CCS)2010

Program Committee Member, 9thUSENIXSymposiumonOperatingSystemsDesignandImplementation(OSDI)2010Program Committee Member, FifteenthInternationalConferenceonArchitecturalSupportforProgrammingLanguagesandOperatingSystems(ASPLOS)2010

Program Committee Member, ACMSIGPLANConferenceonProgrammingLanguagesDesignandImplementation(PLDI)2008Program Committee Member,ACMSymposiumonPrinciplesandPracticeofParallelProgramming(PPoPP)2008

Program Committee Member,ACMSIGPLANInternationalSymposiumonMemoryManagement(ISMM)2007Program Committee Member,WorkshoponLinguisticSupportforModernOperatingSystems(PLOS)2007Program Committee Member,ACMSIGPLANConferenceonProgrammingLanguagesDesignandImplementation(PLDI)2007,StudentResearchCompetitionProgram Committee Member,16thInternationalConferenceonCompilerConstruction(CC)2007 Program Committee Member,ACMSIGPLANWorkshoponMemorySystemsPerformance&Correctness(MSPC)2006

Program Committee Member,ACMSIGPLANConferenceonProgrammingLanguagesDesignandImplementation(PLDI)2004

Program Committee Member,ACMSIGPLANInternationalSymposiumonMemoryManagement(ISMM)2004

Program Committee Member,FourthInternationalWorkshoponSoftwareandPerformance(WOSP)2004

15

External Program Committee Member, InternationalSymposiumonComputerArchitecture(ISCA)2017 External Program Committee Member, ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation(PLDI)2017External Review Committee Member, ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation(PLDI)2015External Review Committee Member, InternationalConferenceonArchitecturalSupportforProgrammingLanguagesandOperatingSystems(ASPLOS)2015 External Review Committee Member, ACMSIGPLANConferenceonPrinciplesofProgrammingLanguages(POPL)2014External Review Committee Member, ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation(PLDI)2014External Review Committee Member, 11thUSENIXSymposiumonOperatingSystemsDesignandImplementation(OSDI)2014 External Review Committee Member, ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation(PLDI)2014 External Review Committee Member, ACMSIGPLANConferenceonObject-OrientedProgrammingLanguages,Systems,andApplications(OOPSLA)2013 External Review Committee Member, ACMSIGPLANConferenceonObject-OrientedProgrammingLanguages,Systems,andApplications(OOPSLA)2012 External Review Committee Member, ACMSIGPLANConferenceonPrinciplesofProgrammingLanguages(POPL)2012External Review Committee Member, ACMSIGPLANConferenceonProgrammingLanguagesDesignandImplementation(PLDI)2010Editorial Board Member, ScienceofProgramming,SpecialIssueonMemoryManagement

Reviewer:ICSE,ASPLOS,HPCA,ICFP,ICPP,INTERACT,IPDPS,ISMM,ISPASS,JISE,JPDC,OOPSLA,PACT,PLDI,POPL,SPAA,SP&E,TOPLAS,IEEETPDS,IEEETOC

Panelist: NationalScienceFoundation,2006,2007,2012

16

PH.D. STUDENTS SUPERVISED

JohnVilk(WinnerofFacebookPhDFellowship,PLDI2014DistinguishedArtifactAward,WinnerofUMassCICSOutstandingDissertationAward)DanBarowy(FinalistforMicrosoftResearchFellowship,WinnerPLDI2015DistinguishedArtifactAward,WinnerofUMassCICSOutstandingDissertationAward)(AssistantProfessor,WilliamsCollege)CharlieCurtsinger(WinnerofGoogleResearchFellowship,HonorableMentionSIGOPSDennisRitchieDissertationAward,WinnerofUMassCICSOutstandingDissertationAward)(AssistantProfessor,GrinnellCollege)TingYang(WinnerofUMassCSOutstandingDissertationAward.Firstjob:IntelCorp.,nowatFacebook)GeneNovark(firstjob:MorganStanley)MatthewHertz(firstjob:AssistantProfessor,CanisiusCollege)TongpingLiu(AssistantProfessor,UniversityofTexasatSanAntonio)BreannaDevore-McDonaldBobbyPowers

MASTER’S STUDENTS SUPERVISED

EmmaTosch(WinnerPLDI2014StudentResearchCompetition;BestPaperOOPSLA2014)DimitarGochev(2012-14)NitinGupta(2010-12)(nowatFacebook)JustinAquadro(2009-11)(nowatAtalasoft)DivyaKrishnan,M.S.thesisadvisor(2007-9)(nowatCisco)JimCipar(co-advisedwithMarkCorner)(2005-7)(nowatCarnegie-MellonUniversity)VitaliyLvin,M.S.thesisadvisor(2006-7)(nowatGoogle)YongYuan,M.S.thesisadvisor(2003-4)Yi(Eric)Feng,M.S.thesisadvisor(2002-4)(nowatGoogle)PriteshSharma,M.S.thesisadvisor(2002-3)

UNDERGRADUATE STUDENTS SUPERVISED

TimmAllmannBiancaTamaskarKevinGurneyMollyMcMahonJustinAquadroDuaneBaileyJacobEvansJohnGaquinAliShahGabrielTarasuk-Levin(HampshireCollege)MatthewMeehanKevinGrimaldiAlexKostadinovLauraStrickman(AmherstCollege)AnaMocanu(AmherstCollege),seniorthesisco-advisor(2002-3)

17

OTHER STUDENT SUPERVISION BarisKasicki(EPFL),externalmemberPh.D.commiteePresleyPizzo,memberPh.D.committeeSantoshNagarakatte(UniversityofPennsylvania),externalmemberPh.D.committeeAmittaiAviram(YaleUniversity),externalmemberPh.D.committeeBenjaminRansford,memberPh.D.committeeTrevorStrohman,memberPh.D.committee(Google)EdWalters,memberPh.D.committeeBrendanBurns,independentstudysupervisor(Google)BhuvanUrgaonkar,memberPh.D.committee(Penn.State)JohnCavazos,memberPh.D.committee(Univ.ofDelaware)AbhishekChandra,memberPh.D.committee(U.Minnesota)AsjadKhan,memberPh.D.committeeNarenSachindran,memberPh.D.committee(IBMIndia)YingGong,Synthesisprojectco-advisor(2003-4)AndrewKielbasinski,memberHonorsCulminatingExperiencecommittee(2003-4)VirginieGuionnet(UniversitedeLaRochelle),co-advisor(2002-3)

DEPARTMENTAL & UNIVERSITY SERVICE

Creator & Organizer:UMassCSSystemsLunch:http://systems-lunch.cs.umass.edu,2011–presentChair:SystemsFacultyHiring,2016–17Chair:PublicRelationsCommittee,2012–16Chair:FacultyHiringCommittee,2011–12Chair:AdmissionsCommittee,2009–10,2013–15Chair:DistinguishedLectureSeriesCommittee,2010–11Co-chair:AdmissionsCommittee,2003–5Co-chair:PromotionandTenureCommittee,2016–17Member:PromotionandTenureCommittee(2015–18),UniversityAcademicHonestyBoard(2013–18),FacultyHiringCommittee,(2013–14),AwardsCommittee(2010–11),StrategicPlanningCommittee(2007),WebsiteCommittee(2006–7),CurriculumCommittee(2005–6),FacultyRecruitingCommittee(2004–7),PersonnelCommittee(2003–4),AdmissionsCommittee(2002–2003),ComputingCommittee(2002–3),AdHocGraduateCurriculumcommittee(2002–3),OutreachCommittee(2006)Ex-Officio Member:DevelopmentCommittee&StrategicPlanningCommittee(2012–15).Representative:UniversityLibraryCommittee,2006–7.Panel member:ProfessionalismSeminaronJobHuntingPanel member:ProfessionalismSeminaronEthicsSpeaker:LabDescriptionSeminar(2002,2004,2005,2006)Moderator:PanelDiscussion,CSSaturday(2005)

KEYNOTES AND DISTINGUISHED INVITED LECTURES

Keynote: “PerformanceMatters”,VEE2018,March2018Keynote: “VirtualizingtheBrowser”,VEE2015,March2015

18

Distinguished Speaker: “ProgrammingLanguageTechnologyfortheSciences”,TexasA&M,April2015Distinguished Colloquium Speaker: “ProgrammingLanguageTechnologyfortheSciences”,UCSD,December2014Keynote: “ProgrammingwithPeople”,ETAPSConference,March2013Distinguished Colloquium Speaker: “ProgrammingwithPeople”,UCSD,December2014Distinguished Colloquium Speaker: “ProgrammingwithPeople”,ETH-Zürich,December2012

LEGAL CONSULTING

Summit6,LLCv.HTCCorp.,etal.,CaseNo.7:14-CV-00014-O;Summit6,LLCv.AppleInc.,CaseNo.7:14-CV-00106UnitedStatesDistrictCourt,NorthernDistrictofTexas,WichitaFallsDivisionReviewedpatent,December2014Preparedexpertreport,January2015Deposition,January2015

MISCELLANEOUS Naturallanguages:nativeEnglishspeaker,fluentspeakerofSpanish,Catalan,andFrench.USandEUcitizen.