Murali Sitaraman

98 papers A* 2A 20B 13C 1Journal 24Unranked 36

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Network Visualization and Assessment of Student Reasoning About Conditionals. ITiCSE (1) Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom
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`	An Array Abstraction to Amortize Reasoning About Parallel Client Code. SAI (1) Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman
2021	—	`conf`	Automated Analysis of Student Verbalizations in Online Learning Environments. SETE Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Gloria J. Washington
2021	A	`conf`	Automated Analysis of Student Verbalizations in Online Learning Environments. SIGCSE Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Murali Sitaraman, Eileen T. Kraemer, Gloria J. Washington
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
2021	—	`conf`	Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. ITiCSE (1) Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth
2020	—	`conf`	Basic Code Understanding Challenges for Elementary School Children. RESPECT Olivia M. Nche, Raquel Boulware, S. Megan Che, Eileen T. Kraemer, Murali Sitaraman, Victor B. Zordan
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`	Engaging in Logical Code Reasoning with an Activity-Based Online Tool. SIGCSE Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman
2019	A	`conf`	How Can We Engage in Inclusive, Culturally Responsive Computer Science? SIGCSE Eileen T. Kraemer, Murali Sitaraman, S. Megan Che
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
2019	A	`conf`	Narratives and Evaluation: How to Write Competitive NSF CS Education Proposals. SIGCSE Stephanie E. August, S. Megan Che, Eileen T. Kraemer, Mark A. Pauley, Murali Sitaraman
2018	J	`jnl`	A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques. ACM SIGSOFT Softw. Eng. Notes Murali Sitaraman, Bruce W. Weide
2018	—	`conf`	An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning. ECSEE Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth
2018	A	`conf`	Understanding the Essence of Successful Computing Education Projects through Analyzing NSF Proposals: (Abstract Only). SIGCSE Stephanie E. August, Mark A. Pauley, S. Megan Che, Eileen T. Kraemer, Murali Sitaraman
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
2017	B	`conf`	Engineering and Employing Reusable Software Components for Modular Verification. ICSR Daniel Welch, Murali Sitaraman
2017	—	`conf`	Formalization IDEs Integrated with a Verifying Compiler. ICOOOLPS@ECOOP Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman
2017	—	`conf`	Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar
2017	A	`conf`	Special Session: ICER UP CS Ed Research Workshop Summary-Essence of Illustrative Projects. SIGCSE Eileen T. Kraemer, Aubrey Lawson, Murali Sitaraman
2016	—	`conf`	Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. VSTTE Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman
2016	A	`conf`	Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only). SIGCSE John P. Dougherty, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman
2016	A	`conf`	Panel: Engage in Reasoning with Tools. SIGCSE Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide
2016	—	`conf`	Tool-Assisted Loop Invariant Development and Analysis. CSEE&T Caleb H. Priester, Yu-Shan Sun, Murali Sitaraman
2015	—	`conf`	Evaluation of Formal Reasoning Abilities Using a Concept Inventory. FMSEE&T@FM Joseph E. Hollingsworth, 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
2015	J	`jnl`	Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. ACM Trans. Comput. Educ. Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Richard Pak, 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
2014	A	`conf`	An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering. SIGCSE Jason O. Hallstrom, Cathy Hochrine, Jacob Sorber, Murali Sitaraman
2014	A	`conf`	Special session: "hands-on" tutorial: teaching software correctness with RESOLVE. SIGCSE Murali Sitaraman, Bruce W. Weide
2014	A	`conf`	Special session: engaging mathematical reasoning exercises. SIGCSE Joseph E. Hollingsworth, 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	A	`conf`	Engaging mathematical reasoning exercises. SIGCSE Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide
2013	A	`conf`	Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). SIGCSE Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman
2013	—	`conf`	Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques. ACM Southeast Regional Conference Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone
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
2012	—	`conf`	A Case Study in Verification of Embedded Network Software. NASA Formal Methods Kalyan C. Regula, Hampton Smith, Heather Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman
2012	B	`conf`	A systematic approach to teaching abstraction and mathematical modeling. ITiCSE Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman
2012	A	`conf`	Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). SIGCSE Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman
2012	—	`conf`	Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman
2012	J	`jnl`	Mathematical reasoning at the crossroads. Inroads Peter B. Henderson, Murali Sitaraman
2012	A*	`conf`	Specification engineering and modular verification using a web-integrated verifying compiler. ICSE Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman
2012	A	`conf`	Teaching mathematical reasoning across the curriculum. SIGCSE Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman
2012	—	`conf`	The Location Linking Concept: A Basis for Verification of Code Using Pointers. VSTTE Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth
2011	J	`jnl`	Building a push-button RESOLVE verifier: Progress and challenges. Formal Aspects Comput. Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide
2011	—	`conf`	Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone
2011	J	`jnl`	Mathematics throughout the CS curriculum. J. Comput. Sci. Coll. Joan Krone, Murali Sitaraman, Jason O. Hallstrom
2010	A	`conf`	Some developments in mathematical thinking for computer science education since computing curricula 2001. SIGCSE Doug Baldwin, Bill Marion, Murali Sitaraman, Cinda Heeren
2009	—	`conf`	Compositional performance prediction exemplified using generic object finalization analysis. ACM Southeast Regional Conference Nighat Yasmin, Murali Sitaraman
2009	—	`conf`	Courseware for teaching analytical reasoning principles: a hands-on laboratory. ACM Southeast Regional Conference Jason O. Hallstrom, Joan Krone, Murali Sitaraman
2009	—	`conf`	Detecting overflow vulnerabilities using automated verification. CSIIRW Brian A. Malloy, Murali Sitaraman, Jason O. Hallstrom
2009	B	`conf`	Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. ITiCSE Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Richard Pak
2009	B	`conf`	Generating Verified Java Components through RESOLVE. ICSR Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman
2009	A	`conf`	Injecting rapid feedback and collaborative reasoning in teaching specifications. SIGCSE Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman
2009	B	`conf`	Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? ICSR Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide
2008	—	`ch.`	Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering Heather K. Harton, Murali Sitaraman, Joan Krone
2008	—	`ch.`	Formal Specification. Wiley Encyclopedia of Computer Science and Engineering Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin
2008	—	`conf`	Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier
2007	C	`conf`	Abstracting Pointers for a Verifying Compiler. SEW Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide
2006	J	`jnl`	A specification-based approach to reasoning about pointers. ACM SIGSOFT Softw. Eng. Notes Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev
2006	—	`conf`	Performance analysis based upon complete profiles. SAVCBS@FSE Joan Krone, William F. Ogden, Murali Sitaraman
2006	B	`conf`	Roadmap for enhanced languages and methods to aid verification. GPCE Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
2005	—	`conf`	A specification-based approach to reasoning about pointers. SAVCBS@ESEC/FSE Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev
2005	J	`jnl`	Issues in performance certification for high-level automotive control software. ACM SIGSOFT Softw. Eng. Notes Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni
2005	J	`jnl`	Model variables: cleanly supporting abstraction in design by contract. Softw. Pract. Exp. Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards
2004	J	`jnl`	Contract-Checking Wrappers for C++ Classes. IEEE Trans. Software Eng. Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth
2004	B	`conf`	Enhancements - Enabling Flexible Feature and Implementation Selection. ICSR John M. Hunt, Murali Sitaraman
2002	J	`jnl`	Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation. Comput. Sci. Educ. Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang
2001	A*	`conf`	A Formal Approach to Component-Based Software Engineering: Education and Evaluation. ICSE Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang
2001	—	`conf`	Performance specification of software components. SSR Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy
2000	B	`conf`	Reasoning about Software-Component Behavior. ICSR Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth
1999	A	`conf`	Client view first: an exodus from implementation-biased teaching. SIGCSE Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman
1999	—	`conf`	Formal Specification of COTS-Based Software: A Case Study. SSR Edward A. Addy, Murali Sitaraman
1999	—	`conf`	Reuse Research: Contributions, Problems and Non-Problems. SSR Murali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide
1998	J	`jnl`	1997 workshop on foundations of component-based systems. ACM SIGSOFT Softw. Eng. Notes Gary T. Leavens, Oscar Nierstrasz, Murali Sitaraman
1998	—	`conf`	A Data Abstraction Alternative to Data Structure/Algorithm Modularization. Generic Programming Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden
1998	B	`conf`	A framework for detecting interface violations in component-based software. ICSR Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth
1998	A	`conf`	Providing intellectual focus to CS1/CS2. SIGCSE Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards
1997	J	`jnl`	A Practical Performance Criterion for Object Interface Design. J. Object Oriented Program. David Fleming, Murali Sitaraman, Sethu Sreerama
1997	J	`jnl`	Fourth international conference on software reuse (ICSR4). ACM SIGSOFT Softw. Eng. Notes Murali Sitaraman
1997	J	`jnl`	Graceful Object-Based Performance Evolution. Softw. Pract. Exp. Sethu Sreerama, David Fleming, Murali Sitaraman
1997	J	`jnl`	On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations. IEEE Trans. Software Eng. Murali Sitaraman, Bruce W. Weide, William F. Ogden
1996	J	`jnl`	4th international software reuse conference overview. ACM SIGSOFT Softw. Eng. Notes Murali Sitaraman
1996	J	`jnl`	Impact of Performance Considerations on Formal Specification Design. Formal Aspects Comput. Murali Sitaraman
1996	B	`ed.`	Proceedings of Fourth IEEE International Conference on Software Reuse, ICSR 1996, April 23-26, 1996, Orlando, Florida, USA ICSR Murali Sitaraman
1995	—	`conf`	Distributed Execution of Object-Based Software. Parallel and Distributed Computing and Systems Tao Fang, A. L. Narasimha Reddy, George Rinard, Murali Sitaraman
1994	B	`conf`	On tight performance specification of object-oriented software components. ICSR Murali Sitaraman
1994	J	`jnl`	Part I: the RESOLVE framework and discipline: a research synopsis. ACM SIGSOFT Softw. Eng. Notes William F. Ogden, Murali Sitaraman, Bruce W. Weide, Stuart H. Zweben
1994	J	`jnl`	Part II: specifying components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, Bruce W. Weide
1994	J	`jnl`	Recasting Algorithms to Encourage Reuse. IEEE Softw. Bruce W. Weide, William F. Ogden, Murali Sitaraman
1994	—	`conf`	What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"? TRI-Ada Murali Sitaraman, Michael B. Feldman, Gary Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide
1993	J	`jnl`	On Specification of Reusable Software Components. Int. J. Softw. Eng. Knowl. Eng. Murali Sitaraman, Lonnie R. Welch, Douglas E. Harms
1993	—	`conf`	Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course. TRI-Ada Murali Sitaraman, Jeff Gray
1992	—	`conf`	A class of programming language mechanisms to facilitate multiple implementations of the same specification. ICCL Murali Sitaraman
1992	J	`jnl`	Performance-Parameterized Reusable Software Components. Int. J. Softw. Eng. Knowl. Eng. Murali Sitaraman