Spencer Smith

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 12

Top Topics

Longitudinal Study

Software Systems

Scientific Computing

Top Venues

SE4Science@ICSE

ICSE (Companion Volume)

Publications

Spencer Smith, Peter Michalski
Digging Deeper into the State of the Practice for Domain Specific Research Software. ICCS (4) (2022)
Spencer Smith, Jacques Carette
Long-Term Productivity Based on Science, not Preference. CoRR (2021)
Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng, Jeffrey C. Carver, Karla Morris
Raising the Bar: Assurance Cases for Scientific Software. Comput. Sci. Eng. 23 (1) (2021)
Jacques Carette, Brooks MacLachlan, Spencer Smith
GOOL: a generic object-oriented language. PEPM@POPL (2020)
Spencer Smith, Jacques Carette
Long-term Productivity for Long-term Impact. CoRR (2020)
Spencer Smith, Malavika Srinivasan, Sumanth Shankar
Debunking the Myth that Upfront Requirements are Infeasible for Scientific Computing Software. CoRR (2019)
Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng
Building Confidence in Scientific Computing Software Via Assurance Cases. CoRR (2019)
Spencer Smith, Malavika Srinivasan, Sumanth Shankar
Debunking the myth that upfront requirements are infeasible for scientific computing software. SE4Science@ICSE (2019)
Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng
Assurance cases for scientific computing software. ICSE (Companion Volume) (2018)
Spencer Smith
Beyond software carpentry. SE4Science@ICSE (2018)
Spencer Smith, Yue Sun, Jacques Carette
Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities. CoRR (2018)
Spencer Smith, Thulasi Jegatheesan, Diane Kelly
Advantages, Disadvantages and Misunderstandings About Document Driven Design for Scientific Software. SE-HPCCSE@SC (2016)
Spencer Smith, Nirmitha Koothoor, Nedialko S. Nedialkov
Document driven certification of computational science and engineering software. SE-HPCCSE@SC (2013)
Diane Kelly, Spencer Smith, Nicholas Meng
Software Engineering for Scientists. Comput. Sci. Eng. 13 (5) (2011)
Diane Kelly, Spencer Smith
3rd CASCON Workshop on Software Engineering for Science. CASCON (2010)
Spencer Smith, W. Yu
A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox. Adv. Eng. Softw. 40 (11) (2009)
Wen Yu, Spencer Smith
Reusability of FEA software: A program family approach. SE-CSE@ICSE (2009)
Diane Kelly, Spencer Smith
2nd CASCON Workshop on Software Engineering for Science. CASCON (2009)
John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith
Second Note on Basic Interval Arithmetic for IEEE754R. Numerical Validation in Current Hardware Architectures (2008)
George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith
Interval Subroutine Library Mission. Reliable Implementation of Real Number Algorithms (2008)
Spencer Smith, Lei Lai, Ridha Khédri
Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability. Reliab. Comput. 13 (1) (2007)
Scott R. Tilley, Ken Wong, Spencer Smith
Report from the 3rd International Symposium on Software Engineering Course Projects (SWECP 2006). CSEE&T (2007)
Spencer Smith
Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software. RE (2006)
George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith
Interval Subroutine Library Mission. Reliable Implementation of Real Number Algorithms (2006)
Scott R. Tilley, Kenny Wong, Shihong Huang, Spencer Smith
Report from the 2nd International Workshop on Software Engineering Course Projects (SWECP 2005). CSEE&T (2006)
Spencer Smith, Chien-Hsien Chen
Commonality and Requirements Analysis for Mesh Generating Software. SEKE (2004)