Continuity Analysis is an intermediate representation method that distinguishes itself by explicitly modeling and preserving the temporal and structural coherence of program states across transformations to ensure consistent semantic interpretation during compilation or execution.
31
Publications
1.5K
Citations
61
Authors
36
Institutions
Publications per year
2017–2026
4
Publications
31
Continuity analysis of programs
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman · 2010 · 112 citations
Continuity and robustness of programs
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman · Communications of the ACM · 2012 · 90 citations
1–5 of 31
Authors
61
- SG
3
h-index
- SC
3
h-index
- RL
3
h-index
- DH
2
h-index
- CP
2
h-index
1–5 of 61
Institutions
36
Microsoft (United States)
Redmond, United States
3 h-index
3 publications
218 citations
Pennsylvania State University
State College, United States
3 h-index
5 publications
346 citations
Swansea University
Swansea, United Kingdom
2 h-index
3 publications
52 citations
Université Paris Cité
Paris, France
2 h-index
2 publications
29 citations
Portland State University
Portland, United States
2 h-index
2 publications
40 citations
Laboratoire d'Informatique Algorithmique: Fondements et Applications
Paris, France
1 h-index
1 publications
10 citations
University of California, Los Angeles
Los Angeles, United States
1 h-index
1 publications
12 citations
University of Aveiro
Aveiro, Portugal
1 h-index
2 publications
20 citations
1–8 of 36
Venues
- Proceedings of the American Mathematical Society
PROC · 2 publications · 103 citations
2
h-index
- Theoretical Computer Science
2 publications · 29 citations
2
h-index
- Journal of Logic and Analysis
1 publications · 21 citations
1
h-index
- Journal of Mathematical Physics
1 publications · 405 citations
1
h-index
- Irish Mathematical Society Bulletin
1 publications · 22 citations
1
h-index
1–5