Murali Sitaraman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
8
Active years
1994–2022
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ITiCSE | Network Visualization and Assessment of Student Reasoning About Conditionals. | Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom |
| 2021 | ITiCSE | Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. | Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth |
| 2021 | SIGCSE | 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 |
| 2019 | SIGCSE | 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 |
| 2019 | SIGCSE | 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 |
| 2019 | SIGCSE | Engaging in Logical Code Reasoning with an Activity-Based Online Tool. | Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman |
| 2019 | SIGCSE | How Can We Engage in Inclusive, Culturally Responsive Computer Science? | Eileen T. Kraemer, Murali Sitaraman, S. Megan Che |
| 2018 | ITiCSE | 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 |
| 2018 | SIGCSE | 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 |
| 2017 | ECOOP | Formalization IDEs Integrated with a Verifying Compiler. | Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman |
| 2017 | ICSR | Engineering and Employing Reusable Software Components for Modular Verification. | Daniel Welch, Murali Sitaraman |
| 2017 | SIGCSE | Special Session: ICER UP CS Ed Research Workshop Summary-Essence of Illustrative Projects. | Eileen T. Kraemer, Aubrey Lawson, Murali Sitaraman |
| 2016 | SIGCSE | 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 |
| 2016 | SIGCSE | Panel: Engage in Reasoning with Tools. | Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide |
| 2015 | FM | Evaluation of Formal Reasoning Abilities Using a Concept Inventory. | Joseph E. Hollingsworth, Murali Sitaraman |
| 2014 | SIGCSE | An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering. | Jason O. Hallstrom, Cathy Hochrine, Jacob Sorber, Murali Sitaraman |
| 2014 | SIGCSE | Special session: engaging mathematical reasoning exercises. | Joseph E. Hollingsworth, Murali Sitaraman |
| 2014 | SIGCSE | Special session: "hands-on" tutorial: teaching software correctness with RESOLVE. | Murali Sitaraman, Bruce W. Weide |
| 2013 | ICSR | 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 |
| 2013 | SIGCSE | Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). | Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman |
| 2013 | SIGCSE | Engaging mathematical reasoning exercises. | Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide |
| 2012 | ICSE | Specification engineering and modular verification using a web-integrated verifying compiler. | Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman |
| 2012 | ITiCSE | 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 |
| 2012 | SIGCSE | Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). | Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman |
| 2012 | SIGCSE | Teaching mathematical reasoning across the curriculum. | Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman |
| 2010 | SIGCSE | Some developments in mathematical thinking for computer science education since computing curricula 2001. | Doug Baldwin, Bill Marion, Murali Sitaraman, Cinda Heeren |
| 2009 | ICSR | 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 |
| 2009 | ICSR | Generating Verified Java Components through RESOLVE. | Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman |
| 2009 | ITiCSE | 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 |
| 2009 | SIGCSE | Injecting rapid feedback and collaborative reasoning in teaching specifications. | Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman |
| 2007 | SEW | Abstracting Pointers for a Verifying Compiler. | Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide |
| 2006 | GPCE | 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 |
| 2004 | ICSR | Enhancements - Enabling Flexible Feature and Implementation Selection. | John M. Hunt, Murali Sitaraman |
| 2001 | ICSE | A Formal Approach to Component-Based Software Engineering: Education and Evaluation. | Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang |
| 2000 | ICSR | 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 |
| 1999 | SIGCSE | Client view first: an exodus from implementation-biased teaching. | Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman |
| 1998 | ICSR | A framework for detecting interface violations in component-based software. | Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth |
| 1998 | SIGCSE | 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 |
| 1994 | ICSR | On tight performance specification of object-oriented software components. | Murali Sitaraman |