Skip to content

Latest commit

 

History

History
105 lines (53 loc) · 6.63 KB

Papers.md

File metadata and controls

105 lines (53 loc) · 6.63 KB

The Papers about PL and Compiler

Compilers

  1. An Efficient Method of Computing Static Single Assignment Form

  2. Simple and Efficient Construction of Static Single Assignment Form - CC 2013

  3. Survey on Instruction Selection

  4. A Brief History of JIT Compilation -John Aycock

Compilers -- Register Allocation

Compilers -- Register Allocation -- Graph Coloring

  1. Register Allocation via Coloring --Gregory J.Chaitin etc. 1981

  2. Register Allocation and Spilling via Graph Coloring -- G.J.Chaitin. 1982

    core algorithm: On the Geographical Problem of the Four colours --A. B. Kempe. 1879

  3. Improvements to Graph Coloring Register Allocation --Preston Briggs, Keith D.Cooper, Linda Torczon. 1994

  4. Iterated Register Coalescing --Lal George, Andrew W.Appel. 1996

  5. Optimistic Register Coalescing --Jinpyo Park, Soo-Mook Moon. 1998

  6. Optimistic Register Coalescing --Jinpyo Park, Soo-Mook Moon. 2004

  7. On the Complexity of Register Coalescing --Florent Bouchez, Alain Darte, Fabrice Rastello. 2007

Compilers -- Register Allocation -- Linear Scan

  1. Linear Scan Register Allocation --MASSIMILIANO POLETTO, VIVEK SARKAR. 1999

    related: Algorithms for Minimum Coloring, Maximum Clique, Minimum Covering by Cliques, and Maximum Independent Set of a Chordal Graph --Fanica Gavril. 1972

  2. Quality and Speed in Linear-scan Register Allocation --Omri Traub, Glenn Holloway, Michael D. Smith. 1998

  3. Linear Scan Register Allocation in the Context of SSA Form and Register Constraints --Hanspeter Mossenbock, Michael Pfeiffer. 2002

  4. Optimized Interval Splitting in a Linear Scan Register Allocator --Christian Wimmer, Hanspeter Mossenbock. 2005

  5. Extended Linear Scan: an Alternate Foundation for Global Register Allocation --Vivek Sarkar, Rajkishore Barik. 2007

Compilers -- Register Allocation -- SSA Based Register Allocation

Note: Any of the register allocation approaches can be adapted to run on SSA-form programs.

  1. [Allocation de registres et vidage en memoire(Master's thesis)] --Florent Bouchez. 2005

  2. [Polynomial-time graph coloring register allocation] --Philip Brisc, Foad Dabiri, Jamie Macbeth, Majid Sarrafzadeh. 2005

  3. Register Allocation for Programs in SSA-Form --Sebastian Hack, Daniel Grund, and Gerhard Goos. 2006

Compilers -- Register Allocation -- Others

  1. A Survey on Register Allocation -- Fernando Magno Quint˜ao Pereira. 2008

  2. A Detailed Analysis of the LLVM’s Register Allocators --Tiago Cariolano de Souza Xavier, George Souza Oliveira, Ewerton Daniel de Lima and Anderson Faustino da Silva. 2012

The History of Programming Languages

  1. The Development of the C Language --Dennis M. Ritchie

  2. APL since 1978 --Roger K. W. Hui, Morten J. Kromberg

  3. Thriving in a crowded and changing world: C++ 2006–2020 --Bjarne Stroustrup

  4. A history of Clojure --Rich Hickey

  5. History of coarrays and SPMD parallelism in Fortran --John Reid, Bill Long, Jon Steidel

  6. Origins of the D Programming Language --Walter Bright, Andrei Alexandrescu, Michael Parker

  7. Evolution of Emacs Lisp --Stefan Monnier, Michael Sperber

  8. The early history of F# --Don Syme

  9. A history of the Groovy programming language --Paul King

  10. JavaScript: the first 20 years --Allen Wirfs-Brock, Brendan Eich

  11. LabVIEW --Jeffrey Kodosky

  12. History of Logo --Cynthia Solomon, Brian Harvey, Ken Kahn, Henry Lieberman, Mark L. Miller, Margaret Minsky, Artemis Papert, Brian Silverman

  13. Hygienic macro technology --William D. Clinger, Mitchell Wand

  14. A history of MATLAB --Cleve Moler, Jack Little

  15. The origins of Objective-C at PPI/Stepstone and its evolution at NeXT --Brad J. Cox, Steve Naroff, Hansen Hsu

  16. A history of the Oz multiparadigm language --Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka

  17. S, R, and data science --John M. Chambers

  18. The evolution of Smalltalk: from Smalltalk-72 through Squeak --Daniel Ingalls

  19. The history of Standard ML --David MacQueen, Robert Harper, John Reppy

  20. Verilog HDL and its ancestors and descendants --Peter Flake, Phil Moorby, Steve Golson, Arturo Salz, Simon Davidmann

Notes: 2-20为HOPL IV: History of Programming Languages会议文章，官方网址(https://hopl4.sigplan.org/).