David L. Levine

Vice President of Research and Development
CombineNet, Inc.
Fifteen 27th Street
Pittsburgh, PA 15222
levine@cs.wustl.edu

Vita Contents

Summary of Research Interests
Industry Experience
Academic Research Experience
Academic Teaching Experience
Educational Background
Publications
Professional Activities
Presentations
Honors and Awards
Ph.D. and M.S. Committees
Software Tool Expertise

Summary of Research Interests

As the demand for real-time systems grows, the demand for predictable, robust, and efficient real-time software increases. This is especially true of embedded systems, where resource constraints are severe and application uptime is critical. My current research interests focus on operating system support and adaptation for such demanding applications. In particular, I'm interested in patterns for usages of operating system services and provision of those services with specified qualities of service. This must be done with minimal changes to current operating system interfaces, in order to preserve existing skills and programming approaches.

Other research interests include object-oriented real-time systems, performance analysis of distributed systems, scheduling of hard real-time systems, and static concurrency analysis.

Industry Experience

March 2002 -- present: Vice President of Research & Development
September 2000 -- March 2002: Director of Engineering
CombineNet, Inc., Pittsburgh, Pennsylvania.
Develop leading-edge technology for business-to-business marketplaces, including combinatorial auctions, reverse auctions, and exchanges with real-time winner determination requirements and outcome constraints.
July 1996 -- September 1996: Consultant
Technology Partners, Inc., St. Louis, Missouri.
Developed and implemented a Java front end for SQL databases, to allow efficient, concurrent access from web clients.
September 1993 -- July 1996: Senior Member Technical Staff, Core Signalling Team
Nexion, Inc., St. Louis, Missouri.
Developed Connection Management software layer for an ATM enterprise switch product. Lead team testing.
September 1987 -- May 1991: Staff Scientist, Systems Evaluation
Science Applications International Corporation, Electro-Optics Research Center, Newport Beach, California.
Lead software development of simulation tools for analyzing electro-optic sensor systems. Developed an air defense engagement simulator and a dynamic visibility simulator.
January 1980 -- September 1987: Member of the Technical Staff, Electric and Hybrid Vehicle Directorate
The Aerospace Corporation, Washington, DC.
Performed technical analyses for electric and hybrid vehicle drivetrain development programs. Evaluated fuel conservation potential of design modifications and adjuncts for automobiles and heavy trucks.
June 1978 -- December 1979: Engineering Staff
Chrysler Corporation, Engineering Center, Highland Park, Michigan.
Developed engine emissions control systems for cars and light trucks with microprocessor controlled fuel and ignition systems.

Academic Research Experience

October 1999 -- December 2000: Director, Center for Distributed Object Computing, Department of Computer Science at Washington University in St. Louis. Lead group of 17 people involved with cutting edge research and development of distributed object computing middleware. We focus on real-time and embedded systems, and rely on an open source software development model.
September 1996 -- December 2000: Senior Research Associate
Conducted research on object-oriented patterns and techniques for developing highly extensible, high-performance, real-time distributed object computing frameworks in the Department of Computer Science at Washington University in St. Louis.
September 1988 -- September 1993: Software Research Assistant
Developed a structural testing framework for concurrent programs with Professor Richard Taylor at the University of California, Irvine.

Academic Teaching Experience

Courses at Washington University

CS 342S: Object-Oriented Software Development Laboratory, Fall 1999.
CS 342S: Object-Oriented Software Development Laboratory, Spring 1999.
CS 6872: Research Seminar on Software Systems, Fall 1998.

Other Teaching Experience

August 1990 -- May 1993: Project Advisor
Provided guidance and technical consultation for student electric vehicle project.
August 1988 -- May 1991: Teaching Assistant
Assisted with teaching undergraduate software engineering courses in the Department of Computer Science, University of California, Irvine.

Educational Background

Ph.D. in Information and Computer Science, University of California, Irvine, June 1993. Dissertation: Structural Reengineering for Static Concurrency Analysis.
M.S. in Electrical Engineering and Computer Science, George Washington University.
B.S. in Mechanical Engineering, Cornell University.

Publications

Book Publications and Book Chapters

Michael Kircher, Prashant Jain, Angelo Corsaro, and David L. Levine, Distributed Extreme Programming, Extreme Programming Perspectives, Addison-Wesley, ISBN 0-201-77005-9, 2003.
David L. Levine, Christopher D. Gill, and Douglas C. Schmidt, Object Lifetime Manager -- A Complementary Pattern for Controlling Object Creation and Destruction, Design Patterns in Communications Software, (Linda Rising, ed.), Cambridge University Press, ISBN 0-521-79040-9, October 2001.
Michael Kircher and David L. Levine, The XP of TAO -- eXtreme Programming of Large, Open-source Frameworks, Extreme Programming Examined, Addison-Wesley, ISBN 0-201-71040-4, 2001.
Douglas C. Schmidt, David L. Levine, Chris Cleeland, and Irfan Pyarali, Architectures and Patterns for Developing High-performance, Real-time ORB Endsystems, Advances in Computers, Vol. 48, Academic Press, Ed.: Marvin Zelkowitz, 1999.

