Array SSA Form.

Stephen J. Fink Stephen Fink IBM Research http://domino.research.ibm.com/comm/research_people.nsf/pages/sfink.index.html https://dl.acm.org/profile/81100118324 Vivek Sarkar Kathleen Knobe Stephen Fink Array SSA Form. 227-240 2022 SSA-based Compiler Design https://doi.org/10.1007/978-3-030-80515-9_17 books/sp/22/RT2022 db/books/collections/RT2022.html#SarkarKF22 Rebecca Qian Yang Yu Wonhee Park Vijayaraghavan Murali Stephen Fink Satish Chandra 0001 Debugging crashes using <i>continuous</i> contrast set mining. 61-70 2020 ICSE (SEIP) https://doi.org/10.1145/3377813.3381369 https://ieeexplore.ieee.org/document/9276593 conf/icse/2020seip db/conf/icse/seip2020.html#QianYPMF020 Eran Yahav Stephen J. Fink Nurit Dor G. Ramalingam Emmanuel Geay From typestate verification to interpretable deep models (invited talk abstract). 4-5 2019 ISSTA https://doi.org/10.1145/3293882.3338992 conf/issta/2019 db/conf/issta/issta2019.html#YahavFDRG19

Rebecca Qian Yang Yu Wonhee Park Vijayaraghavan Murali Stephen Fink Satish Chandra 0001 Debugging Crashes using Continuous Contrast Set Mining. 2019 abs/1911.04768 CoRR http://arxiv.org/abs/1911.04768 db/journals/corr/corr1911.html#abs-1911-04768

Ioana Baldini Perry Cheng Stephen J. Fink Nick Mitchell Vinod Muthusamy Rodric Rabbah Philippe Suter Olivier Tardieu The serverless trilemma: function composition for serverless computing. 89-103 2017 Onward! https://doi.org/10.1145/3133850.3133855 conf/oopsla/2017onward db/conf/oopsla/onward2017.html#BaldiniCFMMRST17 Kerry Shih-Ping Chang Stephen J. Fink Visualizing serverless cloud application logs for program understanding. 261-265 2017 VL/HCC https://doi.org/10.1109/VLHCC.2017.8103476 https://doi.ieeecomputersociety.org/10.1109/VLHCC.2017.8103476 conf/vl/2017 db/conf/vl/vlhcc2017.html#ChangF17 Ioana Baldini Paul C. Castro Kerry Shih-Ping Chang Perry Cheng Stephen Fink Vatche Ishakian Nick Mitchell Vinod Muthusamy Rodric Rabbah Aleksander Slominski Philippe Suter Serverless Computing: Current Trends and Open Problems. 1-20 2017 Research Advances in Cloud Computing https://doi.org/10.1007/978-981-10-5026-8_1 books/sp/CSB2017 db/books/collections/CSB2017.html#BaldiniCCCFIMMRSS17

Ioana Baldini Paul C. Castro Kerry Shih-Ping Chang Perry Cheng Stephen J. Fink Vatche Ishakian Nick Mitchell Vinod Muthusamy Rodric M. Rabbah Aleksander Slominski Philippe Suter Serverless Computing: Current Trends and Open Problems. 2017 abs/1706.03178 CoRR http://arxiv.org/abs/1706.03178 db/journals/corr/corr1706.html#BaldiniCCCFIMMR17

