Stephen Fink - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2022

Array SSA FormVivek Sarkar, Kathleen Knobe, Stephen Fink. In Fabrice Rastello, Florent Bouchez-Tichadou, editors, SSA-based Compiler Design. pages 227-240, Springer, 2022. [doi]

2020

continuous contrast set miningRebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra 0001. ICSE 2020: 61-70 [doi]

2017

Serverless Computing: Current Trends and Open ProblemsIoana Baldini, Paul Castro, Kerry Shih-Ping Chang, Perry Cheng, Stephen Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Aleksander Slominski, Philippe Suter. In Sanjay Chaudhary, Gaurav Somani 0001, Rajkumar Buyya, editors, Research Advances in Cloud Computing. pages 1-20, Springer, 2017. [doi]

2010

Performance analysis of idle programsErik A. Altman, Matthew Arnold, Stephen Fink, Nick Mitchell. OOPSLA 2010: 739-753 [doi]

2008

Verifying dereference safety via expanding-scope analysisAlexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda. ISSTA 2008: 213-224 [doi]

2007

Static specification mining using automata-based abstractionsSharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia. ISSTA 2007: 174-184 [doi]

Declarative Object Identity Using Relation TypesMandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby. ECOOP 2007: 54-78 [doi]

2000

Adaptive optimization in the Jalapeño JVM (poster session)Matthew Arnold, Stephen Fink, David Grove, Michael Hind, Peter F. Sweeney. OOPSLA 2000: 125-126 [doi]

1999

Multiple data parallelism with HPF and KeLPJohn H. Merlin, Scott B. Baden, Stephen Fink, Barbara M. Chapman. fgcs, 15(3):393-405, 1999. [doi]

Sign in or sign up to see more results.

runs on WebDSL