pejo's library 94 articles Export

	Optimistic evaluation: an adaptive evaluation strategy for non-strict programs [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 287-298. by Robert Ennals, Simon P. Jones posted to haskell by pejo on 2005-11-21 07:13:59 as along with 1 person robennals
	A principled approach to operating system construction in Haskell [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128. by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted to haskell os by pejo on 2005-09-29 09:05:15 as along with 6 people and 1 group draganigajic voigt hannes mahler mstone pedagand Rightscom
	Driving in the Jungle [My Copy] Lecture Notes in Computer Science, Vol. 2053 (January 2001), 198. by Jens P. Secher posted to driving partialevaluation supercompilation by pejo on 2005-08-31 14:12:50 as along with 2 people beete pjd
	On the Power of Homeomorphic Embedding for Online Termination [My Copy] Lecture Notes in Computer Science, Vol. 1503 (January 1998), 230. by Michael Leuschel posted to online partialevaluation termination by pejo on 2005-08-31 13:05:30 as
	$My PDF voigtl&\#228;nder_04_composition.pdf$ Composition of functions with accumulating parameters [My Copy] J. Funct. Program., Vol. 14, No. 3. (May 2004), pp. 317-363. by Janis Voigtl&\#228;nder, Armin K&\#252;hnemann posted to deforestation partialevaluation by pejo on 2005-08-29 13:01:21 as along with 1 person voigt
	On Perfect Supercompilation [My Copy] Lecture Notes in Computer Science, Vol. 1755 (January 2000), 113. by Jens P. Secher, Morten H. Sørensen posted to partialevaluation supercompilation by pejo on 2005-08-24 14:20:40 as along with 2 people jrw pjd
	Combinators for program generation [My Copy] J. Funct. Program., Vol. 9, No. 5. (September 1999), pp. 483-525. by Peter Thiemann posted to partialevaluation by pejo on 2005-08-22 15:11:59 as along with 1 person jrw
	A computational formalization for partial evaluation [My Copy] Mathematical. Structures in Comp. Sci., Vol. 7, No. 5. (October 1997), pp. 507-541. by John Hatcliff, Olivier Danvy posted to partialevaluation by pejo on 2005-08-22 11:40:14 as
	The Translation Power of the Futamura Projections [My Copy] Lecture Notes in Computer Science, Vol. 2890 (January 2003), pp. 133-147. by Robert Glã¼ck posted to generating-extensions jones-optimal by pejo on 2005-08-22 11:37:47 as
	$My PDF gl&\#252;ck_02_jones.pdf$ Jones optimality, binding-time improvements, and the strength of program specializers [My Copy] In ASIA-PEPM '02: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (2002), pp. 9-19. by Robert Gl&\#252;ck posted to binding-time-improvement jones-optimal partialevaluation by pejo on 2005-08-22 11:33:56 as
	Transformation by interpreter specialisation [My Copy] Science of Computer Programming, Vol. 52, No. 1-3. (August 2004), pp. 307-339. by Neil D. Jones posted to partialevaluation by pejo on 2005-08-16 09:23:49 as
	Program Generation, Termination, and Binding-Time Analysis [My Copy] Lecture Notes in Computer Science, Vol. 2487 (January 2002), pp. 1-31. by Neil D. Jones, Arne J. Glenstrup posted to bta partialevaluation termination by pejo on 2005-08-16 08:21:12 as
	Tagging, Encoding, and Jones Optimality [My Copy] Lecture Notes in Computer Science, Vol. 2618 (January 2003), pp. 335-347. by Olivier Danvy, Martãnez posted to jones-optimal partialevaluation by pejo on 2005-08-16 08:18:43 as along with 1 person jrw
	Specialising Interpreters Using Offline Partial Deduction [My Copy] Lecture Notes in Computer Science, Vol. 3049 (January 2004), pp. 340-375. by Michael Leuschel, Stephen J. Craig, Maurice Bruynooghe, Wim Vanhoof posted to offline partialevaluation by pejo on 2005-08-16 08:14:30 as along with 1 person KarlKlose
	On Jones-Optimal Specialization for Strongly Typed Languages [My Copy] Lecture Notes in Computer Science, Vol. 1924 (January 2000), 129. by Henning Makholm posted to jones-optimal partialevaluation by pejo on 2005-08-16 08:12:22 as
	Polymorphic specialization for ML [My Copy] ACM Trans. Program. Lang. Syst., Vol. 26, No. 4. (July 2004), pp. 652-701. by Simon Helsen, Peter Thiemann posted to bta partialevaluation sml by pejo on 2005-08-16 07:41:27 as
	Binding-time analysis for standard ML [My Copy] Lisp Symb. Comput., Vol. 8, No. 3. (September 1995), pp. 191-208. by Lars Birkedal, Morten Welinder posted to bta partialevaluation sml by pejo on 2005-08-16 07:35:48 as
	Hand-Writing Program Generator Generators [My Copy] In PLILP '94: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (1994), pp. 198-214. by Lars Birkedal, Morten Welinder posted to cogen partialevaluation by pejo on 2005-08-16 07:32:05 as
	Glossary for Partial Evaluation and Related Topics [My Copy] Higher Order Symbol. Comput., Vol. 13, No. 4. (December 2000), pp. 355-368. by Torben posted to glossary partialevaluation by pejo on 2005-08-12 11:26:17 as
	Imperative program optimization by partial evaluation [My Copy] In PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2004), pp. 113-122. by S&\#248;ren Debois posted to bisimulation partialevaluation staticanalysis by pejo on 2005-08-12 09:47:23 as
	Offline partial evaluation can be as accurate as online partial evaluation [My Copy] ACM Trans. Program. Lang. Syst., Vol. 26, No. 1. (January 2004), pp. 191-220. by Niels H. Christensen, Robert Gl&\#252;ck posted to offline online partialevaluation staticanalysis by pejo on 2005-08-12 09:45:20 as
	Two Flavors of Offline Partial Evaluation [My Copy] Lecture Notes in Computer Science, Vol. 1538 (January 1998), 188. by Simon Helsen, Peter Thiemann posted to offline partialevaluation type-based by pejo on 2005-08-11 11:39:32 as
	Contification using dominators [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 2-13. by Matthew Fluet, Stephen Weeks posted to contification tailcall by pejo on 2005-08-10 08:56:15 as along with 1 person and 1 group dherman NU-PRL
	Lambda-dropping: transforming recursive equations into programs with block structure [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 90-106. by Olivier Danvy, Ulrik P. Schultz posted to lambdadropping partialevaluation staticanalysis by pejo on 2005-08-08 12:24:44 as
	Partial-evaluation techniques for concurrent programs [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 47-62. by Mihnea Marinescu, Benjamin Goldberg posted to concurrency partialevaluation staticanalysis by pejo on 2005-08-08 12:23:07 as
	Partial evaluation and separate compilation [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 1-11. by Rogardt Heldal, John Hughes posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:22:19 as
	Pre-Scheme: A Scheme Dialect for Systems Programming [My Copy] by R. Kelsey posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:20:01 as along with 2 people hamish JeffreyPalmer
	Partial evaluation of call-by-value &lgr;-calculus with side-effects [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 12-21. by Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:17:28 as
	A type-directed, on-line, partial evaluator for a polymorphic language [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 22-35. by Tim Sheard posted to partialevaluation staticanalysis type-based by pejo on 2005-08-08 12:15:50 as
	Partial evaluation in aircraft crew planning [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 127-136. by Lennart Augustsson posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:13:10 as
	Resource-bounded partial evaluation [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 179-192. by Saumya Debray posted to partialevaluation resourcebound staticanalysis by pejo on 2005-08-08 12:09:51 as
	Online-and-offline partial evaluation (extended abstract): a mixed approach [My Copy] In PEPM '00: Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 34, No. 11. (November 1999), pp. 12-21. by Eijiro Sumii, Naoki Kobayashi posted to partialevaluation staticanalysis by pejo on 2005-08-08 11:59:29 as
	Optimizing Ackermann's function by incrementalization [My Copy] In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 38, No. 10. (October 2003), pp. 85-91. by Yanhong A. Liu, Scott D. Stoller posted to incrementalization staticanalysis by pejo on 2005-08-08 11:15:41 as
	Operator strength reduction [My Copy] ACM Trans. Program. Lang. Syst., Vol. 23, No. 5. (September 2001), pp. 603-625. by Keith D. Cooper, Taylor L. Simpson, Christopher A. Vick posted to ssa strengthreduction by pejo on 2005-08-03 08:36:34 as
	The cache behaviour of large lazy functional programs on stock hardware [My Copy] SIGPLAN Not., Vol. 38, No. 2 supplement. (2003), pp. 44-55. by Nicholas Nethercote, Alan Mycroft posted to functionalprogramming performance by pejo on 2005-08-02 12:41:48 as
	Polymorphic subtyping in O'Haskell [My Copy] Science of Computer Programming, Vol. 43, No. 2. (May 2002), pp. 93-127. by J. Nordlander posted to ohaskell timber typesystem by pejo on 2005-07-28 16:39:15 as along with 1 person msakai
	The Semantic Layers of Timber [My Copy] Lecture Notes in Computer Science, Vol. 2895 (January 2003), pp. 339-356. by Magnus Carlsson, Johan Nordlander, Dick Kieburtz posted to functionalprogramming timber by pejo on 2005-07-28 10:25:16 as along with 1 person voigt
	Using types to analyze and optimize object-oriented programs [My Copy] ACM Trans. Program. Lang. Syst., Vol. 23, No. 1. (January 2001), pp. 30-72. by Amer Diwan, Kathryn S. Mckinley, Eliot posted to optimization staticanalysis type-based by pejo on 2005-07-19 18:37:00 as
	A comparative study of modulo scheduling techniques [My Copy] In ICS '02: Proceedings of the 16th international conference on Supercomputing (2002), pp. 97-106. by Josep M. Codina, Josep Llosa, Antonio Gonz&\#225;lez posted to ilp moduloscheduling survey by pejo on 2005-07-14 08:33:07 as along with 2 people pkt kvm
	Limits of instruction-level parallelism [My Copy] In ASPLOS-IV: Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, Vol. 19, No. 2. (April 1991), pp. 176-188. by David W. Wall posted to ilp by pejo on 2005-07-14 07:26:19 as along with 3 people and 1 group hn82123 jcarroll jolilius TUCS-ES_Lab
	Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned [My Copy] SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 257-269. by Olin Shivers posted to cfa by pejo on 2005-07-14 07:16:39 as along with 4 people and 1 group samth jrw dsilva tov NU-PRL
	Writing good software engineering research papers: minitutorial [My Copy] In ICSE '03: Proceedings of the 25th International Conference on Software Engineering (2003), pp. 726-736. by Mary Shaw posted to writing by pejo on 2005-07-14 07:02:50 as along with 10 people and 3 groups bourby argo jolilius hayashi benavides maike rblake abecker japarejo alphabetagamma TUCS-ES_Lab tdg uiuc-cs
	Compile-time dynamic voltage scaling settings: opportunities and limits [My Copy] In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 49-62. by Fen Xie, Margaret Martonosi, Sharad Malik posted to power-optimization by pejo on 2005-07-06 11:54:08 as
	The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction [My Copy] In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 38-48. by Chung-Hsing Hsu, Ulrich Kremer posted to power-optimization by pejo on 2005-07-06 11:52:13 as along with 2 people hamurster ladypine
	Vectorization for SIMD architectures with alignment constraints [My Copy] In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 82-93. by Alexandre E. Eichenberger, Peng Wu, Kevin O'Brien posted to simd vectorization by pejo on 2005-07-06 11:47:50 as
	Scalable lock-free dynamic memory allocation [My Copy] SIGPLAN Not. In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 35-46. by Maged M. Michael posted to lock-free memory-allocation by pejo on 2005-07-06 11:43:40 as along with 2 people adamx syoyo
	Formal loop merging for signal transforms [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 315-326. by Franz Franchetti, Yevgen Voronenko, Markus P&\#252;schel posted to optimization signalprocessing by pejo on 2005-07-06 11:38:27 as
	Optimistic register coalescing [My Copy] ACM Trans. Program. Lang. Syst., Vol. 26, No. 4. (July 2004), pp. 735-765. by Jinpyo Park, Soo-Mook Moon posted to compilerbackend registerallocation by pejo on 2005-07-06 11:32:23 as along with 1 person sby
	Automatic pool allocation: improving performance by controlling data structure layout in the heap [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 129-142. by Chris Lattner, Vikram Adve posted to memory-optimization optimization by pejo on 2005-07-06 11:30:48 as along with 4 people and 1 group hcr qiongc salagnac eraman Verimag
	Resource usage analysis [My Copy] ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 264-313. by Atsushi Igarashi, Naoki Kobayashi posted to resourceusage type-based by pejo on 2005-07-06 11:23:31 as along with 4 people shimomura ama08r gerold keigoi

Note: You may cite this page as: http://www.citeulike.org/user/pejo

Result page: 1 2 Next

partialevaluation	28
staticanalysis	21
registerallocation	17
compilerbackend	13
optimization	13
callingconventions	10
functionalprogramming	7
haskell	6
instructionscheduling	5
ssa	5
type-based	5
jones-optimal	4
optimal	4
bta	3
erlang	3
offline	3
spaceoptimization	3
survey	3
dynamicprogramming	2
ilp	2
inlining	2
online	2
power-optimization	2
sml	2
supercompilation	2
termination	2
timber	2
anf	1
binding-time-improvement	1
bisimulation	1
cfa	1
cfg	1
cogen	1
combinators	1
concurrency	1
contification	1
deforestation	1
designpatterns	1
driving	1
generating-extensions	1
ghc	1
glossary	1
incrementalization	1
ir	1
lambdadropping	1
lock-free	1
lowpower	1
memory-allocation	1
memory-optimization	1
moduloscheduling	1
ohaskell	1
os	1
performance	1
pointeranalysis	1
resourcebound	1
resourceusage	1
signalprocessing	1
simd	1
strengthreduction	1
tailcall	1
typesystem	1
vectorization	1
writing	1

pejo's library 94 articles Export

pejo's tags