Stephen J. Fink

According to our database1, Stephen J. Fink authored at least 54 papers between 1995 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Debugging crashes using <i>continuous</i> contrast set mining.
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019
Debugging Crashes using Continuous Contrast Set Mining.
CoRR, 2019

From typestate verification to interpretable deep models (invited talk abstract).
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2017
Serverless Computing: Current Trends and Open Problems.
CoRR, 2017

Visualizing serverless cloud application logs for program understanding.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

The serverless trilemma: function composition for serverless computing.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Serverless Computing: Current Trends and Open Problems.
Proceedings of the Research Advances in Cloud Computing, 2017

2016
Cloud-native, event-based programming for mobile applications.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

2015
Growing a Software Language for Hardware Design.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2014
Predicting GPU Performance from CPU Runs Using Machine Learning.
Proceedings of the 26th IEEE International Symposium on Computer Architecture and High Performance Computing, 2014

Translating imperative code to MapReduce.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013
Alias Analysis for Object-Oriented Programs.
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

The Liquid Metal Blokus Duo Design.
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

The Liquid Metal IP bridge.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
Compiling a high-level language for GPUs: (via language support for architectures and compilers).
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

A compiler and runtime for heterogeneous computing.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2010
Performance analysis of idle programs.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009
The Complexity of Andersen's Analysis in Practice.
Proceedings of the Static Analysis, 16th International Symposium, 2009

TAJ: effective taint analysis of web applications.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Snugglebug: a powerful approach to weakest preconditions.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008
Static Specification Mining Using Automata-Based Abstractions.
IEEE Trans. Software Eng., 2008

Effective typestate verification in the presence of aliasing.
ACM Trans. Softw. Eng. Methodol., 2008

Verifying dereference safety via expanding-scope analysis.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007
A survey of static analysis methods for identifying security vulnerabilities in software systems.
IBM Syst. J., 2007

Thin slicing.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

When Role Models Have Flaws: Static Validation of Enterprise Security Policies.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Declarative Object Identity Using Relation Types.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006
Continuous code-quality assurance with SAFE.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Role-Based access control consistency validation.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005
A Survey of Adaptive Optimization in Virtual Machines.
Proc. IEEE, 2005

The Jikes Research Virtual Machine project: Building an open-source research community.
IBM Syst. J., 2005

2003
Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement.
Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

2002
Experiences Porting the Jikes RVM to Linux/IA32.
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, 2002

Space- and Time-Efficient Implementation of the Java Object Model.
Proceedings of the ECOOP 2002, 2002

2001
Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Efficient Dependence Analysis for Java Arrays.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
A Programming Methodology for Dual-Tier Multicomputers.
IEEE Trans. Software Eng., 2000

Java server benchmarks.
IBM Syst. J., 2000

The Jalapeño virtual machine.
IBM Syst. J., 2000

Unified Analysis of Array and Object References in Strongly Typed Languages.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Adaptive optimization in the Jalapeño JVM (poster session).
Proceedings of the Object Oriented Programming Systems Languages and Applications Conference, 2000

Adaptive optimization in the Jalapeño JVM.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

A comparative study of static and profile-based heuristics for inlining.
Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo 2000), 2000

1999
Multiple data parallelism with HPF and KeLP.
Future Gener. Comput. Syst., 1999

The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion.
Proceedings of the Languages and Compilers for Parallel Computing, 1999

The Jalapeño Dynamic Optimizing Compiler for Java.
Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

1998
Efficient Run-Time Support for Irregular Block-Structured Applications.
J. Parallel Distributed Comput., 1998

Communication overlap in multi-tier parallel algorithms.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1998

1997
Parallel Cluster Identification for Multidimensional Lattices.
IEEE Trans. Parallel Distributed Syst., 1997

A Preliminary Evaluation of HPF.
Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

Run-Time Support for Multi-tier Programming of Block-Structured Applications on SMP Clusters.
Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997

1996
Programming Language Requirements for the Next Millennium.
ACM Comput. Surv., 1996

Flexible Communication Mechanisms for Dynamic Structured Applications.
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1996

1995
Run-time Data Distribution for Block-Structured Applications on Distributed Memory Computers.
Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995


  Loading...