Alastair Reid

Related Work

Interesting papers

Papers Authors Notes About
  • Mark D. Aagaard: aagaard:charme:2001 aagaard:fmcad:2000 higgins:hldvt:2004
  • Martín Abadi: abadi:arxiv:2016 abadi:tcs:1991
  • Oskar Abrahamsson: loow:pldi:2019
  • Parastoo Abtahi: abtahi:chi:2020
  • Umut A. Acar: arora:pldi:2023
  • Josh Achiam: chen:arxiv:2021
  • Vikram Adve: dasgupta:pldi:2019 lattner:cgo:2004
  • Vikram S. Adve: dasgupta:pldi:2020
  • Edward Aftandilian: sadowski:cacm:2018
  • Ashish Agarwal: abadi:arxiv:2016
  • Gul Agha: sen:fse:2005
  • Giovanni Agosta: difederico:cc:2017
  • Gagan Agrawal: du:sc:2003
  • Gaurav Agrawal: jouppi:isca:2017
  • Nazareno M. Aguirre: frias:icse:2005
  • Amal Ahmed: bowman:icfp:2015 weiss:arxiv:2018
  • Alex Aiken: bansal:asplos:2006 bansal:osdi:2008 heule:pldi:2016 sharma:oopsla:2012 sharma:pls:2013 xie:bugs:2005 xie:popl:2005
  • Bashir M. Al-Hashimi: boettcher:date:2014
  • Kenneth L. Albin: albin:cli:1995 lahiri:hldvt:2001
  • Jonathan Aldrich: bader:vmcai:2018 coblenz:arxiv:2020 krishnaswami:tldi:2010
  • Nikolaos Alexopoulos: alexopoulos:tps:2020
  • Jade Alglave: alglave:toplas:2014 sarkar:pldi:2011 sarkar:popl:2009
  • Muneeb Ali: dunkels:enss:2006
  • Mohammad Amin Alipour: zhang:issta:2014
  • Eyad Alkassar: alkassar:vstte:2010 alkassar:vstte:2012
  • José Bacelar Almeida: almeida:security:2016
  • Hussain M. J. Almohri: almohri:codaspy:2018
  • Anil Altinay: altinay:eurosys:2020
  • Roberto M. Amadio: amadio:fpara:2014
  • Sidney Amani: amani:asplos:2016
  • Saman P. Amarasinghe: chen:iiswc:2019 gordon:asplos:2002 thies:micro:2007 thies:ppopp:2005
  • Saman Amarasinghe: kjolstad:oopsla:2017
  • Dario Amodei: chen:arxiv:2021
  • Arthur Azevedo de Amorim: azevedo:post:2018 hritcu:icfp:2013 pierce:book:2016
  • Pedro Henrique Azevedo de Amorim: nigam:pldi:2023 rachit:pldi:2023
  • Kapil Anand: anand:eurosys:2013
  • Akkihebbal L. Ananda: ananda:osr:1992
  • Michael P. Andersen: levy:plos:2015
  • David G. Andersen: maas:asplos:2020 spencer:security:1999
  • Brian Anderson: anderson:icse:2016
  • Zachary Anderson: condit:esop:2007
  • Adam Anderson: nandi:pldi:2020 willsey:oopsla:2021
  • Jonathan Anderson: watson:sandp:2015 woodruff:isca:2014
  • Dennis Andriesse: andriesse:usenix:2016
  • June Andronick: andronick:icse:2012 klein:sosp:2009
  • Marco Angelini: angelini:vizsec:2019
  • Jorge Aparicius: lindner:indin:2018
  • Katerina Argyraki: zaostrovnykh:sosp:2019
  • Alasdair Armstrong: armstrong:arw:2018 armstrong:cav:2021 armstrong:popl19:2019 armstrong:spisa:2019 bauereiss:ucam:2021 simner:pls:2020
  • Jatin Arora: arora:pldi:2023
  • Arvind: choi:icfp:2017
  • Krste Asanović: asanovic:phd:1998
  • Hadi Asghari-Moghaddam: hedge:micro:2019
  • Edward Ashton: shamis:arxiv:2021
  • Aslan Askarov: liu:pldi:2023
  • Vytautas Astrauskas: astrauskas:oopsla:2019 astrauskas:oopsla:2020
  • Elias Athanasopoulos: papaevripides:acmtps:2021
  • Eric Atkinson: chen:iiswc:2019
  • David August: bridges:micro:2007
  • Lennart Augustsson: jones:hasklang:1999 jones:hasklib:1999
  • Todd Austin: yang:sandp:2016
  • Thanassis Avgerinos: avgerinos:cacm:2014 avgerinos:icse:2014 brumley:cav:2011 cha:sandp:2012 schwartz:sp:2010
  • Jeremy Avigad: demoura:cade:2015
  • Nicolas Ayache: amadio:fpara:2014
  • Domagoj Babić: babic:fse:2019
  • Dmitry Babokin: livinskii:pldi:2023
  • Igor Babuschkin: chen:arxiv:2021
  • Alberto Bacchelli: sadowski:icse-seip:2018
  • Jonathan Bachrach: dutra:icse:2018
  • Godmar Back: ford:sosp:1996 ford:sosp:1997 hsieh:usenix:2001
  • Johannes Bader: bader:vmcai:2018
  • Raminder Bajwa: jouppi:isca:2017
  • Suchir Balaji: chen:arxiv:2021
  • Gogul Balakrishnan: garg:icse:2013
  • Abhiram Balasubramanian: balasubramanium:hotos:2017
  • Roberto Baldoni: baldoni:compsurv:2018
  • Thomas Ball: ball:dsse:2015 ball:pldi:2001
  • Musard Balliu: guanciale:ccs:2020
  • Anindya Banerjee: nanevski:oopsla:2019
  • Lucas Bang: saha:pldi:2023
  • Sorav Bansal: bansal:asplos:2006 bansal:osdi:2008
  • Manya Bansal: bansal:pldi:2023
  • Zuzana Baranová: baranova:atva:2017
  • Marek S. Baranowski: balasubramanium:hotos:2017 baranowski:atva:2018 narayanan:hotos:2019
  • Mario R. Barbacci: barbacci2:computer:1973 barbacci:afips:1977 barbacci:cmu:1972 barbacci:computer:1973 barbacci:computer:1977 barbacci:computer:1978 barbacci:dac:1979 barbacci:icse:1988 barbacci:ieee:1981 barbacci:ieeetc:1975 barbacci:ieeetc:1981 barbacci:isca:1973 chu:ieeedtc:1992 dam:ieeetc:1981 djordjevic:cj:1985
  • Manuel Barbosa: almeida:security:2016
  • Sébastien Bardin: daniel:sandp:2020 david:issta:2016 nicole:arxiv:2020 recoules:ase:2019
  • Paul Barham: abadi:arxiv:2016
  • Celeste Barnaby: coblenz:arxiv:2020
  • Jiří Barnat: baranova:atva:2017 korencik:qrs:2020
  • Graeme Barnes: bauereiss:ucam:2021
  • Elizabeth Barnes: chen:arxiv:2021
  • Mike Barnett: barnett:cacm:2011 barnett:cassis:2004 barnett:fmco:2005 barnett:vstte:2005 cousot:oopsla:2012
  • Earl T. Barr: barr:tse:2015
  • Clark W. Barrett: barrett:cade:2000 barrett:cav:2011 barrett:mlf:2015 barrett:smtlib:2016
  • Luiz André Barroso: dean:cacm:2013
  • John Barstow: kuhne:fmcad:2010
  • Gilles Barthe: almeida:security:2016 barthe:csfw:2004 barthe:iacr:2007 barthe:mscs:2011 cauligi:sandp:2022
  • Dave Barton: jones:hasklang:1999 jones:hasklib:1999
  • Rajeev Barua: anand:eurosys:2013
  • Forest Baskett: hennessy:micro:1982
  • Jeff Bastian: bastian:adl:2005
  • Théophile Bastian: bastian:oopsla:2019
  • Sarah Bates: jouppi:isca:2017
  • Lejla Batina: buhan:ccs:2022
  • Christopher Batten: lockhart:ispass:2015
  • Mark Batty: flur:popl:2017 wickerson:popl:2017
  • Patrick Baudin: baudin:cacm:2021 cuoq:sefm:2012
  • Thomas Bauereiss: armstrong:arw:2018 armstrong:popl19:2019 armstrong:spisa:2019 bauereiss:ucam:2021 nienhuis:secpriv:2020
  • Christoph Baumann: baumann:eucnc:2016
  • Andrew Baumann: baumann:hotos:2017 ferraiuolo:sosp:2017 nelson:sosp:2019
  • Lars Baumgärtner: lauinger:trustcom:2020
  • Mohammad Bavarian: chen:arxiv:2021
  • Matt Beadon: dixit:arxiv:2021
  • Wim Beck: milushev:forte:2012
  • Georg T. Becker: becker:ches:2013
  • Hanno Becker: becker:fm:2016
  • Nils Becker: becker:tacas:2019
  • Bernhard Beckert: weigl:arxiv:2019
  • Jakob Beckmann: beckmann:msc:2020
  • Joel Beeren: amani:asplos:2016
  • Robert von Behren: gay:pldi:2003 vonbehren:hotos:2003
  • Alexis Beingessner: beingessner:msc:2015
  • C. Gordon Bell: barbacci2:computer:1973 barbacci:cmu:1972 barbacci:computer:1973 bell:afips:1970 bell:book:1971 bell:cacm:2008 bell:procieee:2014
  • Aaron Bembenek: bembenek:oopsla:2020
  • Thomas Benjamin: evtyushkin:asplos:2021
  • Greg Benson: ford:sosp:1997
  • Nick Benton: jensen:popl:2013 kennedy:ppdp:2013
  • Josh Berdine: berdine:aplas:2005 berdine:cav:2007 berdine:fmco:2005
  • Tom Bergan: bergan:oopsla:2014
  • Emery D. Berger: curtsinger:cacm:2018 hertz:oopsla:2005
  • Lars Bergstrom: anderson:icse:2016
  • Wilson Berkow: brandon:pldi:2023
  • Brian N. Bershad: bershad:cmpcon:1993 draves:sosp:1991
  • William R. Bevier: bevier:jar:1989
  • Dirk Beyer: beyer:ase:2019 beyer:cav:2011 beyer:hvc:2017 beyer:ijsttt:2007 beyer:sas:2004
  • Sven Beyer: beyer:ijsttt:2006 kuhne:fmcad:2010
  • Abhijith Bharadwaj: verbeek:fmmsd:2019
  • Suresh Bhatia: jouppi:isca:2017
  • Vikas Bhatia: russinovich:acmq:2021
  • Rahul Bhatt: bhatt:sefm:2003
  • Abhishek Bhattacharjee: lustig:asplos:2016
  • Edoardo Biagioni: biagioni:sigcomm:1994
  • Mohammad Mahdi Bidmeshki: bidmeshki:iccd:2019
  • Armin Biere: biere:tacas:1999 brummayer:sat:2010 niemetz:jsat:2015
  • Gavin Bierman: parkinson:popl:2005
  • Stuart Biles: ozer:sbacpad:2007 stephens:micro:2017
  • Robert V. Binder: binder:cacm:1994
  • Peter L. Bird: bird:sc:1993
  • Lars Birkedal: dinsdale-young:popl:2013 krishnaswami:tldi:2010 liu:pldi:2023 nanevski:icfp:2008 skorstengaard:esop:2018 skorstengaard:popl:2019
  • Andrew D. Birrell: birrell:tocs:1984
  • Steve Bishop: bishop:jacm:2019
  • Nikolaj Bjørner: demoura:cacm:2011 demoura:tacas:2008
  • Alan F. Blackwell: green:tutorial:1998
  • Allan Blanchard: blanchard:fmics:2015
  • Frédéric Blanqui: blanqui:rapido:2011
  • Graziano Blasilli: angelini:vizsec:2019
  • Guy E. Blelloch: blelloch:book:1990
  • Stefan Blom: blom:ijsttt:2015
  • Matthias Blume: blume:babel:2001
  • Francois Bobot: amadio:fpara:2014
  • Fran{ç}ois Bobot: baudin:cacm:2021
  • Joshua Bockenek: verbeek:fmmsd:2019
  • Nan Boden: jouppi:isca:2017
  • Rastislav Bodik: torlak:onward:2013 torlak:pldi:2014
  • Martin Bodin: bodin:popl:2014
  • Jaap P. Boender: amadio:fpara:2014
  • Etienne Boespflug: boespflug:fdtc:2020
  • Matthias Boettcher: boettcher:date:2014 stephens:micro:2017
  • Barry Bond: bond:usenix:2017
  • Richard Bonichon: cuoq:sefm:2012 recoules:ase:2019
  • Kevin Boos: boos:plos:2017
  • Al Borchers: jouppi:isca:2017
  • Edson Borin: silva:sbac:2016
  • Jörg Bormann: kuhne:fmcad:2010
  • Richard Bornat: bornat:popl:2005
  • James Bornholt: bornholt:oopsla:2018 nelson:osr:2020 nelson:sosp:2017 nelson:sosp:2019 sigurbjarnarson:osdi:2016 sigurbjarnarson:osdi:2018 vanhattum:asplos:2021
  • Luca Borzacchiello: angelini:vizsec:2019
  • Herbert Bos: altinay:eurosys:2020 andriesse:usenix:2016 isemann:pldi:2023 razavi:usenix:2016
  • Erik Bosman: razavi:usenix:2016
  • Bernard Botella: cuoq:sefm:2012
  • Richard Boulton: boulton:tpcd:1993
  • Timothy Bourke: murray:secpriv:2013
  • Brian Boutel: jones:hasklang:1999 jones:hasklib:1999
  • Robert Bowdidge: johnson:icse:2013
  • William J. Bowman: bowman:icfp:2015
  • Silas Boyd-Wickizer: zeldovich:osdi:2006
  • Rick Boyle: jouppi:isca:2017
  • Ajay Brahmakshatriya: chen:iiswc:2019
  • Thomas Braibant: sarkar:popl:2009
  • Martin Nyx Brain: nyxbrain:sc2:2017
  • Pietro Braione: braione:icse:2018
  • William Brandon: brandon:pldi:2023
  • Matthew Brassil: murray:secpriv:2013
  • Eugene Brevdo: abadi:arxiv:2016
  • Eric Brewer: gay:pldi:2003 vonbehren:hotos:2003
  • Matthew Bridges: bridges:micro:2007
  • Bishop C. Brock: albin:cli:1995
  • Greg Brockman: chen:arxiv:2021
  • Micah Brodsky: krohn:sosp:2007
  • Stephen Brookes: brookes:tcs:2006
  • Fraser Brown: brown:asplos:2016 brown:sec:2020
  • Richard Bruce: woh:micro:2008
  • Jean-Michel Bruel: bruel:compsurv:2021
  • David Brumley: avgerinos:cacm:2014 avgerinos:icse:2014 brumley:cav:2011 cha:sandp:2012 schwartz:sp:2010 song:iciss:2008
  • Robert Brummayer: brummayer:sat:2010
  • Miles Brundage: chen:arxiv:2021
  • Danilo Bruschi: paleari:issta:2010
  • Randal E Bryant: bryant:cmu:2018
  • Randal E. Bryant: lahiri:cav:2003 segar:fmsd:1995 velev:dac:2000
  • Stefan Bucur: babic:fse:2019 kuznetsov:pldi:2012
  • Ileana Buhan: buhan:ccs:2022
  • David Bull: hadjilambrou:ispass:2019
  • Tevfik Bultan: saha:pldi:2023
  • Jerry R. Burch: burch:cav:1994
  • Yura Burda: chen:arxiv:2021
  • David A. Burke: burke:lacl:2005
  • Wayne P. Burleson: becker:ches:2013
  • Mike Burrows: chang:tocs:2012
  • F. Warren Burton: burton:toplas:1990
  • Warren Burton: jones:hasklang:1999 jones:hasklib:1999
  • Anton Burtsev: balasubramanium:hotos:2017 narayanan:hotos:2019
  • Vannevar Bush: bush:atlantic:1945
  • William R. Bush: bush:spe:2000
  • Frank Busse: busse:issta:2020
  • Theodore Butler: lietar:ismm:2019
  • Aurel Bílý: wolff:draft:2021
  • Marcel Böhme: bohme2:fse:2020 bohme:fse:2020
  • David Bühler: baudin:cacm:2021
  • Julian Büning: schemmel:cav:2020
  • Juan Caballero: song:iciss:2008
  • Cristian Cadar: busse:issta:2020 cadar:cacm:2013 cadar:fse:2015 cadar:osdi:2008 cadar:tiss:2008 kapus:fse:2019 liew:fse:2019 trabish:icse:2018
  • Harold W. Cain: zhuang:pldi:2006
  • Cristiano Calcagno: berdine:aplas:2005 berdine:cav:2007 berdine:fmco:2005 bornat:popl:2005 calcagno:popl:2009 calcagno:sas:2006
  • Brian Campbell: amadio:fpara:2014 armstrong:arw:2018 armstrong:cav:2021 armstrong:popl19:2019 armstrong:spisa:2019 bauereiss:ucam:2021 campbell:fmcad:2016 campbell:fmics:2014 nienhuis:secpriv:2020
  • Bradford Campbell: evans:icse:2020 levy:apsys:2017 levy:plos:2015 levy:sosp:2017
  • Mark Campbell: liu:cpsspc:2018
  • Giovanni Camurati: corteggiani:usenix:2018
  • George Candea: chipounov:asplos:2011 chipounov:hotdep:2009 chipounov:tcs:2012 kuznetsov:pldi:2012 wagner:hotos:2013 zaostrovnykh:sosp:2019
  • Pierre-luc Cantin: jouppi:isca:2017
  • David Cao: zhang:pldi:2023
  • Michael Carbin: chen:iiswc:2019
  • Andrew Carr: chen:arxiv:2021
  • Chandler Carruth: wright:icsm:2013
  • Chris Casinghino: pierce:book:2016
  • Ghila Castelnuovo: naik:popl:2012
  • Pablo Samuel Castro: evci:arxiv:2021
  • Miguel Castro: shamis:arxiv:2021
  • Bruno Castro-Karney: sigurbjarnarson:osdi:2018
  • Roderic Geoffrey Galton Cattell: cattell:phd:1978 cattell:toplas:1980
  • Sunjay Cauligi: cauligi:sandp:2022
  • Călin Caşcaval: liu:sigcomm:2018
  • Luis Ceze: bergan:oopsla:2014 smith:maps:2021 vega:pldi:2021 zorn:iscawddd:2017
  • Sang Kil Cha: avgerinos:cacm:2014 avgerinos:icse:2014 bohme:fse:2020 cha:sandp:2012 manes:ieeetse:2019
  • Suhyun Cha: weigl:arxiv:2019
  • Sagar Chaki: franklin:cmu:2008 vasudevan:secpriv:2013 vasudevan:usenix:2016
  • Chaitali Chakrabarti: lin:sips:2006 woh:micro:2008
  • Tejasvi Chakravarthy: dixit:arxiv:2021
  • Manuel Chakravarty: chakravarty:haskffi:2003
  • Marek Chalupa: chalupa:tacas:2021
  • Amaury Chamayou: shamis:arxiv:2021
  • Brooke Chan: chen:arxiv:2021
  • Tushar Chandra: chang:tocs:2012
  • Vikram Chandrasekhar: thies:micro:2007
  • Bor-Yuh Evan Chang: barnett:fmco:2005
  • Fay Chang: chang:tocs:2012
  • Fotios Chantzis: chen:arxiv:2021
  • Clifford Chao: jouppi:isca:2017
  • Arthur Chargueraud: bodin:popl:2014
  • Mark Charney: lifshitz:wish:2011
  • Shaunak Chatterjee: chatterjee:tacas:2007
  • Kevin Cheang: polgreen:cav:2022
  • Zhifeng Chen: abadi:arxiv:2016 lepikhin:arxiv:2020
  • Zilin Chen: amani:asplos:2016
  • Xi Chen: andriesse:usenix:2016
  • Yaohui Chen: babic:fse:2019 chen:sp:2020
  • Mark Chen: chen:arxiv:2021
  • Yishen Chen: chen:iiswc:2019
  • Yu-Fang Chen: chen:pldi:2023
  • Yang Chen: groce:issta:2012 regehr:pldi:2012 yang:pldi:2011
  • Hao Chen: gu:osdi:2016
  • Dehao Chen: lepikhin:arxiv:2020
  • Yilun Chen: qin:pldi:2020 zhang:ccs:2020
  • Rick Chen: reid:cav:2016
  • Zhuangbin Chen: xu:arxiv:2021
  • James Cheney: grossman:pldi:2002
  • Gautham N. Chinya: wang:pldi:2007
  • Vitaly Chipounov: chipounov:asplos:2011 chipounov:hotdep:2009 chipounov:tcs:2012
  • David Chisnall: lietar:ismm:2019 russinovich:acmq:2021 watson:sandp:2015 woodruff:isca:2014 woodruff:tocs:2019
  • Adam J. Chlipala: beyer:sas:2004 choi:icfp:2017
  • Adam Chlipala: erbsen:pldi:2021 kuepper:pldi:2023
  • Joonwon Choi: choi:icfp:2017 erbsen:pldi:2021
  • Jong-Deok Choi: zhuang:pldi:2006
  • Stephen Chong: bembenek:oopsla:2020
  • Nathan Chong: chong:asplos:2008 chong:icse:2020
  • Frederic T. Chong: tiwari:asplos:2009 tiwari:isca:2009 tiwari:isca:2011
  • Andy Chou: chou:bugs:2005
  • Stephen Chou: kjolstad:oopsla:2017
  • Maria Christakis: mansur:arxiv:2020
  • Yaohan Chu: chu:ieeedtc:1992
  • Peter Chubb: amani:asplos:2016
  • Chitchanok Chuengsatiansup: kuepper:pldi:2023
  • Kai-Min Chung: chen:pldi:2023
  • Luke Church: macvean:ppig:2016 reid:hatra:2020 sadowski:icse-seip:2018
  • Berkeley Churchill: sharma:oopsla:2012
  • Cristina Cifuentes: cifuentes:computer:2000 cifuentes:iwpc:1998
  • Alessandro Cimatti: biere:tacas:1999 mechtaev:fse:2018
  • Craig Citro: abadi:arxiv:2016 macvean:ppig:2016
  • Koen Claessen: claessen:icfp:2000 claessen:sfm:2006
  • David Clark: clark:entcs:2002
  • Chris Clark: jouppi:isca:2017
  • Edmund M. Clarke: biere:tacas:1999 clarke:cacm:2009 clarke:cav:2000 clarke:tacas:2004 clarke:wlop:1982
  • David G. Clarke: clarke:oopsla:1998
  • Dave Clarke: milushev:forte:2012
  • Michael R. Clarkson: clarkson:jcs:2010
  • Stephen Clawson: ford:sosp:1996
  • Sylvan Clebsch: lietar:ismm:2019 russinovich:acmq:2021 shamis:arxiv:2021
  • Natan Cliffer: krohn:sosp:2007
  • Michael Coblenz: coblenz:arxiv:2020
  • David Cock: cock:ccs:2014 ge:jce:2016 klein:sosp:2009
  • Claudio Sacerdoti Coen: amadio:fpara:2014
  • Ernie Cohen: alkassar:vstte:2012 cohen:cav:2010 cohen:entcs:2009
  • Robert Cohn: lifshitz:wish:2011 luk:pldi:2005
  • David R. Cok: cok:bugs:2005 noonan:pldi:2016
  • Christian S. Collberg: collberg:pldi:1997
  • Jamison D. Collins: wang:pldi:2007
  • Jeremy Condit: condit:esop:2007 condit:popl:2009 vonbehren:hotos:2003
  • Owen Conoly: kuepper:pldi:2023
  • George A. Constantinides: coward:arxiv:2023 wickerson:popl:2017
  • Christopher L. Conway: barrett:cav:2011
  • Melvin E. Conway: conway:cacm:1963 conway:datamation:1968
  • Byron Cook: aagaard:charme:2001 berdine:cav:2007 chong:icse:2020 cook:cav:2018
  • Emilio Coppa: angelini:vizsec:2019 baldoni:compsurv:2018 coppa:ase:2017
  • Thierry Coquand: coquand:eurocal:1985
  • James C. Corbett: corbett:tocs:2013
  • Joe Corbett-Davies: liu:cpsspc:2018
  • Jacopo Corbetta: stephens:ndss:2016
  • Lucas C. Cordeiro: monteiro:arxiv:2019
  • Jeremy Coriell: jouppi:isca:2017
  • Digital Equipment Corporation: pdp11:book:1973
  • Greg S. Corrado: abadi:arxiv:2016
  • Lo{\"\i}c Correnson: baudin:cacm:2021
  • Loïc Correnson: cuoq:sefm:2012
  • Nassim Corteggiani: corteggiani:usenix:2018
  • Manuel Costa: russinovich:acmq:2021 shamis:arxiv:2021
  • David Costanzo: costanzo:pldi:2016 gu:osdi:2016
  • Patrick Cousot: cousot:oopsla:2012
  • Radhia Cousot: cousot:oopsla:2012
  • Samuel Coward: coward:arxiv:2023 flatt:fmcad:2022
  • Neal Crago: hedge:micro:2019
  • Karl Crary: morrisett:wcsss:1999
  • Juan Manuel Crespo: becker:fm:2016
  • Heming Cui: cui:asplos:2013
  • David Culler: gay:pldi:2003 levy:plos:2015
  • David E. Culler: hochschild:hotos:2021
  • Dave Cummings: chen:arxiv:2021
  • Pascal Cuoq: cuoq:sefm:2012 regehr:pldi:2012
  • Charlie Curtsinger: curtsinger:cacm:2018
  • Pedro R. D'Argenio: barthe:csfw:2004 barthe:mscs:2011
  • Daniele Cono D'Elia: coppa:ase:2017
  • Daniele Cono D'elia: baldoni:compsurv:2018
  • Frank Dabek: dabek:sigops:2002
  • Adrian Dabrowski: altinay:eurosys:2020
  • Pierre-Evariste Dagand: kennedy:ppdp:2013
  • Frank Dai: brandon:pldi:2023
  • Jinquan Dai: dai:pldi:2005
  • Mike Daley: jouppi:isca:2017
  • Ross Daly: kim:isca:2014
  • Andries van Dam: dam:ieeetc:1981
  • Mads Dam: dam:ted:2013 dam:trusted:2013 guanciale:ccs:2020 khakpour:cpp:2013 schwarz:sefm:2016
  • Werner Damm: damm:fmoods:1999
  • Hoang-Hai Dang: jung:popl:2020 yanovski:unknown:2021
  • Jakub Daniel: ball:dsse:2015
  • Lesly-Ann Daniel: daniel:sandp:2020
  • Thibault Dardinier: eilers:pldi:2023
  • Zaynah Dargaye: cuoq:sefm:2012
  • Eva Darulova: nandi:pldi:2020
  • Shidhartha Das: hadjilambrou:ispass:2019
  • Dipankar Das: qin:hpca:2020
  • Sandeep Dasgupta: dasgupta:pldi:2019 dasgupta:pldi:2020
  • Anupam Datta: franklin:cmu:2008 vasudevan:secpriv:2013 vasudevan:usenix:2016
  • Matt Dau: jouppi:isca:2017
  • John Daughtry: macvean:ppig:2016
  • Nirav Dave: watson:sandp:2015
  • James H. Davenport: nyxbrain:sc2:2017
  • Robin David: david:issta:2016
  • Jack W. Davidson: ramsey:lctes:1998
  • Scott Davidson: smith:maps:2021
  • Andy Davis: abadi:arxiv:2016 shazeer:arxiv:2017
  • Jared Davis: myreen:itp:2011 slobodova:memocode:2011
  • Brooks Davis: watson:sandp:2015 woodruff:isca:2014 woodruff:tocs:2019
  • Nancy A. Day: aagaard:charme:2001
  • Robert DeLine: barnett:fmco:2005 barnett:vstte:2005 deline:pldi:2001
  • Will Deacon: flur:popl:2016 pulte:popl:2017
  • Jeffrey Dean: abadi:arxiv:2016 chang:tocs:2012 corbett:tocs:2013 dean:cacm:2013 jouppi:isca:2017
  • Randall W. Dean: draves:sosp:1991
  • Jeff Dean: shazeer:arxiv:2017
  • Ulan Degenbaev: degenbaev:phd:2012
  • Benjamin Delaware: zhou:pldi:2023
  • Germán Andrés Delbianco: nanevski:oopsla:2019
  • Anastasios Deligiannis: reid:cav:2016
  • Antoine Delignat-Lavaud: russinovich:acmq:2021 shamis:arxiv:2021
  • Camil Demetrescu: angelini:vizsec:2019 baldoni:compsurv:2018 coppa:ase:2017
  • Onur Demir: deng:hasp:2019
  • John Demme: martin:isca:2012
  • Giovanni Denaro: braione:icse:2018
  • Shuwen Deng: deng:hasp:2019
  • Xavier Denis: denis:hal:2020
  • Dorothy E. Denning: denning:cacm:1976
  • Philip Derrin: klein:sosp:2009
  • Morgan Deters: barrett:cav:2011
  • Matthieu Devin: abadi:arxiv:2016
  • Dominique Devriese: skorstengaard:esop:2018 skorstengaard:popl:2019
  • João Dias: dias:popl:2010
  • Donald L. Dietmeyer: chu:ieeedtc:1992
  • Daniel Dietsch: liu:arxiv:2021
  • Griffin Dietz: abtahi:chi:2020
  • David L. Dill: barrett:cade:2000 burch:cav:1994 cadar:tiss:2008
  • Marko Dimjašević: dimjasevic:ifm:2018
  • Sushant Dinesh: dasgupta:pldi:2020
  • Thomas Dinsdale-Young: dinsdale-young:popl:2013
  • Craig Disselkoen: cauligi:sandp:2022
  • Dino Distefano: berdine:cav:2007 calcagno:popl:2009 calcagno:sas:2006 distefano:cacm:2019 distefano:tacas:2006
  • David R. Ditzel: patterson:sigarch:1980
  • Harish Dattatraya Dixit: dixit:arxiv:2021
  • Jovan Djordjevic: djordjevic:cj:1985
  • Brendan Dolan-Gavitt: roy:fse:2018
  • Alastair F. Donaldson: liew:fse:2019 maciver:ecoop:2020
  • Qing Dong: yang:sandp:2016
  • Floris Van Doorn: demoura:cade:2015
  • Theo Drane: coward:arxiv:2023
  • Richard P. Draves: draves:sosp:1991
  • Derek Dreyer: jung:cacm:2021 jung:popl:2017 jung:popl:2020 sammler:pldi:2021 yanovski:unknown:2021
  • Benjamin Driscoll: brandon:pldi:2023
  • Sophia Drossopoulou: lietar:ismm:2019
  • Wei Du: du:sc:2003
  • Yue Duan: zhao:ndss:2019
  • Marat Dukhan: elsen:arxiv:2019
  • James R. Duley: chu:ieeedtc:1992
  • Daniel Dunbar: cadar:osdi:2008 engler:issta:2007
  • Adam Dunkels: dunkels:enss:2006
  • Usit Duongsaa: regehr:lctes:2006
  • François Dupressoir: almeida:security:2016
  • Simon Duquennoy: mangano:crisis:2016
  • Andrew Dutcher: shoshitaishvili:sp:2016 stephens:ndss:2016
  • Rafael Dutra: dutra:icse:2018
  • Nikil Dutt: mishra:book:2008
  • Prabal Dutta: levy:apsys:2017 levy:plos:2015 levy:sosp:2017
  • Matthew B. Dwyer: person:fse:2008 siegel:sc:2015
  • Daniele Cono D’Elia: angelini:vizsec:2019
  • Alex Eagle: sadowski:cacm:2018
  • Jacob Eapen: stephens:micro:2017
  • Sophie Ebersold: bruel:compsurv:2021
  • John G. Edenhofner: siegel:sc:2015
  • Harri Edwards: chen:arxiv:2021
  • N. P. Edwards: edwards:icrs:1975
  • Petros Efstathopoulos: efstathopoulos:sosp:2005
  • Manuel Egele: manes:ieeetse:2019
  • Eric Eide: eide:aspse:2001 eide:icse:2002 groce:issta:2012 regehr:pldi:2012 reid:osdi:2000 yang:pldi:2011
  • Marco Eilers: eilers:pldi:2023 marco:cav:2021
  • Jeffrey A. Eitel: evtyushkin:asplos:2021
  • Sebastian Elbaum: person:fse:2008
  • Liam Elberty: krishnamurthi:snapl:2019
  • Dhammika Elkaduwe: klein:sosp:2009
  • Chucky Ellison: regehr:pldi:2012
  • Kevin Elphinstone: klein:sosp:2009
  • Erich Elsen: elsen:arxiv:2019 evci:arxiv:2021 gale:arxiv:2019 gale:arxiv:2020
  • Khaled Elwazeer: anand:eurosys:2013
  • Jesse Elwell: evtyushkin:asplos:2021
  • Joel Emer: hedge:micro:2019
  • E. Allen Emerson: clarke:cacm:2009 clarke:wlop:1982
  • M. Van Emmerik: cifuentes:computer:2000
  • Michael Emmi: almeida:security:2016 rakamaric:cav:2014
  • Cristian Ene: boespflug:fdtc:2020
  • Kai Engelhardt: klein:sosp:2009
  • Dawson Engler: brown:asplos:2016 brown:sec:2020 cadar:osdi:2008 engler:issta:2007 ramos:sec:2015
  • Dawson R. Engler: cadar:tiss:2008 ramos:cav:2011
  • Dawson R Engler: hsieh:usenix:2001
  • Michael Epstein: corbett:tocs:2013
  • Andres Erbsen: erbsen:pldi:2021 kuepper:pldi:2023
  • Johan Eriksson: lindner:indin:2019
  • Michael D. Ernst: ernst:icse:2016 weitz:icfp:2017
  • Gerben Essink: wolf:codes:2004
  • Lawrence Esswood: bauereiss:ucam:2021
  • David Evans: almohri:codaspy:2018
  • Ana Nora Evans: evans:icse:2020
  • James A. Evans: wu:arxiv:2017
  • Utku Evci: evci:arxiv:2021
  • Dmitry Evtyushkin: evtyushkin:asplos:2021
  • Mbou Eyole: boettcher:date:2014 stephens:micro:2017
  • Matthew Fairbairn: bishop:jacm:2019
  • Brandon Falk: bohme2:fse:2020
  • Stephan Falke: merz:vstte:2012
  • Adin D. Falkoff: falkoff:ibm:1964
  • Chris Fallin: kim:isca:2014
  • Keith I. Farkas: kumar:isca:2004
  • Joseph Fasel: jones:hasklang:1999 jones:hasklib:1999
  • Andreas Fauth: fauth:edtc:1995
  • Alessandro Di Federico: difederico:cc:2017
  • William Fedus: fedus:arxiv:2021
  • Grigory Fedyukovich: kostyukov:pldi:2021
  • Josselin Feist: david:issta:2016
  • Matthias Felleisen: flatt:pldi:1998
  • Siji Feng: shoshitaishvili:sp:2016
  • Mary F. Fernandez: ramsey:usenix:1995
  • Mary F. Fernández: fernandez:icse:1997 ramsey:toplas:1997
  • Andrew Ferraiuolo: ferraiuolo:asplos:2017 ferraiuolo:ccs:2018 ferraiuolo:dac:2017 ferraiuolo:sosp:2017 liu:cpsspc:2018
  • Renato Ferreira: du:sc:2003
  • Christof Fetzer: sardar:access:2021
  • Andrew Fikes: chang:tocs:2012 corbett:tocs:2013
  • Nathaniel W. Filardo: woodruff:tocs:2019
  • Daniele Filaretti: bodin:popl:2014
  • Jean-Christophe Filliâtre: filliatre:cav:2007 filliatre:esop:2013 filliatre:fem:2004
  • Sigbjorn Finne: chakravarty:haskffi:2003 finne:icfp:1999
  • Irene Finocchi: baldoni:compsurv:2018
  • Andrea Fioraldi: fioraldi:arxiv:2020
  • Orhan Firat: lepikhin:arxiv:2020
  • Bernd Fischer: fischer:ase:2013
  • Joseph A. Fisher: fisher:isca:1983
  • Nils Fitinghoff: lindner:indin:2019
  • Matthew Flatt: eide:aspse:2001 flatt:pldi:1998 reid:osdi:2000
  • Oliver Flatt: flatt:fmcad:2022 willsey:popl:2021 zhang:pldi:2023
  • Krisztián Flautner: lin:sdr:2006 lin:sips:2006 reid:cases:2008 woh:micro:2008
  • Christopher W. Fletcher: dasgupta:pldi:2020 hedge:micro:2019 vicarte:isca:2021
  • Matthew Fluet: fluet:jfp:2006
  • Shaked Flur: armstrong:arw:2018 armstrong:popl19:2019 armstrong:spisa:2019 flur:popl:2016 flur:popl:2017 pulte:popl:2017 reid:hatra:2020 simner:pls:2020
  • Michael J. Flynn: flynn:ieeeproc:1966
  • Pedro Fonseca: fonseca:ecs:2017
  • Pascal Fontaine: barrett:mlf:2015 barrett:smtlib:2016
  • Bryan Ford: ford:sosp:1996 ford:sosp:1997
  • Jeffrey S. Foster: furr:pldi:2005 guria:pldi:2023
  • Nate Foster: liu:sigcomm:2018
  • Cédric Fournet: russinovich:acmq:2021
  • Cedric Fournet: shamis:arxiv:2021
  • Anthony C. J. Fox: fox:cambridge:2001 fox:itp:2010 fox:itp:2012 fox:itps:2015 fox:tphols:2003 fox:ucam:2002 loow:pldi:2019 myreen:fse:2007 nienhuis:secpriv:2020
  • Anthony Fox: fox:cpp:2017 tan:icfp:2016 woodruff:tocs:2019
  • Aurélien Francillon: corteggiani:usenix:2018 poeplau:acsac:2019 poeplau:usenix:2020
  • Juliana Franco: lietar:ismm:2019
  • Jason Franklin: franklin:cmu:2008
  • Michael Franz: altinay:eurosys:2020
  • Marita Franzke: rieman:chi:1995
  • Christopher W. Fraser: fraser:sigart:1977
  • Gordon Fraser: ivankovic:fse:2019
  • Louis Fredriksen: miller:cacm:1990
  • R. S. Freedman: freedman:tse:1991
  • Markus Freericks: fauth:edtc:1995
  • Jon French: armstrong:popl19:2019 armstrong:spisa:2019 pulte:popl:2017
  • Cliff Frey: efstathopoulos:sosp:2005
  • Marcelo F. Frias: frias:icse:2005
  • Vladimir Frolov: kaivola:cav:2009
  • Christopher Frost: corbett:tocs:2013
  • J. J. Furman: corbett:tocs:2013
  • Michael Furr: furr:pldi:2005
  • Ariel Fuxman: fuxman:isre:2001
  • Ignacio Fábregas: nanevski:oopsla:2019
  • Manuel Fähndrich: barnett:cacm:2011 barnett:vstte:2005 deline:pldi:2001 distefano:cacm:2019 fahndrich:foveoos:2010
  • Marco Gaboardi: pierce:book:2016
  • Giacomo Gabrielli: boettcher:date:2014 stephens:micro:2017
  • Pranav Gaddamadugu: polgreen:cav:2022
  • Mikhail R. Gadelha: monteiro:arxiv:2019
  • Trevor Gale: elsen:arxiv:2019 evci:arxiv:2021 gale:arxiv:2019 gale:arxiv:2020
  • John Galea: galea:arxiv:2018
  • Juan P. Galeotti: frias:icse:2005
  • Florian Galinier: bruel:compsurv:2021
  • Jacek Galowicz: becker:fm:2016
  • Peter Gammie: murray:secpriv:2013
  • Edward Gan: morrisett:pldi:2012
  • Vijay Ganesh: cadar:tiss:2008
  • Dennis Gannon: veldhuizen:oo:1998
  • Pierre Ganty: vila:pldi:2020
  • Dapeng Gao: gao:fmcad:2021
  • Debin Gao: ma:securecomm:2015
  • Xin Gao: murray:secpriv:2013
  • Philippa Gardner: bodin:popl:2014 dinsdale-young:popl:2013
  • Pranav Garg: garg:icse:2013
  • Deepak Garg: sammler:pldi:2021
  • Ilias Garnier: amadio:fpara:2014
  • David Gay: condit:esop:2007 gay:pldi:2003
  • Qian Ge: cock:ccs:2014 ge:jce:2016
  • Christian Gehrmann: baumann:eucnc:2016
  • Ben Gelb: jouppi:isca:2017
  • Jaco Geldenhuys: visser:tacas:2020
  • Y. Serhan Gener: deng:hasp:2019
  • Daniel Genkin: kocher:arxiv:2018 kuepper:pldi:2023 lipp:arxiv:2018
  • Jeffrey Gennari: gennari:vstte:2018
  • David Gens: altinay:eurosys:2020
  • Vlad Georgescu: chipounov:hotdep:2009
  • Tara Vazir Ghaemmaghami: jouppi:isca:2017
  • Sanjay Ghemawat: abadi:arxiv:2016 chang:tocs:2012 corbett:tocs:2013
  • Branden Ghena: levy:apsys:2017 levy:plos:2015 levy:sosp:2017
  • Surendra Ghentiyala: saha:pldi:2023
  • Abhrajit Ghosh: evtyushkin:asplos:2021
  • Soumava Ghosh: goel:fmcad:2014
  • Rajnish Ghughal: kaivola:cav:2009 kirankumar:fmcad:2012
  • Daniel B. Giffin: levy:sosp:2017
  • David Gilday: reid:cav:2016 stewart:difts:2014
  • Nathan Giles: anand:eurosys:2013
  • John Gill: hennessy:micro:1982
  • Milind Girkar: wang:pldi:2007
  • Cristiano Giuffrida: altinay:eurosys:2020 isemann:pldi:2023 razavi:usenix:2016
  • Klaus v. Gleissenthall: gleissenthall:ccs:2021
  • Klaus von Gleissenthall: isemann:pldi:2023
  • Neal Glew: morrisett:wcsss:1999
  • Adwait Godbole: polgreen:cav:2022
  • Sangharatna Godboley: jaffar:arxiv:2020
  • Patrice Godefroid: godefroid:acmq:2012 godefroid:bugs:2005 godefroid:cacm:2020 godefroid:icse:2014 godefroid:pldi:2005 godefroid:pldi:2012 godefroid:popl:2010
  • Shilpi Goel: goel:acl2:2013 goel:cav:2021 goel:cpp:2020 goel:fmcad:2014 goel:pcs:2017 goel:phd:2016 goel:spisa:2019
  • Jeffrey van Gogh: sadowski:icse:2015
  • Joseph A. Goguen: goguen:secpriv:1982 goguen:secpriv:1984
  • Aidan N. Gomez: vaswani:arxiv:2017
  • Ian Goodfellow: abadi:arxiv:2016
  • Peter Goodman: goodman:ndss:2018
  • Robert L. Gordon: barbacci:afips:1977
  • Andrew Gordon: boulton:tpcd:1993
  • Michael J. C. Gordon: boulton:tpcd:1993 myreen:fse:2007 myreen:tphols:2009
  • Michael I. Gordon: gordon:asplos:2002
  • Manish Goregaokar: anderson:icse:2016
  • Lorenz Gorse: gorse:msc:2020
  • Pronnoy Goswami: tahat:fmcad:2019
  • Rajendra Gottipati: jouppi:isca:2017
  • Claire Le Goues: legoues:sefm:2011 vantonder:icse:2018
  • Paul Govereau: nanevski:icfp:2008
  • Rama Govindaraju: hochschild:hotos:2021
  • Ben Gras: razavi:usenix:2016
  • Kathryn E. Gray: armstrong:arw:2018 armstrong:popl19:2019 armstrong:spisa:2019 flur:popl:2016 flur:popl:2017 gray:micro:2015 mulligan:icfp:2014
  • Scott Gray: chen:arxiv:2021
  • Thomas R. G. Green: green:pandc:1990 green:tutorial:1998
  • Michael Greenberg: bembenek:oopsla:2020 pierce:book:2016
  • David A. Greve: greve:fmcad:1998
  • Alberto Griggio: mechtaev:fse:2018 nyxbrain:sc2:2017
  • Edmund Grimley-Evans: reid:cases:2008
  • Rebecca E. Grinter: smetters:nspw:2002
  • Alex Groce: goodman:ndss:2018 groce:issta:2012 groce:issta:2017 holzmann:ieeetse:2011 zhang:issta:2014
  • John Grosen: shoshitaishvili:sp:2016 stephens:ndss:2016
  • Thomas R. Gross: gross:micro:2016 hennessy:micro:1982 subhlok:ppopp:1993
  • Jason Gross: kuepper:pldi:2023
  • Dan Grossman: bergan:oopsla:2014 grossman:esop:2002 grossman:pldi:2002 morrisett:wcsss:1999 nandi:pldi:2020 vega:pldi:2021 willsey:oopsla:2021 zorn:iscawddd:2017
  • Robert E. Gruber: chang:tocs:2012
  • Jim Gruen: anand:eurosys:2013
  • Samuel Gruetter: erbsen:pldi:2021
  • Orna Grumberg: clarke:cav:2000
  • Daniel Gruss: kocher:arxiv:2018 lipp:arxiv:2018
  • Benjamin Grégoire: barthe:iacr:2007
  • Ronghui Gu: costanzo:pldi:2016 gu:osdi:2016 li:sandp:2021 li:usenix:2021 nelson:sosp:2019 tao:sosp:2021
  • Tiancheng Gu: kovach:pldi:2023
  • Roberto Guanciale: dam:ted:2013 dam:trusted:2013 guanciale:ccs:2020
  • Marco Guarnieri: guarnieri:sandp:2020 vila:pldi:2020
  • Andrey Gubarev: corbett:tocs:2013
  • Khilan Gudka: watson:sandp:2015 woodruff:tocs:2019
  • William Gulland: jouppi:isca:2017
  • Shengjian Guo: chen:sp:2020
  • Aarti Gupta: garg:icse:2013 huang:todaes:2019 wang:pldi:2023 zhang:fmcad:2018
  • Arpan Gupta: kirankumar:fmcad:2012
  • Saurabh Gupta: sharma:pls:2013
  • Arie Gurfinkel: gennari:vstte:2018 gurfinkel:cav:2015 gurfinkel:fmcad:2017
  • Sankha Narayan Guria: guria:pldi:2023
  • Will Guss: chen:arxiv:2021
  • Samuel Z. Guyer: guyer:dsl:1999
  • Doğuhan Gümüşoğlu: deng:hasp:2019
  • Xuan-Linh Ha: jaffar:arxiv:2020
  • Werner Haas: kocher:arxiv:2018 lipp:arxiv:2018
  • Sarah de Haas: reid:hatra:2020
  • Sheikh Mahbub Habib: alexopoulos:tps:2020
  • Brian Hackett: condit:popl:2009 xie:bugs:2005
  • Liana Hadarean: barrett:cav:2011 stump:fmsd:2013
  • Zacharias Hadjilambrou: hadjilambrou:ispass:2019
  • Gregory D. Hager: peterson:padl:2001 reid:icse:1999
  • Robert Hagmann: jouppi:isca:2017
  • Constantine Halatsis: dam:ieeetc:1981
  • William Hallahan: liu:sigcomm:2018
  • Mike Hamburg: kocher:arxiv:2018 lipp:arxiv:2018
  • Kevin Hammond: jones:hasklang:1999 jones:hasklib:1999
  • HyungSeok Han: manes:ieeetse:2019
  • Choongwoo Han: manes:ieeetse:2019
  • Ben Hardekopf: tiwari:isca:2011
  • David S. Hardin: hardin:acl2:2006
  • David Harel: damm:fmoods:1999
  • Bharath Hariharan: sharma:pls:2013
  • Mark Harman: barr:tse:2015 jia:ieeetse:2010 papadakis:advances:2019
  • Andrew Harp: abadi:arxiv:2016
  • Robert Harper: xi:icfp:2001
  • Matthew Harren: condit:esop:2007
  • John Harrison: boulton:tpcd:1993
  • Luddy Harrison: dai:pldi:2005
  • Adrian Harwood: mavin:isre:2009
  • Niranjan Hasabnis: hasabnis:asplos:2016
  • John Hatcliff: hatcliff:compsurv:2012
  • Christophe Hauser: shoshitaishvili:sp:2016
  • Chris Hawblitzel: bond:usenix:2017 ferraiuolo:sosp:2017 hawblitzel:osdi:2014 yang:pldi:2010
  • Kim Hazelwood: lifshitz:wish:2011 luk:pldi:2005
  • Shaobo He: baranowski:atva:2018
  • Liang He: tremblay:micro:1996
  • Sean Heelan: galea:arxiv:2018 heelan:msc:2009 heelan:sec:2018
  • Kartik Hegde: hedge:micro:2019
  • Eric C. R. Hehner: hehner:vstte:2008
  • Gernot Heiser: amani:asplos:2016 cock:ccs:2014 ge:jce:2016 klein:sosp:2009
  • Christopher Heiser: corbett:tocs:2013
  • Claude Helmstetter: blanqui:rapido:2011
  • Fergus Henderson: chakravarty:haskffi:2003 jones:pldi:1999
  • Joe Hendrix: hendrix:itp:2019
  • John L. Hennessy: gross:micro:2016 hennessy:book:2011 hennessy:micro:1982
  • Tomas Henriksson: wolf:codes:2004
  • Ulrich Hensel: becker:fm:2016
  • Thomas A. Henzinger: beyer:ijsttt:2007 beyer:sas:2004 henzinger:spin:2003
  • John Herbert: boulton:tpcd:1993
  • Ariel Herbert-Voss: chen:arxiv:2021
  • Philippe Herrmann: cuoq:sefm:2012
  • Matthew Hertz: hertz:oopsla:2005
  • Stefan Heule: heule:ftfjp:2011 heule:pldi:2016 heule:vmcai:2013 weitz:icfp:2017
  • Mike Hibler: ford:sosp:1996 spencer:security:1999
  • Michael Hicks: grossman:pldi:2002
  • Matthew Hicks: yang:sandp:2016
  • J. Thomas Higgins: higgins:hldvt:2004
  • Fredrick J. Hill: chu:ieeedtc:1992
  • Mark A. Hillebrand: alkassar:vstte:2010
  • Geoffrey Hinton: shazeer:arxiv:2017
  • Ralf Hinze: jones:hasklang:1999 jones:hasklib:1999
  • Yoichi Hirai: becker:fm:2016
  • Alex Hixon: amani:asplos:2016
  • C. Richard Ho: jouppi:isca:2017
  • C. A. R. Hoare: jones:microsoft:2001 jones:pldi:1999
  • Aquinas Hobor: hobor:popl:2013
  • Peter Hochschild: corbett:tocs:2013
  • Peter H. Hochschild: hochschild:hotos:2021
  • Henry Hoffmann: gordon:asplos:2002
  • Doug Hogberg: jouppi:isca:2017
  • Michael Hohmuth: hohmuth:plos:2005 hohmuth:sigops:2002
  • Josie Holmes: groce:issta:2017
  • Andreas Holzer: holzer:cav:2008 holzer:hvc:2010
  • Gerard J. Holzmann: holzmann:ieeetse:2011
  • Sara Hooker: gale:arxiv:2019
  • David Van Horn: guria:pldi:2023
  • Mark Horowitz: lie:secpri:2003 lie:sosp:2003
  • Matt Horsnell: stephens:micro:2017
  • Brad Hosler: djordjevic:cj:1985
  • Falk Howar: dimjasevic:ifm:2018
  • Rosemary Howbrigg: barbacci:afips:1977
  • Jon Howell: hawblitzel:osdi:2014
  • David Hoyes: reid:cav:2016
  • Cătǎlin Hriţcu: hritcu:icfp:2013 pierce:book:2016
  • Cătălin Hrițcu: azevedo:post:2018
  • Yao Hsiao: hsiao:micro:2021
  • Wilson C. Hsieh: chang:tocs:2012 corbett:tocs:2013
  • Wilson C Hsieh: hsieh:usenix:2001
  • Olivia Hsu: bansal:pldi:2023
  • Gang Hu: cui:asplos:2013
  • Yufeng Hu: jiang:arxiv:2021
  • John Hu: jouppi:isca:2017
  • Wei Hu: oberg:dac:2010
  • Yu Hu: roy:fse:2018
  • Jeremy Hu: votipka:sp:2018
  • Weizhe Hua: ferraiuolo:dac:2017
  • Bo Huang: dai:pldi:2005
  • Bo-Yuan Huang: huang:todaes:2019
  • Yanping Huang: lepikhin:arxiv:2020
  • Jeff Huang: liu:icse:2020
  • Zhipeng Huang: ma:securecomm:2015
  • Paul Hudak: jones:hasklang:1999 jones:hasklib:1999 li:tocs:1989 peterson:padl:2001 reid:icse:1999
  • Gérard Huet: coquand:eurocal:1985
  • John Hughes: claessen:icfp:2000 hritcu:icfp:2013 jones:hasklang:1999 jones:hasklib:1999
  • John Zhuang Hui: li:sandp:2021 li:usenix:2021
  • Marieke Huisman: blom:ijsttt:2015
  • Robert Hundt: jouppi:isca:2017
  • Sebastian Hunt: clark:entcs:2002
  • Ray Hunt: pearce:compsurv:2013
  • Chung-Kil Hur: lopes:pldi:2021
  • Dan Hurt: jouppi:isca:2017
  • IEEE: systemverilog:ieee:2013
  • Julian Ibarz: jouppi:isca:2017
  • Berkin Ilbeyi: lockhart:ispass:2015
  • Omar Inverso: fischer:ase:2013
  • Ali Irturk: oberg:dac:2010
  • Geoffrey Irving: abadi:arxiv:2016
  • Michael Isard: abadi:arxiv:2016 maas:asplos:2020
  • Raphael Isemann: isemann:pldi:2023
  • Samin Ishtiaq: chong:asplos:2008
  • Marko Ivanković: ivankovic:fse:2019
  • Alexander Ivanov: liu:cpsspc:2018
  • Franjo Ivančić: babic:fse:2019 garg:icse:2013
  • Kenneth E. Iverson: falkoff:ibm:1964
  • Alexander Ivrii: gurfinkel:fmcad:2017
  • Rishabh Iyer: zaostrovnykh:sosp:2019
  • Thomas Jablin: bridges:micro:2007
  • Daniel Jackson: jackson:tosem:2002
  • Christian Jacobi: beyer:ijsttt:2006
  • Bart Jacobs: barnett:fmco:2005 barnett:vstte:2005 jacobs:nfm:2011 jacobs:vstte:2010 penninckx:nfm:2012 philippaerts:scp:2014 smans:ecoop:2009 smans:fmood:2010 vogels:fmoods:2011
  • Joxan Jaffar: jaffar:arxiv:2020
  • Joshua Jaffe: kocher:crypto:1999
  • Aaron Jaffey: jouppi:isca:2017
  • Suresh Jagannathan: sevcik:jacm:2013 zhou:pldi:2023
  • Ivan Jager: brumley:cav:2011 song:iciss:2008
  • Shantanu Jain: chen:arxiv:2021
  • Aamer Jaleel: hedge:micro:2019
  • Yeongjin Jang: yun:usenix:2018
  • Ciera Jaspan: sadowski:cacm:2018 sadowski:icse:2015
  • Daniel Jasper: wright:icsm:2013
  • Mohammad Mahdi Javanmard: maas:asplos:2020
  • Alek Jaworski: jouppi:isca:2017
  • Tomáš Jašek: chalupa:tacas:2021
  • Ross Jeffery: andronick:icse:2012
  • Jonas B. Jensen: jensen:popl:2013 kennedy:ppdp:2013
  • Somesh Jha: clarke:cav:2000
  • Ranjit Jhala: beyer:ijsttt:2007 beyer:sas:2004 gleissenthall:ccs:2021 henzinger:spin:2003 jhala:cav:2001 jhala:compsurv:2009 rondon:pldi:2008
  • Yangqing Jia: abadi:arxiv:2016
  • Yue Jia: jia:ieeetse:2010 papadakis:advances:2019
  • Chunfu Jia: ma:securecomm:2015
  • Limin Jia: vasudevan:secpriv:2013 vasudevan:usenix:2016
  • Muhui Jiang: jiang:arxiv:2021
  • Hong Jiang: wang:pldi:2007
  • Trevor Jim: grossman:pldi:2002
  • Wei Jin: jin:icst:2010
  • Alexandre Joannou: nienhuis:secpriv:2020 woodruff:tocs:2019
  • Kristofer Johannisson: burke:lacl:2005
  • Bill Johnson: chu:ieeedtc:1992
  • Brittany Johnson: johnson:icse:2013
  • Kirk L. Johnson: johnson:osr:1995
  • Dylan Johnson: nelson:sosp:2017
  • Maritza Johnson: reid:hatra:2020
  • Thomas Johnsson: jones:hasklang:1999 jones:hasklib:1999
  • Vania Joloboff: blanqui:rapido:2011 joloboff:dsetta:2015
  • Robert B. Jones: aagaard:charme:2001 aagaard:fmcad:2000
  • Simon L. Peyton Jones: chakravarty:haskffi:2003 jones:hasklang:1999 jones:hasklib:1999 jones:hw:1997 jones:microsoft:2001 jones:pldi:1999
  • Simon Peyton Jones: finne:icfp:1999
  • Mark Jones: jones:hasklang:1999 jones:hasklib:1999
  • Mike Jones: jones:sosp:1993
  • Llion Jones: vaswani:arxiv:2017
  • J. Joosten: dam:ieeetc:1981
  • Nicholas Joseph: chen:arxiv:2021
  • Rajeev Joshi: holzmann:ieeetse:2011 joshi:pldi:2002
  • Sarang Joshi: tahat:fmcad:2019
  • Norman P. Jouppi: gross:micro:2016 hennessy:micro:1982 jouppi:isca:2017 kumar:isca:2004
  • Norman Jouppi: jouppi:micro:2018
  • Jacques-Henri Jourdan: jung:cacm:2021 jung:popl:2017
  • Dejan Jovanović: barrett:cav:2011
  • Rafal Jozefowicz: abadi:arxiv:2016
  • Warren A. Hunt Jr.: albin:cli:1995 bevier:jar:1989 goel:acl2:2013 goel:fmcad:2014 goel:pcs:2017 hunt:jar:1989 hunt:lncs:1994 hunt:micro:1999 kaufmann:utaustin:2012 slobodova:memocode:2011
  • Heewoo Jun: chen:arxiv:2021
  • Benjamin Jun: kocher:crypto:1999
  • Ralf Jung: jung:cacm:2021 jung:popl:2017 jung:popl:2020 yanovski:unknown:2021
  • René Just: ivankovic:fse:2019
  • M. Frans Kaashoek: dabek:sigops:2002 efstathopoulos:sosp:2005 johnson:osr:1995 krohn:sosp:2007 wang:sosp:2013
  • Temesghen Kahsai: gennari:vstte:2018 gurfinkel:cav:2015
  • Lukasz Kaiser: abadi:arxiv:2016 chen:arxiv:2021 vaswani:arxiv:2017
  • Roope Kaivola: kaivola:cav:2009
  • Konstantinos Kallas: chong:icse:2020
  • Gauri Kambhatla: coblenz:arxiv:2020
  • Shoaib Kamil: kjolstad:oopsla:2017
  • Jeehoon Kang: jung:popl:2020
  • Min Gyung Kang: song:iciss:2008
  • Pranav Kant: mukherjee:oopsla:2020
  • Sebastian Kanthak: corbett:tocs:2013
  • Jared Kaplan: chen:arxiv:2021
  • Alexander Kaplan: jouppi:isca:2017
  • Manos Kapritsos: bond:usenix:2017
  • Arjun Kapur: bhatt:sefm:2003
  • Timotej Kapus: kapus:fse:2019
  • Michal Karczmarek: gordon:asplos:2002 thies:ppopp:2005
  • Ioannis T. Kassios: kassios:fm:2006
  • Ryan Kastner: oberg:dac:2010 tiwari:isca:2011
  • Matt Kaufmann: goel:acl2:2013 goel:fmcad:2014 goel:pcs:2017 kaufmann:ieeetse:1997 kaufmann:utaustin:2012
  • Bharat Kaul: qin:hpca:2020
  • Ming Kawaguci: rondon:pldi:2008
  • Will Keen: reid:cav:2016
  • Katarína Kejstová: baranova:atva:2017
  • Stephen Kell: bastian:oopsla:2019
  • Kevin Kellar: groce:issta:2017
  • Gabriele Keller: amani:asplos:2016
  • Andrew Kennedy: jensen:popl:2013 kennedy:ppdp:2013
  • M. Erkan Keremoglu: beyer:cav:2011
  • Gabriel Kerneis: gray:micro:2015
  • Matthew Kerner: shamis:arxiv:2021
  • Danny Kershaw: woh:micro:2008
  • Harshit Khaitan: jouppi:isca:2017
  • Narges Khakpour: khakpour:cpp:2013
  • Haider Khan: rutledge:icse:2019
  • Kareem Khazem: chong:icse:2020 cook:cav:2018
  • Heidy Khlaaf: chen:arxiv:2021
  • Sarfraz Khurshid: khurshid:tacas:2003 qiu:icse:2017 qiu:nfm:2018 siddiqui:oopsla:2012 yang:issta:2012
  • Rami Gökhan Kici: gleissenthall:ccs:2021
  • Gregor Kiczales: kiczales:iwoos:1991
  • Daniel Killebrew: jouppi:isca:2017
  • Jieung Kim: gu:osdi:2016
  • Yoongu Kim: kim:isca:2014
  • Jeremie Kim: kim:isca:2014
  • Taesoo Kim: yun:usenix:2018
  • Johannes Kinder: kuznetsov:pldi:2012
  • Tim King: babic:fse:2019 barrett:cav:2011
  • Samuel Talmadge King: mai:asplos:2013
  • Marinos Kintis: papadakis:advances:2019
  • V. M. Achutha KiranKumar: kirankumar:fmcad:2012
  • Florent Kirchner: baudin:cacm:2021 cuoq:sefm:2012
  • Fredrik Kjolstad: bansal:pldi:2023 kjolstad:oopsla:2017 kovach:pldi:2023
  • Steve Klabnik: klabnik:book:2018
  • Nils Klarlund: godefroid:pldi:2005
  • Artur Klauser: luk:pldi:2005
  • Gerwin Klein: amani:asplos:2016 andronick:icse:2012 klein:sosp:2009 murray:secpriv:2013 sewell:pldi:2013 syeda:itp:2018
  • Manuel Klimek: wright:icsm:2013
  • Felix S. Klock: matsakis:hilt:2014
  • Matthew Knight: chen:arxiv:2021
  • Amy J. Ko: myers:computer:2016
  • Naoki Kobayashi: matsushita:esop:2020
  • Andy Koch: jouppi:isca:2017
  • Paul Kocher: kocher:arxiv:2018 kocher:crypto:1999 lipp:arxiv:2018
  • Erwin A. de Kock: wolf:codes:2004
  • Eugene Kogan: corbett:tocs:2013
  • Eng Kiat Koh: ananda:osr:1992
  • David Kohlbrenner: vicarte:isca:2021
  • Eddie Kohler: efstathopoulos:sosp:2005 krohn:sosp:2007 zeldovich:osdi:2006
  • Rafal Kolanski: andronick:icse:2012 klein:sosp:2009
  • Praneeth Kolichala: kovach:pldi:2023
  • Anvesh Komuravelli: gurfinkel:cav:2015
  • Soonho Kong: demoura:cade:2015
  • Lukáš Korenčik: korencik:qrs:2020
  • Paulette Koronkevich: coblenz:arxiv:2020
  • Eric Koskinen: liu:arxiv:2021
  • Nikolai Kosmatov: baudin:cacm:2021 blanchard:fmics:2015 cuoq:sefm:2012 mangano:crisis:2016
  • Yurii Kostyukov: kostyukov:pldi:2021
  • Phani Raj Goutham Kotcharlakota: pandey:issta:2019
  • Aparna Kotha: anand:eurosys:2013
  • Erik van der Kouwe: isemann:pldi:2023
  • Scott Kovach: kovach:pldi:2023
  • Mikhail Kovalev: alkassar:vstte:2012
  • Marcin Kowalczyk: chakravarty:haskffi:2003
  • Christoforos Kozyrakis: kozyrakis:phd:2002
  • Christos Kozyrakis: sanchez:isca:2013
  • Robbert Krebbers: jung:cacm:2021 jung:popl:2017 sammler:pldi:2021
  • Maxim Krikun: lepikhin:arxiv:2020
  • Tushar Krishna: qin:hpca:2020
  • Shriram Krishnamurthi: krishnamurthi:fm:2019 krishnamurthi:snapl:2019
  • Arvind Krishnamurthy: fonseca:ecs:2017 nelson:osr:2020
  • Neel R. Krishnaswami: armstrong:popl19:2019 armstrong:spisa:2019 krishnaswami:tldi:2010
  • Daniel Kroening: clarke:tacas:2004 cook:cav:2018 galea:arxiv:2018 heelan:sec:2018 kroening:dac:2001 kroening:itg:2000
  • Taddeus Kroes: altinay:eurosys:2020
  • Maxwell Krohn: efstathopoulos:sosp:2005 krohn:sosp:2007
  • Christopher Kruegel: shoshitaishvili:sp:2016 stephens:ndss:2016
  • Gretchen Krueger: chen:arxiv:2021
  • Wido Kruijtzer: wolf:codes:2004
  • Daniel Kröning: beyer:ijsttt:2006
  • Manjunath Kudlur: abadi:arxiv:2016
  • Joel Kuepper: kuepper:pldi:2023
  • Ramana Kumar: fox:cpp:2017 kumar:popl:2014 loow:pldi:2019 tan:icfp:2016
  • Naveen Kumar: jouppi:isca:2017
  • Rakesh Kumar: kumar:isca:2004
  • César Kunz: becker:fm:2016
  • Orna Kupferman: kupferman:concur:2006
  • Markus Kusano: babic:fse:2019
  • Volodymyr Kuznetsov: chipounov:asplos:2011 chipounov:tcs:2012 kuznetsov:pldi:2012 wagner:hotos:2013
  • Tadeáš Kučera: baranova:atva:2017
  • Hyoukjun Kwon: qin:hpca:2020
  • Boris Köpf: guarnieri:sandp:2020 vila:pldi:2020
  • Ulrich Kühne: kuhne:fmcad:2010
  • Dave LaFollette: bhatt:sefm:2003
  • Thomas D. LaToza: myers:computer:2016
  • Hanna Lachnitt: mosier:isca:2022
  • Steve Lacy: jouppi:isca:2017
  • Kevin Laeufer: dutra:icse:2018 polgreen:cav:2022
  • Shuvendu K. Lahiri: chatterjee:tacas:2007 condit:popl:2009 lahiri:cav:2003 lahiri:hldvt:2001 lal:cav:2012 vanegue:sandp:2013
  • Konrad Lai: kim:isca:2014
  • Akash Lal: lal:cav:2012 lal:fse:2014 lal:pldi:2015
  • Andrew A. Lamb: gordon:asplos:2002
  • Leslie Lamport: abadi:tcs:1991
  • Leonidas Lampropoulos: hritcu:icfp:2013
  • Vincent Laporte: barthe:iacr:2007
  • David Laprell: schemmel:cav:2020
  • Chris Lattner: lattner:cgo:2004
  • James Laudon: jouppi:isca:2017
  • Hugh C. Lauer: lauer:osr:1979
  • Johannes Lauinger: lauinger:trustcom:2020
  • Henrich Lauko: baranova:atva:2017 korencik:qrs:2020
  • John Launchbury: jones:hasklang:1999 jones:hasklib:1999
  • Ben Laurie: reid:hatra:2020 watson:sandp:2015 woodruff:isca:2014
  • James Law: jouppi:isca:2017
  • Diemthu Le: jouppi:isca:2017
  • Ton-Chanh Le: liu:arxiv:2021
  • Quoc Le: shazeer:arxiv:2017
  • Chris Leary: jouppi:isca:2017
  • Gary T. Leavens: hatcliff:compsurv:2012
  • Ji Hye Lee: kim:isca:2014
  • Donghyuk Lee: kim:isca:2014
  • Ruby B. Lee: lee:micro:1996
  • HyoukJoong Lee: lepikhin:arxiv:2020
  • Jeongkeun Lee: liu:sigcomm:2018
  • Juneyoung Lee: lopes:pldi:2021
  • Vincent T. Lee: vanhattum:asplos:2021
  • Sangho Lee: yun:usenix:2018
  • Chris Leger: gordon:asplos:2002
  • Daan Leijen: chakravarty:haskffi:2003 finne:icfp:1999
  • Jan Leike: chen:arxiv:2021
  • Dirk Leinenbach: beyer:ijsttt:2006 leinenbach:fm:2009
  • K. Rustan M. Leino: barnett:cacm:2011 barnett:cassis:2004 barnett:fmco:2005 barnett:vstte:2005 bond:usenix:2017 hatcliff:compsurv:2012 heule:ftfjp:2011 heule:vmcai:2013 legoues:sefm:2011 leino:fosad:2007 leino:icse:2013 leino:informatics:2001 leino:lpair:2010 leino:sac:2009 leino:tacas:2010
  • Thomas Lemberger: beyer:ase:2019 beyer:hvc:2017
  • Matthieu Lemerre: blanchard:fmics:2015 nicole:arxiv:2020
  • Caroline Lemieux: babic:fse:2019 padhye:issta:2019 padhye:oopsla:2019
  • Ond{\v r}ej Lengál: chen:pldi:2023
  • Simone Lenti: angelini:vizsec:2019
  • Rodolphe Lepigre: sammler:pldi:2021
  • Dmitry Lepikhin: lepikhin:arxiv:2020
  • Jay Lepreau: eide:aspse:2001 eide:icse:2002 ford:sosp:1996 ford:sosp:1997 regehr:rtss:2003 reid:osdi:2000 spencer:security:1999
  • Flavio Lerda: clarke:tacas:2004
  • Benjamin S. Lerner: krishnamurthi:snapl:2019
  • Sorin Lerner: tate:popl:2009
  • Xavier Leroy: leroy:cacm:2009
  • M. Letheren: dam:ieeetc:1981
  • Josh Levenberg: abadi:arxiv:2016 potvin:cacm:2016
  • Michael Y. Levin: godefroid:acmq:2012
  • Timothy Levin: tiwari:isca:2011
  • Philip Levis: gay:pldi:2003 levy:apsys:2017 levy:plos:2015 levy:sosp:2017
  • Amit Levy: levy:apsys:2017 levy:plos:2015 levy:sosp:2017
  • Corey Lewis: murray:secpriv:2013
  • Peng Li: chen:sp:2020
  • Hongyi Li: corbett:tocs:2013
  • Long Li: dai:pldi:2005
  • Shih-Wei Li: li:sandp:2021 li:usenix:2021 tao:sosp:2021
  • Xupeng Li: li:sandp:2021 li:usenix:2021 tao:sosp:2021
  • Kai Li: li:tocs:1989
  • Xun Li: tiwari:isca:2009 tiwari:isca:2011
  • Pengfei Li: xu:cav:2021
  • Percy Liang: sharma:pls:2013
  • Zhenkai Liang: song:iciss:2008
  • David Lie: lie:secpri:2003 lie:sosp:2003
  • Daniel Liew: liew:fse:2019
  • Yair Lifshitz: lifshitz:wish:2011
  • Japheth Lim: amani:asplos:2016
  • Junghee Lim: lim:toplas:2013
  • Jyun-Ao Lin: chen:pldi:2023
  • Albert Lin: ford:sosp:1997
  • Jasper Lin: gordon:asplos:2002
  • Calvin Lin: guyer:dsl:1999
  • Yuan Lin: lin:sdr:2006 lin:sips:2006 reid:cases:2008 woh:micro:2008
  • Shaokai Lin: polgreen:cav:2022
  • Zhiqiang Lin: zhang:apsec:2018
  • Per Lindgren: lindner:indin:2018 lindner:indin:2019
  • Marcus Lindner: lindner:indin:2018 lindner:indin:2019
  • Moritz Lipp: kocher:arxiv:2018 lipp:arxiv:2018
  • Zhuyuan Liu: jouppi:isca:2017
  • Yuandong Cyrus Liu: liu:arxiv:2021
  • Jed Liu: liu:cpsspc:2018 liu:sigcomm:2018
  • Peiming Liu: liu:icse:2020
  • Zongyuan Liu: liu:pldi:2023
  • Zhengyang Liu: lopes:pldi:2021 mukherjee:oopsla:2020
  • Weijie Liu: ma:securecomm:2015
  • Andrew Liu: smith:maps:2021
  • Vsevolod Livinskii: livinskii:pldi:2023
  • Inbal Livni: lifshitz:wish:2011
  • Paul Liétar: lietar:ismm:2019
  • Alexander Lloyd: corbett:tocs:2013
  • Derek Lockhart: lockhart:ispass:2015
  • Alexey Loginov: noonan:pldi:2016
  • Francesco Logozzo: cousot:oopsla:2012 distefano:cacm:2019 fahndrich:foveoos:2010 logozzo:vmcai:2011
  • Florian Lonsing: brummayer:sat:2010
  • Nuno P. Lopes: lopes:pldi:2015 lopes:pldi:2021
  • Jacob R. Lorch: bond:usenix:2017 hawblitzel:osdi:2014
  • Peter Loscocco: spencer:security:1999
  • Frédéric Loulergue: blanchard:fmics:2015
  • Alberto Lovato: ernst:icse:2016
  • Gavin Lowe: lowe:csfw:2015
  • Geoff Lowney: luk:pldi:2005
  • Long Lu: chen:sp:2020
  • Yuan Lu: clarke:cav:2000
  • Corine Lu: deng:hasp:2019
  • Shihua Lu: saha:pldi:2023
  • Kyle Lucke: jouppi:isca:2017
  • Kasper Luckow: dimjasevic:ifm:2018
  • Guei-Yuan Lueh: wang:pldi:2007
  • David Lugato: kjolstad:oopsla:2017
  • Chi-Keung Luk: luk:pldi:2005
  • Mark Luk: seshadri:sosp:2007
  • Alan Lundin: jouppi:isca:2017
  • Xiapu Luo: jiang:arxiv:2021
  • Mulong Luo: liu:cpsspc:2018
  • Ziqing Luo: siegel:sc:2015
  • Daniel Lustig: lustig:asplos:2016 manerkar:micro:2017
  • Michael Lyu: xu:arxiv:2021
  • Steven Lyubomirsky: smith:maps:2021 weitz:icfp:2017
  • Andreas Lööw: loow:pldi:2019
  • Haoyu Ma: ma:securecomm:2015
  • Xinjie Ma: ma:securecomm:2015
  • Martin Maas: maas:asplos:2020
  • David R. MacIver: maciver:ecoop:2020
  • Gordon MacKean: jouppi:isca:2017
  • Damiano Macedonio: ernst:icse:2016
  • Andrew Macvean: macvean:ppig:2016
  • Antoine Madet: amadio:fpara:2014
  • Parthasarathy Madhusudan: mai:asplos:2013
  • Naoto Maeda: garg:icse:2013
  • Sergio Maffeis: bodin:popl:2014
  • Julien Maffre: shamis:arxiv:2021
  • Adriana Maggiore: jouppi:isca:2017
  • Rasool Maghareh: jaffar:arxiv:2020
  • Grigorios Magklis: stephens:micro:2017
  • Scott A. Mahlke: lin:sdr:2006 lin:sips:2006 woh:micro:2008
  • Maire Mahony: jouppi:isca:2017
  • Haohui Mai: mai:asplos:2013
  • Rupak Majumdar: ball:pldi:2001 beyer:ijsttt:2007 beyer:sas:2004 henzinger:spin:2003 jhala:compsurv:2009 majumdar:icse:2007
  • Yiorgos Makris: bidmeshki:iccd:2019
  • Pasquale Malacaria: clark:entcs:2002
  • Sharad Malik: huang:todaes:2019 malik:cacm:2009 zhang:fmcad:2018
  • Dan Mane: abadi:arxiv:2016
  • Yatin A. Manerkar: manerkar:micro:2017 polgreen:cav:2022
  • Yatin Manerkar: zhang:fmcad:2018
  • Valentin Manes: bohme:fse:2020
  • Frédéric Mangano: mangano:crisis:2016
  • Stefan Mangard: kocher:arxiv:2018 lipp:arxiv:2018
  • Petros Maniatis: martignoni:asplos:2012 vasudevan:usenix:2016
  • Muhammad Numair Mansur: mansur:arxiv:2020
  • Heiko Mantel: mantel:pls:2007 mantel:sp:2001
  • Valentin J.M. Manès: manes:ieeetse:2019
  • Luc Maranget: alglave:toplas:2014 flur:popl:2016 flur:popl:2017 sarkar:pldi:2011 simner:pls:2020
  • Claude Marché: filliatre:cav:2007 filliatre:fem:2004
  • Andre V. Marianiello: siegel:sc:2015
  • Darko Marinov: sen:fse:2005
  • Jean-Yves Marion: david:issta:2016
  • A. Theodore Markettos: woodruff:tocs:2019
  • Simon Marlow: chakravarty:haskffi:2003 jones:pldi:1999
  • André Maroneze: baudin:cacm:2021
  • Lorenzo Martignoni: martignoni:asplos:2012 paleari:issta:2010
  • Robert Martin: martin:isca:2012
  • Alejandro Martinez: stephens:micro:2017
  • Margaret Martonosi: lustig:asplos:2016 manerkar:micro:2017 zhang:fmcad:2018
  • Chris Mason: dixit:arxiv:2021
  • Alexia Massalin: massalin:asplos:1987
  • Christoph Matheja: astrauskas:oopsla:2020 wolff:draft:2021
  • Daniel Matichuk: murray:secpriv:2013
  • Nicholas D. Matsakis: matsakis:hilt:2014
  • Yusuke Matsushita: matsushita:esop:2020
  • Andrea Mattavelli: braione:icse:2018 trabish:icse:2018
  • Josh Matthews: anderson:icse:2016
  • Stefan Maus: maus:amast:2008
  • Alistair Mavin: mavin:isre:2009
  • Katie Mayer: chen:arxiv:2021
  • David Maze: gordon:asplos:2002
  • Krzysztof Maziarz: shazeer:arxiv:2017
  • David Mazières: dabek:sigops:2002 efstathopoulos:sosp:2005 zeldovich:osdi:2006
  • Bita Mazloom: tiwari:asplos:2009
  • Michelle L. Mazurek: votipka:sp:2018
  • Manuel Mazzara: bruel:compsurv:2021
  • Keegan McAllister: anderson:icse:2016
  • CONOR McBRIDE: mcbride:jfp:2002
  • Stephen McCamant: martignoni:asplos:2012
  • Sam McCandlish: chen:arxiv:2021
  • Jonathan McCune: vasudevan:secpriv:2013
  • Bob McGrew: chen:arxiv:2021
  • Nick McKeown: liu:sigcomm:2018
  • Kathryn S. McKinley: maas:asplos:2020
  • James McKinna: amadio:fpara:2014
  • Joseph McMahan: smith:maps:2021 vega:pldi:2021
  • Kenneth L. McMillan: jhala:cav:2001 mcmillan:cav:1998 mcmillan:ecs:2003 mcmillan:sigcomm:2019
  • Phil McMinn: barr:tse:2015
  • Scott McPeak: necula:cc:2002
  • Ross Mcilroy: mcilroy:arxiv:2019
  • Sergey Mechtaev: mechtaev:fse:2018
  • Hannes Mehnert: bishop:jacm:2019
  • Severin Meier: marco:cav:2021
  • Erik Meijer: chakravarty:haskffi:2003 finne:icfp:1999 jones:hasklang:1999 jones:hasklib:1999
  • Thomas F. Melham: aagaard:fmcad:2000
  • Tom Melham: gao:fmcad:2021 heelan:sec:2018
  • Ali S. Meli: gordon:asplos:2002
  • Sergey Melnik: corbett:tocs:2013
  • Kayvan Memarian: sammler:pldi:2021
  • Charith Mendis: chen:iiswc:2019
  • David Menendez: lopes:pldi:2015
  • Jacob Menick: evci:arxiv:2021
  • Florian Merz: merz:vstte:2012
  • José Meseguer: goguen:secpriv:1982 goguen:secpriv:1984
  • Bertrand Meyer: bruel:compsurv:2021
  • Heinrich Meyr: zivojnovic:vlsi:1996
  • Mira Mezini: lauinger:trustcom:2020
  • Mae Milano: brandon:pldi:2023
  • Kieran Miller: jouppi:isca:2017
  • Barton P. Miller: miller:cacm:1990
  • Liam Miller-Cushon: sadowski:cacm:2018
  • Todd Millstein: ball:pldi:2001
  • Robin Milner: milner:jcss:1978
  • Dimiter Milushev: milushev:forte:2012
  • Azalia Mirhoseini: shazeer:arxiv:2017
  • Pamela Mishkin: chen:arxiv:2021
  • Prabhat Mishra: mishra:book:2008
  • Ashish Mishra: zhou:pldi:2023
  • Vedant Misra: chen:arxiv:2021
  • John C. Mitchell: lie:secpri:2003
  • Jack Moffitt: anderson:icse:2016
  • Daniel Moghimi: cauligi:sandp:2022
  • Jeffrey C. Mogul: hochschild:hotos:2021
  • David Molnar: godefroid:acmq:2012
  • Rosemary Monahan: leino:sac:2009
  • Benjamin Monate: cuoq:sefm:2012
  • Rajat Monga: abadi:arxiv:2016
  • Jean-François Monin: blanqui:rapido:2011 joloboff:dsetta:2015
  • Felipe R. Monteiro: chong:icse:2020 monteiro:arxiv:2019
  • Sherry Moore: abadi:arxiv:2016
  • J. Strother Moore: bevier:jar:1989 kaufmann:ieeetse:1997
  • Simon W. Moore: nienhuis:secpriv:2020 watson:sandp:2015 woodruff:isca:2014 woodruff:tocs:2019
  • Federico Mora: polgreen:cav:2022
  • José F. Morales: guarnieri:sandp:2020
  • Dmitry Mordvinov: kostyukov:pldi:2021
  • Evan Morikawa: chen:arxiv:2021
  • Robert Morris: dabek:sigops:2002 efstathopoulos:sosp:2005 krohn:sosp:2007
  • Greg Morrisett: grossman:pldi:2002 morrisett:pldi:2012 morrisett:wcsss:1999 nanevski:icfp:2008 smith:esop:2000 walker:tic:2001
  • Adam Morrison: vicarte:isca:2021
  • Nicholas Mosier: mosier:isca:2022
  • Michał Moskal: cohen:cav:2010 cohen:entcs:2009 legoues:sefm:2011 maus:amast:2008
  • Laurent Mounier: boespflug:fdtc:2020 david:issta:2016 recoules:ase:2019
  • Leonardo de Moura: barrett:mlf:2015 demoura:cacm:2011 demoura:cade:2015 demoura:tacas:2008
  • Yannick Moy: cuoq:sefm:2012
  • Jan Mrázek: baranova:atva:2017
  • Trevor N. Mudge: lin:sdr:2006 lin:sips:2006 woh:micro:2008
  • Silvia Mueller: kroening:itg:2000
  • Manasij Mukherjee: mukherjee:oopsla:2020
  • Robert Mullenix: lin:sdr:2006
  • Dominic P. Mulligan: amadio:fpara:2014 gray:micro:2015 hsiao:micro:2021 mulligan:icfp:2014
  • Prashanth Mundkur: armstrong:arw:2018 armstrong:popl19:2019 armstrong:spisa:2019
  • Mira Murati: chen:arxiv:2021
  • Steven J. Murdoch: watson:sandp:2015
  • Emerson Murphy-Hill: johnson:icse:2013
  • Derek Murray: abadi:arxiv:2016
  • Toby Murray: amani:asplos:2016 cock:ccs:2014 murray:secdev:2018 murray:secpriv:2013
  • Saidgani Musaev: sardar:access:2021
  • Robert Muth: luk:pldi:2005
  • Bharath Muthiah: dixit:arxiv:2021
  • Onur Mutlu: kim:isca:2014
  • David Mwaura: corbett:tocs:2013
  • Alan Mycroft: mycroft:esop:1999
  • Brad A. Myers: coblenz:arxiv:2020 myers:computer:2016
  • Andrew C. Myers: ferraiuolo:asplos:2017 ferraiuolo:ccs:2018 ferraiuolo:dac:2017 liu:cpsspc:2018 myers:csfw:2004 zdancewic:csfw:2001 zdancewic:csfw:2003 zhang:asplos:2015 zhang:toplas:2017
  • John Mylopoulos: fuxman:isre:2001
  • Magnus O. Myreen: fox:cpp:2017 fox:itp:2010 kumar:popl:2014 loow:pldi:2019 myreen:fse:2007 myreen:itp:2011 myreen:itp:2012 myreen:popl:2010 myreen:tphols:2009 sarkar:popl:2009 sewell:cacm:2010 sewell:pldi:2013 tan:icfp:2016
  • Shashidhar Mysore: tiwari:asplos:2009
  • Jan Tobias Mühlberg: penninckx:nfm:2012 philippaerts:scp:2014
  • Max Mühlhüuser: alexopoulos:tps:2020
  • Peter Müller: astrauskas:oopsla:2019 astrauskas:oopsla:2020 barnett:cacm:2011 becker:tacas:2019 eilers:pldi:2023 hatcliff:compsurv:2012 heule:ftfjp:2011 heule:vmcai:2013 leino:fosad:2007 marco:cav:2021 muller:vmcai:2016 wolff:draft:2021
  • Yeoul Na: altinay:eurosys:2020
  • Vineet Nadella: qin:hpca:2020
  • Rahul Nagarajan: jouppi:isca:2017
  • Santosh Nagarakatte: lopes:pldi:2015
  • Yutaka Nagashima: amani:asplos:2016
  • David Nagle: corbett:tocs:2013
  • Armaghan Naik: kaivola:cav:2009
  • Mayur Naik: naik:popl:2012 xie:bugs:2005
  • Keiko Nakata: becker:fm:2016
  • Chandrakana Nandi: nandi:pldi:2020 willsey:oopsla:2021 willsey:popl:2021
  • Aleksandar Nanevski: nanevski:icfp:2008 nanevski:oopsla:2019
  • Naren Narasimhan: kaivola:cav:2009
  • Arjun Narayan: hawblitzel:osdi:2014
  • Vikram Narayanan: narayanan:hotos:2019
  • Venkatesh Narayanan: tremblay:micro:1996
  • Ravi Narayanaswami: jouppi:isca:2017
  • Francesco Zappa Nardelli: bastian:oopsla:2019 sarkar:popl:2009 sevcik:jacm:2013 sewell:cacm:2010
  • Joseph Nash: altinay:eurosys:2020
  • Daiva Naudziuniene: bodin:popl:2014
  • David A. Naumann: naumann:fmco:2004
  • Alexandr Naumchev: bruel:compsurv:2021
  • Jorge A. Navas: gennari:vstte:2018 gurfinkel:cav:2015
  • Nandeeka Nayak: vicarte:isca:2021
  • Matthew Naylor: nienhuis:secpriv:2020
  • George C. Necula: condit:esop:2007 necula:cc:2002 necula:pldi:2000 necula:popl:1997
  • Roger M. Needham: lauer:osr:1979
  • Bruce Jay Nelson: birrell:tocs:1984
  • Greg Nelson: joshi:pldi:2002
  • Tim Nelson: krishnamurthi:fm:2019
  • Luke Nelson: nelson:osr:2020 nelson:sosp:2017 nelson:sosp:2019 sigurbjarnarson:osdi:2018
  • Hamed Nemati: dam:ted:2013 dam:trusted:2013 mosier:isca:2022
  • Nicholas Nethercote: nethercote:pldi:2007
  • Peter G. Neumann: nienhuis:secpriv:2020 watson:sandp:2015 woodruff:isca:2014 woodruff:tocs:2019
  • Daniel Nevill: stewart:difts:2014
  • Daniel Neville: galea:arxiv:2018
  • Allen C. Newell: barbacci:cmu:1972 bell:afips:1970 bell:book:1971
  • James Newsome: song:iciss:2008 vasudevan:secpriv:2013
  • Ray Ni: jouppi:isca:2017
  • Simone Nicchi: angelini:vizsec:2019
  • Alex Nichol: chen:arxiv:2021
  • Carol Nichols: klabnik:book:2018
  • Olivier Nicole: nicole:arxiv:2020
  • Jason Nieh: li:sandp:2021 li:usenix:2021 tao:sosp:2021
  • Aina Niemetz: niemetz:jsat:2015
  • Kyndylan Nienhuis: flur:popl:2017 nienhuis:secpriv:2020
  • Rachit Nigam: nigam:pldi:2023 rachit:pldi:2023 vanhattum:asplos:2021
  • Nikos Nikoleris: hsiao:micro:2021
  • Tobias Nipkow: nipkow:book:2002
  • Kathy Nix: jouppi:isca:2017
  • James Noble: clarke:oopsla:1998
  • Matt Noonan: noonan:pldi:2016
  • Jan Nordholz: nordholz:eurosys:2020
  • Thomas Nordin: jones:hw:1997
  • Aditya V. Nori: godefroid:popl:2010 sharma:pls:2013
  • Thomas Norrie: jouppi:isca:2017
  • Michael Norrish: bishop:jacm:2019 klein:sosp:2009 kumar:popl:2014 loow:pldi:2019 tan:icfp:2016
  • Robert M. Norton: armstrong:arw:2018 armstrong:popl19:2019 armstrong:spisa:2019 nienhuis:secpriv:2020 woodruff:isca:2014 woodruff:tocs:2019
  • Robert Norton: watson:sandp:2015
  • Mark Novak: mavin:isre:2009
  • Jakub Novák: chalupa:tacas:2021
  • Martin Nowack: busse:issta:2020
  • Mats Näslund: baumann:eucnc:2016
  • Andres Nötzli: brown:asplos:2016
  • Liam O'Connor: amani:asplos:2016
  • J. Michael O'Connor: tremblay:micro:1996
  • David R. O'Hallaron: subhlok:ppopp:1993
  • Peter W. O'Hearn: berdine:aplas:2005 berdine:cav:2007 berdine:fmco:2005 bornat:popl:2005 calcagno:popl:2009 calcagno:sas:2006 distefano:cacm:2019 distefano:tacas:2006 ohearn:cacm:2019 ohearn:popl:2019 ohearn:tcs:2007
  • John W. O'Leary: aagaard:fmcad:2000
  • Jason Oberg: oberg:dac:2010
  • Jason K. Oberg: tiwari:isca:2011
  • Duckki Oe: stump:fmsd:2013
  • Chris Olah: abadi:arxiv:2016
  • Kunle Olukotun: bansal:pldi:2023
  • Mark Omernick: jouppi:isca:2017
  • Soner Onder: bastian:adl:2005
  • Paul van Oorschot: murray:secdev:2018
  • Greg Ordy: chu:ieeedtc:1992
  • Alessandro Orso: jin:icst:2010 rutledge:icse:2019 rutledge:icse:2020
  • John Ousterhout: ousterhout:usenix:1996
  • Scott Owens: kumar:popl:2014 mulligan:icfp:2014 sarkar:popl:2009 sewell:cacm:2010 tan:icfp:2016
  • Christof Paar: becker:ches:2013
  • Anne Pacalet: cuoq:sefm:2012
  • Rohan Padhye: padhye:issta:2019 padhye:oopsla:2019
  • Subbarao Palacharla: palacharla:micro:1995
  • Roberto Paleari: paleari:issta:2010
  • Pavel Panchekha: flatt:fmcad:2022 willsey:popl:2021
  • Aurojit Panda: balasubramanium:hotos:2017
  • Sudhindra Pandav: kaivola:cav:2009
  • Awanish Pandey: pandey:issta:2019 roy:fse:2018
  • Chengbin Pang: liu:arxiv:2021
  • Sven Panne: chakravarty:haskffi:2003
  • Pat Pannuto: levy:apsys:2017 levy:plos:2015 levy:sosp:2017
  • Mike Papadakis: padhye:issta:2019 papadakis:advances:2019
  • Michalis Papaevripides: papaevripides:acmtps:2021
  • Sunjae Park: rutledge:icse:2019
  • Alan Parker: barbacci:computer:1978
  • Michael A. Parker: regehr:rtss:2003
  • Matthew Parkinson: bornat:popl:2005 dinsdale-young:popl:2013 hatcliff:compsurv:2012 parkinson:popl:2005
  • Matthew J. Parkinson: lietar:ismm:2019
  • Gennaro Parlato: fischer:ase:2013
  • Niki Parmar: vaswani:arxiv:2017
  • Bryan Parno: bond:usenix:2017 ferraiuolo:sosp:2017 hawblitzel:osdi:2014
  • Andrei Paskevich: filliatre:esop:2013
  • Ashan Pathirane: reid:cav:2016
  • Nishant Patil: jouppi:isca:2017 jouppi:micro:2018
  • Harish Patil: luk:pldi:2005
  • David A. Patterson: hennessy:book:2011 patterson:cacm:1985 patterson:sigarch:1980
  • David Patterson: jouppi:isca:2017 jouppi:micro:2018
  • Daniel Patterson: weiss:arxiv:2018
  • Wolfgang J. Paul: alkassar:vstte:2010 alkassar:vstte:2012 beyer:ijsttt:2006 kroening:dac:2001 kroening:itg:2000
  • Lawrence C. Paulson: nipkow:book:2002
  • Mikhail Pavlov: chen:arxiv:2021
  • Peter M. Pawlowski: cadar:tiss:2008
  • Mathias Payer: difederico:cc:2017 szekeres:sandp:2013
  • Michael Pearce: pearce:compsurv:2013
  • Luis Pedrosa: zaostrovnykh:sosp:2019
  • Stefan Pees: zivojnovic:vlsi:1996
  • Edgar Pek: mai:asplos:2013
  • Alex Peleg: peleg:micro:1996
  • Michael Pellauer: hedge:micro:2019 manerkar:micro:2017
  • Sneha Pendharkar: dixit:arxiv:2021
  • Willem Penninckx: jacobs:nfm:2011 penninckx:nfm:2012 philippaerts:scp:2014
  • Narayana Penukonda: jouppi:isca:2017
  • Stuart Pernsteiner: toman:ase:2015
  • Valentin Perrelle: baudin:cacm:2021
  • Adrian Perrig: seshadri:sosp:2007
  • Suzette Person: person:fse:2008
  • John Peterson: jones:hasklang:1999 jones:hasklib:1999 peterson:hw:1995 peterson:padl:2001 reid:hw:1995 reid:icse:1999 reid:yale:1998
  • Gustavo Petri: hsiao:micro:2021
  • Michael Petrov: chen:arxiv:2021
  • Elena Petrova: alkassar:vstte:2010
  • Goran Petrović: ivankovic:fse:2019
  • Simon L. Peyton-Jones: zhang:toplas:2017
  • Mauro Pezzè: braione:icse:2018
  • Andy Phelps: jouppi:isca:2017
  • Pieter Philippaerts: jacobs:nfm:2011 philippaerts:scp:2014
  • Mauro Piccolo: amadio:fpara:2014
  • Jean Pichon-Pharabod: liu:pldi:2023 simner:pls:2020
  • Benjamin C. Pierce: azevedo:post:2018 hritcu:icfp:2013 pierce:book:2016
  • Frank Piessens: jacobs:nfm:2011 jacobs:vstte:2010 penninckx:nfm:2012 philippaerts:scp:2014 smans:ecoop:2009 smans:fmood:2010 vogels:fmoods:2011
  • Peter Pietzuch: shamis:arxiv:2021
  • Jonathan D. Pincus: bush:spe:2000
  • Solal Pirelli: zaostrovnykh:sosp:2019
  • Flávia Pisani: silva:sbac:2016
  • Marco Pistore: fuxman:isre:2001
  • Carl Pixley: lahiri:hldvt:2001
  • Matthias Plappert: chen:arxiv:2021
  • Amir Pnueli: pnueli:sfcs:1977 pnueli:tacas:1998
  • Sebastian Poeplau: poeplau:acsac:2019 poeplau:usenix:2020
  • Elizabeth Polgreen: polgreen:cav:2022
  • Federico Poli: astrauskas:oopsla:2019 astrauskas:oopsla:2020
  • Mario Polino: shoshitaishvili:sp:2016
  • Randy Pollack: amadio:fpara:2014
  • Illia Polosukhin: vaswani:arxiv:2017
  • Carlos G. López Pombo: frias:icse:2005
  • Henrique Ponde: chen:arxiv:2021
  • Pongsin Poosankam: martignoni:asplos:2012 song:iciss:2008
  • Georgios Portokalidis: liu:arxiv:2021
  • Marie-Laure Potet: boespflug:fdtc:2020 david:issta:2016 recoules:ase:2019
  • John M. Potter: clarke:oopsla:1998
  • Rachel Potvin: potvin:cacm:2016
  • Alethea Power: chen:arxiv:2021
  • Johan Van Praet: fauth:edtc:1995
  • Mathias Preiner: niemetz:jsat:2015
  • Nathanael Premillieu: stephens:micro:2017
  • Bart Preneel: razavi:usenix:2016
  • Thomas Prescher: kocher:arxiv:2018 lipp:arxiv:2018
  • Virgile Prevosto: baudin:cacm:2021 cuoq:sefm:2012
  • Milos Prvulovic: rutledge:icse:2019
  • Steven Przybylski: gross:micro:2016 hennessy:micro:1982
  • Armand Puccetti: cuoq:sefm:2012
  • Riccardo Pucella: fluet:jfp:2006
  • Christopher Pulte: armstrong:arw:2018 armstrong:cav:2021 armstrong:popl19:2019 armstrong:spisa:2019 flur:popl:2016 flur:popl:2017 gray:micro:2015 pulte:popl:2017 simner:pls:2020
  • Raul Puri: chen:arxiv:2021
  • Corina S. Păsăreanu: khurshid:tacas:2003 person:fse:2008 qiu:icse:2017 qiu:nfm:2018 yang:issta:2012
  • Shaz Qadeer: chatterjee:tacas:2007 condit:popl:2009 lal:cav:2012 lal:fse:2014 lal:pldi:2015
  • Eric Qin: qin:hpca:2020
  • Boqin Qin: qin:pldi:2020 zhang:ccs:2020
  • Rui Qiu: qiu:icse:2017 qiu:nfm:2018
  • Ning Qu: franklin:cmu:2008 seshadri:sosp:2007
  • Sean Quinlan: corbett:tocs:2013
  • Rodric M. Rabbah: thies:ppopp:2005
  • Alec Radford: chen:arxiv:2021
  • Colin Raffel: maas:asplos:2020
  • Shree P. Rahul: necula:cc:2002
  • Sriram K. Rajamani: ball:pldi:2001 godefroid:popl:2010
  • Prabhu Rajasekaran: altinay:eurosys:2020
  • Zvonimir Rakamarić: balasubramanium:hotos:2017 baranowski:atva:2018 chatterjee:tacas:2007 dimjasevic:ifm:2018 narayanan:hotos:2019 rakamaric:cav:2014
  • David A Ramos: ramos:cav:2011
  • David A. Ramos: ramos:sec:2015
  • Norman Ramsey: dias:popl:2010 fernandez:icse:1997 ramsey:lctes:1998 ramsey:toplas:1997 ramsey:usenix:1995
  • Keith Randall: joshi:pldi:2002
  • Ashay Rane: bond:usenix:2017
  • Parthasarathy Ranganathan: hochschild:hotos:2021 kumar:isca:2004
  • Rajesh Rao: corbett:tocs:2013
  • Richard F. Rashid: draves:sosp:1991
  • Felix Rath: rath:epiq:2018
  • Jakob von Raumer: demoura:cade:2015
  • Binoy Ravindran: roessle:cpp:2019 tahat:fmcad:2019 verbeek:fmmsd:2019
  • Alasdair Rawsthorne: bird:sc:1993
  • Alex Ray: chen:arxiv:2021
  • Kaveh Razavi: razavi:usenix:2016
  • Alexandre Rebert: avgerinos:cacm:2014 avgerinos:icse:2014 cha:sandp:2012
  • Frédéric Recoules: recoules:ase:2019
  • Vijay Janapa Reddi: luk:pldi:2005
  • David Redmiles: rieman:chi:1995
  • Elissa M. Redmiles: votipka:sp:2018
  • Erik Reeber: kaivola:cav:2009
  • Francesco Regazzoni: becker:ches:2013
  • John Regehr: eide:icse:2002 groce:issta:2012 livinskii:pldi:2023 lopes:pldi:2015 lopes:pldi:2021 mukherjee:oopsla:2020 regehr:acp4is:2003 regehr:asplos:2004 regehr:emsoft:2003 regehr:lctes:2006 regehr:pldi:2012 regehr:rtss:2003 regehr:tecs:2005 yang:pldi:2011
  • Alastair D. Reid: armstrong:arw:2018 armstrong:popl19:2019 armstrong:spisa:2019 boettcher:date:2014 chakravarty:haskffi:2003 eide:aspse:2001 eide:icse:2002 jones:hasklang:1999 jones:hasklib:1999 jones:hw:1997 jones:pldi:1999 lin:sdr:2006 lin:sips:2006 ozer:sbacpad:2007 peterson:hw:1995 peterson:padl:2001 regehr:acp4is:2003 regehr:asplos:2004 regehr:emsoft:2003 regehr:rtss:2003 regehr:tecs:2005 reid:cases:2008 reid:cav:2016 reid:fmcad:2016 reid:gfpw:1989 reid:gfpw:1993 reid:gfpw:1994 reid:hatra:2020 reid:hw:1995 reid:icse:1999 reid:ifl:1998 reid:msc:1993 reid:oopsla:2017 reid:osdi:2000 reid:phd:2019 reid:yale:1998 reid:yale:2001 stephens:micro:2017 woh:micro:2008
  • Jan Reineke: guarnieri:sandp:2020
  • Alexander Reinhard: mantel:pls:2007
  • Kui Ren: jiang:arxiv:2021
  • Alex Renda: chen:iiswc:2019
  • John H Reppy: reppy:att:1996
  • Thomas Reps: lim:toplas:2013
  • Andrew Reynolds: barrett:cav:2011 stump:fmsd:2013
  • John C. Reynolds: reynolds:lics:2002
  • Tamara Rezk: barthe:csfw:2004 barthe:mscs:2011 daniel:sandp:2020
  • Alejandro Rico: stephens:micro:2017
  • Tom Ridge: bishop:jacm:2019 mulligan:icfp:2014 sarkar:popl:2009
  • John Rieman: rieman:chi:1995
  • Noam Rinetzky: trabish:icse:2018 trabish:issta:2020
  • Xavier Rival: nicole:arxiv:2020
  • Christine Rizkallah: amani:asplos:2016
  • Matteo Rizzo: zaostrovnykh:sosp:2019
  • Martin Roberts: chu:ieeedtc:1992
  • Thomas Roberts: stewart:difts:2014
  • César Rodríguez: schemmel:cav:2020
  • Michael Roe: nienhuis:secpriv:2020 watson:sandp:2015 woodruff:isca:2014 woodruff:tocs:2019
  • Ian Roessle: roessle:cpp:2019 verbeek:fmmsd:2019
  • Muriel Roger: cuoq:sefm:2012
  • Michael S. Rogers: siegel:sc:2015
  • Giampaolo Fresi Roglia: paleari:issta:2010
  • Lindsay Rolig: corbett:tocs:2013
  • Anthony Romano: romano:phd:2014
  • Patrick M. Rondon: rondon:pldi:2008
  • Jan-Willem Roorda: claessen:sfm:2006
  • Charles W. Rose: chu:ieeedtc:1992
  • Eli Rosenthal: zhang:pldi:2023
  • Jonathan Ross: jouppi:isca:2017
  • Matt Ross: jouppi:isca:2017
  • Christopher Rowen: gross:micro:2016 hennessy:micro:1982
  • Subhajit Roy: pandey:issta:2019 roy:fse:2018
  • Abhik Roychoudhury: mechtaev:fse:2018
  • Kristin Yvonne Rozier: rozier:vstte:2016
  • Petr Ročkai: baranova:atva:2017 korencik:qrs:2020
  • Colin Runciman: jones:hasklang:1999 jones:hasklib:1999
  • Richard M. Russell: russell:cacm:1978
  • Mark Russinovich: russinovich:acmq:2021 shamis:arxiv:2021
  • Richard Rutledge: rutledge:icse:2019 rutledge:icse:2020
  • Nick Ryder: chen:arxiv:2021
  • Leonid Ryzhyk: balasubramanium:hotos:2017 narayanan:hotos:2019
  • Yann Régis-Gianas: amadio:fpara:2014
  • D. Rémy: remy:popl:1989
  • Philipp Rümmer: leino:tacas:2010
  • Andrei Sabelfeld: myers:csfw:2004 sabelfield:jcs:2009
  • Jorge Luis Sacchini: becker:fm:2016
  • Caitlin Sadowski: sadowski:cacm:2018 sadowski:icse-seip:2018 sadowski:icse:2015
  • Mooly Sagiv: naik:popl:2012
  • Seemanta Saha: saha:pldi:2023
  • Brett Saiki: willsey:oopsla:2021
  • Yasushi Saito: corbett:tocs:2013
  • Amir Salek: jouppi:isca:2017
  • Christopher Salls: shoshitaishvili:sp:2016 stephens:ndss:2016
  • Emad Samadiani: jouppi:isca:2017
  • Ananda Samajdar: qin:hpca:2020
  • Hanan Samet: samet:ieeetse:1977 samet:phd:1975
  • Michael Sammler: sammler:pldi:2021
  • Adrian Sampson: nigam:pldi:2023 rachit:pldi:2023 vanhattum:asplos:2021 vega:pldi:2021
  • Richard Samuels: morrisett:wcsss:1999
  • Daniel Sanchez: sanchez:isca:2013
  • David Sands: sabelfield:jcs:2009
  • Sriram Sankar: dixit:arxiv:2021
  • Thomas Santen: leinenbach:fm:2009
  • Giuseppe Santucci: angelini:vizsec:2019
  • Angelo Sapello: evtyushkin:asplos:2021
  • Simon Sapin: anderson:icse:2016
  • Muhammad Usama Sardar: sardar:access:2021
  • Sercan Sari: deng:hasp:2019
  • Susmit Sarkar: flur:popl:2016 flur:popl:2017 gray:micro:2015 pulte:popl:2017 sarkar:pldi:2011 sarkar:popl:2009 sewell:cacm:2010
  • Girish Sastry: chen:arxiv:2021
  • Jun Sawada: hunt:micro:1999
  • Wayne A. Sawdon: bershad:cmpcon:1993
  • Prateek Saxena: song:iciss:2008
  • Yiannakis Sazeides: hadjilambrou:ispass:2019
  • Christian Schallhart: holzer:cav:2008 holzer:hvc:2010
  • Patrick Schaumont: buhan:ccs:2022
  • Daniel Schemmel: rath:epiq:2018 schemmel:cav:2020
  • Eric Schkufza: heule:pldi:2016 sharma:oopsla:2012
  • Cole Schlesinger: liu:sigcomm:2018
  • Sabine Schmaltz: schmaltz:vstte:2012
  • Oliver Schmidt: dunkels:enss:2006
  • Alan Schmitt: bodin:popl:2014
  • Fred B. Schneider: clarkson:jcs:2010
  • Wolfram Schulte: barnett:cacm:2011 barnett:cassis:2004 barnett:vstte:2005 cohen:cav:2010 cohen:entcs:2009 maus:amast:2008 tillmann:fse:2005
  • Steffen Schulz: alexopoulos:tps:2020
  • Adriana Schulz: willsey:oopsla:2021
  • Mike Schuster: abadi:arxiv:2016
  • Edward J. Schwartz: avgerinos:cacm:2014 brumley:cav:2011 gennari:vstte:2018 manes:ieeetse:2019 schwartz:sp:2010
  • Daniel Schwartz-Narbonne: chong:icse:2020
  • Oliver Schwarz: baumann:eucnc:2016 khakpour:cpp:2013 schwarz:sefm:2016
  • Michael Schwarz: kocher:arxiv:2018 lipp:arxiv:2018
  • Malte Schwerhoff: muller:vmcai:2016 schwerhoff:ecoop:2015
  • David Seal: seal:book:2000
  • Roberto Sebastiani: sebastiani:cav:2004
  • Sean Seefried: murray:secpriv:2013
  • Carl-Johan H. Seger: aagaard:fmcad:2000 segar:fmsd:1995
  • R. Sekar: hasabnis:asplos:2016
  • Koushik Sen: cadar:cacm:2013 dutra:icse:2018 godefroid:pldi:2005 majumdar:icse:2007 padhye:issta:2019 padhye:oopsla:2019 sen:fse:2005
  • Shane Sendall: cifuentes:iwpc:1998
  • Sangwon Seo: woh:micro:2008
  • Janis Sermulins: thies:ppopp:2005
  • Mauricio J. Serrano: zhuang:pldi:2006
  • Arvind Seshadri: franklin:cmu:2008 seshadri:sosp:2007
  • Sanjit A. Seshia: polgreen:cav:2022
  • Geet Sethi: lustig:asplos:2016
  • Simha Sethumadhavan: martin:isca:2012 tang:sec:2017
  • Srinath Setty: bond:usenix:2017
  • Jaroslav Sevcik: mcilroy:arxiv:2019
  • Chris Severn: jouppi:isca:2017
  • Julian Seward: nethercote:pldi:2007
  • Thomas Arthur Leck Sewell: amani:asplos:2016 klein:sosp:2009 sewell:pldi:2013
  • Peter Sewell: armstrong:arw:2018 armstrong:cav:2021 armstrong:popl19:2019 armstrong:spisa:2019 bauereiss:ucam:2021 bishop:jacm:2019 flur:popl:2016 flur:popl:2017 gray:micro:2015 mulligan:icfp:2014 nienhuis:secpriv:2020 pulte:popl:2017 sarkar:pldi:2011 sarkar:popl:2009 sevcik:jacm:2013 sewell:cacm:2010 simner:pls:2020
  • Thomas Sewell: bauereiss:ucam:2021
  • Ali Sezgin: flur:popl:2016 flur:popl:2017
  • Andrey Shadrin: schmaltz:vstte:2012
  • Muzammil Shahbaz: barr:tse:2015
  • Alex Shamis: lietar:ismm:2019 shamis:arxiv:2021
  • Zhong Shao: costanzo:pldi:2016 gu:osdi:2016
  • Milad Sharif: liu:sigcomm:2018
  • Rahul Sharma: heule:pldi:2016 sharma:oopsla:2012 sharma:pls:2013
  • Noam Shazeer: fedus:arxiv:2021 lepikhin:arxiv:2020 shazeer:arxiv:2017 vaswani:arxiv:2017
  • Mary Sheeran: sheeran:fmcad:2000
  • Erin Shepherd: reid:cav:2016
  • Benjamin Sherman: choi:icfp:2017
  • Timothy Sherwood: oberg:dac:2010 tiwari:asplos:2009 tiwari:isca:2009 tiwari:isca:2011
  • Xiaomu Shi: blanqui:rapido:2011 joloboff:dsetta:2015 shi:phd:2013
  • Avraham Shinnar: nanevski:icfp:2008
  • Olin Shivers: ford:sosp:1997
  • Jonathon Shlens: abadi:arxiv:2016
  • Pradyumna Shome: vicarte:isca:2021
  • Yan Shoshitaishvili: shoshitaishvili:sp:2016 stephens:ndss:2016
  • Junaid Haroon Siddiqui: siddiqui:oopsla:2012
  • Michael Siegel: pnueli:tacas:1998
  • Stephen F. Siegel: siegel:sc:2015
  • David J. Sielaff: bush:spe:2000
  • Daniel P. Siewiorek: barbacci2:computer:1973 barbacci:afips:1977 barbacci:computer:1973 barbacci:computer:1977 barbacci:isca:1973
  • Joseph Sifakis: clarke:cacm:2009
  • Julien Signoles: baudin:cacm:2021 cuoq:sefm:2012
  • Helgi Sigurbjarnarson: nelson:sosp:2017 sigurbjarnarson:osdi:2016 sigurbjarnarson:osdi:2018
  • Hércules Cardoso da Silva: silva:sbac:2016
  • Ben Simner: armstrong:cav:2021 simner:pls:2020
  • Laurent Simon: padhye:oopsla:2019
  • Karen Simonyan: elsen:arxiv:2019
  • Eli Singerman: pnueli:tacas:1998 sebastiani:cav:2004
  • Satnam Singh: reid:gfpw:1993 sheeran:fmcad:2000
  • Carsten Sinz: merz:vstte:2012
  • Michal Sipko: sadowski:icse-seip:2018
  • Gregory Sizikov: jouppi:isca:2017
  • Vilhelm Sjöberg: gu:osdi:2016 pierce:book:2016
  • Lau Skorstengaard: skorstengaard:esop:2018 skorstengaard:popl:2019
  • Anna Slobodova: goel:cav:2021 goel:cpp:2020
  • Anna Slobodová: kaivola:cav:2009 slobodova:memocode:2011
  • Asia Slowinska: andriesse:usenix:2016
  • Stephen Smalley: spencer:security:1999
  • Jan Smans: jacobs:nfm:2011 jacobs:vstte:2010 leino:fosad:2007 penninckx:nfm:2012 philippaerts:scp:2014 smans:ecoop:2009 smans:fmood:2010 vogels:fmoods:2011
  • Diana K. Smetters: smetters:nspw:2002
  • Lawrence M. Smith: albin:cli:1995
  • Michael Smith: bishop:jacm:2019
  • Gareth Smith: bodin:popl:2014
  • Eric W. Smith: hardin:acl2:2006
  • Frederick Smith: morrisett:wcsss:1999 smith:esop:2000
  • James E. Smith: palacharla:micro:1995 smith:tocs:1984
  • Brian Cantwell Smith: smith:book:1996
  • Geoffrey Smith: smith:fossacs:2009
  • Gus Henry Smith: smith:maps:2021
  • Aaron Smith: yadavalli:lctes:2019
  • Matthew Smithson: anand:eurosys:2013
  • Matthew Snelham: jouppi:isca:2017
  • Bryan So: miller:cacm:1990
  • Mary Lou Soffa: evans:icse:2020
  • Armando Solar-Lezama: wang:sosp:2013
  • Edgar Solomonik: hedge:micro:2019
  • Stacey Son: watson:sandp:2015
  • Yoonki Song: johnson:icse:2013
  • Dawn Song: martignoni:asplos:2012 song:iciss:2008 szekeres:sandp:2013
  • Linhai Song: qin:pldi:2020 zhang:ccs:2020
  • Fu Song: wang:tase:2018
  • Tyler Sorensen: wickerson:popl:2017
  • Robert Soulé: liu:sigcomm:2018
  • Jed Souter: jouppi:isca:2017
  • Antal Spector-Zabusky: hritcu:icfp:2013
  • Ray Spencer: spencer:security:1999
  • Fausto Spoto: ernst:icse:2016
  • Sudarshan Srinivasan: qin:hpca:2020
  • Sudarshan K. Srinivasan: srinivasan:ieeetoc:2010
  • Mark Staples: andronick:icse:2012
  • Ian Stark: amadio:fpara:2014 armstrong:arw:2018 armstrong:popl19:2019 armstrong:spisa:2019 bauereiss:ucam:2021 campbell:fmcad:2016 campbell:fmics:2014 nienhuis:secpriv:2020
  • Deian Stefan: brown:sec:2020 cauligi:sandp:2022 gleissenthall:ccs:2021
  • Dan Steinberg: jouppi:isca:2017
  • Benoit Steiner: abadi:arxiv:2016
  • Sergei Stepanenko: liu:pldi:2023
  • Shane G. Stephens: hohmuth:sigops:2002
  • Nick Stephens: shoshitaishvili:sp:2016 stephens:ndss:2016
  • Nigel Stephens: stephens:micro:2017
  • Michael Stepp: tate:popl:2009
  • Rock Stevens: votipka:sp:2018
  • Daryl Stewart: stewart:difts:2014
  • James M. Stichnoth: subhlok:ppopp:1993
  • J. Ryan Stinnett: liew:fse:2019
  • Ivan Stojmenovic: stojmenovic:tpds:2010
  • Salvatore Stolfo: tang:sec:2017
  • Leigh Stoller: reid:osdi:2000
  • Jan Strejček: chalupa:tacas:2021 trtik:atva:2014
  • Aaron Stump: barrett:cade:2000 stump:fmsd:2013
  • Gunnar Stålmarck: sheeran:fmcad:2000
  • Stephen Y. H. Su: su:computer:1974
  • Jaspal Subhlok: subhlok:ppopp:1993
  • Kiruba Sankaran Subramani: bidmeshki:iccd:2019
  • Pramod Subramanyan: huang:todaes:2019
  • Felipe Such: chen:arxiv:2021
  • G. Edward Suh: ferraiuolo:asplos:2017 ferraiuolo:ccs:2018 ferraiuolo:dac:2017 liu:cpsspc:2018 zhang:asplos:2015
  • Alexander J. Summers: astrauskas:oopsla:2019 astrauskas:oopsla:2020 becker:tacas:2019 heule:ftfjp:2011 heule:vmcai:2013 muller:vmcai:2016 schwerhoff:ecoop:2015 wolff:draft:2021
  • Rob Sumners: goel:cav:2021 goel:cpp:2020 goel:spisa:2019
  • Chuyue Sun: kuepper:pldi:2023
  • Mingshen Sun: xu:arxiv:2021
  • Joshua Sunshine: coblenz:arxiv:2020
  • Edward H. Sussenguth: falkoff:ibm:1964
  • Geoff Sutcliffe: sutcliffe:ai:2001
  • Grégoire Sutre: henzinger:spin:2003
  • Ilya Sutskever: abadi:arxiv:2016 chen:arxiv:2021
  • Christian Suttner: sutcliffe:ai:2001
  • Andy Swing: jouppi:isca:2017
  • Sol Swords: goel:cav:2021 goel:cpp:2020 slobodova:memocode:2011
  • Hira Taqdees Syeda: syeda:itp:2018
  • Dennis Sylvester: yang:sandp:2016
  • Jakub Szefer: deng:hasp:2019
  • László Szekeres: babic:fse:2019 szekeres:sandp:2013
  • Michal Szymaniak: corbett:tocs:2013
  • Andrés Sánchez: guarnieri:sandp:2020
  • Emma Söderberg: sadowski:icse-seip:2018 sadowski:icse:2015
  • Ondřej Sýkora: chen:iiswc:2019
  • Thanh Dinh Ta: david:issta:2016
  • Omer Tabach: lifshitz:wish:2011
  • Amer Tahat: tahat:fmcad:2019
  • Jean-Pierre Talpin: tofte:inco:1997
  • Kunal Talwar: abadi:arxiv:2016
  • Ankur Taly: godefroid:pldi:2012
  • Yong Kiam Tan: fox:cpp:2017 loow:pldi:2019 tan:icfp:2016
  • Mercedes Tan: jouppi:isca:2017
  • Gang Tan: morrisett:pldi:2012
  • Adrian Tang: tang:sec:2017
  • Éric Tanter: bader:vmcai:2018
  • {\'E}ric Tanter: tanter:aosd:2010
  • Runzhou Tao: tao:sosp:2021
  • Serdar Tasiran: chong:icse:2020 cook:cav:2018
  • Joseph Tassarotti: morrisett:pldi:2012
  • John Van Tassel: boulton:tpcd:1993
  • Ross Tate: tate:popl:2009
  • Zachary Tatlock: flatt:fmcad:2022 nandi:pldi:2020 smith:maps:2021 tate:popl:2009 weitz:icfp:2017 willsey:oopsla:2021 willsey:popl:2021 zhang:pldi:2023
  • Michael Tautschnig: alglave:toplas:2014 chong:icse:2020 cook:cav:2018 holzer:cav:2008 holzer:hvc:2010
  • Boon Hwa Tay: ananda:osr:1992
  • Christopher Taylor: corbett:tocs:2013 kaivola:cav:2009
  • Michael Taylor: smith:maps:2021
  • Tobias Tebbi: mcilroy:arxiv:2019
  • Amber Telfer: kaivola:cav:2009
  • Sai Deep Tetali: godefroid:popl:2010
  • Hendrik Tews: becker:fm:2016 hohmuth:plos:2005 hohmuth:sigops:2002
  • Javier Thaine: ernst:icse:2016
  • Chandramohan A. Thekkath: lie:secpri:2003 lie:sosp:2003
  • William Thies: gordon:asplos:2002 thies:micro:2007 thies:ppopp:2005
  • Laure Thompson: bond:usenix:2017
  • Hans Thorsen: baumann:eucnc:2016
  • Gregory Thorson: jouppi:isca:2017
  • Bo Tian: jouppi:isca:2017
  • Samuel Tian: kuepper:pldi:2023
  • Xinmin Tian: wang:pldi:2007
  • Philippe Tillet: chen:arxiv:2021
  • Nikolai Tillmann: tillmann:fse:2005
  • Amin Timany: liu:pldi:2023
  • Cesare Tinelli: barrett:cav:2011 barrett:smtlib:2016 stump:fmsd:2013
  • Ben L. Titzer: mcilroy:arxiv:2019
  • Mohit Tiwari: oberg:dac:2010 tiwari:asplos:2009 tiwari:isca:2009 tiwari:isca:2011
  • Stephan Tobies: cohen:cav:2010 cohen:entcs:2009
  • Mads Tofte: tofte:inco:1997
  • Andrew Tolmach: jones:microsoft:2001
  • Horia Toma: jouppi:isca:2017
  • John Toman: toman:ase:2015
  • Rijnard van Tonder: vantonder:icse:2018
  • Stefano Tonetta: sebastiani:cav:2004
  • Nigel P. Topham: bird:sc:1993
  • Emina Torlak: bornholt:oopsla:2018 nelson:osr:2020 nelson:sosp:2017 nelson:sosp:2019 sigurbjarnarson:osdi:2016 sigurbjarnarson:osdi:2018 toman:ase:2015 torlak:onward:2013 torlak:pldi:2014 weitz:icfp:2017
  • David Trabish: trabish:icse:2018 trabish:issta:2020
  • Paolo Tranquilli: amadio:fpara:2014
  • Yves Le Traon: padhye:issta:2019 papadakis:advances:2019
  • Paolo Traverso: fuxman:isre:2001
  • Marc Tremblay: tremblay:micro:1996
  • Caroline Trippel: hsiao:micro:2021 mosier:isca:2022 vicarte:isca:2021 zhang:fmcad:2018
  • Jean-Baptiste Tristan: morrisett:pldi:2012
  • Marek Trtík: trtik:atva:2014
  • Wei-Lun Tsai: chen:pldi:2023
  • Michael Carl Tschantz: tschantz:fm:2009
  • Takeshi Tsukada: matsushita:esop:2020
  • Harvey Tuch: klein:sosp:2009
  • Paul Tucker: abadi:arxiv:2016
  • Thomas Tuerk: becker:fm:2016 tuerk:vstte:2010
  • Patrick Tullmann: ford:sosp:1996
  • Dean M. Tullsen: kumar:isca:2004
  • Joseph Tuong: amani:asplos:2016
  • Paul Turner: hochschild:hotos:2021
  • Mark R. Tuttle: chong:icse:2020 cook:cav:2018
  • Erick Tuttle: jouppi:isca:2017
  • Jerry Tworek: chen:arxiv:2021
  • Mattias Ulbrich: weigl:arxiv:2019
  • Sebastian Ullrich: ullrich:msc:2016
  • Jakob Uszkoreit: vaswani:arxiv:2017
  • Neil Vachharajani: bridges:micro:2007
  • Munraj Vadera: watson:sandp:2015
  • Viktor Vafeiadis: sevcik:jacm:2013
  • Amin Vahdat: hochschild:hotos:2021
  • Jonathan Valamehr: tiwari:isca:2011
  • Steve VanDeBogart: efstathopoulos:sosp:2005
  • Alexa VanHattum: vanhattum:asplos:2021
  • Julien Vanegue: vanegue:sandp:2013
  • Vincent Vanhoucke: abadi:arxiv:2016
  • Moshe Y. Vardi: sebastiani:cav:2004
  • Vijay Vasudevan: abadi:arxiv:2016 jouppi:isca:2017
  • Amit Vasudevan: vasudevan:secpriv:2013 vasudevan:usenix:2016
  • Kapil Vaswani: russinovich:acmq:2021
  • Ashish Vaswani: vaswani:arxiv:2017
  • Victor van der Veen: andriesse:usenix:2016
  • Luis Vega: vega:pldi:2021
  • Helmut Veith: clarke:cav:2000 holzer:cav:2008 holzer:hvc:2010
  • Todd L. Veldhuizen: veldhuizen:oo:1998
  • Miroslav N. Velev: velev:dac:2000
  • Deepan Venkatesh: dasgupta:pldi:2020
  • Herman Venter: barnett:cacm:2011 barnett:vstte:2005
  • Freek Verbeek: roessle:cpp:2019 verbeek:fmmsd:2019
  • Toon Verwaest: mcilroy:arxiv:2019
  • Jose Rodrigo Sanchez Vicarte: vicarte:isca:2021
  • Fernanda Viegas: abadi:arxiv:2016
  • Giovanni Vigna: shoshitaishvili:sp:2016 stephens:ndss:2016
  • Hayawardh Vijayakumar: padhye:oopsla:2019
  • Muralidaran Vijayaraghavan: choi:icfp:2017
  • Pepe Vila: vila:pldi:2020
  • Jules Villard: hobor:popl:2013
  • Oriol Vinyals: abadi:arxiv:2016
  • Willem Visser: khurshid:tacas:2003 visser:tacas:2020
  • Yakir Vizel: huang:todaes:2019
  • Birgit Vogel-Heuser: weigl:arxiv:2019
  • Frédéric Vogels: jacobs:nfm:2011 vogels:fmoods:2011
  • Thiemo Voigt: dunkels:enss:2006
  • Stijn Volckaert: altinay:eurosys:2020
  • Daniel Votipka: votipka:sp:2018
  • Peter Vrabel: reid:cav:2016
  • Dimitrios Vytiniotis: hritcu:icfp:2013 zhang:toplas:2017
  • Philip Wadler: jones:hasklang:1999 jones:hasklib:1999
  • Markus Wagner: kuepper:pldi:2023
  • Jonas Wagner: wagner:hotos:2013
  • David Walker: morrisett:wcsss:1999 smith:esop:2000 walker:popl:2000 walker:tic:2001
  • Paul Walker: stephens:micro:2017
  • Malcolm Wallace: chakravarty:haskffi:2003
  • Steven Wallace: luk:pldi:2005
  • Deborah A. Wallach: chang:tocs:2012 johnson:osr:1995
  • Richard Walter: jouppi:isca:2017
  • Zhanyong Wan: wright:icsm:2013
  • Mitchell Wand: wand:lfp:1980 wand:lics:1987
  • Wei Wang: babic:fse:2019
  • Ruth Wang: corbett:tocs:2013
  • Xi Wang: fonseca:ecs:2017 nelson:osr:2020 nelson:sosp:2017 nelson:sosp:2019 sigurbjarnarson:osdi:2016 sigurbjarnarson:osdi:2018 wang:sosp:2013
  • Yanling Wang: grossman:pldi:2002
  • Walter Wang: jouppi:isca:2017
  • Han Wang: liu:sigcomm:2018
  • Ruoyu Wang: shoshitaishvili:sp:2016 stephens:ndss:2016
  • Perry H. Wang: wang:pldi:2007
  • Hong Wang: wang:pldi:2007
  • Jingbo Wang: wang:pldi:2023
  • Chao Wang: wang:pldi:2023
  • Feng Wang: wang:tase:2018
  • Yisu Remy Wang: willsey:oopsla:2021 willsey:popl:2021 zhang:pldi:2023
  • Dashun Wang: wu:arxiv:2017
  • Yuting Wang: xu:cav:2021
  • Yao Wang: zhang:asplos:2015
  • Keith Wansbrough: bishop:jacm:2019
  • Pete Warden: abadi:arxiv:2016
  • Hassan M. G. Wassel: tiwari:asplos:2009 tiwari:isca:2009
  • Mark Wassell: armstrong:arw:2018 armstrong:popl19:2019 armstrong:spisa:2019
  • Robert N. M. Watson: bauereiss:ucam:2021 nienhuis:secpriv:2020 watson:sandp:2015 woodruff:isca:2014 woodruff:tocs:2019
  • Martin Wattenberg: abadi:arxiv:2016
  • Kirk Webb: regehr:emsoft:2003 regehr:rtss:2003 regehr:tecs:2005
  • Michael Weber: chakravarty:haskffi:2003
  • Klaus Wehrle: rath:epiq:2018 schemmel:cav:2020
  • Tao Wei: chen:sp:2020 szekeres:sandp:2013
  • Guannan Wei: hendrix:itp:2019
  • Alexander Weigl: weigl:arxiv:2019
  • Westley Weimer: necula:cc:2002
  • Charles B. Weinstock: barbacci:icse:1988
  • Stephanie Weirich: morrisett:wcsss:1999
  • Uri Weiser: peleg:micro:1996
  • Aaron Weiss: weiss:arxiv:2018
  • Konstantin Weitz: weitz:icfp:2017
  • Peter Welinder: chen:arxiv:2021
  • Matt Welsh: gay:pldi:2003
  • Junye Wen: qiu:nfm:2018
  • Markus Wenzel: nipkow:book:2002
  • Sam Westrick: arora:pldi:2023
  • Paul N Whatmough: hadjilambrou:ispass:2019
  • Jesse Whittemore: kaivola:cav:2009
  • Martin Wicke: abadi:arxiv:2016
  • John Wickerson: wickerson:popl:2017
  • Anna-Katharina Wickert: lauinger:trustcom:2020
  • Thomas Wies: berdine:cav:2007
  • Eric Wilcox: jouppi:isca:2017
  • James R. Wilcox: nandi:pldi:2020
  • Mladen Wilder: woh:micro:2008
  • Chris Wilkerson: kim:isca:2014
  • Philip Wilkinson: mavin:isre:2009
  • Nicky Williams: baudin:cacm:2021 cuoq:sefm:2012
  • Derek Williams: sarkar:pldi:2011
  • Max Willsey: flatt:fmcad:2022 nandi:pldi:2020 willsey:oopsla:2021 willsey:popl:2021 zhang:pldi:2023
  • Phillip J. Windley: windley:ieeetoc:1995
  • Jeannette M. Wing: barbacci:icse:1988 tschantz:fm:2009
  • Clemens Winter: chen:arxiv:2021
  • Collin Winter: sadowski:icse:2015
  • Christoph M. Wintersteiger: lietar:ismm:2019
  • Simon Winwood: hendrix:itp:2019 klein:sosp:2009
  • Jenna L. Wise: coblenz:arxiv:2020
  • Mark Woh: lin:sdr:2006 woh:micro:2008
  • Pieter van der Wolf: wolf:codes:2004
  • Fabian Wolff: wolff:draft:2021
  • Jeremy Wong: gordon:asplos:2002
  • Maverick Woo: avgerinos:cacm:2014 manes:ieeetse:2019
  • Clark Wood: erbsen:pldi:2021
  • Dale Woodford: corbett:tocs:2013
  • Jonathan Woodruff: watson:sandp:2015 woodruff:isca:2014 woodruff:tocs:2019
  • Hyrum K. Wright: wright:icsm:2013
  • Jingyue Wu: cui:asplos:2013
  • Xiongnan Newman Wu: gu:osdi:2016
  • Lei Wu: jiang:arxiv:2021
  • David Wu: kuepper:pldi:2023
  • Lingfei Wu: wu:arxiv:2017
  • Jinhua Wu: xu:cav:2021
  • Valentin Wüstholz: mansur:arxiv:2020
  • Hongwei Xi: xi:icfp:2001 xi:jfp:2007
  • Hongyan Xia: woodruff:tocs:2019
  • Tao Xie: jin:icst:2010
  • Yichen Xie: xie:bugs:2005 xie:popl:2005
  • Wenjie Xiong: deng:hasp:2019
  • Jun Xu: chen:sp:2020 liu:arxiv:2021
  • Rui Xu: ferraiuolo:asplos:2017
  • Tianyi Xu: jiang:arxiv:2021
  • Yuanzhong Xu: lepikhin:arxiv:2020
  • Hui Xu: xu:arxiv:2021
  • Xiangzhe Xu: xu:cav:2021
  • Meng Xu: yun:usenix:2018
  • Jifeng Xuan: zhao:ndss:2019
  • Hui Xue: mai:asplos:2013
  • S. Bharadwaj Yadavalli: yadavalli:lctes:2019
  • Boris Yakobowski: cuoq:sefm:2012
  • Hongseok Yang: berdine:cav:2007 calcagno:popl:2009 calcagno:sas:2006 dinsdale-young:popl:2013 distefano:tacas:2006 naik:popl:2012
  • Junfeng Yang: cui:asplos:2013
  • Guowei Yang: qiu:icse:2017 qiu:nfm:2018 yang:issta:2012
  • Xuejun Yang: regehr:pldi:2012 yang:pldi:2011
  • Nick Y. Yang: wang:pldi:2007
  • Jean Yang: yang:pldi:2010
  • Kaiyuan Yang: yang:sandp:2016
  • Joshua Yanovski: yanovski:unknown:2021
  • Jianan Yao: tao:sosp:2021
  • Yuval Yarom: buhan:ccs:2022 ge:jce:2016 kocher:arxiv:2018 kuepper:pldi:2023 lipp:arxiv:2018
  • Di-De Yen: chen:pldi:2023
  • Heng Yin: song:iciss:2008 zhao:ndss:2019
  • Zhenguo Yin: xu:cav:2021
  • Weiliang Yin: zhang:apsec:2018
  • Alexander Yip: krohn:sosp:2007
  • Shin Yoo: barr:tse:2015
  • Doe Hyun Yoon: jouppi:isca:2017
  • YoungSeok Yoon: myers:computer:2016
  • Brent Yorgey: pierce:book:2016
  • William D. Young: bevier:jar:1989 hardin:acl2:2006
  • Cliff Young: gale:arxiv:2020 jouppi:isca:2017 jouppi:micro:2018
  • Yuan Yu: abadi:arxiv:2016
  • Zeming Yu: qin:pldi:2020
  • Qiming Yuan: chen:arxiv:2021
  • Insu Yun: yun:usenix:2018
  • Matei Zaharia: gale:arxiv:2020
  • Ali Zaidi: reid:cav:2016
  • Alenka Zajic: rutledge:icse:2019
  • Cristian Zamfir: chipounov:hotdep:2009
  • Arseniy Zaostrovnykh: zaostrovnykh:sosp:2019
  • Wojciech Zaremba: chen:arxiv:2021
  • Steve Zdancewic: morrisett:wcsss:1999 myers:csfw:2004 zdancewic:csfw:2001 zdancewic:csfw:2003
  • Sherali Zeadally: pearce:compsurv:2013
  • Matthew J. Zekauskas: bershad:cmpcon:1993
  • Nickolai Zeldovich: dabek:sigops:2002 wang:sosp:2013 zeldovich:osdi:2006
  • Andreas Zeller: zeller:bugs:2005
  • He Zhang: andronick:icse:2012
  • Yun Zhang: bridges:micro:2007
  • Yulong Zhang: chen:sp:2020
  • Danfeng Zhang: ferraiuolo:asplos:2017 hawblitzel:osdi:2014 zhang:asplos:2015 zhang:toplas:2017
  • Kaiyuan Zhang: fonseca:ecs:2017 nelson:sosp:2017
  • Chaoqiang Zhang: groce:issta:2012 zhang:issta:2014
  • Hongce Zhang: huang:todaes:2019 zhang:fmcad:2018
  • Lintao Zhang: malik:cacm:2009
  • Fuyuan Zhang: mansur:arxiv:2020
  • Jie Zhang: papadakis:advances:2019
  • Yiying Zhang: qin:pldi:2020 zhang:ccs:2020
  • Min Zhang: wang:tase:2018
  • Jun Zhang: wang:tase:2018
  • Chao Zhang: zhang:apsec:2018
  • Ziyi Zhang: zhang:ccs:2020
  • Yihong Zhang: zhang:pldi:2023
  • Mark Zhao: ferraiuolo:ccs:2018
  • Gang Zhao: liu:icse:2020
  • Lei Zhao: zhao:ndss:2019
  • Xiaoqiang Zheng: abadi:arxiv:2016
  • Manchun Zheng: siegel:sc:2015
  • Lin Zhong: boos:plos:2017
  • Ming Zhong: jiang:arxiv:2021
  • Dixin Zhou: altinay:eurosys:2020
  • Rundong Zhou: chen:sp:2020
  • Yajin Zhou: jiang:arxiv:2021
  • Yangfan Zhou: xu:arxiv:2021
  • Zhe Zhou: zhou:pldi:2023
  • Liming Zhu: andronick:icse:2012
  • Yunshan Zhu: biere:tacas:1999
  • Xiaoran Zhu: wang:tase:2018
  • Amy Zhu: willsey:oopsla:2021
  • Xiaotong Zhuang: zhuang:pldi:2006
  • David Ziegler: efstathopoulos:sosp:2005
  • Brian Zill: hawblitzel:osdi:2014
  • Timothy K. Zirkel: siegel:sc:2015
  • Vojin Zivojnovic: zivojnovic:vlsi:1996
  • Barret Zoph: fedus:arxiv:2021
  • Bill Zorn: zorn:iscawddd:2017
  • Lenore D. Zuck: mcmillan:sigcomm:2019
  • Philip Zucker: zhang:pldi:2023
  • Susan Zuckerman: barbacci:afips:1977
  • Not yet public: rudra:sosp:2021
  • Emre Özer: ozer:sbacpad:2007
  • Anna Řechtáčková: chalupa:tacas:2021
  • Jaroslav Ševčík: sevcik:jacm:2013
  • Veronika Šoková: chalupa:tacas:2021
  • Vladimír Štill: baranova:atva:2017

The opinions expressed are my own views and not my employer’s.