Travelled to:
1 × China
1 × Czech Republic
1 × Hungary
1 × Norway
1 × Sweden
2 × Cyprus
2 × Germany
3 × Canada
8 × USA
Collaborated with:
A.Diwan R.Grimm K.S.McKinley K.Wu B.Gedik A.Shinnar B.Lee M.Hind J.Siméon J.B.Sartor C.Zhang D.Siegwart T.M.Chilimbi M.Vaziri A.L.Hosking M.Hertz R.Soulé H.Andrade K.Tangwongsan S.Schneider Z.Xu G.Rothermel B.Wiedermann S.M.Blackburn D.Frampton N.Nystrom B.Bloom J.Vitek J.Henkel O.Tardieu R.Rabbah P.Suter L.Mandel Guillaume Baudart J.Dolby E.Duesterwald V.Kumar Q.Zou H.Wang R.Garner C.Hoffmann A.M.Khan R.Bentzur D.Feinberg S.Z.Guyer M.Jump H.B.Lee J.E.B.Moss A.Phansalkar D.Stefanovic T.VanDrunen D.v.Dincklage
Talks about:
stream (6) languag (4) process (3) collect (3) garbag (3) dynam (3) data (3) benchmark (2) interfac (2) calculus (2)
Person: Martin Hirzel
DBLP: Hirzel:Martin
Contributed to:
Wrote 25 papers:
- ECOOP-2015-ShinnarSH #calculus #compilation
- A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.
- VLDB-2015-TangwongsanHSW #incremental
- General Incremental Sliding-Window Aggregation (KT, MH, SS, KLW), pp. 702–713.
- ECOOP-2014-VaziriTRSH #spreadsheet
- Stream Processing with a Spreadsheet (MV, OT, RR, PS, MH), pp. 360–384.
- ASE-2013-XuHRW #data flow #testing
- Testing properties of dataflow program operators (ZX, MH, GR, KLW), pp. 103–113.
- ECOOP-2012-LeeGHM #metaprogramming #named
- Marco: Safe, Expressive Macros for Any Language (BL, RG, MH, KSM), pp. 589–613.
- PEPM-2012-HirzelG #metaprogramming #using
- Streams that compose using macros that oblige (MH, BG), pp. 141–150.
- ESOP-2010-SouleHGGAKW #calculus
- A Universal Calculus for Stream Processing Languages (RS, MH, RG, BG, HA, VK, KLW), pp. 507–528.
- PLDI-2010-LeeWHGM #debugging #detection #interface #named
- Jinn: synthesizing dynamic bug detectors for foreign language interfaces (BL, BW, MH, RG, KSM), pp. 36–49.
- PLDI-2010-SartorBFHM #array #flexibility #named
- Z-rays: divide arrays and conquer speed and flexibility (JBS, SMB, DF, MH, KSM), pp. 471–482.
- VLDB-2010-ZouWSHAGW #distributed #query #relational
- From a Stream of Relational Queries to Distributed Stream Processing (QZ, HW, RS, MH, HA, BG, KLW), pp. 1394–1405.
- OOPSLA-2009-LeeHGM #debugging
- Debug all your code: portable mixed-environment debugging (BL, MH, RG, KSM), pp. 207–226.
- ECOOP-2008-ZhangH #adaptation #layout #online
- Online Phase-Adaptive Data Layout Selection (CZ, MH), pp. 309–334.
- ISMM-2008-SartorHM
- No bit left behind: the limits of heap data compression (JBS, MH, KSM), pp. 111–120.
- PADL-2008-HirzelNBV #named #pattern matching
- Matchete: Paths through the Pattern Matching Jungle (MH, NN, BB, JV), pp. 150–166.
- OOPSLA-2007-HirzelG #developer #interface #java #named
- Jeannie: granting java native interface developers their wishes (MH, RG), pp. 19–38.
- ISMM-2006-SiegwartH #garbage collection #locality #parallel
- Improving locality with parallel hierarchical copying GC (DS, MH), pp. 52–63.
- OOPSLA-2006-BlackburnGHKMBDFFGHHJLMPSVDW #analysis #benchmark #development #java #metric
- The DaCapo benchmarks: java benchmarking development and analysis (SMB, RG, CH, AMK, KSM, RB, AD, DF, DF, SZG, MH, ALH, MJ, HBL, JEBM, AP, DS, TV, DvD, BW), pp. 169–190.
- ECOOP-2004-HirzelDH #analysis #pointer
- Pointer Analysis in the Presence of Dynamic Class Loading (MH, AD, MH), pp. 96–122.
- OOPSLA-2003-HirzelDH #garbage collection
- Connectivity-based garbage collection (MH, AD, MH), pp. 359–373.
- ISMM-2002-HirzelHDH #comprehension
- Understanding the connectivity of heap objects (MH, JH, AD, MH), pp. 143–156.
- PLDI-2002-ChilimbiH #data type #source code
- Dynamic Hot Data Stream Prefetching for General-Purpose Programs (TMC, MH), pp. 199–209.
- ECOOP-2001-HirzelDH #detection #garbage collection #liveness #on the
- On the Usefulness of Liveness for Garbage Collection and Leak Detection (MH, AD, ALH), pp. 181–206.
- ISMM-2000-HirzelD #garbage collection #on the
- On the Type Accuracy of Garbage Collection (MH, AD), pp. 1–11.
- Onward-2017-VaziriMSSH #api #chat #generative #specification #web
- Generating chat bots from web API specifications (MV, LM, AS, JS, MH), pp. 44–57.
- Onward-2018-BaudartDDHS
- Protecting chatbots from toxic content (GB, JD, ED, MH, AS), pp. 99–110.