Murali Sitaraman

According to our database, Murali Sitaraman authored at least 93 papers between 1992 and 2022.

Collaborative distances:

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

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

Network Visualization and Assessment of Student Reasoning About Conditionals.

Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom

Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 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

Automated Analysis of Student Verbalizations in Online Learning Environments.

Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Murali Sitaraman, Eileen T. Kraemer, Gloria J. Washington

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

An Array Abstraction to Amortize Reasoning About Parallel Client Code.

Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman

Proceedings of the Intelligent Computing, 2021

Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties.

Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

2020

Basic Code Understanding Challenges for Elementary School Children.

Olivia M. Nche, Raquel Boulware, S. Megan Che, Eileen T. Kraemer, Murali Sitaraman, Victor B. Zordan

Proceedings of the Research on Equity and Sustained Participation in Engineering, 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

How Can We Engage in Inclusive, Culturally Responsive Computer Science?

Eileen T. Kraemer, Murali Sitaraman, S. Megan Che

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

Engaging in Logical Code Reasoning with an Activity-Based Online Tool.

Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 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

Narratives and Evaluation: How to Write Competitive NSF CS Education Proposals.

Stephanie E. August, S. Megan Che, Eileen T. Kraemer, Mark A. Pauley, Murali Sitaraman

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

2018

A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques.

Murali Sitaraman, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 2018

Understanding the Essence of Successful Computing Education Projects through Analyzing NSF Proposals: (Abstract Only).

Stephanie E. August, Mark A. Pauley, S. Megan Che, Eileen T. Kraemer, Murali Sitaraman

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 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

An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning.

Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth

Proceedings of the 3rd European Conference of Software Engineering Education, 2018

2017

Special Session: ICER UP CS Ed Research Workshop Summary-Essence of Illustrative Projects.

Eileen T. Kraemer, Aubrey Lawson, Murali Sitaraman

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Engineering and Employing Reusable Software Components for Modular Verification.

Daniel Welch, Murali Sitaraman

Proceedings of the Mastering Scale and Complexity in Software Reuse, 2017

Formalization IDEs Integrated with a Verifying Compiler.

Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman

Proceedings of the 12th Workshop on Implementation, 2017

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.

Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar

Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2016

Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue.

Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Panel: Engage in Reasoning with Tools.

Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only).

John P. Dougherty, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 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

Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.

Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Richard Pak, Murali Sitaraman

ACM Trans. Comput. Educ., 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

Evaluation of Formal Reasoning Abilities Using a Concept Inventory.

Joseph E. Hollingsworth, Murali Sitaraman

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

2014

Special session: "hands-on" tutorial: teaching software correctness with RESOLVE.

Murali Sitaraman, Bruce W. Weide

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Special session: engaging mathematical reasoning exercises.

Joseph E. Hollingsworth, Murali Sitaraman

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering.

Jason O. Hallstrom, Cathy Hochrine, Jacob Sorber, Murali Sitaraman

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 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

Engaging mathematical reasoning exercises.

Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only).

Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 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

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques.

Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone

Proceedings of the ACM Southeast Regional Conference 2013, 2013

2012

Mathematical reasoning at the crossroads.

Peter B. Henderson, Murali Sitaraman

Inroads, 2012

The Location Linking Concept: A Basis for Verification of Code Using Pointers.

Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Teaching mathematical reasoning across the curriculum.

Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only).

Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

A Case Study in Verification of Embedded Network Software.

Kalyan C. Regula, Hampton Smith, Heather Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman

Proceedings of the NASA Formal Methods, 2012

A systematic approach to teaching abstraction and mathematical modeling.

Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Specification engineering and modular verification using a web-integrated verifying compiler.

Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman

Proceedings of the 34th International Conference on Software Engineering, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques.

Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 50th Annual Southeast Regional Conference, 2012

2011

Building a push-button RESOLVE verifier: Progress and challenges.

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

Formal Aspects Comput., 2011

2010

Some developments in mathematical thinking for computer science education since computing curricula 2001.

Doug Baldwin, Bill Marion, Murali Sitaraman, Cinda Heeren

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2009

Injecting rapid feedback and collaborative reasoning in teaching specifications.

Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman

Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.

Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Richard Pak

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

Generating Verified Java Components through RESOLVE.

Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?

Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Detecting overflow vulnerabilities using automated verification.

Brian A. Malloy, Murali Sitaraman, Jason O. Hallstrom

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

Compositional performance prediction exemplified using generic object finalization analysis.

Nighat Yasmin, Murali Sitaraman

Proceedings of the 47th Annual Southeast Regional Conference, 2009

Courseware for teaching analytical reasoning principles: a hands-on laboratory.

