Search results for "typestate"

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