Ioana Baldini Paul C. Castro Perry Cheng Stephen J. Fink Vatche Ishakian Nick Mitchell Vinod Muthusamy Rodric Rabbah Philippe Suter Cloud-native, event-based programming for mobile applications. 287-288 2016 MOBILESoft https://doi.org/10.1145/2897073.2897713 conf/icse/2016mobilesoft db/conf/icse/mobilesoft2016.html#BaldiniCCFIMMRS16 Joshua S. Auerbach David F. Bacon Perry Cheng Stephen J. Fink Rodric M. Rabbah Sunil Shukla Growing a Software Language for Hardware Design. 32-40 2015 SNAPL https://doi.org/10.4230/LIPIcs.SNAPL.2015.32 conf/snapl/2015 db/conf/snapl/snapl2015.html#AuerbachBCFRS15 Cosmin Radoi Stephen J. Fink Rodric M. Rabbah Manu Sridharan Translating imperative code to MapReduce. 909-927 2014 OOPSLA https://doi.org/10.1145/2660193.2660228 https://doi.org/10.1145/2714064.2660228 https://www.wikidata.org/entity/Q131127925 conf/oopsla/2014 db/conf/oopsla/oopsla2014.html#RadoiFRS14 Ioana Baldini Stephen J. Fink Erik R. Altman Predicting GPU Performance from CPU Runs Using Machine Learning. 254-261 2014 SBAC-PAD https://doi.org/10.1109/SBAC-PAD.2014.30 https://doi.ieeecomputersociety.org/10.1109/SBAC-PAD.2014.30 conf/sbac-pad/2014 db/conf/sbac-pad/sbac-pad2014.html#BaldiniFA14 Perry Cheng Stephen J. Fink Rodric M. Rabbah Sunil Shukla The Liquid Metal IP bridge. 313-319 2013 ASP-DAC https://doi.org/10.1109/ASPDAC.2013.6509614 conf/aspdac/2013 db/conf/aspdac/aspdac2013.html#ChengFRS13 Erik R. Altman Joshua S. Auerbach David F. Bacon Ioana Baldini Perry Cheng Stephen J. Fink Rodric M. Rabbah The Liquid Metal Blokus Duo Design. 490-493 2013 FPT https://doi.org/10.1109/FPT.2013.6718425 conf/fpt/2013 db/conf/fpt/fpt2013.html#AltmanABBCFR13 Manu Sridharan Satish Chandra 0001 Julian Dolby Stephen J. Fink Eran Yahav Alias Analysis for Object-Oriented Programs. 196-232 2013 Aliasing in Object-Oriented Programming https://doi.org/10.1007/978-3-642-36946-9_8 series/lncs/7850 db/series/lncs/lncs7850.html#SridharanCDFY13 Joshua S. Auerbach David F. Bacon Ioana Burcea Perry Cheng Stephen J. Fink Rodric M. Rabbah Sunil Shukla A compiler and runtime for heterogeneous computing. 271-276 2012 DAC https://doi.org/10.1145/2228360.2228411 https://www.wikidata.org/entity/Q130865131 conf/dac/2012 db/conf/dac/dac2012.html#AuerbachBBCFRS12 Christophe Dubach Perry Cheng Rodric M. Rabbah David F. Bacon Stephen J. Fink Compiling a high-level language for GPUs: (via language support for architectures and compilers). 1-12 2012 PLDI https://doi.org/10.1145/2254064.2254066 https://doi.org/10.1145/2345156.2254066 https://www.wikidata.org/entity/Q121314826 conf/pldi/2012 db/conf/pldi/pldi2012.html#DubachCRBF12 Erik R. Altman Matthew Arnold Stephen Fink Nick Mitchell Performance analysis of idle programs. 739-753 2010 OOPSLA https://doi.org/10.1145/1869459.1869519 https://doi.org/10.1145/1932682.1869519 conf/oopsla/2010 db/conf/oopsla/oopsla2010.html#AltmanAFM10 Omer Tripp Marco Pistoia Stephen J. Fink Manu Sridharan Omri Weisman TAJ: effective taint analysis of web applications. 87-97 2009 PLDI https://doi.org/10.1145/1542476.1542486 https://doi.org/10.1145/1543135.1542486 conf/pldi/2009 db/conf/pldi/pldi2009.html#TrippPFSW09 Satish Chandra 0001 Stephen J. Fink Manu Sridharan Snugglebug: a powerful approach to weakest preconditions. 363-374 2009 PLDI https://doi.org/10.1145/1542476.1542517 https://doi.org/10.1145/1543135.1542517 conf/pldi/2009 db/conf/pldi/pldi2009.html#ChandraFS09 Manu Sridharan Stephen J. Fink The Complexity of Andersen's Analysis in Practice. 205-221 2009 SAS https://doi.org/10.1007/978-3-642-03237-0_15 conf/sas/2009 db/conf/sas/sas2009.html#SridharanF09

