partial evaluation - researchr tag

researchr

You are not signed in
Sign in
Sign up

2013

Optimizing Data Structures in High-Level ProgramsTiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky. In POPL 2013. 2013:

2011

Allocation removal by partial evaluation in a tracing JITCarl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo. PEPM 2011: 43-52 [doi]

Partial evaluation of MapleJacques Carette, Michael Kucera. SCP, 76(6):469-491, 2011. [doi]

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011Siau-Cheng Khoo, Jeremy G. Siek, editors, ACM, 2011.

Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007)Ganesan Ramalingam, Eelco Visser. SCP, 76(6):467-468, June 2011. [doi]

Hybrid partial evaluationShali, Amin, Cook, William R.. In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications. 2011: 375-390 [doi]

Partial Evaluation for Planning in Multiagent ExpeditionYang Xiang, Franklin Hanshar. ai 2011: 420-432 [doi]

Partial evaluation of the reversible language janusTorben Æ. Mogensen. PEPM 2011: 23-32 [doi]

2010

PET: a partial evaluation-based test case generation tool for Java bytecodeElvira Albert, Miguel GÃ³mez-Zamalloa, GermÃ¡n Puebla. PEPM 2010: 25-28 [doi]

O, Partial Evaluator, Where Art Thou?Lennart Augustsson. PEPM 2010:

O, partial evaluator, where art thou?Lennart Augustsson. PEPM 2010: 1-2 [doi]

Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementationEdwin Brady, Kevin Hammond. ICFP 2010: 297-308 [doi]

Template Metaprogramming, Partial Evaluation and Computational Complexity ClassesEmanuele Covino, Giovanni Pani. fcs 2010: 165-176

Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program ManipulationJohn P. Gallagher, Janis Voigtländer, editors, ACM, January 2010.

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010John P. Gallagher, Janis VoigtlÃ¤nder, editors, ACM, 2010.

Analytical model for performance evaluation of Multilayer Multistage Interconnection Networks servicing unicast and multicast traffic by partial multicast operationJohn D. Garofalakis, Eleftherios Stergiou. pe, 67(10):959-976, 2010. [doi]

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction TechniquesSteven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha. FASE 2010: 308-322 [doi]

Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationLeuschel, Michael, Tamarit, Salvador, Vidal, Germ?n. In Functional and Constraint Logic Programming. Volume 5979 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010.

An Optimal Market entry/Exit Evaluation Model with Partial financing FundsTyrone T. Lin, Chuan-Chuan Ko, Chien-Yu Liu. apjor, 27(2):257-269, 2010. [doi]

An Effective Framework to Evaluate Dynamic Partial Reconfiguration in FPGA SystemsKyprianos Papadimitriou, Antonis Anyfantis, Apostolos Dollas. tim, 59(6):1642-1651, 2010. [doi]

A Hybrid Approach to Conjunctive Partial Evaluation of Logic ProgramsGermán Vidal. LOPSTR 2011: 200-214 [doi]

A Partial Survey on Partial EvaluationAndre Vieira. SMP 2010:

2009

Evaluating large grain TMR and selective partial reconfiguration for soft error mitigation in SRAM-based FPGAsJosÃ© Rodrigo Azambuja, Fernando Sousa, Lucas Rosa, Fernanda Lima Kastensmidt. iolts 2009: 101-106 [doi]

Towards Just-In-Time Partial Evaluation of PrologCarl Friedrich Bolz, Michael Leuschel, Armin Rigo. LOPSTR 2010: 158-172 [doi]

Interleaving Symbolic Execution and Partial EvaluationRichard Bubel, Reiner Hähnle, Ran Ji. FMCO 2010: 125-146 [doi]

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languagesJacques Carette, Oleg Kiselyov, Chung-chieh Shan. JFP, 19(5):509-543, 2009. [doi]

Evaluating Premises, Partial Consequences and Partial HypothesesItziar GarcÃa-Honrado, Enric Trillas, Sergio Guadarrama, Eloy Renedo. eusflat 2009: 897-902 [doi]

