Houdini, an Annotation Assistant for ESC/Java

By Cormac Flanagan, K. Rustan M. Leino. FME, 2001

498 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software, Signal Processing

View Paper: https://www.semanticscholar.org/paper/02b72a79f17d7d86bb7b1d1e8ff8f659ca2bb1f0

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Dawson R. Engler
2. Ken Ashcraft
3. Sorin Lerner
4. Andy Chou
5. Shin Yoo
6. Greg Nelson
7. Mark Harman
8. Yuanyuan Zhou

In Software

1. Mark Harman
2. Phil McMinn
3. Sorin Lerner
4. Mark Seigle
5. Shin Yoo
6. Manuvir Das
7. Greg Nelson
8. Koushik Sen

In Signal Processing

1. Shin Yoo
2. Sorin Lerner
3. Greg Nelson
4. Mark Harman
5. Yuanyuan Zhou
6. Manuvir Das
7. J. Larus
8. Earl T. Barr

Citations in the corpus

• Bugs as deviant behavior: a general approach to inferring errors in systems code (2001, background): “Recent work has developed less heavyweight checkers, notably the extended static type checking (ESC) project [7], which checks interface-level specifications and LCLint [11], which statically checks programmer source annotations.”
• Mining specifications (2002, methodology): “Houdini, an annotation assistant for ESC/java.”
• PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code (2005, background): “In order to reduce programmers’ effort in manually writing specifications for the extended static type checker (ESC) [12], a tool called Houdini has been developed [11].”
• ESP: path-sensitive program verification in polynomial time (2002, methodology): “ESC-Java is a local analysis that requires programmer annotations; recent work has focused on automatically generating annotations [15].”
• Extended static checking for Java (2002, methodology): “Another annotation inference system for ESC/Java is Houdini [17, 16], which uses ESC/Java as a subroutine in inferring annotations.”
• The Oracle Problem in Software Testing: A Survey (2015, background): “Invariant detection can be computationally expensive, so incremental [22], [171] and light weight static analyses [39], [63] have been brought to bear.”
• ESC/Java2: Uniting ESC/Java and JML (2004, methodology): “…easy application in a variety of environments, consistent with the licensing provisions of the source code release; and (5) as a long-term goal, and if appropriate, to update the related tools that use the same code base (Calvin, RCC, and Houdini [12]) and to integrate with other JML-based tools.”
• RacerX: effective, static detection of race conditions and deadlocks (2003, background): “Houdini, an annotation assistant for ESC/Java.”