Stephen J. Fink Eran Yahav Nurit Dor G. Ramalingam Emmanuel Geay Effective typestate verification in the presence of aliasing. 2008 17 ACM Trans. Softw. Eng. Methodol. 2 https://doi.org/10.1145/1348250.1348255 db/journals/tosem/tosem17.html#FinkYDRG08 9:1-9:34

Sharon Shoham Eran Yahav Stephen J. Fink Marco Pistoia Static Specification Mining Using Automata-Based Abstractions. 651-666 2008 34 IEEE Trans. Software Eng. 5 https://doi.org/10.1109/TSE.2008.63 http://doi.ieeecomputersociety.org/10.1109/TSE.2008.63 db/journals/tse/tse34.html#ShohamYFP08

Alexey Loginov Eran Yahav Satish Chandra 0001 Stephen Fink Noam Rinetzky Mangala Gowri Nanda Verifying dereference safety via expanding-scope analysis. 213-224 2008 ISSTA https://doi.org/10.1145/1390630.1390657 conf/issta/2008 db/conf/issta/issta2008.html#LoginovYCFRN08

Marco Pistoia Satish Chandra 0001 Stephen J. Fink Eran Yahav A survey of static analysis methods for identifying security vulnerabilities in software systems. 265-288 2007 46 IBM Syst. J. 2 https://doi.org/10.1147/sj.462.0265 https://www.wikidata.org/entity/Q113434024 db/journals/ibmsj/ibmsj46.html#PistoiaCFY07

Mandana Vaziri Frank Tip Stephen Fink Julian Dolby Declarative Object Identity Using Relation Types. 54-78 2007 conf/ecoop/2007 ECOOP https://doi.org/10.1007/978-3-540-73589-2_4 db/conf/ecoop/ecoop2007.html#VaziriTFD07 Marco Pistoia Stephen J. Fink Robert J. Flynn Eran Yahav When Role Models Have Flaws: Static Validation of Enterprise Security Policies. 478-488 2007 conf/icse/2007 ICSE https://doi.org/10.1109/ICSE.2007.98 https://doi.ieeecomputersociety.org/10.1109/ICSE.2007.98 http://dl.acm.org/citation.cfm?id=1248880 db/conf/icse/icse2007.html#PistoiaFFY07 Sharon Shoham Eran Yahav Stephen Fink Marco Pistoia Static specification mining using automata-based abstractions. 174-184 2007 conf/issta/2007 ISSTA https://doi.org/10.1145/1273463.1273487 db/conf/issta/issta2007.html#ShohamYFP07 Manu Sridharan Stephen J. Fink Rastislav Bodík Thin slicing. 112-122 2007 conf/pldi/2007 PLDI https://doi.org/10.1145/1250734.1250748 https://doi.org/10.1145/1273442.1250748 db/conf/pldi/pldi2007.html#SridharanFB07 Paolina Centonze Gleb Naumovich Stephen J. Fink Marco Pistoia Role-Based access control consistency validation. 121-132 2006 conf/issta/2006 ISSTA https://doi.org/10.1145/1146238.1146253 https://www.wikidata.org/entity/Q131123499 db/conf/issta/issta2006.html#CentonzeNFP06 Stephen J. Fink Eran Yahav Nurit Dor G. Ramalingam Emmanuel Geay Effective typestate verification in the presence of aliasing. 133-144 2006 conf/issta/2006 ISSTA https://doi.org/10.1145/1146238.1146254 db/conf/issta/issta2006.html#FinkYDRG06 Emmanuel Geay Eran Yahav Stephen J. Fink Continuous code-quality assurance with SAFE. 145-149 2006 conf/pepm/2006 PEPM https://doi.org/10.1145/1111542.1111567 db/conf/pepm/pepm2006.html#GeayYF06

