Yu-Shan Sun

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