StatusQuo: Making Familiar Abstractions Perform Using Program Analysis

Summary: StatusQuo applies program analysis and synthesis to translate imperative application logic into equivalent relational queries for in‑database execution while preserving familiar abstractions. It also performs runtime placement to reduce data movement, presents empirical results, and highlights open research challenges. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 184
Venue: CIDR
Year: 2013
Pagerank: 7.9494635e-05
Overall Rank: 2,930 | 79.90%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Alvin Cheung (Massachusetts Institute of Technology)
2. Samuel Madden (Massachusetts Institute of Technology)
3. Armando Solar-Lezama (Massachusetts Institute of Technology)
4. Owen Arden (Cornell University)
5. Andrew C. Myers (Cornell University)

BibTeX Citation

@inproceedings{cheung_cidr13,
        address = {Amsterdam, Netherlands},
        series = {{CIDR} '13},
        title = {{StatusQuo: Making Familiar Abstractions Perform Using Program Analysis}},
        booktitle = {Proceedings of the {Conference} on {Innovative} {Data} {Systems} {Research}},
        author = {Cheung, Alvin and Madden, Samuel and Solar-Lezama, Armando and Arden, Owen and Myers, Andrew C.},
        year = {2013}
}

Incoming Citations (Sorted by Pagerank)

Showing 10 of 10 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
894	Froid: Optimization of Imperative Programs in a Relational Database	2018	VLDB	0.00013367658
3,186	Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity	2015	SIGMOD	7.6559187e-05
4,082	SQLCheck: Automated Detection and Diagnosis of SQL Anti-Patterns	2020	SIGMOD	6.9164719e-05
5,265	New Directions in Cloud Programming	2021	CIDR	6.2941668e-05
5,301	Babelfish: Efficient Execution of Polyglot Queries	2022	VLDB	6.2750553e-05
6,475	WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications	2024	SIGMOD	5.8687157e-05
8,674	Boosting Efficiency of External Pipelines by Blurring Application Boundaries	2022	CIDR	5.3869233e-05
9,966	Generating Application-Specific Data Layouts for In-memory Databases	2019	VLDB	5.1870939e-05
11,715	Interactive Demonstration of SQLCheck	2021	VLDB	5.093636e-05
11,739	View-Driven Optimization of Database-Backed Web Applications	2020	CIDR	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
292	LINQ: Reconciling Objects, Relations and XML in the .NET Framework	2006	SIGMOD	0.00022259549
1,794	Distributed Data-Parallel Computing Using a High-Level Programming Language	2009	SIGMOD	9.7399162e-05
2,941	Automatic Partitioning of Database Applications	2012	VLDB	7.937125e-05
9,404	Safe and Efficient Sharing of Persistent Objects in Thor	1996	SIGMOD	5.2755515e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	14,284	Procedures in Object-Oriented Query Languages	1995	VLDB
2	13,281	A Methodology of Application Program Analysis and Conversion Based on Database Semantics	1977	SIGMOD
3	13,070	Data Sharing Analysis for a Database Programming Language via Abstract Interpretation	1993	VLDB
4	2,464	Compiling Mappings to Bridge Applications and Databases	2007	SIGMOD
5	3,556	Static Analysis and Optimization of Semantic Web Queries	2012	PODS
6	4,520	Context-Sensitive Program Analysis as Database Queries	2005	PODS
7	2,939	Extracting Equivalent SQL from Imperative Code in Database Applications	2016	SIGMOD
8	9,561	Leveraging Application Data Constraints to Optimize Database-Backed Web Applications	2023	VLDB
9	13,558	Towards Creating Application-Specific Database Management Systems	2015	CIDR
10	13,735	Bridging the Application and DBMS Divide Using Static Analysis and Dynamic Profiling	2009	SIGMOD