Lackwit

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Lackwit: a program understanding tool based on type inference

Source

International Conference on Software Engineering archive
Proceedings of the 19th international conference on Software engineering table of contents

Boston, Massachusetts, United States

Pages: 338 - 348

Year of Publication: 1997

ISBN:0-89791-914-9

Authors

Robert O'Callahan
Daniel Jackson

Sponsors

IEEE-CS\TCSE : TC on Software Engineering
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 42

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/253228.253351 What is a DOI?

CITED BY 42

	Michael Ernst, Research summary for dynamic detection of program invariants, Proceedings of the 21st international conference on Software engineering, p.718-719, May 16-22, 1999, Los Angeles, California, United States
	G. Ramalingam , Raghavan Komondoor , John Field , Saurabh Sinha, Semantics-based reverse engineering of object-oriented data models, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Michael D. Ernst , Adam Czeisler , William G. Griswold , David Notkin, Quickly detecting relevant program invariants, Proceedings of the 22nd international conference on Software engineering, p.449-458, June 04-11, 2000, Limerick, Ireland
	Peter Harry Eidorff , Fritz Henglein , Christian Mossin , Henning Niss , Morten Heine Sørensen , Mads Tofte, AnnoDomini: from type theory to Year 2000 conversion tool, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 20-22, 1999, San Antonio, Texas, United States
	Dominic Duggan, Modular type-based reverse engineering of parameterized types in Java code, ACM SIGPLAN Notices, v.34 n.10, p.97-113, Oct. 1999
	Nicky Williams Preston, New type signatures for legacy Fortran subroutines, ACM SIGSOFT Software Engineering Notes, v.24 n.5, p.76-85, Sept. 1999
	Michael Siff , Satish Chandra , Thomas Ball , Krishna Kunchithapadam , Thomas Reps, Coping with type casts in C, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.180-198, Nov. 1999
	Daniel Jackson , John Chapin, Redesigning Air Traffic Control: An Exercise in Software Design, IEEE Software, v.17 n.3, p.63-70, May 2000
	G. Ramalingam , John Field , Frank Tip, Aggregate structure identification and its application to program analysis, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.119-132, January 20-22, 1999, San Antonio, Texas, United States
	Elisa L. A. Baniassad , Gail C. Murphy, Conceptual module querying for software reengineering, Proceedings of the 20th international conference on Software engineering, p.64-73, April 19-25, 1998, Kyoto, Japan
	Michael Siff , Thomas Reps, Identifying Modules via Concept Analysis, IEEE Transactions on Software Engineering, v.25 n.6, p.749-768, November 1999
	Frank Tip , Peter F. Sweeney, Class hierarchy specialization, ACM SIGPLAN Notices, v.32 n.10, p.271-285, Oct. 1997
	Daniel Jackson , Allison Waingold, Lightweight extraction of object models from bytecode, Proceedings of the 21st international conference on Software engineering, p.194-202, May 16-22, 1999, Los Angeles, California, United States
	William G. Griswold , Jimmy J. Yuan , Yoshikiyo Kato, Exploiting the map metaphor in a tool for software evolution, Proceedings of the 23rd International Conference on Software Engineering, p.265-274, May 12-19, 2001, Toronto, Ontario, Canada
	Carlo Ghezzi , Andrea Mocci , Mattia Monga, Efficient recovery of algebraic specifications for stateful components, Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting, September 03-04, 2007, Dubrovnik, Croatia
	Crispin Cowan , Matt Barringer , Steve Beattie , Greg Kroah-Hartman , Mike Frantzen , Jamie Lokier, FormatGuard: automatic protection from printf format string vulnerabilities, Proceedings of the 10th conference on USENIX Security Symposium, p.15-15, August 13-17, 2001, Washington, D.C.
	Crispin Cowan , Matt Barringer , Steve Beattie , Greg Kroah-Hartman , Mike Frantzen , Jamie Lokier, FormatGuard: automatic protection from printf format string vulnerabilities, Proceedings of the 10th conference on USENIX Security Symposium, p.15-15, August 13-17, 2001, Washington, D.C.
	Sudheendra Hangal , Monica S. Lam, Tracking down software bugs using automatic anomaly detection, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Radu Rugina , Martin Rinard, Pointer analysis for multithreaded programs, ACM SIGPLAN Notices, v.34 n.5, p.77-90, May 1999
	Manuel Fähndrich , Jakob Rehof , Manuvir Das, Scalable context-sensitive flow analysis using instantiation constraints, ACM SIGPLAN Notices, v.35 n.5, p.253-263, May 2000
	Satish Chandra , Jackie de Vries , John Field , Howard Hess , Manivannan Kalidasan , Komondoor V. Raghavan , Frans Nieuwerth , Ganesan Ramalingam , Justin Xue, Using logical data models for understanding and transforming legacy business applications, IBM Systems Journal, v.45 n.3, p.647-655, July 2006
	Ranjit Jhala , Rupak Majumdar, Bit level types for high level reasoning, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA
	David L. Heine , Monica S. Lam, A practical flow-sensitive and context-sensitive C and C++ memory leak detector, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Jonathan Edwards , Daniel Jackson , Emina Torlak , Vincent Yeung, Faster constraint solving with subtypes, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004
	Jakob Rehof , Manuel Fähndrich, Type-base flow analysis: from polymorphic subtyping to CFL-reachability, ACM SIGPLAN Notices, v.36 n.3, p.54-66, March 2001
	Philip J. Guo , Jeff H. Perkins , Stephen McCamant , Michael D. Ernst, Dynamic inference of abstract types, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
	Chris Lattner , Andrew Lenharth , Vikram Adve, Making context-sensitive points-to analysis with heap cloning practical for the real world, ACM SIGPLAN Notices, v.42 n.6, June 2007
	Derek Rayside , Lucy Mendel , Daniel Jackson, A dynamic analysis for revealing object ownership and sharing, Proceedings of the 2006 international workshop on Dynamic systems analysis, May 23-23, 2006, Shanghai, China
	Arie van Deursen , Leon Moonen, Documenting software systems using types, Science of Computer Programming, v.60 n.2, p.205-220, April 2006
	Umesh Shankar , Kunal Talwar , Jeffrey S. Foster , David Wagner, Detecting format string vulnerabilities with type qualifiers, Proceedings of the 10th conference on USENIX Security Symposium, p.16-16, August 13-17, 2001, Washington, D.C.
	Umesh Shankar , Kunal Talwar , Jeffrey S. Foster , David Wagner, Detecting format string vulnerabilities with type qaualifiers, Proceedings of the 10th conference on USENIX Security Symposium, p.16-16, August 13-17, 2001, Washington, D.C.
	Jeff H. Perkins , Michael D. Ernst, Efficient incremental algorithms for dynamic detection of likely invariants, ACM SIGSOFT Software Engineering Notes, v.29 n.6, November 2004
	Alan Donovan , Adam Kiežun , Matthew S. Tschantz , Michael D. Ernst, Converting java programs to use generic libraries, ACM SIGPLAN Notices, v.39 n.10, October 2004
	William G. Griswold , Morison I. Chen , Robert W. Bowdidge , Jenny L. Cabaniss , Van B. Nguyen , J. David Morgenthaler, Tool Support for Planning the Restructuring of Data Abstractions in Large Systems, IEEE Transactions on Software Engineering, v.24 n.7, p.534-558, July 1998
	Daniel Jackson , Martin Rinard, Software analysis: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.133-145, June 04-11, 2000, Limerick, Ireland
	Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin, Dynamically discovering likely program invariants to support program evolution, Proceedings of the 21st international conference on Software engineering, p.213-224, May 16-22, 1999, Los Angeles, California, United States
	Jonathan Aldrich , Valentin Kostadinov , Craig Chambers, Alias annotations for program understanding, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Alex Potanin , James Noble , Dave Clarke , Robert Biddle, Generic ownership for generic Java, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Dewayne E. Perry, Software evolution and “light” semantics (extended abstract), Proceedings of the 21st international conference on Software engineering, p.587-590, May 16-22, 1999, Los Angeles, California, United States
	Dylan McNamee , Jonathan Walpole , Calton Pu , Crispin Cowan , Charles Krasic , Ashvin Goel , Perry Wagle , Charles Consel , Gilles Muller , Renauld Marlet, Specialization tools and techniques for systematic optimization of system software, ACM Transactions on Computer Systems (TOCS), v.19 n.2, p.217-251, May 2001
	Radu Rugina , Martin C. Rinard, Pointer analysis for structured parallel programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.1, p.70-116, January 2003
	Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin, Dynamically Discovering Likely Program Invariants to Support Program Evolution, IEEE Transactions on Software Engineering, v.27 n.2, p.99-123, February 2001