Murali Sitaraman

According to our database1, Murali Sitaraman authored at least 73 papers between 1992 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Understanding the Essence of Successful Computing Education Projects through Analyzing NSF Proposals: (Abstract Only).
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.
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.
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.
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Engineering and Employing Reusable Software Components for Modular Verification.
Proceedings of the Mastering Scale and Complexity in Software Reuse, 2017

Formalization IDEs Integrated with a Verifying Compiler.
Proceedings of the 12th Workshop on Implementation, 2017

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.
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.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Panel: Engage in Reasoning with Tools.
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, Memphis, TN, USA, March 02, 2016

Tool-Assisted Loop Invariant Development and Analysis.
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.
Softw., Pract. Exper., 2015

Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.
TOCE, 2015

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

Evaluation of Formal Reasoning Abilities Using a Concept Inventory.
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.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Special session: engaging mathematical reasoning exercises.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

A web-integrated verifying compiler for RESOLVE: a research perspective.
Proceedings of the 7th India Software Engineering Conference, Chennai, 2014

2013
Engaging mathematical reasoning exercises.
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).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013


Specification and reasoning in SE projects using a Web IDE.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques.
Proceedings of the ACM Southeast Regional Conference 2013, 2013

2012
Mathematical reasoning at the crossroads.
Inroads, 2012

The Location Linking Concept: A Basis for Verification of Code Using Pointers.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Teaching mathematical reasoning across the curriculum.
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

A Case Study in Verification of Embedded Network Software.
Proceedings of the NASA Formal Methods, 2012

A systematic approach to teaching abstraction and mathematical modeling.
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.
Proceedings of the 34th International Conference on Software Engineering, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques.
Proceedings of the 50th Annual Southeast Regional Conference, 2012

2011
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Asp. Comput., 2011

Making mathematical reasoning fun: tool-assisted, collaborative techniques.
Proceedings of the 49th Annual Southeast Regional Conference, 2011

2010
Some developments in mathematical thinking for computer science education since computing curricula 2001.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2009
Injecting rapid feedback and collaborative reasoning in teaching specifications.
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.
Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

Generating Verified Java Components through RESOLVE.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Detecting overflow vulnerabilities using automated verification.
Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

Compositional performance prediction exemplified using generic object finalization analysis.
Proceedings of the 47th Annual Southeast Regional Conference, 2009

Courseware for teaching analytical reasoning principles: a hands-on laboratory.
Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008
Formal Specification.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Formal Program Verification.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Incremental Benchmarks for Software Verification Tools and Techniques.
Proceedings of the Verified Software: Theories, 2008

2007
Abstracting Pointers for a Verifying Compiler.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006
A specification-based approach to reasoning about pointers.
ACM SIGSOFT Software Engineering Notes, 2006

Roadmap for enhanced languages and methods to aid verification.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
Model variables: cleanly supporting abstraction in design by contract.
Softw., Pract. Exper., 2005

Issues in performance certification for high-level automotive control software.
ACM SIGSOFT Software Engineering Notes, 2005

2004
Contract-Checking Wrappers for C++ Classes.
IEEE Trans. Software Eng., 2004

Enhancements - Enabling Flexible Feature and Implementation Selection.
Proceedings of the Software Reuse: Methods, 2004

2002
Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation.
Computer Science Education, 2002

2001
Performance specification of software components.
SSR, 2001

A Formal Approach to Component-Based Software Engineering: Education and Evaluation.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
Reasoning about Software-Component Behavior.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1999
Reuse Research: Contributions, Problems and Non-Problems.
SSR, 1999

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

Client view first: an exodus from implementation-biased teaching.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

1998
Providing intellectual focus to CS1/CS2.
Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998, Atlanta, Georgia, USA, February 26, 1998

A framework for detecting interface violations in component-based software.
Proceedings of the Fifth International Conference on Software Reuse, 1998

A Data Abstraction Alternative to Data Structure/Algorithm Modularization.
Proceedings of the Generic Programming, 1998

1997
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.
IEEE Trans. Software Eng., 1997

Graceful Object-Based Performance Evolution.
Softw., Pract. Exper., 1997

A Practical Performance Criterion for Object Interface Design.
JOOP, 1997

1996
Impact of Performance Considerations on Formal Specification Design.
Formal Asp. Comput., 1996

1995
Distributed Execution of Object-Based Software.
Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

1994
Recasting Algorithms to Encourage Reuse.
IEEE Software, 1994

What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"?
TRI-Ada, 1994

On tight performance specification of object-oriented software components.
Proceedings of 3rd International Conference on Software Reuse, 1994

1993
On Specification of Reusable Software Components.
International Journal of Software Engineering and Knowledge Engineering, 1993

Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course.
TRI-Ada, 1993

1992
Performance-Parameterized Reusable Software Components.
International Journal of Software Engineering and Knowledge Engineering, 1992

A class of programming language mechanisms to facilitate multiple implementations of the same specification.
Proceedings of the ICCL'92, 1992


  Loading...