W. Spencer Smith

According to our database, W. Spencer Smith authored at least 32 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Generating Software for Well-Understood Domains.

Jacques Carette, W. Spencer Smith, Jason Balaci

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

Digging Deeper into the State of the Practice for Domain Specific Research Software.

Spencer Smith, Peter Michalski

Proceedings of the Computational Science - ICCS 2022, 2022

2021

Raising the Bar: Assurance Cases for Scientific Software.

Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng, Jeffrey C. Carver, Karla Morris

Comput. Sci. Eng., 2021

Long-Term Productivity Based on Science, not Preference.

Spencer Smith, Jacques Carette

CoRR, 2021

Methodology for Assessing the State of the Practice for Domain X.

W. Spencer Smith, Jacques Carette, Peter Michalski, Ao Dong, Olu Owojaiye

CoRR, 2021

2020

Long-term Productivity for Long-term Impact.

Spencer Smith, Jacques Carette

CoRR, 2020

GOOL: a generic object-oriented language.

Jacques Carette, Brooks MacLachlan, Spencer Smith

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2020

2019

Building Confidence in Scientific Computing Software Via Assurance Cases.

Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng

CoRR, 2019

GOOL: A Generic Object-Oriented Language (extended version).

Jacques Carette, Brooks MacLachlan, W. Spencer Smith

CoRR, 2019

Debunking the myth that upfront requirements are infeasible for scientific computing software.

Spencer Smith, Malavika Srinivasan, Sumanth Shankar

Proceedings of the 14th International Workshop on Software Engineering for Science, 2019

2018

Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities.

Spencer Smith, Yue Sun, Jacques Carette

CoRR, 2018

State of the Practice for GIS Software.

W. Spencer Smith, D. Adam Lazzarato, Jacques Carette

CoRR, 2018

Assurance cases for scientific computing software.

Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Beyond software carpentry.

Spencer Smith

Proceedings of the International Workshop on Software Engineering for Science, 2018

2016

State of the practice for mesh generation and mesh processing software.

W. Spencer Smith, D. Adam Lazzarato, Jacques Carette

Adv. Eng. Softw., 2016

Advantages, Disadvantages and Misunderstandings About Document Driven Design for Scientific Software.

Spencer Smith, Thulasi Jegatheesan, Diane Kelly

Proceedings of the Fourth International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2016

A knowledge-based approach to scientific software development: position paper.

Dan Szymczak, W. Spencer Smith, Jacques Carette

Proceedings of the International Workshop on Software Engineering for Science, 2016

2013

Document driven certification of computational science and engineering software.

Spencer Smith, Nirmitha Koothoor, Nedialko S. Nedialkov

Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2013

2011

Software Engineering for Scientists.

Diane Kelly, Spencer Smith, Nicholas Meng

Comput. Sci. Eng., 2011

A generative geometric kernel.

Jacques Carette, Mustafa Elsheikh, W. Spencer Smith

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010

3rd CASCON Workshop on Software Engineering for Science.

Diane Kelly, Spencer Smith

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009

A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox.

Spencer Smith, W. Yu

Adv. Eng. Softw., 2009

Reusability of FEA software: A program family approach.

Wen Yu, Spencer Smith

Proceedings of the ICSE Workshop on Software Engineering for Computational Science and Engineering, 2009

2nd CASCON Workshop on Software Engineering for Science.

Diane Kelly, Spencer Smith

Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

2008

Second Note on Basic Interval Arithmetic for IEEE754R.

John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

Case Studies in Model Manipulation for Scientific Computing.

Jacques Carette, W. Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability.

Spencer Smith, Lei Lai, Ridha Khédri

Reliab. Comput., 2007

Report from the 3rd International Symposium on Software Engineering Course Projects (SWECP 2006).

Scott R. Tilley, Ken Wong, Spencer Smith

Proceedings of the 20th Conference on Software Engineering Education and Training (CSEE&T 2007), 2007

2006

Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software.

Spencer Smith

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Interval Subroutine Library Mission.

George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith

Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

Report from the 2nd International Workshop on Software Engineering Course Projects (SWECP 2005).

Scott R. Tilley, Kenny Wong, Shihong Huang, Spencer Smith

Proceedings of the 19th Conference on Software Engineering Education and Training (CSEE&T 2006), 2006

2004

Commonality and Requirements Analysis for Mesh Generating Software.

Spencer Smith, Chien-Hsien Chen

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004