|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 65 occurrences of 39 keywords
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
116 | Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang |
A systematic incrementalization technique and its application to hardware design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(2), pp. 211-223, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Design derivation, Floating point operations, Formal methods, Hardware verification, Formal synthesis, Transformational programming |
99 | Yanhong A. Liu, Scott D. Stoller |
Dynamic Programming via Static Incrementalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 16(1-2), pp. 37-62, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
tabulation, dynamic programming, caching, static analysis, program transformation, dependence analysis, pruning, program optimization, incrementalization, incremental computation, memoization, incremental update |
99 | Yanhong A. Liu, Scott D. Stoller |
Optimizing Ackermann's function by incrementalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003, pp. 85-91, 2003, ACM, 1-58113-667-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
tabulation, optimization, caching, program transformation, recursion, iteration, incrementalization, incremental computation, memoization |
95 | Yanhong A. Liu, Scott D. Stoller |
Dynamic Programming via Static Incrementalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 288-305, 1999, Springer, 3-540-65699-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
86 | Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel |
Optimizing aggregate array computations in loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(1), pp. 91-125, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization |
77 | Ajeet Shankar, Rastislav Bodík |
DITTO: automatic incrementalization of data structure invariant checks (in Java). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 310-319, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data structure invariants, optimistic memoization, program analysis, dynamic optimization, incrementalization, automatic |
77 | Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
Implementing incrementalization across object abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 112-113, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
May-Alias analysis, refactoring, instrumentation, python, incrementalization, transformation languages |
73 | Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang |
A Systematic Incrementalization Technique and Its Application to Hardware Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, pp. 334-337, 1999, Springer, 3-540-66559-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
design derivation, floating point operations, Formal methods, hardware verification, formal synthesis, transformational programming |
64 | Yanhong A. Liu, Scott D. Stoller |
Loop Optimization for Aggregate Array Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 262-271, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
asymptotic performance improvement, array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization, aggregate computation |
56 | Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu |
Incrementalization across object abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 473-486, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
design, object-oriented, program transformation, abstraction, program analysis, invariants, program optimization, incrementalization |
52 | Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann |
Automatic Incrementalization of Prolog Based Static Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 109-123, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao 0001, Jing Zhang |
Core role-based access control: efficient implementations by transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006, pp. 112-120, 2006, ACM, 1-59593-196-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
complexity guarantees, optimization, access control, transformation, incrementalization |
43 | Yanhong A. Liu, Scott D. Stoller |
From Recursion to Iteration: What are the Optimizations? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000, pp. 73-82, 2000, ACM, 1-58113-201-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Matteo Busi 0001, Pierpaolo Degano, Letterio Galletta |
Mechanical incrementalization of typing algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 208, pp. 102657, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | David Zhao 0001, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
Towards Elastic Incrementalization for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021, pp. 20:1-20:16, 2021, ACM, 978-1-4503-8689-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Wenfei Fan, Muyang Liu, Chao Tian 0001, Ruiqi Xu, Jingren Zhou |
Incrementalization of Graph Partitioning Algorithms. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 13(8), pp. 1261-1274, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Timothy A. K. Zakian, Ludovic Anthony Richard Capelli, Zhenjiang Hu |
Incrementalization of Vertex-Centric Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2019 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019, Rio de Janeiro, Brazil, May 20-24, 2019, pp. 1019-1029, 2019, IEEE, 978-1-7281-1246-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Venkata Krishna Suhas Nerella, Sanjay Madria, Thomas Weigert |
Efficient Caching and Incrementalization of Object Queries on Collections in Programming Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: IEEE 38th Annual Computer Software and Applications Conference, COMPSAC 2014, Vasteras, Sweden, July 21-25, 2014, pp. 229-238, 2014, IEEE Computer Society, 978-1-4799-3575-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Akimasa Morihata, Masato Koishi, Atsushi Ohori |
Dynamic Programming via Thinning and Incrementalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 186-202, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Ralf Mitschke |
Scalable automated incrementalization for real-time static analyses=Skalierbare automatische Inkrementalisierung für statische Analysen in Echtzeit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
30 | Dimiter Milushev, Dave Clarke 0001 |
Towards Incrementalization of Holistic Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings, pp. 329-348, 2012, Springer, 978-3-642-28640-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Yan Chen 0001, Jana Dunfield, Umut A. Acar |
Type-directed automatic incrementalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012, pp. 299-310, 2012, ACM, 978-1-4503-1205-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Sean Leather, Andres Löh, Johan Jeuring |
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages - 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers, pp. 159-178, 2009, Springer, 978-3-642-16477-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Sven Kloppenburg |
Incrementalization of analyses for next generation IDEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
30 | Yanhong A. Liu |
Efficiency by Incrementalization: An Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 13(4), pp. 289-313, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Darren Willis, David J. Pearce 0001, James Noble 0001 |
Caching and incrementalisation in the java query language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 1-18, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
java, querying, incrementalization |
26 | Tom Rothamel, Yanhong A. Liu |
Generating incremental implementations of object-set queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 55-66, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automatic incrementalization, query constructs, program optimization |
26 | Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
Efficient runtime invariant checking: a framework and case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008, pp. 43-49, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
program transformation, incrementalization, runtime verification, alias analysis |
21 | Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee |
Points-to analysis using BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 103-114, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
binary decision diagrams, points-to analysis |
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|