Murali Sitaraman

2007
24	EE	Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide: Abstracting Pointers for a Verifying Compiler. SEW 2007: 204-213
2006
23	EE	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
22	EE	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
21	EE	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)
20	EE	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
19	EE	John M. Hunt, Murali Sitaraman: Enhancements - Enabling Flexible Feature and Implementation Selection. ICSR 2004: 86-100
18	EE	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
17		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
16	EE	Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy: Performance specification of software components. SSR 2001: 3-10
2000
15		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
14	EE	Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman: Client view first: an exodus from implementation-biased teaching. SIGCSE 1999: 136-140
13	EE	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
12	EE	Edward A. Addy, Murali Sitaraman: Formal Specification of COTS-Based Software: A Case Study. SSR 1999: 83-91
1998
11	EE	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
10	EE	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
9	EE	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)
8		David Fleming, Murali Sitaraman, Sethu Sreerama: A Practical Performance Criterion for Object Interface Design. JOOP 10(4): 52-63 (1997)
7		Sethu Sreerama, David Fleming, Murali Sitaraman: Graceful Object-Based Performance Evolution. Softw., Pract. Exper. 27(1): 111-122 (1997)
1996
6		Murali Sitaraman: Impact of Performance Considerations on Formal Specification Design. Formal Asp. Comput. 8(6): 716-736 (1996)
1995
5		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
4	EE	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
3	EE	Bruce W. Weide, William F. Ogden, Murali Sitaraman: Recasting Algorithms to Encourage Reuse. IEEE Software 11(5): 80-88 (1994)
1993
2	EE	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
1992
1	EE	Murali Sitaraman: A class of programming language mechanisms to facilitate multiple implementations of the same specification. ICCL 1992: 272-281

Coauthor Index

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

Colors in the list of coauthors