Charles Zhang

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Canary: practical static detection of inter-thread value-flow bugs.

[BibT_eX]

[DOI]

Yuandao Cai

Peisen Yao

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fuzzing SMT solvers via two-dimensional input space exploration.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Fast bit-vector satisfiability.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Escaping dependency hell: finding build dependency errors with the unified dependency graph.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Pipelining bottom-up data flow analysis.

[BibT_eX]

[DOI]

Qingkai Shi

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Conquering the extensional scalability problem for value-flow analysis frameworks.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Smoke: scalable path-sensitive memory leak detection for millions of lines of code.

[BibT_eX]

[DOI]

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

2018

Pinpoint: fast and precise sparse value flow analysis for million lines of code.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

Debugging Concurrent Software: Advances and Challenges.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2016

Casper: an efficient approach to call trace collection.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

RECONTEST: Effective Regression Testing of Concurrent Programs.

[BibT_eX]

[DOI]

Valerio Terragni

Shing-Chi Cheung

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Uncovering JavaScript Performance Code Smells Relevant to Type Mutations.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Grail: context-aware fixing of concurrency bugs.

[BibT_eX]

[DOI]

Omer Tripp

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Persistent pointer information.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Efficient subcubic alias analysis for C.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Unleashing concurrency for irregular data structures.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Scaling predictive analysis of concurrent programs by removing trace redundancy.

[BibT_eX]

[DOI]

Jinguo Zhou

ACM Trans. Softw. Eng. Methodol., 2013

Finding incorrect compositions of atomicity.

[BibT_eX]

[DOI]

Julian Dolby

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

CLAP: recording local executions to reproduce concurrency failures.

[BibT_eX]

[DOI]

Julian Dolby

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Mining Crosscutting Concerns through Random Walks.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Pert: The Application-Aware Tailoring of Java Object Persistence.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Execution privatization for scheduler-oblivious concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Stride: Search-based deterministic replay in polynomial time via bounded linkage.

[BibT_eX]

[DOI]

Jinguo Zhou

Xiao Xiao

Proceedings of the 34th International Conference on Software Engineering, 2012

Axis: Automatically fixing atomicity violations through solving control constraints.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 18th International Symposium, 2011

Geometric encoding: forging the high performance context sensitive points-to analysis for Java.

[BibT_eX]

[DOI]

Xiao Xiao

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Persuasive prediction of concurrency access anomalies.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Tracking data structures for postmortem analysis.

[BibT_eX]

[DOI]

Xiao Xiao

Jinguo Zhou

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

LEAP: lightweight deterministic multi-processor replay of concurrent java programs.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

G-Finder: routing programming questions closer to the experts.

[BibT_eX]

[DOI]

Wei Li

Songlin Hu

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

FlexSync: An aspect-oriented approach to Java synchronization.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Externalizing Java Server Concurrency with CAL.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2008, 2008

2007

Efficiently mining crosscutting concerns through random walks.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

2005

Generic Middleware Substrate Through Modelware.

[BibT_eX]

[DOI]

Dapeng Gao

Proceedings of the Middleware 2005, ACM/IFIP/USENIX, 6th International Middleware Conference, Grenoble, France, November 28, 2005

Towards just-in-time middleware architectures.

[BibT_eX]

[DOI]

Dapeng Gao

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

2004

Resolving feature convolution in middleware systems.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

PRISM is research in aSpect mining.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2003

Refactoring Middleware with Aspects.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2003

Re-factoring Middleware Systems: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Quantifying aspects in middleware platforms.

[BibT_eX]

[DOI]