An Experiment with the Fourth Futamura ProjectionRobert Glück. In Ershov Memorial Conference. 2009: [doi]

Is there a fourth Futamura projection?Robert Glück. PEPM 2009: 51-60 [doi]

Decompilation of Java bytecode to Prolog by partial evaluationMiguel GÃ³mez-Zamalloa, Elvira Albert, GermÃ¡n Puebla. INFSOF, 51(10):1409-1427, 2009. [doi]

An improved reductant calculus using fuzzy partial evaluation techniquesPascual Julián, Ginés Moreno, Jaime Penabad. fss, 160(2):162-181, 2009. [doi]

Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationMichael Leuschel, Salvador Tamarit, Germán Vidal. wflp 2010: 111-127 [doi]

Determining sample size to evaluate and compare the accuracy of binary diagnostic tests in the presence of partial disease verificationJ. A. Roldán Nofuentes, J. D. Luna del Castillo, M. A. Montero Alonso. csda, 53(3):742-755, 2009. [doi]

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009Germán Puebla, Germán Vidal, editors, ACM, 2009.

A Two-Phase Binding-Time Analysis in Partial Evaluation for XQueryHang Su, Husheng Liao. csie 2009: 454-461 [doi]

Eager Evaluation of Partial Tree-Pattern Queries on XML StreamsDimitri Theodoratos, Xiaoying Wu. dasfaa 2009: 241-246 [doi]

Towards Scalable Partial Evaluation of Declarative ProgramsGermán Vidal. LOPSTR 2010: 1-4 [doi]

2008

Test Data Generation of Bytecode by CLP Partial EvaluationElvira Albert, Miguel Gómez-Zamalloa, Germán Puebla. LOPSTR 2009: 4-23 [doi]

Evaluating the partial deployment of an AS-level IP traceback systemAndré O. Castelucio, Ronaldo M. Salles, Artur Ziviani. SAC 2008: 2069-2073 [doi]

Partial Evaluation of PEPA Models for Fluid-Flow AnalysisAllan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone. epew 2008: 2-16 [doi]

A Framework for the Partial Evaluation of SPARQL QueriesSergio Flesca, Filippo Furfaro, Andrea Pugliese. lipari 2008: 201-214 [doi]

Modular Decompilation of Low-Level Code by Partial EvaluationMiguel G?mez-Zamalloa, Elvira Albert, Germ? Puebla. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2008. [doi]

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008Robert Glück, Oege de Moor, editors, ACM, 2008.

An investigation of Jones optimality and BTI-universal specializersRobert Glück. lisp, 21(3), 2008. [doi]

Modular Decompilation of Low-Level Code by Partial EvaluationMiguel Gómez-Zamalloa, Elvira Albert, Germán Puebla. SCAM 2008: 239-248 [doi]

Extending grammars and metamodels for reuse: the Reuseware approachJakob Henriksson, Florian Heidenreich, Jendrik Johannes, Steffen Zschaler, Uwe Aßmann. IET Software, 2(3), 2008. [doi]

Concrete Partial Evaluation in RubyAndrew Keep, Arun Chauhan. eScience 2008: 346-347 [doi]

Fast Offline Partial Evaluation of Large Logic ProgramsMichael Leuschel, Germán Vidal. LOPSTR 2009: 119-134 [doi]

An Evaluation of Dynamic Partial Reconfiguration for Signal and Image Processing in Professional Electronics ApplicationsPhilippe Manet, Daniel Maufroid, Leonardo Tosi, Grégory Gailliard, Olivier Mulertt, Marco Di Ciano, Jean-Didier Legat, Denis Aulagnier, Christian Gamrat, Raffaele Liberati, Vincenzo La Barba, Pol Cuvelier, Bertrand Rousseau, Paul Gelineau. ejes, 2008, 2008. [doi]

Oracle-Based Partial EvaluationClaudio Ochoa, Germán Puebla. ENTCS, 220(3):145-161, 2008. [doi]