Bowen Alpern Steve Augart Stephen M. Blackburn Maria A. Butrico Anthony Cocchi Perry Cheng Julian Dolby Stephen J. Fink David Grove Michael Hind Kathryn S. McKinley Mark F. Mergen J. Eliot B. Moss Ton Anh Ngo Vivek Sarkar Martin Trapp The Jikes Research Virtual Machine project: Building an open-source research community. 399-418 2005 44 IBM Syst. J. 2 https://doi.org/10.1147/sj.442.0399 https://www.wikidata.org/entity/Q58625890 db/journals/ibmsj/ibmsj44.html#AlpernABBCCDFGHMMMNST05

Matthew Arnold Stephen J. Fink David Grove Michael Hind Peter F. Sweeney A Survey of Adaptive Optimization in Virtual Machines. 449-466 2005 93 Proc. IEEE 2 https://doi.org/10.1109/JPROC.2004.840305 https://www.wikidata.org/entity/Q56610777 db/journals/pieee/pieee93.html#ArnoldFGHS05

Stephen J. Fink Feng Qian Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement. 241-252 2003 conf/cgo/2003 CGO https://doi.org/10.1109/CGO.2003.1191549 https://doi.ieeecomputersociety.org/10.1109/CGO.2003.1191549 http://dl.acm.org/citation.cfm?id=776288 db/conf/cgo/cgo2003.html#FinkQ03 David F. Bacon Stephen J. Fink David Grove Space- and Time-Efficient Implementation of the Java Object Model. 111-132 2002 conf/ecoop/2002 ECOOP https://doi.org/10.1007/3-540-47993-7_5 db/conf/ecoop/ecoop2002.html#BaconFG02 Bowen Alpern Maria A. Butrico Anthony Cocchi Julian Dolby Stephen J. Fink David Grove Ton Ngo Experiences Porting the Jikes RVM to Linux/IA32. 51-64 2002 conf/jvm/2002 Java Virtual Machine Research and Technology Symposium http://www.usenix.org/publications/library/proceedings/javavm02/alpern.html db/conf/jvm/jvm2002.html#AlpernBCDFGN02 Vivek Sarkar Stephen J. Fink Efficient Dependence Analysis for Java Arrays. 273-277 2001 conf/europar/2001 Euro-Par https://doi.org/10.1007/3-540-44681-8_39 db/conf/europar/europar2001.html#SarkarF01 Bowen Alpern Anthony Cocchi Stephen J. Fink David Grove Derek Lieber Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. 108-124 2001 conf/oopsla/2001 OOPSLA db/conf/oopsla/oopsla2001.html#AlpernCFGL01 https://doi.org/10.1145/504282.504291 https://doi.org/10.1145/504311.504291

Sandra Johnson Baylor Murthy V. Devarakonda Stephen J. Fink Eugene Gluzberg Michael H. Kalantar Prakash Muttineni Eric Barsness Rajiv Arora Robert T. Dimpsey Steven J. Munroe Java server benchmarks. 57-81 2000 39 IBM Syst. J. 1 https://doi.org/10.1147/sj.391.0057 db/journals/ibmsj/ibmsj39.html#BaylorDFGKMBADM00

Bowen Alpern C. Richard Attanasio John J. Barton Michael G. Burke Perry Cheng Jong-Deok Choi Anthony Cocchi Stephen J. Fink David Grove Michael Hind Susan Flynn Hummel Derek Lieber Vassily Litvinov Mark F. Mergen Ton Ngo James R. Russell Vivek Sarkar Mauricio J. Serrano Janice C. Shepherd Stephen E. Smith Vugranam C. Sreedhar Harini Srinivasan John Whaley The Jalapeño virtual machine. 211-238 2000 39 IBM Syst. J. 1 https://doi.org/10.1147/sj.391.0211 db/journals/ibmsj/ibmsj39.html#AlpernABBCCCFGHHLLMNRSSSSSSW00

