emery bergeremery/vita.pdf · 2 honors & awards acm distinguished member, 2018 acm senior...
TRANSCRIPT
Emery Berger [email protected] 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.