The design and implementation of the YAP compiler : An optimizing compiler for logic programming languagesFAUSTINO DA SILVA, Anderson; SANTOS COSTA, Vftor.Lecture notes in computer science. 2006, pp 461-462, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

abc : The aspectbench compiler for aspectjALLAN, Chris; AVGUSTINOV, Pavel; TIBBLE, Julian et al.Lecture notes in computer science. 2005, pp 10-16, issn 0302-9743, isbn 3-540-29138-5, 1Vol, 7 p.Conference Paper

TIL: A type-directed optimizing compiler for MLTARDITI, D; MORRISETT, G; CHENG, P et al.ACM SIGPLAN notices. 2004, Vol 39, Num 4, pp 556-567, issn 1523-2867, 12 p.Article

Interprocedural constant propagationCALLAHAN, David; COOPER, Keith D; KENNEDY, Ken et al.ACM SIGPLAN notices. 2004, Vol 39, Num 4, pp 157-166, issn 1523-2867, 10 p.Article

Conditions for efficiency improvement by tree transducer compositionVOIGTLÄNDER, Janis.Lecture notes in computer science. 2002, pp 222-236, issn 0302-9743, isbn 3-540-43916-1, 15 p.Conference Paper

Control flow analysis in schemeSHIVERS, Olin.ACM SIGPLAN notices. 2004, Vol 39, Num 4, pp 259-269, issn 1523-2867, 11 p.Article

Coloring heuristics for register allocationBRIGGS, Preston; COOPER, Keith D; KENNEDY, Ken et al.ACM SIGPLAN notices. 2004, Vol 39, Num 4, pp 285-294, issn 1523-2867, 10 p.Article

Fragmental specializationHELSEN, Simon; THIEMANN, Peter.Lecture notes in computer science. 2000, pp 51-71, issn 0302-9743, isbn 3-540-41054-6Conference Paper

Aspect-oriented compilersDE MOOR, Oege; PEYTON-JONES, Simon; VAN WYK, Eric et al.Lecture notes in computer science. 2000, pp 121-133, issn 0302-9743, isbn 3-540-41172-0Conference Paper

Automatically Generating Instruction Selectors Using Declarative Machine DescriptionsDIAS, João; RAMSEY, Norman.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 403-416, issn 1523-2867, 14 p.Conference Paper

Guaranteed optimization: Proving nullspace properties of compilersVELDHUIZEN, Todd L; LUMSDAINE, Andrew.Lecture notes in computer science. 2002, pp 263-277, issn 0302-9743, isbn 3-540-44235-9, 15 p.Conference Paper

Reducing NoC energy consumption through compiler-directed channel voltage scalingGUANGYU CHEN; FEIHUI LI; KANDEMIR, Mahmut et al.ACM SIGPLAN notices. 2006, Vol 41, Num 6, pp 193-203, issn 1523-2867, 11 p.Conference Paper

A structured approach to proving compiler optimizations based on dataflow analysisBERTOT, Yves; GREGOIRE, Benjamin; LEROY, Xavier et al.Lecture notes in computer science. 2006, pp 66-81, issn 0302-9743, isbn 3-540-31428-8, 1Vol, 16 p.Conference Paper

Optimising AspectJAVGUSTINOV, Pavel; CHRISTENSEN, Aske Simon; HENDREN, Laurie et al.ACM SIGPLAN notices. 2005, Vol 40, Num 6, pp 117-128, issn 1523-2867, 12 p.Conference Paper

ORBIT: An optimizing compiler for schemeKRANZ, David; KELSEY, Richard; REES, Jonathan et al.ACM SIGPLAN notices. 2004, Vol 39, Num 4, pp 177-191, issn 1523-2867, 15 p.Article

Predicting the impact of optimizations for embedded systemsMIN ZHAO; CHILDERS, Bruce; SOFFA, Mary Lou et al.ACM SIGPLAN notices. 2003, Vol 38, Num 7, pp 1-11, issn 1523-2867, 11 p.Conference Paper

Optimizing Compiler design for modularity and extensibilityCARROLL, Steven; KO, Walden; YANKELEVSKY, Mark et al.Lecture notes in computer science. 2003, pp 1-17, issn 0302-9743, isbn 3-540-04029-3, 17 p.Conference Paper

Effective sign extension eliminationKAWAHITO, Motohiro; KOMATSU, Hideaki; NAKATANI, Toshio et al.ACM SIGPLAN notices. 2002, Vol 37, Num 5, pp 187-198, issn 1523-2867Conference Paper

Compiler-directed channel allocation for saving power in on-chip networksGUANGYU CHEN; FEIHUI LI; KANDEMIR, Mahmut et al.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 194-205, issn 1523-2867, 12 p.Conference Paper

Automatic generation of peephole superoptimizersBANSAL, Sorav; AIKEN, Alex.Operating systems review. 2006, Vol 40, Num 5, pp 394-403, issn 0163-5980, 10 p.Conference Paper

Automatic performance model construction for the fast software exploration of new hardware designsCAVAZOS, John; DUBACH, Christophe; AGAKOV, Felix et al.International Conference on Compilers, Architectures, and Synthesis for Embedded Systems. 2006, pp 24-34, isbn 1-59593-543-6, 1Vol, 11 p.Conference Paper

Aspects for trace monitoringAVGUSTINOV, Pavel; BODDEN, Eric; VERBAERE, Mathieu et al.Lecture notes in computer science. 2006, pp 20-39, issn 0302-9743, isbn 978-3-540-49699-1, 1Vol, 20 p.Conference Paper

Natix visual interfacesBÖHM, A; BRANTNER, M; KANNE, C-C et al.Lecture notes in computer science. 2006, pp 1125-1129, issn 0302-9743, isbn 3-540-32960-9, 1Vol, 5 p.Conference Paper

Applying loop optimizations to object-oriented abstractions through general classification of array semanticsQING YI; QUINLAN, Dan.Lecture notes in computer science. 2005, pp 253-267, issn 0302-9743, isbn 3-540-28009-X, 15 p.Conference Paper

TVOC : A translation validator for optimizing compilersBARRETT, Clark; YI FANG; GOLDBERG, Benjamin et al.Lecture notes in computer science. 2005, pp 291-295, issn 0302-9743, isbn 3-540-27231-3, 5 p.Conference Paper