The long-term evaluation of ::::Fisherman:::: in a partial-attention environmentXiaobin Shen, Andrew Vande Moere, Peter Eades, Seok-Hee Hong. chi 2008: 10 [doi]

XQPE: A Partial Evaluation System for XQueryHang Su, Husheng Liao. compsac 2008: 347-354 [doi]

Trace Analysis for Predicting the Effectiveness of Partial EvaluationGermán Vidal. ICLP 2008: 790-794 [doi]

Evaluating partial tree-pattern queries on XML streamsXiaoying Wu, Dimitri Theodoratos. CIKM 2008: 1409-1410 [doi]

Evaluating dynamic partial reconfiguration in the integer pipeline of a FPGA-based opensource processorIzhar Zaidi, Atukem Nabina, Cedric Nishan Canagarajah, José L. Núñez-Yáñez. fpl 2008: 547-550 [doi]

2007

Type-Based Homeomorphic Embedding and Its Applications to Online Partial EvaluationElvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla. LOPSTR 2008: 23-42 [doi]

Automated Transformation of Statements within Evolving Domain Specific LanguagesPeter Bell. DSM 2007:

Partial evaluation of MapleJacques Carette, Michael Kucera. PEPM 2007: 41-50 [doi]

Evaluating the relationship of non-phase locked activities in the electroencephalogram during intermittent stimulation: a partial coherence-based approachAntônio Maurício Ferreira Leite Miranda de Sá, Antonio Fernando C. Infantosi. mbec, 45(7):635-642, 2007. [doi]

Preserving Sharing in the Partial Evaluation of Lazy Functional ProgramsSebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal. LOPSTR 2008: 74-89 [doi]

PICO Linguist and BabelMeSH: Development and Partial Evaluation of Evidence-based Multilanguage Search Tools for MEDLINE/PubMedPaul A. Fontelo, Fang Liu, Sergio Leon, Abrahamane Anne, Michael J. Ackerman. medinfo 2007: 817-821 [doi]

Improving the Decompilation of Java Bytecode to Prolog by Partial EvaluationMiguel Gómez-Zamalloa, Elvira Albert, Germán Puebla. ENTCS, 190(1):85-101, 2007. [doi]

From Contracts Towards Dependent Types: Proofs by Partial EvaluationStephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner. IFL 2008: 254-273 [doi]

Analysing Switch-Case Tables by Partial EvaluationNiklas Holsti. wcet 2007: [doi]

Partial Evaluation in Meta ModelingManfred A. Jeusfeld. ifip8-1 2007: 115-129 [doi]

Efficient Reductants Calculi using Partial Evaluation Techniques with ThresholdingPascual Julián, Ginés Moreno, Jaime Penabad. ENTCS, 188:77-90, 2007. [doi]

Partial Evaluation of PointcutsKarl Klose, Klaus Ostermann, Michael Leuschel. padl 2007: 320-334 [doi]

Learning to evaluate conditional partial plansSlawomir Nowaczyk, Jacek Malec. icmla 2008: 235-240 [doi]

A Study on the Practicality of Poly-Controlled Partial EvaluationClaudio Ochoa, Germán Puebla. ENTCS, 177:137-151, 2007. [doi]

Poly-controlled partial evaluation in practiceClaudio Ochoa, Germán Puebla. PEPM 2007: 164-173 [doi]

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007Ganesan Ramalingam, Eelco Visser, editors, ACM, 2007.

Forward slicing of functional logic programs by partial evaluationJosep Silva, Germán Vidal. tplp, 7(1-2):215-247, 2007. [doi]

Evaluation of partial path queries on xml dataStefanos Souldatos, Xiaoying Wu, Dimitri Theodoratos, Theodore Dalamagas, Timos K. Sellis. CIKM 2007: 21-30 [doi]

Quasi-terminating logic programs for ensuring the termination of partial evaluationGermán Vidal. PEPM 2007: 51-60 [doi]

