Patrick Lam - RankMe

58 papers A* 2A 10B 9C 3Misc 1Journal 16Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Detecting Exception-Related Behavioural Breaking Changes with UnCheckGuard. SCAM Vinayak Sharma, Patrick Lam
2025	J	`jnl`	Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress). CoRR Alex Le Blanc, Patrick Lam
2025	J	`jnl`	Sound Static Data Race Verification for C: Is the Race Lost? ACM Trans. Program. Lang. Syst. Karoliine Holter, Simmo Saan, Patrick Lam, Vesal Vojdani
2024	J	`jnl`	A study of common bug fix patterns in Rust. Empir. Softw. Eng. Mohammad Robati Shirzad, Patrick Lam
2024	—	`conf`	Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results. Onward! Karoliine Holter, Juhan Oskar Hennoste, Patrick Lam, Simmo Saan, Vesal Vojdani
2024	—	`conf`	Abstract Debugging with GobPie. DEBT@ISSTA Karoliine Holter, Juhan Oskar Hennoste, Simmo Saan, Patrick Lam, Vesal Vojdani
2024	C	`conf`	Enhancing Security through Modularization: A Counterfactual Analysis of Vulnerability Propagation and Detection Precision. SCAM Mohammad Mahdi Abdollahpour, Jens Dietrich, Patrick Lam
2024	J	`jnl`	Surveying the Rust Verification Landscape. CoRR Alex Le Blanc, Patrick Lam
2024	J	`jnl`	WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis. CoRR Mohammad Robati Shirzad, Patrick Lam
2022	J	`jnl`	Exploring the Verifiability of Code Generated by GitHub Copilot. CoRR Dakota Wong, Austin Kothig, Patrick Lam
2022	B	`conf`	VizAPI: Visualizing Interactions between Java Libraries and Clients. VISSOFT Sruthi Venkatanarayanan, Jens Dietrich, Craig Anslow, Patrick Lam
2020	J	`jnl`	Putting the Semantics into Semantic Versioning. CoRR Patrick Lam, Jens Dietrich, David J. Pearce
2020	—	`conf`	Putting the semantics into semantic versioning. Onward! Patrick Lam, Jens Dietrich, David J. Pearce
2020	A	`conf`	SiblingClassTestDetector: Finding Untested Sibling Functions. ICSME Qian Liang, Patrick Lam
2019	A*	`conf`	How C++ developers use immutability declarations: an empirical study. ICSE Jonathan Eyolfson, Patrick Lam
2016	J	`jnl`	C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact). Dagstuhl Artifacts Ser. Jon Eyolfson, Patrick Lam
2016	A	`conf`	C++ const and Immutability: An Empirical Study of Writes-Through-const. ECOOP Jon Eyolfson, Patrick Lam
2016	A	`conf`	Modeling and analysis of remote memory access programming. OOPSLA Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev
2015	—	`conf`	Identifying Test Refactoring Candidates with Assertion Fingerprints. PPPJ Zheng Felix Fang, Patrick Lam
2015	A	`conf`	SATCheck: SAT-directed stateless model checking for SC and TSO. OOPSLA Brian Demsky, Patrick Lam
2014	J	`jnl`	Correlations between bugginess and time-based commit characteristics. Empir. Softw. Eng. Jon Eyolfson, Lin Tan, Patrick Lam
2014	A	`conf`	Finding patterns in static analysis alerts: improving actionable alert ranking. MSR Quinn Hanam, Lin Tan, Reid Holmes, Patrick Lam
2013	—	`ed.`	Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, SOAP 2013, Seattle, WA, USA, June 20, 2013 SOAP@PLDI Patrick Lam, Elena Sherman
2013	J	`jnl`	Views: Synthesizing fine-grained concurrency control. ACM Trans. Softw. Eng. Methodol. Brian Demsky, Patrick Lam
2012	—	`conf`	Collection disjointness analysis. SOAP@PLDI Hang Chu, Patrick Lam
2012	B	`conf`	Detecting Unread Memory Using Dynamic Binary Translation. RV Jon Eyolfson, Patrick Lam
2012	J	`jnl`	Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Trans. Program. Lang. Syst. Eric Bodden, Patrick Lam, Laurie J. Hendren
2012	—	`ed.`	Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012 SOAP@PLDI Eric Bodden, Laurie J. Hendren, Patrick Lam, Elena Sherman
2011	A	`conf`	Do time of day and developer experience affect commit bugginess. MSR Jon Eyolfson, Lin Tan, Patrick Lam
2010	B	`conf`	Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. RV Eric Bodden, Patrick Lam, Laurie J. Hendren
2010	B	`conf`	Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. RV Eric Bodden, Patrick Lam
2010	J	`jnl`	Collaborative Runtime Verification with Tracematches. J. Log. Comput. Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem
2010	C	`conf`	Role-based access control (RBAC) in Java via proxy objects using annotations. SACMAT Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam
2010	J	`jnl`	Time-aware Instrumentation of Real-time Programs. IEEE Trans. Ind. Informatics Sebastian Fischmeister, Patrick Lam
2010	—	`conf`	Views: object-inspired concurrency control. ICSE (1) Brian Demsky, Patrick Lam
2009	Misc	`conf`	Method-Specific Java Access Control via RMI Proxy Objects Using Annotations. ICISS Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara
2009	A	`conf`	On Time-Aware Instrumentation of Programs. IEEE Real-Time and Embedded Technology and Applications Symposium Sebastian Fischmeister, Patrick Lam
2008	—	`conf`	Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE Eric Bodden, Patrick Lam, Laurie J. Hendren
2008	—	`conf`	Object representatives: a uniform abstraction for pointer information. BCS Int. Acad. Conf. Eric Bodden, Patrick Lam, Laurie J. Hendren
2007	B	`conf`	Collaborative Runtime Verification with Tracematches. RV Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem
2007	A	`conf`	Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS Patrick Lam, Martin C. Rinard
2007	—	`—`	The Hob system for verifying software design properties. Patrick Lam
2006	B	`conf`	Field Constraint Analysis. VMCAI Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard
2006	J	`jnl`	Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng. Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
2005	—	`conf`	Crosscutting techniques in program specification and analysis. AOSD Patrick Lam, Viktor Kuncak, Martin C. Rinard
2005	B	`conf`	Generalized Typestate Checking for Data Structure Consistency. VMCAI Patrick Lam, Viktor Kuncak, Martin C. Rinard
2005	B	`conf`	Hob: A Tool for Verifying Data Structure Consistency. CC Patrick Lam, Viktor Kuncak, Martin C. Rinard
2005	—	`conf`	Implications of a Data Structure Consistency Checking System. VSTTE Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
2004	J	`jnl`	Generalized typestate checking using set interfaces and pluggable analyses. ACM SIGPLAN Notices Patrick Lam, Viktor Kuncak, Martin C. Rinard
2004	J	`jnl`	Roles Are Really Great! CoRR Viktor Kuncak, Patrick Lam, Martin C. Rinard
2003	A	`conf`	A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. ECOOP Patrick Lam, Martin C. Rinard
2002	A*	`conf`	Role analysis. POPL Viktor Kuncak, Patrick Lam, Martin C. Rinard
2001	—	`conf`	A Language for Role Specifications. LCPC Viktor Kuncak, Patrick Lam, Martin C. Rinard
2000	—	`conf`	On the predictability of Java byte codes (abstract) (poster session). OOPSLA Addendum Karel Driesen, Patrick Lam, Jerome Miecznikowski, Feng Qian, Derek Rayside
2000	B	`conf`	Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? CC Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan
2000	A	`conf`	Practical virtual method call resolution for Java. OOPSLA Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, Charles Godin
2000	—	`conf`	Soot (poster session): a Java bytecode optimization and annotation framework. OOPSLA Addendum Raja Vallée-Rai, Patrick Lam, Clark Verbrugge, Patrice Pominville, Feng Qian
1999	—	`conf`	Soot - a Java bytecode optimization framework. CASCON Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Vijay Sundaresan