Oleg Kiselyov - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged generic programming

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic codeJacques Carette, Oleg Kiselyov. SCP, 76(5):349-375, 2011. [doi]

Generic Optimality Conditions for Semialgebraic Convex ProgramsJérôme Bolte, Aris Daniilidis, Adrian S. Lewis. mor, 36(1):55-70, 2011. [doi]

Efficient run-time dispatching in generic programming with minimal code bloatLubomir D. Bourdev, Jaakko Järvi. SCP, 76(4):243-257, 2011. [doi]

Corrective hints for type incorrect generic Java programsNabil El Boustani, Jurriaan Hage. PEPM 2010: 5-14 [doi]

Experiments with a Generic Dantzig-Wolfe Decomposition for Integer ProgramsGerald Gamrath, Marco E. Lübbecke. wea 2010: 239-252 [doi]

Special Issue on Generic Programming EditorialRalf Hinze. JFP, 20(3-4):211-212, 2010. [doi]

A Generic Framework for Soft Real-Time Program Executions on NAND Flash Memory in Multi-Tasking Embedded SystemsDuhee Lee, Chang-Gun Lee, Kanghee Kim. rtss 2009: 93-104 [doi]

A generic platform for estimation of multi-threaded program performance on heterogeneous multiprocessorsAryabartta Sahu, M. Balakrishnan, Preeti Ranjan Panda. date 2009: 1018-1023 [doi]

Minimizing dependencies within generic classes for faster and smaller programsDan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup. OOPSLA 2009: 425-444 [doi]

Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path ProblemsChangjing Wang, Jinyun Xue. faw 2009: 27-39 [doi]

Checkmate: A Generic Static Analyzer of Java Multithreaded ProgramsPietro Ferrara. SEFM 2009: 169-178 [doi]

Synthesis of Functions Using Generic ProgrammingPieter W. M. Koopman, Rinus Plasmeijer. AAIP 2010: 25-49 [doi]

Comparing libraries for generic programming in haskellAlexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira. haskell 2008: 111-122 [doi]

Automatic software fault localization using generic program invariantsRui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund. SAC 2008: 712-717 [doi]

Oto, a generic and extensible tool for marking programming assignmentsGuy Tremblay, F. Guérin, A. Pons, Aziz Salah. SPE, 38(3):307-333, 2008. [doi]

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party DevelopersMary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum. PADL 2008: 133-149 [doi]

Generalized Semi-Infinite Programming: on generic local minimizersHarald GÃ¼nzel, Hubertus Th. Jongen, Oliver Stein. jgo, 42(3):413-421, 2008. [doi]

micrOMEGAs 2.0.7: a program to calculate the relic density of dark matter in a generic modelG. Bélanger, F. Boudjema, A. Pukhov, A. Semenov. cphysics, 177(11):894-895, 2007. [doi]

micrOMEGAs2.0: A program to calculate the relic density of dark matter in a generic modelG. Bélanger, F. Boudjema, A. Pukhov, A. Semenov. cphysics, 176(5):367-382, 2007. [doi]

Practical generic programming in OCamlJeremy Yallop. ml 2007: 83-94 [doi]

Modular and generic programming with interpreterlibPhilip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander. ASE 2007: 473-476 [doi]

In search of a program generator to implement generic transformations for high-performance computingAlbert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua. SCP, 62(1):25-46, 2006. [doi]

On Optimising Shape-Generic Array Programs Using Symbolic Structural InformationKai Trojahner, Clemens Grelck, Sven-Bodo Scholz. IFL 2007: 1-18 [doi]

Towards Generic Programming with Sized TypesAndreas Abel. mpc 2006: 10-28 [doi]

A generic view of Dantzig-Wolfe decomposition in mixed integer programmingFrançois Vanderbeck, Martin W. P. Savelsbergh. orl, 34(3):296-306, 2006. [doi]

Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic CodeJacques Carette, Oleg Kiselyov. GPCE 2005: 256-274 [doi]

Programmable Agents for Generic Distributed AuthorisationNick Antonopoulos, James Heather, Roger M. A. Peel. ic 2005: 174-180

Alphabets in generic programmingJuha Kärkkäinen. stringology 2005: 163-173

Generic programming for high-performance scientific applicationsLie-Quan Lee, Andrew Lumsdaine. concurrency, 17(7-8):941-965, 2005. [doi]

Code Flexibility and Program Efficiency by Genericity: Improving Cgal s ArrangementsEfi Fogel, Ron Wein, Dan Halperin. esa 2004: 664-676 [doi]

Parametric Fortran - A Program Generator for Customized Generic Fortran ExtensionsMartin Erwig, Zhe Fu. PADL 2004: 209-223 [doi]

Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java ProgramsDiarmuid O Donoghue, James F. Power. csreaESA 2004: 192-198

Generic proofs for combinator-based generic programsFermín Reig. sfp 2006: 17-32

The implementation of generic smart pointers for advanced defensive programmingAnthony Savidis. SPE, 34(10):977-1009, 2004. [doi]

Universes for Generic Programs and Proofs in Dependent Type TheoryMarcin Benke, Peter Dybjer, Patrik Jansson. njc, 10(4):265-289, 2003.

A Generic Program for Minimal Subsets with ApplicationsRudolf Berghammer. LOPSTR 2003: 144-157 [doi]

GUPRO - Generic Understanding of ProgramsJürgen Ebert, Bernt Kullbach, Volker Riediger, Andreas Winter. ENTCS, 72(2):47-56, 2002. [doi]

The Complexity of Generic Primal Algorithms for Solving General Integer ProgramsAndreas S. Schulz, Robert Weismantel. mor, 27(4):681-692, 2002. [doi]

Discussion: The Role of Types in Generic Programmingifip2-1 2003: 121-126

Developing the Generic Path Algorithmic Program and its Instantiations Using PAR MethodJinyun Xue. aplas 2001: 159-169

Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected PapersMehdi Jazayeri, Rüdiger Loos, David R. Musser, editors, Volume 1766 of Lecture Notes in Computer Science, Springer, 2000.

A Generic Processor for Program Validation and DebuggingGermán Puebla, Francisco Bueno, Manuel V. Hermenegildo. discipl 2000: 63-107

The Ciao Modular, Standalone Compiler and Its Generic Program Processing LibraryDaniel Cabeza Gras, Manuel V. Hermenegildo. TCS, 30(3):144-162, 1999. [doi]

Generic System Support for Deductive Program DevelopmentAbdelwaheb Ayari, David A. Basin. TACAS 1996: 313-328

Generic Program Representation and Evaluation of Systolic Computations on MulticomputersBrian J. d Auriol, Virendrakumar C. Bhavsar. pdpta 1996: 1213-1224

Generic Programming (Abstract)Alexander A. Stepanov. ershov 1996: 40

A Generic Program for Sequential Decision ProcessesOege de Moor. plilp 1995: 1-23

Deriving Programs Using Generic AlgorithmsV. R. Yakhnis, J. A. Farrell, S. S. Shultz. IBMSJ, 33(1):158-181, 1994.

Generic ProgrammingDavid R. Musser, Alexander A. Stepanov. issac 1989: 13-25

Corrective Hints for Type Incorrect Generic Java ProgramsNabil El Boustani, Jurriaan Hage. PEPM 2010:

runs on WebDSL