Refereed Papers and Posters
Tuomas Sandholm, David Levine, Michael Concordia, Paul Martyn, Rick Hughes, Jim Jacobs, and Dennis Begg, Changing the Game in Strategic Sourcing at Procter & Gamble: Expressive Competition Enabled by Optimization, Interfaces 36:1, January-February 2006, pp. 55-68.
Tuomas Sandholm, Subhash Suri, Andrew Gilpin, and David Levine, CABOB: A Fast Optimal Algorithm for Winner Determination in Combinatorial Auctions, Management Science 51:3, March 2005, pp. 374-390.
Tuomas Sandholm, Subhash Suri, Andrew Gilpin, and David Levine, Winner Determination in Combinatorial Auction Generalizations, First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, 15-19 July 2002.
Tuomas Sandholm, Subhash Suri, Andrew Gilpin, and David Levine, CABOB: A Fast Optimal Algorithm for Combinatorial Auctions, In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI), pages 1102--1108, Seattle, Washington, 2001.
Michael Kircher, Prashant Jain, Angelo Corsaro, and David L. Levine, Distributed eXtreme Programming, Proceedings of the Second International Conference on eXtreme Programming and Flexible Processes in Software Engineering -- XP2001, Villasimius, Italy, 20 - 23 May 2001.
Christopher D. Gill, David L. Levine, and Douglas C. Schmidt The Design and Performance of a Real-Time CORBA Scheduling Service, Real-Time Systems: the International Journal of Time-Critical Computing Systems 20 (2):117-154, special issue on Real-Time Middleware, guest editor Wei Zhao, March 2001.
Carlos O'Ryan, Douglas C. Schmidt, Fred Kuhns, Marina Spivak, Jeff Parsons, Irfan Pyarali, and David L. Levine, Evaluating Policies and Mechanisms to Support Distributed Real-Time Applications with CORBA, The Journal of Theory and Practice of Object Systems (Special Issue on Distributed Objects and Applications), Wiley and Sons, 13:2, February, 2001.
Christopher D. Gill and David L. Levine Quality of Service Management for Real-Time Embedded Information Systems, presented at the 19th IEEE/AIAA Digital Avionics System Conference (DASC), Philadelphia, Pennsylvania, 7-13 October 2000.
Christopher D. Gill, David L. Levine, and Douglas C. Schmidt, Towards Real-Time Adaptive QoS Management in Middleware for Embedded Computing Systems, High Performance Embedded Computing Workshop 2000, MIT Lincoln Laboratory, 20-22 September 2000.
Michael Kircher and David L. Levine, The XP of TAO -- eXtreme Programming of Large, Open-source Frameworks, Proceedings of the First International Conference on eXtreme Programming and Flexible Processes in Software Engineering, Cagliari, Italy, 21 - 23 June 2000.
Carlos O'Ryan, Douglas C. Schmidt, Fred Kuhns, Marina Spivak, Jeff Parsons Irfan Pyarali, and David L. Levine, Evaluating Policies and Mechanisms for Supporting Embedded, Real-Time Applications with CORBA 3.0, Proceedings of the Sixth IEEE Real-Time Technology and Applications Symposium (RTAS'00), Washington D.C., USA, 31 May - 2 June 2000.
Nanbor Wang, Douglas C. Schmidt, and David Levine, Optimizing the CORBA Component Model for High-performance and Real-time Applications, Work-in-progress session of the IFIP/ACM Middleware 2000 Conference, Palisades, New York, April 3-7, 2000.
Carlos O'Ryan, Douglas C. Schmidt, David L. Levine, and Russell Noseworthy, Applying a Real-time CORBA Event Service to Large-scale Distributed Interactive Simulation", 5th International Workshop on Object-oriented Real-Time Dependable Systems (WORDS '99), IEEE, Monterey, CA, November 15-18, 1999.
Christopher D. Gill, Fred Kuhns, David L. Levine, Douglas C. Schmidt, Bryan S. Doerr, Richard E. Schantz, and Alia K. Atlas, Applying Adaptive Real-time Middleware to Address Grand Challenges of COTS-based Mission-Critical Real-Time Systems,1st International Workshop on Real-Time Mission-Critical Systems: Grand Challenge Problems, IEEE, Phoenix, Arizona, November 30, 1999.
Fred Kuhns, Douglas C. Schmidt, Carlos O'Ryan and David L. Levine,Supporting High-performance I/O in QoS-enabled ORB Middleware, Cluster Computing: the Journal on Networks, Software, and Applications, 3:3, 2000.
David L. Levine, Sergio Flores-Gaitan, and Douglas C. Schmidt, An Empirical Evaluation of OS Endsystem Support for Real-time CORBA Object Request Brokers, Proceedings of the Multimedia Computing and Networking 2000 (MMCN00), San Jose, CA, January 25-27, 2000.
David L. Levine, Christopher D. Gill, and Douglas C. Schmidt, Object Lifecycle Manager -- A Complementary Pattern for Controlling Object Creation and Destruction. Proceedings of the 5th Pattern Languages of Programming Conference, Allerton Park, Illinois, USA, 15 -- 18 August 1999.
Fred Kuhns, Douglas C. Schmidt, and David L. Levine, The Performance of a Real-time I/O Subsystem for QoS-enabled ORB Middleware, Proceedings of the International Symposium on Distributed Objects and Applications (DOA '99), Edinburgh, Scotland, September 1999.
Christopher D. Gill, David L. Levine, Carlos O'Ryan, and Douglas C. Schmidt, Distributed Object Visualization for Sensor-Driven Systems. Presented at the 18th IEEE/AIAA Digital Avionics System Conference (DASC), St. Louis, Missouri, 24 October - 29 October 1999.
Douglas C. Schmidt, Fred Kuhns, and David L. Levine, The Design and Performance of RIO -- A Real-time I/O Subsystem for ORB Endsystems, 5th IEEE Real-Time Technology and Applications Symposium (RTAS '99), Vancouver, British Columbia, Canada, June 2-4, 1999.
David L. Levine, Sergio Flores-Gaitan, Christopher D. Gill, and Douglas C. Schmidt, Measuring OS Support for Real-time CORBA ORBs, presented to the IEEE Fourth International Workshop on Object-oriented Real-time Dependable Systems (WORDS'99), Santa Barbara, California, January 27-29, 1999.
David L. Levine, Christopher D. Gill, and Douglas C. Schmidt, Dynamic Scheduling Strategies for Avionics Mission Computing. Presented at the 17th IEEE/AIAA Digital Avionics System Conference (DASC), Seattle, Washington, 31 October - 6 November 1998.
Douglas C. Schmidt, David L. Levine, and Sumedh Mungee, The Design of the TAO Real-Time Object Request Broker, Computer Communications Special Issue on Building Quality of Service into Distributed System, Volume 21, Number 4, Elsevier Science, April, 1998, pp. 294--324.
Douglas C. Schmidt, Fred Kuhns, Rajeev Bector, and David L. Levine, An ORB Endsystem Architecture for Statically Scheduled Real-time Applications, Proceedings of the Workshop on Middleware for Real-Time Systems and Services, held in conjunction with the IEEE Real-time Systems Symposium, San Francisco, CA, December 2nd, 1997.
Timothy H. Harrison, David L. Levine, and Douglas C. Schmidt, The Design and Performance of a Real-time CORBA Object Event Service, Proceedings of the OOPSLA '97, conference Atlanta, Georgia, October, 1997.
A Concurrency Analysis Tool Suite for Ada Programs: Design, Rationale, and Preliminary Experience. by Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, and Debra Brodbeck. Purdue University SERC Technical Report TR-128-P, revised November 1994. (Appeared in revised form in the January 1995 issue of ACM Transactions on Software Engineering and Methodology.) Abstract
David L. Levine and Richard N. Taylor, Metric-Driven Reengineering for Static Concurrency Analysis. Presented at the International Symposium on Software Testing and Analysis, Cambridge, Massachusetts (June 28-30, 1993).
Richard N. Taylor, David L. Levine, and Cheryl D. Kelly, Structural Testing of Concurrent Programs. IEEE Transactions on Software Engineering, 18(3):206--215 (March 1992).

Other Papers
David L. Levine, Christopher D. Gill, and Douglas C. Schmidt, Object Lifetime Manager -- A Complementary Pattern for Controlling Object Creation and Destruction, C++ Report, SIGS, Vol. 12, No. 1, January 2000.
Christopher D. Gill, David L. Levine, and Douglas C. Schmidt, Position Paper for the Dynamic Scheduling RFP Response, submitted to OMG, 1 September 1999.

Professional Activities

Editorial Activities
- Guest editor of the Special Issue on Components and Patterns for The Journal of Theory and Practice of Object Systems, (co-editor Douglas C. Schmidt) Wiley & Sons, 2000.
Program Committees
- Technical program committee for the 21st International Conference on Distributed Computing Systems (ICDCS-21), Phoenix, Arizona, USA, 16-19 April 2001.
- Session Chair, Real-Time Windows NT for the Fifth IEEE Real-Time Technology and Applications Symposium (RTAS '99), Vancouver, British Columbia, Canada, 2-4 June 1999.
- Technical program committee for the Fourth IEEE Real-Time Technology and Applications Symposium (RTAS '98), Denver, CO, USA, 4 June 1998.
Society Memberships: ACM, IEEE, and SAE.
Reviewer, IEEE Transactions on Software Engineering.
Reviewer, IEEE Transactions on Parallel and Distributed Systems.
Reviewer, Addison-Wesley.
Registered Professional Engineer, District of Columbia.
Volunteer, Cornell University Alumni Admissions Ambassador Network.

Presentations

Institute for Operations Research and the Management Sciences (INFORMS) Annual Meeting, Industrial Procurement Auctions with Expressive Competition, Atlanta, Georgia, 20 October 2003.
Institute for Operations Research and the Management Sciences (INFORMS) Annual Meeting, CABOB: A Fast Optimal Algorithm for Combinatorial Auctions, San Jose, California, 17 November 2002.
National Research Council Canada, Institute for Information Technology, Colloquium Series, Next Generation Middleware for Real-Time, Embedded Systems, Ottawa, Ontario, Canada, 8 February 2000.
Lynx Users Group North American LUG '99 Meeting Real-Time ORB Performance, San Jose, California, USA, September 27, 1999.
17th IEEE/AIAA Digital Avionics System Conference (DASC), Dynamic Scheduling Strategies for Avionics Mission Computing, November 3, 1998.
Washington University CS Department Faculty Research Day, Flexible Scheduling for Avionics Mission Computing, October 16, 1998.
RTAS '98 Session on Real-Time Using COTS Technologies. June 4, 1998.
SPrint Applied Research parTners Advanced Networking (SPARTAN) Symposium, May 19-20, 1998.
OPENSIG '97, Architectural Considerations for Deterministic Real-Time CORBA Applications, New York, New York, USA, October 7, 1997.
RTAS '97 RT CORBA panel presentation and discussion, Montreal, Quebec, Canada, June 10, 1997.
OMG RT SIG presentation and submission, Austin, Texas, USA, March 1997.

Honors and Awards

Listed in Marquis' Who's Who in Science and Engineering, 10th Anniversary Edition, 2008-2009.
Listed in Marquis' Who's Who in Science and Engineering, 9th Edition, 2006-2007.
Listed in Marquis' Who's Who in America, 57th Edition, 2003.
Listed in Strathmore's Who's Who, 1999-2000 Edition.
Listed in International Who's Who of Information Technology, 1999.
Listed in Marquis' Who's Who in Science and Engineering, 1996-1997.
The Aerospace Corporation Master's Fellow, Washington, DC, USA, 1986.

Ph.D. and M.S. Committees

M.S. advisor for Balachandran Natarajan, December 2000.
M.S. advisor for Marina Spivak, October 2000.
M.S. advisor for Yamuna Krishnamurthy, September 2000.
M.S. advisor for Pradeep Gore, September 2000.
M.S. advisor for Vishal Kachroo, August 2000.
M.S. advisor for Kirthika Parameswaran, August 2000.
M.S. oral exam committee for Nagarajan Surendran, August 1999.
M.S. oral exam committee for Alex Arulanthu, July 1999.
M.S. oral exam committee for Alan Huffman, July 1999.
Ph.D. oral defense committee for Chris Gill, June 1999.
M.S. oral exam committee for Woody Zenfell, February 1999.
M.S. oral exam committee for Meghana Joshi, November 1998.
M.S. oral exam committee for Adam Quan, November 1998.
M.S. oral exam committee for Sergio Flores-Gaitan, June 1998.
M.S. oral exam committee for Sumedh Mungee, May 1998.

Software Tool Expertise

Guru level proficiency with C++, GNU g++, C, Perl, XML and XML parsing, ACE, BSD and System V UNIX (notably SunOS 4.1.x and Solaris 2.x) programmer tools, Linux, LynxOS, CVS, Purify, and Quantify.
Highly proficient with CORBA, DEC UNIX, Java, HTML, QNX Neutrino, VxWorks, Windows NT, ClearCase, Gnats, and Ada.

Back to David L. Levine's home page.

Last modified 11:23:17 CDT 26 October 2007.
[an error occurred while processing this directive] [an error occurred while processing this directive]