Scott B. Baden Stephen J. Fink A Programming Methodology for Dual-Tier Multicomputers. 212-226 2000 26 IEEE Trans. Software Eng. 3 https://doi.org/10.1109/32.842948 http://doi.ieeecomputersociety.org/10.1109/32.842948 db/journals/tse/tse26.html#BadenF00

Matthew Arnold Stephen J. Fink Vivek Sarkar Peter F. Sweeney A comparative study of static and profile-based heuristics for inlining. 52-64 2000 conf/dynamo/2000 Dynamo https://doi.org/10.1145/351397.351416 https://doi.org/10.1145/351403.351416 db/conf/dynamo/dynamo2000.html#ArnoldFSS00 Matthew Arnold Stephen J. Fink David Grove Michael Hind Peter F. Sweeney Adaptive optimization in the Jalapeño JVM. 47-65 2000 conf/oopsla/2000 OOPSLA https://doi.org/10.1145/353171.353175 https://doi.org/10.1145/354222.353175 db/conf/oopsla/oopsla2000.html#ArnoldFGHS00 Matthew Arnold Stephen Fink David Grove Michael Hind Peter F. Sweeney Adaptive optimization in the Jalapeño JVM (poster session). 125-126 2000 OOPSLA Addendum https://doi.org/10.1145/367845.368023 conf/oopsla/2000a db/conf/oopsla/oopsla2000a.html#ArnoldFGHS00a Stephen J. Fink Kathleen Knobe Vivek Sarkar Unified Analysis of Array and Object References in Strongly Typed Languages. 155-174 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#FinkKS00 https://doi.org/10.1007/978-3-540-45099-3_9

John H. Merlin Scott B. Baden Stephen Fink Barbara M. Chapman Multiple data parallelism with HPF and KeLP. 393-405 1999 15 Future Gener. Comput. Syst. 3 https://doi.org/10.1016/S0167-739X(98)00083-1 db/journals/fgcs/fgcs15.html#MerlinBFC99

Michael G. Burke Jong-Deok Choi Stephen J. Fink David Grove Michael Hind Vivek Sarkar Mauricio J. Serrano Vugranam C. Sreedhar Harini Srinivasan John Whaley The Jalapeño Dynamic Optimizing Compiler for Java. 129-141 1999 conf/java/1999 Java Grande https://doi.org/10.1145/304065.304113 db/conf/java/java1999.html#BurkeCFGHSSSSW99 Scott B. Baden Stephen J. Fink The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion. 333-349 https://doi.org/10.1007/3-540-44905-1_21 1999 conf/lcpc/1999 LCPC db/conf/lcpc/lcpc1999.html#BadenF99

Stephen J. Fink Scott B. Baden Scott R. Kohn Efficient Run-Time Support for Irregular Block-Structured Applications. 61-82 1998 50 J. Parallel Distributed Comput. 1/2 db/journals/jpdc/jpdc50.html#FinkBK98 https://doi.org/10.1006/jpdc.1998.1437

John H. Merlin Scott B. Baden Stephen J. Fink Barbara M. Chapman Multiple Data Parallelism with HPF and KeLP. 828-839 1998 conf/hpcn/1998 HPCN Europe db/conf/hpcn/hpcn1998.html#MerlinBFC98 https://doi.org/10.1007/BFb0037210 Scott B. Baden Stephen J. Fink Communication overlap in multi-tier parallel algorithms. 33 1998 SC https://doi.org/10.1109/SC.1998.10000 https://doi.ieeecomputersociety.org/10.1109/SC.1998.10000 http://dl.acm.org/citation.cfm?id=509091 conf/sc/1998 db/conf/sc/sc1998.html#BadenF98

