nominolo's library 46 articles Export

	Register Allocation by Proof Transformation [My Copy] (2003) by Atsushi Ohori posted to proof-transformation register-allocation by nominolo on 2008-11-28 11:32:39 as along with 1 group Lambda the Ultimate
	Combining Optimizations [My Copy] by W. Krentel, Linda Torczon, Clifford N. Click, Clifford N. Click posted to compiler-optimsation composition by nominolo on 2008-08-10 11:49:52 as along with 1 person Lemmih
	Programming monads operationally with unimo [My Copy] Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming (September 2006), pp. 274-285. by Chuan-Kai Lin posted to functional-programming monads by nominolo on 2008-07-17 14:09:10 as
	Value Numbering [My Copy] Software Practice and Experience, Vol. 27, No. 6. (1997), pp. 701-724. by Preston Briggs, Keith D. Cooper, Taylor L. Simpson posted to compiler compiler-opitimsation program-analysis program-transformation by nominolo on 2008-07-13 11:04:07 as
	Guaranteed Optimization: Proving Nullspace Properties of Compilers [My Copy] In Proceedings of the 2002 Static Analysis Symposium (SAS'02), Vol. 2477 (2002), pp. 263-277. by Todd L. Veldhuizen, Andrew Lumsdaine posted to compiler by nominolo on 2008-06-04 13:58:16 as along with 1 person pedagand
	The Implementation of Lua 5.0 [My Copy] Journal of Universal Computer Science, Vol. 11, No. 7. (28 July 2005), pp. 1159-1176. by Roberto Ierusalimschy, Luiz H. de Figueiredo, Waldemar Celes posted to virtual-machine-design by nominolo on 2008-06-03 08:29:51 as
	Virtual machine showdown: Stack versus registers [My Copy] ACM Trans. Archit. Code Optim., Vol. 4, No. 4. (January 2008), pp. 1-36. by Yunhe Shi, Kevin Casey, Anton M. Ertl, David Gregg posted to virtual-machine-design by nominolo on 2008-06-03 07:41:53 as along with 4 people and 1 group fgeller stshed Inopia pedagand Lambda the Ultimate
	The structure and performance of efficient interpreters [My Copy] Journal of Instruction-Level Parallelism, Vol. 5 (2003), pp. 1-25. by M. Ertl, D. Gregg posted to direct-threading virtual-machine-design by nominolo on 2008-06-03 07:40:07 as
	A space semantics for core haskell [My Copy] (2000) by A. Bakewell, C. Runciman posted to haskell operational-semantics by nominolo on 2008-06-02 14:30:06 as along with 1 person msakai
	A Syntactic Approach to Type Soundness [My Copy] Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94. by Andrew K. Wright, Matthias Felleisen posted to proof-techniques semantics type-theory verification by nominolo on 2008-06-01 19:21:18 as along with 11 people and 2 groups vkp greenrd tautologico bunge tov KarlKlose glaubersp mvermaat gkuan mcclurmc sclv SRG_at_UCD Lambda the Ultimate
	Proof optimization for partial redundancy elimination [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 91-101. by Ando Saabas, Tarmo Uustalu posted to compiler program-transformation verified-compiler by nominolo on 2008-06-01 19:11:17 as
	Theorems for free! [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359. by Philip Wadler posted to free-theorems lambda-calculus parametricity parametric-polymorphism program-transformation by nominolo on 2008-06-01 17:53:47 as along with 7 people and 1 group fvogels byorgey amp269 voigt spl paper_jac robdockins ConcertRG
	Closing the stage: from staged code to typed closures [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 147-157. by Yukiyoshi Kameyama, Oleg Kiselyov, Chung-Chieh Shan posted to generative-programming staged-programming by nominolo on 2008-06-01 17:43:02 as along with 1 group Lambda the Ultimate
	Tool support for refactoring functional programs [My Copy] In Haskell '03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (2003), pp. 27-38. by Huiqing Li, Claus Reinke, Simon Thompson posted to functional-programming program-transformation refactoring by nominolo on 2008-06-01 17:38:56 as along with 1 person emerson
	Data dependencies and program slicing: from syntax to abstract semantics [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 125-134. by Isabella Mastroeni, Damiano Zanardini posted to program-slicing by nominolo on 2008-06-01 17:35:56 as
	EDUCATIONAL PEARL: A Nanopass framework for compiler education [My Copy] Journal of Functional Programming, Vol. 15, No. 05. (2005), pp. 653-667. by Dipanwita Sarkar, Oscar Waddell, Dybvig posted to compiler education program-analysis program-transformation by nominolo on 2008-06-01 17:24:52 as along with 1 person claudiamichelle
	Composing dataflow analyses and transformations [My Copy] In Symposium on Principles of Programming Languages (2002), pp. 270-282. by Sorin Lerner, David Grove, Craig Chambers posted to composition optimization program-analysis program-transformation by nominolo on 2008-06-01 17:18:14 as
	Heap recycling for lazy languages [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 189-197. by Jurriaan Hage, Stefan Holdermans posted to compiler garbage-collection program-analysis by nominolo on 2008-05-16 19:07:43 as
	The Semantics of “Semantic Patches” in Coccinelle: Program Transformation for the Working Programmer [My Copy] Programming Languages and Systems (2007), pp. 303-318. by Neil Jones, René Hansen posted to program-analysis refactoring by nominolo on 2008-05-05 21:25:22 as
	Finally Tagless, Partially Evaluated [My Copy] Programming Languages and Systems (2009), pp. 222-238. by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan posted to compiler partial-evaluation tagless by nominolo on 2008-05-05 21:23:48 as along with 4 people and 1 group draganigajic pedagand keigoi msakai ConcertRG
	Polymorphic Delimited Continuations [My Copy] Programming Languages and Systems (2007), pp. 239-254. by Kenichi Asai, Yukiyoshi Kameyama posted to delimited-continuations effect-types by nominolo on 2008-05-05 21:21:39 as along with 2 people msakai keigoi
	Dynamic slicing based on redex trails [My Copy] In PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2004), pp. 123-134. by Claudio Ochoa, Josep Silva, Germán Vidal posted to debugging program-analysis program-slicing by nominolo on 2008-05-05 11:34:22 as
	Meld scheduling: relaxing scheduling constraints across region boundaries [My Copy] Microarchitecture, 1996. MICRO-29. Proceedings of the 29th Annual IEEE/ACM International Symposium on In Microarchitecture, 1996. MICRO-29. Proceedings of the 29th Annual IEEE/ACM International Symposium on (1996), pp. 308-321. by S. G. Abraham, V. Kathail, B. L. Deitrich posted to scheduling by nominolo on 2007-11-30 10:12:04 as
	Embedded software in real-time signal processing systems: design technologies [My Copy] (1997) by G. Goossens, J. Van Praet, D. Lanneer, W. Geurts posted to asip compiler scheduling by nominolo on 2007-11-23 15:46:18 as
	Code generation for embedded processors [My Copy] In ISSS '00: Proceedings of the 13th international symposium on System synthesis (2000), pp. 173-178. by Rainer Leupers posted to asip scheduling survey by nominolo on 2007-11-22 13:22:32 as
	Phase-Coupled Mapping of Data Flow Graphs to Irregular Data Paths [My Copy] (1999) by S. Bashford, R. Leupers posted to asip scheduling by nominolo on 2007-11-22 13:20:12 as
	Machine-Description Driven Compilers for EPIC and VLIW Processors [My Copy] Design Automation for Embedded Systems, Vol. 4, No. 2. (29 March 1999), pp. 71-118. by B. Rau, Vinod Kathail, Shail Aditya posted to scheduling by nominolo on 2007-11-22 13:18:09 as
	Instruction Selection, Resource Allocation, and Scheduling in the AVIV Retargetable Code Generator [My Copy] In Design Automation Conference (1998), pp. 510-515. by Silvina Hanono, Srinivas Devadas posted to scheduling by nominolo on 2007-11-22 13:13:39 as
	Mutation Scheduling: A Unified Approach to Compiling for Fine-Grain Parallelism [My Copy] In Languages and Compilers for Parallel Computing (1994), pp. 16-30. by Steven Novack, Alexandru Nicolau posted to scheduling by nominolo on 2007-11-22 13:11:54 as
	Using Register-Transfer Paths in Code Generation for Heterogeneous Memory-Register Architectures [My Copy] In Design Automation Conference (1996), pp. 591-596. by Guido Araujo, Sharad Malik, Mike posted to data-routing scheduling by nominolo on 2007-11-22 13:10:24 as
	Optimal Code Generation for Embedded Memory Non-Homogeneous Register Architectures [My Copy] (1995) by G. Araujo, S. Malik posted to data-routing scheduling by nominolo on 2007-11-22 13:07:53 as along with 1 person librarian01
	Automatic code generation for integrated digital signal processors [My Copy] Circuits and Systems, 1991., IEEE International Sympoisum on In Circuits and Systems, 1991., IEEE International Sympoisum on (1991), pp. 33-36 vol.1. by B. Wess posted to data-routing scheduling by nominolo on 2007-11-22 12:33:28 as
	Combined scheduling and data routing for programmable ASIC systems [My Copy] Design Automation, 1992. Proceedings. [3rd] European Conference on In Design Automation, 1992. Proceedings. [3rd] European Conference on (1992), pp. 486-490. by R. Hartmann posted to data-routing scheduling by nominolo on 2007-11-22 12:32:01 as
	Data Path Allocation using an Extended Binding Model [My Copy] In Design Automation Conference (1992), pp. 279-284. by Ganesh Krishnamoorthy, John A. Nestor posted to scheduling by nominolo on 2007-11-19 22:16:28 as
	Interconnect optimisation during data path allocation [My Copy] In EURO-DAC '90: Proceedings of the conference on European design automation (1990), pp. 141-145. by L. Stok posted to scheduling by nominolo on 2007-11-19 22:14:47 as
	Continuation-Based Program Transformation Strategies [My Copy] J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180. by Mitchell Wand posted to continuations program-transformation by nominolo on 2007-11-13 00:30:19 as along with 10 people and 2 groups olegus kvm samth twleung rgrig JacquesC JeffreyPalmer voigt pile americovargas NU-PRL SRG_at_UCD
	An efficient list-based scheduling algorithm for high-level synthesis [My Copy] Digital System Design, 2002. Proceedings. Euromicro Symposium on In Digital System Design, 2002. Proceedings. Euromicro Symposium on (2002), pp. 316-323. by A. M. Sllame, V. Drabek posted to instruction scheduling by nominolo on 2007-11-12 21:17:02 as
	Cone-Based Clustering Heuristic for List Scheduling Algorithms [My Copy] (1997) by S. Govindarajan, R. Vemuri posted to instruction scheduling by nominolo on 2007-11-12 14:14:33 as
	Force-directed scheduling for the behavioral synthesis of ASICs [My Copy] Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 8, No. 6. (06 August 2002), pp. 661-679. by P. G. Paulin, J. P. Knight posted to scheduling by nominolo on 2007-11-09 00:00:42 as along with 2 people adamarnesen michael_hliao
	A-combined approach to high-level synthesis for dynamically reconfigurable systems [My Copy] Transactions on Computers In Transactions on Computers, Vol. 53, No. 12. (2004), pp. 1508-1522. by M. Meribout, M. Motomura posted to asip by nominolo on 2007-11-08 23:58:47 as
	A Graph Based Algorithm for Data Path Optimization in Custom Processors [My Copy] In DSD '06: Proceedings of the 9th EUROMICRO Conference on Digital System Design (2006), pp. 496-503. by Jelena Trajkovic, Mehrdad Reshadi, Bita Gorjiara, Daniel Gajski posted to asip scheduling by nominolo on 2007-11-08 17:38:12 as
	FPGA-friendly code compression for horizontal microcoded custom IPs [My Copy] In FPGA '07: Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays (2007), pp. 108-115. by Bita Gorjiara, Daniel Gajski posted to asip compression instruction-set by nominolo on 2007-11-06 16:47:42 as along with 1 person NickGasson
	Exploiting pipelining to relax register-file port constraints of instruction-set extensions [My Copy] In CASES '05: Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems (2005), pp. 2-10. by Laura Pozzi, Paolo Ienne posted to extension instruction-set scheduling by nominolo on 2007-11-06 16:44:45 as along with 1 person and 2 groups iammealva CompArch Compilers
	Fast Identification of Custom Instructions for Extensible Processors [My Copy] Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 26, No. 2. (2007), pp. 359-368. by X. Chen, D. L. Maskell, Y. Sun posted to asip extension instruction-set by nominolo on 2007-11-06 16:42:44 as along with 2 people and 2 groups iammealva Aragorn992 CompArch Compilers
	A cycle-accurate compilation algorithm for custom pipelined datapaths [My Copy] In CODES+ISSS '05: Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis (2005), pp. 21-26. by Mehrdad Reshadi, Daniel Gajski posted to asip instruction nisc scheduling by nominolo on 2007-11-06 16:29:28 as along with 1 person NickGasson
	Keep it clean: a unique approach to functional programming. [My Copy] SIGPLAN Not., Vol. 34, No. 6. (June 1999), pp. 23-31. by Rinus Plasmeijer, Marko van Eekelen posted to programming language functional by nominolo on 2007-02-02 10:05:48 as along with 1 person pedagand

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

scheduling	19
asip	8
program-transformation	7
compiler	7
program-analysis	6
data-routing	4
instruction-set	3
virtual-machine-design	3
instruction	3
extension	2
composition	2
program-slicing	2
functional-programming	2
refactoring	2
proof-techniques	1
verification	1
parametric-polymorphism	1
debugging	1
proof-transformation	1
parametricity	1
programming	1
education	1
survey	1
effect-types	1
compression	1
verified-compiler	1
compiler-opitimsation	1
monads	1
delimited-continuations	1
lambda-calculus	1
nisc	1
compiler-optimsation	1
direct-threading	1
continuations	1
staged-programming	1
partial-evaluation	1
haskell	1
tagless	1
type-theory	1
functional	1
free-theorems	1
register-allocation	1
generative-programming	1
semantics	1
garbage-collection	1
language	1
operational-semantics	1
optimization	1

nominolo's library 46 articles Export

nominolo's tags