Murali Sitaraman

Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide: Engaging mathematical reasoning exercises. SIGCSE 2013: 459-460

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: 757

Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman: Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference 2012: 403-404

Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman: Specification engineering and modular verification using a web-integrated verifying compiler. ICSE 2012: 1379-1382

Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David P. Jacobs, Joan Krone, Murali Sitaraman: A systematic approach to teaching abstraction and mathematical modeling. ITiCSE 2012: 357-362

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: 433-448

Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman: Teaching mathematical reasoning across the curriculum. SIGCSE 2012: 241-242

Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman: Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). SIGCSE 2012: 683

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: 34-49

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 Asp. Comput. 23(5): 607-626 (2011)

Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone: Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference 2011: 5

Doug Baldwin, Bill Marion, Murali Sitaraman, Cinda Heeren: Some developments in mathematical thinking for computer science education since computing curricula 2001. SIGCSE 2010: 392-393

Jason O. Hallstrom, Joan Krone, Murali Sitaraman: Courseware for teaching analytical reasoning principles: a hands-on laboratory. ACM Southeast Regional Conference 2009

Nighat Yasmin, Murali Sitaraman: Compositional performance prediction exemplified using generic object finalization analysis. ACM Southeast Regional Conference 2009

Brian A. Malloy, Murali Sitaraman, Jason O. Hallstrom: Detecting overflow vulnerabilities using automated verification. CSIIRW 2009: 22

Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman: Generating Verified Java Components through RESOLVE. ICSR 2009: 11-20

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: 31-40

Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Rich Pak: Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. ITiCSE 2009: 50-54

Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman: Injecting rapid feedback and collaborative reasoning in teaching specifications. SIGCSE 2009: 524-528

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: 84-98

Heather K. Harton, Murali Sitaraman, Joan Krone: Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering 2008

Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin: Formal Specification. Wiley Encyclopedia of Computer Science and Engineering 2008

Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide: Abstracting Pointers for a Verifying Compiler. SEW 2007: 204-213

Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev: A specification-based approach to reasoning about pointers. ACM SIGSOFT Software Engineering Notes 31(2) (2006)

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: 221-236

Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni: Issues in performance certification for high-level automotive control software. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards: Model variables: cleanly supporting abstraction in design by contract. Softw., Pract. Exper. 35(6): 583-599 (2005)

Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth: Contract-Checking Wrappers for C++ Classes. IEEE Trans. Software Eng. 30(11): 794-810 (2004)

John M. Hunt, Murali Sitaraman: Enhancements - Enabling Flexible Feature and Implementation Selection. ICSR 2004: 86-100

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: 601-609

Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy: Performance specification of software components. SSR 2001: 3-10

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: 266-283

Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman: Client view first: an exodus from implementation-biased teaching. SIGCSE 1999: 136-140

Edward A. Addy, Murali Sitaraman: Formal Specification of COTS-Based Software: A Case Study. SSR 1999: 83-91

Murali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide: Reuse Research: Contributions, Problems and Non-Problems. SSR 1999: 178-180

Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden: A Data Abstraction Alternative to Data Structure/Algorithm Modularization. Generic Programming 1998: 102-113

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: 252-256

David Fleming, Murali Sitaraman, Sethu Sreerama: A Practical Performance Criterion for Object Interface Design. JOOP 10(4): 52-63 (1997)

Sethu Sreerama, David Fleming, Murali Sitaraman: Graceful Object-Based Performance Evolution. Softw., Pract. Exper. 27(1): 111-122 (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): 157-170 (1997)

Murali Sitaraman: Impact of Performance Considerations on Formal Specification Design. Formal Asp. Comput. 8(6): 716-736 (1996)

Tao Fang, A. L. Narasimha Reddy, George Rinard, Murali Sitaraman: Distributed Execution of Object-Based Software. Parallel and Distributed Computing and Systems 1995: 521-524

Bruce W. Weide, William F. Ogden, Murali Sitaraman: Recasting Algorithms to Encourage Reuse. IEEE Software 11(5): 80-88 (1994)

Murali Sitaraman, Michael B. Feldman, Gary A. 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: 220

Murali Sitaraman, Lonnie R. Welch, Douglas E. Harms: On Specification of Reusable Software Components. International Journal of Software Engineering and Knowledge Engineering 3(2): 207-229 (1993)

Murali Sitaraman, Jeff Gray: Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course. TRI-Ada 1993: 137-146

Murali Sitaraman: Performance-Parameterized Reusable Software Components. International Journal of Software Engineering and Knowledge Engineering 2(4): 567-587 (1992)

Murali Sitaraman: A class of programming language mechanisms to facilitate multiple implementations of the same specification. ICCL 1992: 272-281