Yu-Shan Sun

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 10

Top Topics

Symbolic Reasoning

Software Components

Top Venues

Informatics Educ.

Publications

Nicodemus Msafiri John Mbwambo, Yu-Shan Sun, Joan Krone, Murali Sitaraman
Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position. SAI (1) (2022)
Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Yu-Shan Sun, Jiadi Wang, Gloria J. Washington
Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum. Informatics Educ. 20 (4) (2021)
Yu-Shan Sun, Daniel Welch, Murali Sitaraman
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails. AppFM@FM (2021)
Megan Fowler, Eileen T. Kraemer, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions. ECSEE (2020)
Megan Fowler, Michelle Cook, Kevin Plis, Tim Schwab, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth
Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool. SIGCSE (2019)
Yu-Shan Sun
Reasoning About Reference Behavior with RESOLVE. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Michelle Cook, Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Tim Schwab, Yu-Shan Sun, Murali Sitaraman
Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. ITiCSE (2018)
Caleb H. Priester, Yu-Shan Sun, Murali Sitaraman
Tool-Assisted Loop Invariant Development and Analysis. CSEE&T (2016)
Charles T. Cook, Yu-Shan Sun, Murali Sitaraman
Experience report: evolution of a web-integrated software development and verification environment. Softw. Pract. Exp. 45 (6) (2015)
Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. F-IDE (2015)
Daniel Welch, Charles T. Cook, Yu-Shan Sun, Murali Sitaraman
A web-integrated verifying compiler for RESOLVE: a research perspective. ISEC (2014)
Charles T. Cook, Svetlana Drachova-Strang, Yu-Shan Sun, Murali Sitaraman, Jeffrey C. Carver, Joseph E. Hollingsworth
Specification and reasoning in SE projects using a Web IDE. CSEE&T (2013)
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
A Language for Building Verified Software Components. ICSR (2013)