Murali Sitaraman

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 30

Top Topics

School Children

Human Reasoning

Special Session

Software Development

Top Venues

Publications

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