Search results for "incrementalization"

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.	Int. J. Softw. Tools Technol. Transf.	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.	High. Order Symb. Comput.	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.	PEPM	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.	ESOP	1999	DBLP DOI BibTeX RDF
86	Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel	Optimizing aggregate array computations in loops.	ACM Trans. Program. Lang. Syst.	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).	PLDI	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.	OOPSLA Companion	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.	CHARME	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.	ICCL	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.	OOPSLA	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.	PADL	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.	PEPM	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?	PEPM	2000	DBLP DOI BibTeX RDF
30	Matteo Busi 0001, Pierpaolo Degano, Letterio Galletta	Mechanical incrementalization of typing algorithms.	Sci. Comput. Program.	2021	DBLP DOI BibTeX RDF
30	David Zhao 0001, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz	Towards Elastic Incrementalization for Datalog.	PPDP	2021	DBLP DOI BibTeX RDF
30	Wenfei Fan, Muyang Liu, Chao Tian 0001, Ruiqi Xu, Jingren Zhou	Incrementalization of Graph Partitioning Algorithms. (PDF / PS)	Proc. VLDB Endow.	2020	DBLP DOI BibTeX RDF
30	Timothy A. K. Zakian, Ludovic Anthony Richard Capelli, Zhenjiang Hu	Incrementalization of Vertex-Centric Programs.	IPDPS	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.	COMPSAC	2014	DBLP DOI BibTeX RDF
30	Akimasa Morihata, Masato Koishi, Atsushi Ohori	Dynamic Programming via Thinning and Incrementalization.	FLOPS	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.		2013	RDF
30	Dimiter Milushev, Dave Clarke 0001	Towards Incrementalization of Holistic Hyperproperties.	POST	2012	DBLP DOI BibTeX RDF
30	Yan Chen 0001, Jana Dunfield, Umut A. Acar	Type-directed automatic incrementalization.	PLDI	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.	IFL	2009	DBLP DOI BibTeX RDF
30	Sven Kloppenburg	Incrementalization of analyses for next generation IDEs.		2009	RDF
30	Yanhong A. Liu	Efficiency by Incrementalization: An Introduction.	High. Order Symb. Comput.	2000	DBLP DOI BibTeX RDF
26	Darren Willis, David J. Pearce 0001, James Noble 0001	Caching and incrementalisation in the java query language.	OOPSLA	2008	DBLP DOI BibTeX RDF	java, querying, incrementalization
26	Tom Rothamel, Yanhong A. Liu	Generating incremental implementations of object-set queries.	GPCE	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.	WODA	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.	PLDI	2003	DBLP DOI BibTeX RDF	binary decision diagrams, points-to analysis