The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Typestate with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-2004 (15) 2005-2008 (24) 2009-2012 (16) 2013-2018 (15) 2019-2022 (16) 2023 (3)
Publication types (Num. hits)
article(25) inproceedings(63) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 95 occurrences of 53 keywords

Results
Found 89 publication records. Showing 89 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
119Eric Bodden Efficient hybrid typestate analysis by determining continuation-equivalent states. Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF typestate analysis, static analysis, runtime monitoring
115Patrick Lam 0001, Viktor Kuncak, Martin C. Rinard Generalized typestate checking using set interfaces and pluggable analyses. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
101Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay Effective typestate verification in the presence of aliasing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program verification, Alias analysis, typestate
101Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay Effective typestate verification in the presence of aliasing. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program verification, alias analysis, typestate
97Matthew B. Dwyer, Rahul Purandare Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF optimizing run-time monitors, static error detection
83Nomair A. Naeem, Ondrej Lhoták Typestate-like analysis of multiple interacting objects. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF tracematches, static analysis, typestate
83Robert E. Strom, Daniel M. Yellin Extending Typestate Checking Using Conditional Liveness Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF typestate checking, conditional liveness analysis, uninitialized variable errors, dataflow analysis algorithm, statically tracked information, program verification, program verification, programming errors
76Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller Generating test cases for specification mining. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF typestate analysis, test case generation, specification mining
76Goh Kondoh, Tamiya Onodera Finding bugs in java native interface programs. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF typestate analysis, static analysis, java native interface
72Mangala Gowri Nanda, Christian Grothoff, Satish Chandra 0001 Deriving object typestates in the presence of inter-object references. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Java, predicate abstraction, alias analysis, interface specification, heap analysis
65Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks Typestate-oriented programming. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF programming language, objects, types, states, permissions, typestate, paradigms
65Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich Verifying correct usage of atomic blocks and typestate. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF transactional memory, permissions, typestate
58Nomair A. Naeem, Ondrej Lhoták Validating temporal properties of interacting objects. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF tracematches, static analysis, typestate
58Greta Yorsh, Eran Yahav, Satish Chandra 0001 Generating precise and concise procedure summaries. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
47Nels E. Beckman Modular typestate checking in concurrent Java programs. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Java, concurrency, static analysis, typestate
43Kevin Bierhoff, Jonathan Aldrich Modular typestate checking of aliased objects. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF linear logic, aliasing, permissions, typestates, behavioral subtyping
43John Field, Deepak Goyal, G. Ramalingam, Eran Yahav Typestate Verification: Abstraction Techniques and Complexity Results. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Zhichen Xu, Thomas W. Reps, Barton P. Miller Typestate Checking of Machine Code. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Kevin Bierhoff Checking API protocol compliance in java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF permissions, typestate
40Kevin Bierhoff, Jonathan Aldrich PLURAL: checking protocol compliance under aliasing. Search on Bibsonomy ICSE Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF annotations, aliasing, permissions, typestate
40Viktor Kuncak, Martin C. Rinard Existential Heap Abstraction Entailment Is Undecidable. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem
25Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001 Bit-Vector Typestate Analysis. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Xiao Cheng 0002 Vulnerability Detection via Typestate-Guided Code Representation Learning. Search on Bibsonomy ICFEM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Hannes Saffrich, Peter Thiemann 0001 Polymorphic Typestate for Session Types. Search on Bibsonomy PPDP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001 Scalable Typestate Analysis using Bit-Vector Machines. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
25Hannes Saffrich, Peter Thiemann 0001 Polymorphic Typestate for Session Types. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara A Java typestate checker supporting inheritance. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001 Scalable Typestate Analysis for Low-Latency Environments. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu 0001 Path-sensitive and alias-aware typestate analysis for detecting OS bugs. Search on Bibsonomy ASPLOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Karl Cronburg, Samuel Z. Guyer Permchecker: a toolchain for debugging memory managers with typestate. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Mathias Jakobsen, Alice Ravier, Ornela Dardha Papaya: Global Typestate Analysis of Aliased Objects Extended Version. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
25Mathias Jakobsen, Alice Ravier, Ornela Dardha Papaya: Global Typestate Analysis of Aliased Objects. Search on Bibsonomy PPDP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25João Mota, Marco Giunti, António Ravara Java Typestate Checker. Search on Bibsonomy COORDINATION The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Michael J. Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich Obsidian: Typestate and Assets for Safer Blockchain Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Haijun Wang, Xiaofei Xie, Yi Li 0008, Cheng Wen, Yuekang Li, Yang Liu 0003, Shengchao Qin, Hongxu Chen 0001, Yulei Sui Typestate-guided fuzzer for discovering use-after-free vulnerabilities. Search on Bibsonomy ICSE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich Obsidian: Typestate and Assets for Safer Blockchain Programming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
25Rosita Gerbo, Luca Padovani Concurrent Typestate-Oriented Programming in Java. Search on Bibsonomy PLACES@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay From typestate verification to interpretable deep models (invited talk abstract). Search on Bibsonomy ISSTA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Luca Padovani Deadlock-Free Typestate-Oriented Programming. Search on Bibsonomy Art Sci. Eng. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Luca Padovani Deadlock-Free Typestate-Oriented Programming. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
25Syeda Khairunnesa Samantha, Hoan Anh Nguyen, Hridesh Rajan On the significance of contract-based typestate specification. Search on Bibsonomy WASPI@ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Ashish Mishra, Y. N. Srikant Beyond-Regular Typestate. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
25Silvia Crafa, Luca Padovani The Chemical Approach to Typestate-Oriented Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Hua Yan, Yulei Sui, Shiping Chen 0001, Jingling Xue Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection. Search on Bibsonomy ACSAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Silvia Crafa, Luca Padovani On the chemistry of typestate-oriented actors. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
25Giles Reger Considering Typestate Verification for Quantified Event Automata. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Chengsong Wang, Xiaoguang Mao, Yan Lei, Peng Zhang Optimization Methods for Nop-Shadows Typestate Analysis. Search on Bibsonomy IEICE Trans. Inf. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Silvia Crafa, Luca Padovani The chemical approach to typestate-oriented programming. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich Foundations of Typestate-Oriented Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Eric Bodden TS4J: a fluent interface for defining and computing typestate analyses. Search on Bibsonomy SOAP@PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri ARC++: effective typestate and lifetime dependency analysis. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Iain McGinniss Theoretical and practical aspects of typestate. Search on Bibsonomy 2014   RDF
25Chengsong Wang, Zhenbang Chen, Xiaoguang Mao Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. Search on Bibsonomy RV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Eric Bodden, Laurie J. Hendren The Clara framework for hybrid typestate analysis. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Alon Mishne, Sharon Shoham, Eran Yahav Typestate-based semantic code search over partial programs. Search on Bibsonomy OOPSLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Hannes Mehnert, Jonathan Aldrich Verification of Snapshotable Trees Using Access Permissions and Typestate. Search on Bibsonomy TOOLS (50) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich Gradual Typestate. Search on Bibsonomy ECOOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Nels E. Beckman, Aditya V. Nori Probabilistic, modular and scalable inference of typestate specifications. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel Contractor.NET: inferring typestate properties to enrich code contracts. Search on Bibsonomy TOPI@ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Qi Gao 0004, Wenbin Zhang 0005, Zhezhe Chen, Mai Zheng, Feng Qin 2ndStrike: toward manifesting hidden concurrency typestate bugs. Search on Bibsonomy ASPLOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Filipe Militão, Jonathan Aldrich, Luís Caires Aliasing control with view-based typestate. Search on Bibsonomy FTfJP@ECOOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Darpan Saini, Joshua Sunshine, Jonathan Aldrich A theory of typestate-oriented programming. Search on Bibsonomy FTfJP@ECOOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang Typestate protocol specification in JML. Search on Bibsonomy SAVCBS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Pallavi Joshi, Koushik Sen Predictive Typestate Checking of Multithreaded Java Programs. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav Typestate verification: Abstraction techniques and complexity results. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Patrick Lam 0001, Viktor Kuncak, Martin C. Rinard Generalized Typestate Checking for Data Structure Consistency. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Viktor Kuncak, Martin C. Rinard Typestate Checking and Regular Graph Constraints Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
25Robert E. Strom, Shaula Yemini Typestate: A Programming Language Concept for Enhancing Software Reliability. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
22Nels E. Beckman Verifying correct usage of atomic blocks using access permissions. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF transactional memory, permissions, typestate
22Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia Static specification mining using automata-based abstractions. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, abstract interpretation, typestate, specification mining
22Viktor Kuncak, Patrick Lam 0001, Karen Zee, Martin C. Rinard Modular Pluggable Analyses for Data Structure Consistency. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design
22Kevin Bierhoff, Jonathan Aldrich Lightweight object specification with typestates. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF union and intersection types, refinement, substitutability, typestate, behavioral subtyping
22Roman Manevich, Manu Sridharan, Stephen Adams 0001, Manuvir Das, Zhe Yang 0001 PSE: explaining program failures via postmortem static analysis. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF postmortem analysis, value flow, alias analysis, typestate
22Eran Yahav, G. Ramalingam Verifying safety properties using separation and heterogeneous abstractions. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF typestate verification, verification, program analysis, abstract interpretation, safety properties
18Jin Zhou, Brian Demsky Bamboo: a data-centric, object-oriented approach to many-core software. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF data-centric languages, many-core programming
18Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich Practical API Protocol Checking with Access Permissions. Search on Bibsonomy ECOOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Matthew Arnold, Martin T. Vechev, Eran Yahav QVM: an efficient runtime for detecting defects in deployed systems. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algorithms, reliability, virtual machines
18Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr Tracking Linear and Affine Resources with Java(X). Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Emmanuel Geay, Eran Yahav, Stephen J. Fink Continuous code-quality assurance with SAFE. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Teck Bok Tok, Samuel Z. Guyer, Calvin Lin Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. Search on Bibsonomy CC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar Permissive interfaces. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modular verification, software interfaces
18Yao-Wen Huang, Fang Yu 0001, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo Verifying Web Applications Using Bounded Model Checking. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
18Yao-Wen Huang, Fang Yu 0001, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, Sy-Yen Kuo Securing web application code by static analysis and runtime protection. Search on Bibsonomy WWW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program security, verification, type systems, information flow, noninterference, web application security, security vulnerabilities
18Stephen Adams 0001, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Zhichen Xu, Barton P. Miller, Thomas W. Reps Safety checking of machine code. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
18Robert E. Strom, Shaula Yemini The NIL Distributed Systems Programming Language: A Status Report. Search on Bibsonomy Seminar on Concurrency The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
18Robert E. Strom Mechanisms for Compile-Time Enforcement of Security. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #89 of 89 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license