Patrick Lam

Empir. Softw. Eng., April, 2024

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis.

[BibT_eX]

[DOI]

Mohammad Robati Shirzad

CoRR, 2024

Surveying the Rust Verification Landscape.

[BibT_eX]

[DOI]

Alex Le Blanc

CoRR, 2024

Abstract Debugging with GobPie.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 2024

2022

Exploring the Verifiability of Code Generated by GitHub Copilot.

[BibT_eX]

[DOI]

Dakota Wong

Austin Kothig

CoRR, 2022

VizAPI: Visualizing Interactions between Java Libraries and Clients.

[BibT_eX]

[DOI]

Sruthi Venkatanarayanan

Jens Dietrich

Craig Anslow

Proceedings of the Working Conference on Software Visualization, 2022

2020

Putting the semantics into semantic versioning.

[BibT_eX]

[DOI]

Jens Dietrich

David J. Pearce

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

SiblingClassTestDetector: Finding Untested Sibling Functions.

[BibT_eX]

[DOI]

Qian Liang

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019

How C++ developers use immutability declarations: an empirical study.

[BibT_eX]

[DOI]

Jonathan Eyolfson

Proceedings of the 41st International Conference on Software Engineering, 2019

2016

C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2016

Modeling and analysis of remote memory access programming.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

C++ const and Immutability: An Empirical Study of Writes-Through-const.

[BibT_eX]

[DOI]

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Identifying Test Refactoring Candidates with Assertion Fingerprints.

[BibT_eX]

[DOI]

Zheng Felix Fang

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

SATCheck: SAT-directed stateless model checking for SC and TSO.

[BibT_eX]

[DOI]

Brian Demsky

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Correlations between bugginess and time-based commit characteristics.

[BibT_eX]

[DOI]

Lin Tan

Empir. Softw. Eng., 2014

Finding patterns in static analysis alerts: improving actionable alert ranking.

[BibT_eX]

[DOI]

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

2013

Views: Synthesizing fine-grained concurrency control.

[BibT_eX]

[DOI]

Brian Demsky

ACM Trans. Softw. Eng. Methodol., 2013

2012

Partially Evaluating Finite-State Runtime Monitors Ahead of Time.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2012

Detecting Unread Memory Using Dynamic Binary Translation.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

Collection disjointness analysis.

[BibT_eX]

[DOI]

Hang Chu

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, 2012

2011

Do time of day and developer experience affect commit bugginess.

[BibT_eX]

[DOI]

Lin Tan

Proceedings of the 8th International Working Conference on Mining Software Repositories, 2011

2010

Time-aware Instrumentation of Real-time Programs.

[BibT_eX]

[DOI]

Sebastian Fischmeister

IEEE Trans. Ind. Informatics, 2010

Collaborative Runtime Verification with Tracematches.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Role-based access control (RBAC) in Java via proxy objects using annotations.

[BibT_eX]

[DOI]

Jeff Zarnett

Mahesh V. Tripunitara

Proceedings of the 15th ACM Symposium on Access Control Models and Technologies, 2010

Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

Views: object-inspired concurrency control.

[BibT_eX]

[DOI]

Brian Demsky

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

On Time-Aware Instrumentation of Programs.

[BibT_eX]

[DOI]

Sebastian Fischmeister

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Method-Specific Java Access Control via RMI Proxy Objects Using Annotations.

[BibT_eX]

[DOI]

Jeff Zarnett

Mahesh V. Tripunitara

Proceedings of the Information Systems Security, 5th International Conference, 2009

2008

Finding programming errors earlier by evaluating runtime monitors ahead-of-time.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Object representatives: a uniform abstraction for pointer information.

[BibT_eX]

[DOI]

Proceedings of the Visions of Computer Science, 2008

2007

The Hob system for verifying software design properties.

[BibT_eX]

[DOI]

PhD thesis, 2007

Static Verification of Design Constraints and Software Correctness Properties in the Hob System.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006

Modular Pluggable Analyses for Data Structure Consistency.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Field Constraint Analysis.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

2005

Implications of a Data Structure Consistency Checking System.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Generalized Typestate Checking for Data Structure Consistency.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2005

Hob: A Tool for Verifying Data Structure Consistency.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 14th International Conference, 2005

Crosscutting techniques in program specification and analysis.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2004

Generalized typestate checking using set interfaces and pluggable analyses.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2004

Roles Are Really Great!

[BibT_eX]

[DOI]

CoRR, 2004

2003

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2003, 2003

2002

Role analysis.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

2001

A Language for Role Specifications.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2001

2000

Soot (poster session): a Java bytecode optimization and annotation framework.

[BibT_eX]

[DOI]

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Practical virtual method call resolution for Java.

[BibT_eX]

[DOI]

Vijay Sundaresan