A Code Generation Framework for Actor-Oriented Models with Partial EvaluationGang Zhou, Man-Kit Leung, Edward A. Lee. icess 2007: 193-206 [doi]

2006

Fast partial evaluation of pattern matching in stringsMads Sig Ager, Olivier Danvy, Henning Korsholm Rohde. TOPLAS, 28(4):696-714, 2006. [doi]

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change GraphsGustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal. LOPSTR 2007: 60-76 [doi]

A formal relationship between program slicing and partial evaluationDavid W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya. fac, 18(2):103-119, 2006. [doi]

Evaluation of on-line analytic and numeric inverse kinematics approaches driven by partial vision inputRonan Boulic, Xavier Varona, Luis Unzueta, Manuel Peinado, Angel Suescun, Francisco J. Perales López. vr, 10(1):48-61, 2006. [doi]

Using Partial Evaluation in Distributed Query EvaluationPeter Buneman, Gao Cong, Wenfei Fan, Anastasios Kementsietsidis. VLDB 2006: 211-222 [doi]

On the application of partial evaluation to the optimisation of cardiac electrophysiological simulationsJonathan Cooper, Steve McKeever, Alan Garny. PEPM 2006: 12-20 [doi]

On obtaining the Boyer-Moore string-matching algorithm by partial evaluationOlivier Danvy, Henning Korsholm Rohde. ipl, 99(4):158-162, 2006. [doi]

On Jones-Optimal Specializers: A Case Study Using UnmixJohan Gade, Robert Glück. aplas 2006: 406-422 [doi]

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006John Hatcliff, Frank Tip, editors, ACM, 2006.

Toward Prediction of Class II Mouse Major Histocompatibility Complex Peptide Binding Affinity: in Silico Bioinformatic Evaluation Using Partial Least Squares, a Robust Multivariate Statistical TechniqueChanna K. Hattotuwagama, Christopher P. Toseland, Pingping Guan, Debra J. Taylor, Shelley L. Hemsley, Irini A. Doytchinova, Darren R. Flower. jcisd, 46(3):1491-1502, 2006. [doi]

Combining partial evaluation and staged interpretation in the implementation of domain-specific languagesChristoph Armin Herrmann, Tobias Langhammer. SCP, 62(1):47-65, 2006. [doi]

Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual ProgramsAndrei V. Klimov. ershov 2007: 248-259 [doi]

The Ecce and Logen partial evaluators and their web interfacesMichael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine. PEPM 2006: 88-94 [doi]

Supervising Offline Partial Evaluation of Logic Programs Using Online TechniquesMichael Leuschel, Stephen-John Craig, Daniel Elphick. LOPSTR 2007: 43-59 [doi]

On Empirical Evaluation of Partial Encryption for Image SetsPing Luo, ZuYing Wang, Xiaobo Li. ipcv 2006: 60-66

Poly-controlled partial evaluationGermán Puebla, Claudio Ochoa. ppdp 2006: 261-271 [doi]

Evaluating Certification Protocols in the Partial Database State MachineA. Sousa, Alfrânio Correia Jr., Francisco Moura, José Pereira, Rui Carlos Oliveira. IEEEares 2006: 855-863 [doi]

Complexity and Performance Evaluation of Two Partial Reconfiguration Interfaces on FPGAs: A Case StudyHeng Tan, Ronald F. DeMara, Anuja Jayraj Thakkar, Abdel Ejnioui, Jason Sattler. ersa 2006: 253-256

Evaluating partial surface matching for fracture reduction assessmentSégoleène M. Tarte, Haydar Talib, Miguel Ángel González Ballester, Frank Langlotz. isbi 2006: 514-517 [doi]

Bit-level partial evaluation of synchronous circuitsSarah Thompson, Alan Mycroft. PEPM 2006: 29-37 [doi]

Information Retrieval Evaluation with Partial Relevance JudgmentShengli Wu, Sally I. McClean. bncod 2006: 86-93 [doi]

2005

PreviousNext