Sorin Lerner - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program optimization

Generating compiler optimizations from proofsRoss Tate, Michael Stepp, Sorin Lerner. POPL 2010: 389-402 [doi]

Bringing extensibility to verified compilersZachary Tatlock, Sorin Lerner. PLDI 2010: 111-121 [doi]

Towards automatic optimization of MapReduce programsShivnath Babu. CLOUD 2010: 137-142 [doi]

Proving optimizations correct using parameterized program equivalenceSudipta Kundu, Zachary Tatlock, Sorin Lerner. PLDI 2009: 327-337 [doi]

An exact penalty on bilevel programs with linear vector optimization lower levelZ. Ankhili, A. Mansouri. eor, 197(1):36-41, 2009. [doi]

Detecting Change in Program Behavior for Adaptive OptimizationNitzan Peleg, Bilha Mendelson. IEEEpact 2007: 150-162 [doi]

Global Optimization of Probabilistically Constrained Linear ProgramsShabbir Ahmed. cp 2006: 1 [doi]

RDVIS: A Tool that Visualizes the Causes of Low Locality and Hints Program OptimizationsKristof Beyls, Erik H. D Hollander, Frederik Vandeputte. iccS 2005: 166-173 [doi]

Optimization of html automatically generated by wysiwyg programsJacqueline Spiesser, Les Kitchen. WWW 2004: 355-364 [doi]

Program Optimization in the Domain of High-Performance ParallelismChristian Lengauer. Dagstuhl 2004: 73-91 [doi]

Optimizations for Faster Execution of Esterel ProgramsDumitru Potop-Butucaru, Robert de Simone. memocode 2003: 227-236 [doi]

A flexible nudged elastic band program for optimization of minimum energy pathways using ab initio electronic structure methodsDominic R. Alfonso, Kenneth D. Jordan. jcc, 24(8):990-996, 2003. [doi]

Optimizing General Chain ProgramsAnke D. Rieger. jlp, 40(2-3):251-271, 1999.

Optimization of SIMD Programs with Redundant ComputationsJörn Eisenbiegler. europar 1998: 456-462 [doi]

Event suppression by optimizing VHDL programsKwang-Il Park, Kyu Ho Park. tcad, 17(8):682-691, 1998. [doi]

Dynamic Currency Determination in Optimized ProgramsDhananjay M. Dhamdhere, K. V. Sankaranarayanan. TOPLAS, 20(6):1111-1130, 1998. [doi]

Locality Optimization for Program InstancesClaudia Leopold. ipps 1998: 225-233

Forward Dependence Folding as a Method of Communication Optimization in SPMD ProgramsZdzislaw Szczerbinski. para 1998: 543-550

Dynamic Program Description as a Basis for Runtime OptimizationJörn Gehring. europar 1997: 958-965

PREOPT-W: A Simulation Program for Off-line Optimization of Binary Gradient Separations in HPLC-I. Fundamentals and OverviewRafael Cela, Marta Lores. CANDC, 20(2):175-191, 1996. [doi]

Optimizing the Performance of Dynamically-Linked ProgramsW. Wilson Ho, Wei-Chau Chang, Lilian H. Leung. usenix 1995: 225-233

Simple and Effective Link-Time Optimization of Modula-3 ProgramsMary F. Fernandez. PLDI 1995: 103-115

A General Technique for Automatically Optimizing Programs Through the Use of Proof PlansPeter Madden, Ian Green. AISC 1995: 64-79

Optimization of GAPLog ProgramsFredrik Eklund, Andreas Kågedal. wlp 1994: 32-35

ALPO: Another Linear Program OptimizerRobert J. Vanderbei. informs, 5(2):134-146, 1993. [doi]

A Synchronous Model for Static Optimizations of Multicomputer ProgramsSalvatore Orlando, Marco Vanneschi. pepc 1992: 193-214

Optimizing Programs with Partial SpecificationsMark T. Vandevoorde. larch 1993: 262-281

Geometry Optimization Within a Modified Extended HÃ¼ckel Formalism: Modifications to the ASED ProgramKenneth J. Tupper, Richard W. Counts, Joseph J. Gajewski. CANDC, 15(2):157-160, 1991. [doi]

Optimizing Programs over the Constructive RealsVernon A. Lee Jr., Hans-Juergen Boehm. PLDI 1990: 102-111

The Placement Optimization Program: A Practical Solution to the Disk File Assignment ProblemJoel L. Wolf. sigmetrics 1989: 1-10

Program Optimization with IdeographS. ShouHan Wang, Augustus K. Uht. icpp 1989: 153-159

Optimizing Equational ProgramsRobert Strandh. RTA 1987: 13-24

Effectivity and optimizing of algorithms and programs on the host-computer/array-processor systemZdeenk Strakos. pc, 4(2):189-207, 1987. [doi]

SIMPAR: A Versatile Technology Independent Parameter Extraction Program Using a New Optimized Fit-StrategyW. Maes, Kristin M. De Meyer, Luc H. Dupas. tcad, 5(2):320-325, 1986. [doi]

Implementation aids for optimization algorithms that solve sequences of linear programsJ. L. Nazareth. TOMS, 12(4):307-323, 1986. [doi]

Automatic Generation of Optimized ProgramsBarbara L. Gates, J. A. van Hulzen. eurocal 1985: 583-584

Optimizing Semi-Join Programs for Distributed Query ProcessingW. S. Luk, Lydia Luk. icod 1983: 298-316

Characterization of Program Loops in Code OptimizationDhananjay M. Dhamdhere, J. S. Keith. Comp. Lang., Syst. \& Struct., 8(2):69-76, 1983.

Basis for Program OptimizationVictor N. Kasyanov. ifip 1983: 315-320

Synthesis and Optimization of Programs by Means of ::::P::::-FunktionsAndré Thayse. TC, 31(1):34-40, 1982.

The Use of Metasystem Transition in Theorem Proving and Program OptimizationValentin F. Turchin. icalp 1980: 645-657

A Good Program = A Structured Program + Optimization CommandsTakeshi Chusho. ifip 1980: 269-274

Program Optimization Using InvariantsShmuel Katz. TSE, 4(5):378-389, 1978.

Nonexistence of Program Optimizers in Several Abstract SettingsDonald A. Alton. jcss, 12(3):368-393, 1976.

Equivalence and Optimization of Recursive Program SchemataZbigniew Zwinogrodzki. mfcs 1976: 569-575

Program Optimization Using InvariantsShmuel Katz. eci 1976: 287-309

Optimization of Structured ProgramsMarvin V. Zelkowitz, William G. Bail. SPE, 4(1):51-57, 1974.

Optimizing Program Placement in Virtual SystemsKeith D. Ryder. IBMSJ, 13(4):292-306, 1974.

Equivalence and optimization of programsA. A. Letichervsky. ershov 1974: 111-123

A Contribution to the Problem of the Optimization of ProgramsPeter Bachmann. ifip 1971: 397-401

runs on WebDSL