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