Yu-Shan Sun

According to our database, Yu-Shan Sun authored at least 13 papers between 2013 and 2022.

Collaborative distances:

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

2022

Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position.

Nicodemus Msafiri John Mbwambo, Yu-Shan Sun, Joan Krone, Murali Sitaraman

Proceedings of the Intelligent Computing, 2022

2021

Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum.

Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Yu-Shan Sun, Jiadi Wang, Gloria J. Washington

Informatics Educ., 2021

F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails.

Yu-Shan Sun, Daniel Welch, Murali Sitaraman

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

2020

Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.

Megan Fowler, Eileen T. Kraemer, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth

Proceedings of the ECSEE '20: European Conference on Software Engineering Education, 2020

2019

Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool.

Megan Fowler, Michelle Cook, Kevin Plis, Tim Schwab, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

2018

Reasoning About Reference Behavior with RESOLVE.

Yu-Shan Sun

ACM SIGSOFT Softw. Eng. Notes, 2018

Where exactly are the difficulties in reasoning logically about code? experimentation with an online system.

Michelle Cook, Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Tim Schwab, Yu-Shan Sun, Murali Sitaraman

Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

2016

Tool-Assisted Loop Invariant Development and Analysis.

Caleb H. Priester, Yu-Shan Sun, Murali Sitaraman

Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

2015

Experience report: evolution of a web-integrated software development and verification environment.

Charles T. Cook, Yu-Shan Sun, Murali Sitaraman

Softw. Pract. Exp., 2015

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.

Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

2014

A web-integrated verifying compiler for RESOLVE: a research perspective.

Daniel Welch, Charles T. Cook, Yu-Shan Sun, Murali Sitaraman

Proceedings of the 7th India Software Engineering Conference, Chennai, 2014

2013

A Language for Building Verified Software Components.

Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013

Specification and reasoning in SE projects using a Web IDE.

Charles T. Cook, Svetlana Drachova-Strang, Yu-Shan Sun, Murali Sitaraman, Jeffrey C. Carver, Joseph E. Hollingsworth

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013