Jason O. Hallstrom, Joan Krone, Murali Sitaraman

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008

Formal Specification.

Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Formal Program Verification.

Heather K. Harton, Murali Sitaraman, Joan Krone

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Incremental Benchmarks for Software Verification Tools and Techniques.

Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier

Proceedings of the Verified Software: Theories, 2008

2007

Abstracting Pointers for a Verifying Compiler.

Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006

A specification-based approach to reasoning about pointers.

Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev

ACM SIGSOFT Softw. Eng. Notes, 2006

Performance analysis based upon complete profiles.

Joan Krone, William F. Ogden, Murali Sitaraman

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Roadmap for enhanced languages and methods to aid verification.

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

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Model variables: cleanly supporting abstraction in design by contract.

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards

Softw. Pract. Exp., 2005

Issues in performance certification for high-level automotive control software.

Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni

ACM SIGSOFT Softw. Eng. Notes, 2005

2004

Contract-Checking Wrappers for C++ Classes.

Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth

IEEE Trans. Software Eng., 2004

Enhancements - Enabling Flexible Feature and Implementation Selection.

John M. Hunt, Murali Sitaraman

Proceedings of the Software Reuse: Methods, 2004

2002

Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation.

Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang

Comput. Sci. Educ., 2002

2001

Performance specification of software components.

Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy

Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, 2001

A Formal Approach to Component-Based Software Engineering: Education and Evaluation.

Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Reasoning about Software-Component Behavior.

Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth

Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1999

Reuse Research: Contributions, Problems and Non-Problems.

Murali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide

Proceedings of the Fifth ACM SIGSOFT Symposium on Software Reusability, 1999

Formal Specification of COTS-Based Software: A Case Study.

Edward A. Addy, Murali Sitaraman

Proceedings of the Fifth ACM SIGSOFT Symposium on Software Reusability, 1999

Client view first: an exodus from implementation-biased teaching.

Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

1998

1997 workshop on foundations of component-based systems.

Gary T. Leavens, Oscar Nierstrasz, Murali Sitaraman

ACM SIGSOFT Softw. Eng. Notes, 1998

Providing intellectual focus to CS1/CS2.

Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards

Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998

A framework for detecting interface violations in component-based software.

Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth

Proceedings of the Fifth International Conference on Software Reuse, 1998

A Data Abstraction Alternative to Data Structure/Algorithm Modularization.

Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden

Proceedings of the Generic Programming, 1998

1997

On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.

Murali Sitaraman, Bruce W. Weide, William F. Ogden

IEEE Trans. Software Eng., 1997

Graceful Object-Based Performance Evolution.

Sethu Sreerama, David Fleming, Murali Sitaraman

Softw. Pract. Exp., 1997

Fourth international conference on software reuse (ICSR4).

Murali Sitaraman

ACM SIGSOFT Softw. Eng. Notes, 1997

A Practical Performance Criterion for Object Interface Design.

David Fleming, Murali Sitaraman, Sethu Sreerama

J. Object Oriented Program., 1997

1996

4th international software reuse conference overview.

Murali Sitaraman

ACM SIGSOFT Softw. Eng. Notes, 1996

Impact of Performance Considerations on Formal Specification Design.

Murali Sitaraman

Formal Aspects Comput., 1996

1995

Distributed Execution of Object-Based Software.

Tao Fang, A. L. Narasimha Reddy, George Rinard, Murali Sitaraman

Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

1994

Recasting Algorithms to Encourage Reuse.

Bruce W. Weide, William F. Ogden, Murali Sitaraman

IEEE Softw., 1994

Part I: the RESOLVE framework and discipline: a research synopsis.

William F. Ogden, Murali Sitaraman, Bruce W. Weide, Stuart H. Zweben

ACM SIGSOFT Softw. Eng. Notes, 1994

Part II: specifying components in RESOLVE.

Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 1994

What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"?

Murali Sitaraman, Michael B. Feldman, Gary Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

On tight performance specification of object-oriented software components.

Murali Sitaraman

Proceedings of 3rd International Conference on Software Reuse, 1994

1993

On Specification of Reusable Software Components.

Murali Sitaraman, Lonnie R. Welch, Douglas E. Harms

Int. J. Softw. Eng. Knowl. Eng., 1993

Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course.

Murali Sitaraman, Jeff Gray

Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993

1992

Performance-Parameterized Reusable Software Components.

Murali Sitaraman

Int. J. Softw. Eng. Knowl. Eng., 1992

A class of programming language mechanisms to facilitate multiple implementations of the same specification.

Murali Sitaraman

Proceedings of the ICCL'92, 1992