Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- articleJune 2016
Data-driven precondition inference with learned features
We extend the data-driven approach to inferring preconditions for code from a set of test executions. Prior work requires a fixed set of features, atomic predicates that define the search space of possible preconditions, to be specified in advance. In ...
Also Published in:
PLDI '16: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation: ISBN 9781450342612 - tutorialJune 2015
TrilobiteG: A programming architecture for autonomous underwater vehicles
ACM SIGPLAN Notices (SIGPLAN), Volume 50, Issue 5Article No.: 14, Pages 1–10https://doi.org/10.1145/2808704.2754971Programming autonomous systems can be challenging because many programming decisions must be made in real time and under stressful conditions, such as on a battle field, during a short communication window, or during a storm at sea. As such, new ...
Also Published in:
LCTES'15: Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM: ISBN 9781450332576 - research-articleJuly 2013
ICFP 2002: Contracts for higher-order functions
ACM SIGPLAN Notices (SIGPLAN), Volume 48, Issue 4SPages 34–45https://doi.org/10.1145/2502508.2502521Assertions play an important role in the construction of robust software. Their use in programming languages dates back to the 1970s. Eiffel, an object-oriented programming language, wholeheartedly adopted assertions and developed the "Design by ...
- research-articleJuly 2013
PLDI 2002: Extended static checking for Java
ACM SIGPLAN Notices (SIGPLAN), Volume 48, Issue 4SPages 22–33https://doi.org/10.1145/2502508.2502520Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-...
- research-articleOctober 2012
Typestate-based semantic code search over partial programs
ACM SIGPLAN Notices (SIGPLAN), Volume 47, Issue 10Pages 997–1016https://doi.org/10.1145/2398857.2384689We present a novel code search approach for answering queries focused on API-usage with code showing how the API should be used. To construct a search index, we develop new techniques for statically mining and consolidating temporal API specifications ...
Also Published in:
OOPSLA '12: Proceedings of the ACM international conference on Object oriented programming systems languages and applications: ISBN 9781450315616 -
- research-articleOctober 2010
Automatic and efficient simulation of operation contracts
Operation contracts consisting of pre- and postconditions are a well-known means of specifying operations. In this paper we deal with the problem of operation contract simulation, i.e., determining operation results satisfying the postconditions based ...
Also Published in:
GPCE '10: Proceedings of the ninth international conference on Generative programming and component engineering: ISBN 9781450301541 - research-articleJanuary 2010
Programming with angelic nondeterminism
- Rastislav Bodik,
- Satish Chandra,
- Joel Galenson,
- Doug Kimelman,
- Nicholas Tung,
- Shaon Barman,
- Casey Rodarmor
ACM SIGPLAN Notices (SIGPLAN), Volume 45, Issue 1Pages 339–352https://doi.org/10.1145/1707801.1706339Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the formal basis of regular expressions; and Floyd relied on it to concisely ...
Also Published in:
POPL '10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages: ISBN 9781605584799 - articleOctober 2007
Living in the comfort zone
ACM SIGPLAN Notices (SIGPLAN), Volume 42, Issue 10Pages 611–622https://doi.org/10.1145/1297105.1297072A comfort zone is a tested region of a system's input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advocate the interposition of rectifiers between systems and their input ...
Also Published in:
OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications: ISBN 9781595937865 - articleOctober 2006
Isolating and relating concerns in requirements using latent semantic analysis
ACM SIGPLAN Notices (SIGPLAN), Volume 41, Issue 10Pages 383–396https://doi.org/10.1145/1167515.1167506Aspect-oriented requirements analysis involves the identification of concerns that behaviorally influence other concerns. Such concerns are described in requirements called emphaspectual requirements: requirements that detail the influence of one ...
Also Published in:
OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications: ISBN 1595933484 - articleDecember 2003
Acceptability-oriented computing
We discuss a new approach to the construction of software systems. Instead of attempting to build a system that is as free of errors as possible, the designer instead identifies key properties that the execution must satisfy to be acceptable to its ...
- articleJune 2003
Slicing and partial evaluation of CORBA component model designs for avionics system
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety-critical and mission-critical domains, component-based development is beginning to ...
Also Published in:
PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation: ISBN 1581136676 - articleMay 2003
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct <tt>restrict</tt> that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope. Among other applications, programming with these constructs helps ...
Also Published in:
PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation: ISBN 1581136625 - articleNovember 2002
An analyzable annotation language
ACM SIGPLAN Notices (SIGPLAN), Volume 37, Issue 11Pages 231–245https://doi.org/10.1145/583854.582441The Alloy Annotation Language (AAL) is a language (under development) for annotating Java code based on the Alloy modeling language. It offers a syntax similar to the Java Modeling Language (JML), and the same opportunities for generation of run-time ...
Also Published in:
OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications: ISBN 1581134711 - articleNovember 2002
Multiple instances and symbolic variables in executable sequence charts
We extend live sequence charts (LSCs), a highly expressive variant of sequence diagrams, and provide the extension with an executable semantics. The extension involves support for instances that can bind to multiple objects and symbolic variables that ...
Also Published in:
OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications: ISBN 1581134711 - articleSeptember 2002
Contracts for higher-order functions
Assertions play an important role in the construction of robust software. Their use in programming languages dates back to the 1970s. Eiffel, an object-oriented programming language, wholeheartedly adopted assertions and developed the "Design by ...
Also Published in:
ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming: ISBN 1581134878 - articleJune 2002
Standardization approach of ITRON debugging interface specification and evaluation of its adaptability
Debugging environments for embedded systems unavoidably depend on the internal structure of the operating system (OS) in order to implement OS support functions. Since the ITRON specification standardizes only the API, the internal structure of ...
Also Published in:
LCTES/SCOPES '02: Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems: ISBN 1581135270 - articleMay 2002
Using data groups to specify and check side effects
Reasoning precisely about the side effects of procedure calls is important to many program analyses. This paper introduces a technique for specifying and statically checking the side effects of methods in an object-oriented language. The technique uses ...
Also Published in:
PLDI '02: Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation: ISBN 1581134630 - articleMay 2002
Extended static checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-...
Also Published in:
PLDI '02: Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation: ISBN 1581134630 - articleMay 2002
Flow-sensitive type qualifiers
We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. In our system only the type qualifiers are modeled ...
Also Published in:
PLDI '02: Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation: ISBN 1581134630