Murali Sitaraman

	2009
34		Nighat Yasmin, Murali Sitaraman: Compositional performance prediction exemplified using generic object finalization analysis. ACM Southeast Regional Conference 2009
33		Jason O. Hallstrom, Joan Krone, Murali Sitaraman: Courseware for teaching analytical reasoning principles: a hands-on laboratory. ACM Southeast Regional Conference 2009
32		Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman: Generating Verified Java Components through RESOLVE. ICSR 2009: 11-20
31		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
30		Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman: Injecting rapid feedback and collaborative reasoning in teaching specifications. SIGCSE 2009: 524-528
	2008
29		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
28		Heather K. Harton, Murali Sitaraman, Joan Krone: Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
27		Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin: Formal Specification. Wiley Encyclopedia of Computer Science and Engineering 2008
	2007
26		Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide: Abstracting Pointers for a Verifying Compiler. SEW 2007: 204-213
	2006
25		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
24		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)
	2005
23		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)
22		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)
	2004
21		John M. Hunt, Murali Sitaraman: Enhancements - Enabling Flexible Feature and Implementation Selection. ICSR 2004: 86-100
20		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)
	2001
19		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
18		Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy: Performance specification of software components. SSR 2001: 3-10
	2000
17		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
	1999
16		Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman: Client view first: an exodus from implementation-biased teaching. SIGCSE 1999: 136-140
15		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
14		Edward A. Addy, Murali Sitaraman: Formal Specification of COTS-Based Software: A Case Study. SSR 1999: 83-91
	1998
13		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
12		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
	1997
11		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)
10		David Fleming, Murali Sitaraman, Sethu Sreerama: A Practical Performance Criterion for Object Interface Design. JOOP 10(4): 52-63 (1997)
9		Sethu Sreerama, David Fleming, Murali Sitaraman: Graceful Object-Based Performance Evolution. Softw., Pract. Exper. 27(1): 111-122 (1997)
	1996
8		Murali Sitaraman: Impact of Performance Considerations on Formal Specification Design. Formal Asp. Comput. 8(6): 716-736 (1996)
	1995
7		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
	1994
6		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
5		Bruce W. Weide, William F. Ogden, Murali Sitaraman: Recasting Algorithms to Encourage Reuse. IEEE Software 11(5): 80-88 (1994)
	1993
4		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
3		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)
	1992
2		Murali Sitaraman: A class of programming language mechanisms to facilitate multiple implementations of the same specification. ICCL 1992: 272-281
1		Murali Sitaraman: Performance-Parameterized Reusable Software Components. International Journal of Software Engineering and Knowledge Engineering 2(4): 567-587 (1992)

Coauthor Index

1	Jean-Raymond Abrial	[25]
2	Bruce M. Adcock	[29] [31]
3	Edward A. Addy	[14]
4	Steven Atkinson	[17]
5	Don S. Batory	[25]
6	Derek Bronish	[29] [31]
7	Paolo Bucci	[12] [16] [17] [23] [29]
8	Michael J. Butler	[25]
9	Yoonsik Cheon	[22]
10	Alessandro Coglio	[25]
11	Maggie Davis	[15]
12	Premkumar T. Devanbu	[15]
13	Stephen H. Edwards	[12] [20] [22]
14	Tao Fang	[7]
15	Michael B. Feldman	[6]
16	Kathi Fisler	[25]
17	David Fleming	[9] [10]
18	Gary A. Ford	[6]
19	William B. Frakes	[6]
20	David Frazier	[29] [32]
21	David S. Gibson	[12]
22	Jeffrey G. Gray (Jeff Gray)	[4]
23	Jason O. Hallstrom	[30] [33]
24	Douglas E. Harms	[3]
25	E. James Harner	[19]
26	Heather K. Harton	[28] [29] [31] [32]
27	Eric C. R. Hehner	[25]
28	Wayne D. Heym	[17] [23] [29]
29	Joseph E. Hollingsworth	[6] [12] [17] [20]
30	John M. Hunt	[21]
31	Cliff B. Jones	[25]
32	Simon L. Peyton Jones	[25]
33	Heather Keown	[26]
34	Jason Kirschenbaum	[29] [31]
35	Joan Krone	[18] [28] [33]
36	Gregory Kulczycki	[17] [18] [24] [26] [27]
37	Gary T. Leavens	[22] [25]
38	Dana P. Leonard	[30]
39	Timothy J. Long	[12] [13] [16] [17] [19]
40	David F. McAllister	[6]
41	Dale Miller	[25]
42	Raghuveer Mohan	[32]
43	William F. Ogden	[5] [11] [13] [18]
44	Scott M. Pike	[17]
45	Jeffrey S. Poulin	[15]
46	Alexander Ran	[15]
47	A. L. Narasimha Reddy	[7] [18]
48	George Rinard	[7]
49	Giorgio Rizzoni	[23]
50	Kimberly Roche	[27]
51	Atanas Rountev	[24]
52	Douglas R. Smith	[25]
53	Hampton Smith	[31] [32]
54	Sethu Sreerama	[9] [10]
55	Aaron Stump	[25]
56	Liqing Wang	[19]
57	Bruce W. Weide	[5] [6] [11] [12] [13] [15] [16] [17] [19] [20] [23] [24] [26] [29] [31]
58	Lonnie R. Welch	[3]
59	Nighat Yasmin	[27] [34]

Colors in the list of coauthors