Stephen J. Fink Craig Huston Scott B. Baden Karl Jansen Parallel Cluster Identification for Multidimensional Lattices. 1089-1097 https://doi.org/10.1109/71.642944 http://doi.ieeecomputersociety.org/10.1109/71.642944 1997 8 IEEE Trans. Parallel Distributed Syst. 11 db/journals/tpds/tpds8.html#FinkHBJ97

Stephen J. Fink Scott B. Baden Run-Time Support for Multi-tier Programming of Block-Structured Applications on SMP Clusters. 1-8 1997 conf/iscope/1997 ISCOPE db/conf/iscope/iscope1997.html#FinkB97 https://doi.org/10.1007/3-540-63827-X_37 Scott B. Baden Robert S. Schreiber Kang Su Gatlin Stephen J. Fink A Preliminary Evaluation of HPF. 1997 conf/ppsc/1997 PP db/conf/ppsc/ppsc1997.html#BadenSGF97

William G. Griswold Richard Wolski Scott B. Baden Stephen J. Fink Scott R. Kohn Programming Language Requirements for the Next Millennium. 194 1996 28 ACM Comput. Surv. 4es db/journals/csur/csur28.html#GriswoldWBFK96 https://doi.org/10.1145/242224.242475

Stephen J. Fink Scott B. Baden Scott R. Kohn Flexible Communication Mechanisms for Dynamic Structured Applications. 203-215 1996 conf/irregular/1996 IRREGULAR db/conf/irregular/irregular96.html#FinkBK96 https://doi.org/10.1007/BFb0030111 Stephen J. Fink Scott B. Baden Run-time Data Distribution for Block-Structured Applications on Distributed Memory Computers. 762-767 1995 conf/ppsc/1995 PP db/conf/ppsc/ppsc1995.html#FinkB95 Bowen Alpern Erik R. Altman Matthew Arnold Rajiv Arora C. Richard Attanasio Joshua S. Auerbach Steve Augart David F. Bacon Scott B. Baden Ioana Baldini Eric Barsness John J. Barton Sandra Johnson Baylor Steve BlackburnStephen M. Blackburn Rastislav Bodík Ioana Burcea Michael G. Burke Maria A. Butrico Paul C. Castro Paolina Centonze Satish Chandra 0001 Kerry Shih-Ping Chang Barbara M. Chapman Perry Cheng Jong-Deok Choi Anthony Cocchi Murthy V. Devarakonda Robert T. Dimpsey Julian Dolby Nurit Dor Christophe Dubach Robert J. Flynn Kang Su Gatlin Emmanuel Geay Eugene Gluzberg William G. Griswold David Grove Michael Hind Susan Flynn Hummel Craig Huston Vatche IsahagianVatche Ishakian Karl Jansen Michael H. Kalantar Kathleen Knobe Scott R. Kohn Derek Lieber Vassily Litvinov Alexey Loginov Kathryn S. McKinley Mark F. Mergen John H. Merlin Nick Mitchell J. Eliot B. Moss Steven J. Munroe Vijayaraghavan Murali Vinod Muthusamy Prakash Muttineni Mangala Gowri Nanda Gleb Naumovich Ton Anh NgoTon Ngo Wonhee Park Marco Pistoia Feng Qian Rebecca Qian Rodric M. RabbahRodric Rabbah Cosmin Radoi G. Ramalingam Noam Rinetzky James R. Russell Vivek Sarkar Robert S. Schreiber Mauricio J. Serrano Janice C. Shepherd Sharon Shoham Sunil Shukla Aleksander Slominski Stephen E. Smith Vugranam C. Sreedhar Manu Sridharan Harini Srinivasan Philippe Suter Peter F. Sweeney Olivier Tardieu Frank Tip Martin Trapp Omer Tripp Mandana Vaziri Omri Weisman John Whaley Richard Wolski Eran Yahav Yang Yu