-
Notifications
You must be signed in to change notification settings - Fork 17
/
research.html
129 lines (118 loc) · 7.98 KB
/
research.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>CPython Compilers</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="description" content="">
<meta name="author" content="">
<!-- Le styles -->
<link href="css/bootstrap-2.1.0.min.css" rel="stylesheet">
<style type="text/css">
body {
padding-top: 60px;
padding-bottom: 40px;
}
.sidebar-nav {
padding: 9px 0;
}
</style>
<link href="css/bootstrap-responsive-2.1.0.min.css" rel="stylesheet">
<link href="css/style.css" rel="stylesheet">
<link rel="stylesheet" href="style.css" type="text/css" />
<link rel="shortcut icon" href="img/ico/favicon.ico">
<link rel="apple-touch-icon-precomposed" sizes="144x144" href="img/ico/apple-touch-icon-144-precomposed.png">
<link rel="apple-touch-icon-precomposed" sizes="114x114" href="img/ico/apple-touch-icon-114-precomposed.png">
<link rel="apple-touch-icon-precomposed" sizes="72x72" href="img/ico/apple-touch-icon-72-precomposed.png">
<link rel="apple-touch-icon-precomposed" href="img/ico/apple-touch-icon-57-precomposed.png">
</head>
<body>
<a href="https://github.com/pydata/compilers-webpage"><img style="position: fixed; top: 0; right: 0; border: 0; z-index: 1040" src="https://s3.amazonaws.com/github/ribbons/forkme_right_gray_6d6d6d.png" alt="Fork me on GitHub"></a>
<div class="navbar navbar-fixed-top">
<div class="navbar-inner">
<div class="container">
<a class="btn btn-navbar" data-toggle="collapse" data-target=".nav-collapse">
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</a>
<a class="brand" href="#">CPython</a>
<div class="nav-collapse">
<ul class="nav">
<li><a href="index.html">Packages</a></li>
<li class="active"><a href="research.html">Research</a></li>
<li><a href="resources.html">Resources</a></li>
</ul>
</div>
</div>
</div>
</div>
<div class="container">
<h2 id="direct-research">Direct Research</h2>
<ul>
<li><p>J. Aycock. Compiling Little Languages in Python. Proceedings of the 7th International Python Conference, 1998, pp. 69-77.</p></li>
<li><p>J. Riehl. PyFront: Conversion of Python to C Extension Modules. Proceedings of the 7th International Python Conference, 1998, pp. 79-90.</p></li>
<li><p>Rigo, Armin. "Representation-based just-in-time specialization and the psyco prototype for python." Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. ACM, 2004.</p></li>
<li><p>"Aggressive type inference"; John Aycock; Department of Computer Science, University of Victoria, Canada; 1999-11-23.</p></li>
<li><p>"Python Type-Inference based LINT (pylint.py)"; David Jeske; 1999-11-21.</p></li>
<li>"A Peephole Optimizer for Python" Skip Montanaro. Proceedings of the 7th International Python Conference, 1998
<ul>
<li>http://www.python.org/workshops/1998-11/proceedings/papers/montanaro/montanaro.html</li>
</ul></li>
<li>M Salib, “Starkiller: A static type inferencer and compiler for Python” (2004)
<ul>
<li>http://mike.salib.com/writings/thesis/</li>
<li>http://people.csail.mit.edu/jrb/Projects/starkiller.pdf</li>
<li>http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.95.3786&rep=rep1&type=pdf</li>
</ul></li>
<li><p>R. E. Masse. Evolutionary Prototyping: ``Add Later'' Static Types for Python. Proceedings of the 7th International Python Conference, 1998, pp. 91-101.</p></li>
<li><p>Aycock, John. "Converting Python virtual machine code to C." Proceedings of the 7th International Python Conference. 1998.</p></li>
<li><p>Ancona, Davide, et al. "RPython: a step towards reconciling dynamically and statically typed OO languages." Proceedings of the 2007 symposium on Dynamic languages. ACM, 2007.</p></li>
<li><p>Bolz, Carl Friedrich, et al. "Runtime feedback in a meta-tracing JIT for efficient dynamic languages." Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ACM, 2011.</p></li>
<li><p>Cannon, Brett. Localized type inference of atomic types in python. Diss. California Polytechnic State University, 2005.</p></li>
<li><p>Montanaro, Skip, and N. Y. Rexford. "A peephole optimizer for python." 7th International Python Conference. 1998.</p></li>
<li><p>Cuni, Antonio, and Dott Davide Ancona. "Towards a More Effective Implementation of Python on Top of Statically Typed Virtual Machines." (2007).</p></li>
<li>Vitousek, Michael M., Shashank Bharadwaj, and Jeremy G. Siek. "Towards Gradual Typing in Jython."
<ul>
<li>http://csel.cs.colorado.edu/~mivi2269/stop12/presentation.pdf</li>
</ul></li>
</ul>
<h2 id="indirect-research">Indirect Research</h2>
<ul>
<li><p>A. Aiken and B. Murphy. Static type inference in a dynamically typed language. Proceedings of the 18th ACM POPL, 1991, pp. 279-290.</p></li>
<li><p>Gradual Typing for Objects by Jeremy Siek and Walid Taha. ECOOP 2007.</p></li>
<li>Reps, T., Horwitz, S., and Sagiv, M., Precise interprocedural dataflow analysis via graph reachability. POPL 1995
<ul>
<li>http://www.cs.wisc.edu/wpis/papers/popl95.pdf</li>
</ul></li>
<li>Simon Holm Jensen, Anders Møller, Peter Thiemann. “Interprocedural Analysis with Lazy Propagation”. SAS 2010.
<ul>
<li>http://dx.doi.org/10.1007/978-3-642-15769-1_20</li>
<li>http://www.daimi.au.dk/~amoeller/papers/lazy/paper.pdf</li>
</ul></li>
<li>Dimitrios Vardoulakis and Olin Shivers. CFA2: a Context-Free Approach to Control-Flow Analysis. ESOP 2010
<ul>
<li>http://www.ccs.neu.edu/home/dimvar/papers/cfa2-NU-CCIS-10-01.pdf</li>
<li>Slides: http://www.ccs.neu.edu/home/dimvar/papers/cfa2-esop-slides.pdf</li>
</ul></li>
<li>Ole Agesen, "The Cartesian Product Algorithm : Simple and Precise Type Inference of Parametric Polymorphism" ECOOP’95
<ul>
<li>http://labs.oracle.com/self/papers/cpa.ps.gz</li>
</ul></li>
<li>Steve Hano, "Type Inference Using the Cartesian Product Algorithm on a Dynamically Typed Language"
<ul>
<li>http://stevehanov.ca/cs744_type_inference_project.pdf</li>
</ul></li>
<li><p>"Gradual typing with unification based inference" Jeremy Siek and Manish Vachharajani. DLS 2008.</p></li>
<li><p>"Type reconstruction for general refinement types" Kenneth Knowles & Cormac Flanagan. ESOP 2007.</p></li>
<li><p>"The ins and outs of of gradual type inference" Aseem Rastogi, Avik Chaudhuri, and Basil Hosmer. POPL 2012.</p></li>
<li><p>R. Cartwright and M. Fagan. Soft Typing. Proceedings of the ACM PLDI '91 Conference, 1991, pp. 278-292.</p></li>
<li><p>R. Hindley. The Principal Type-Scheme of an Object in Combinatory Logic. Transactions of the American Mathematical Society 146 (December 1969), pp. 29-60.</p></li>
<li><p>T. C. Miller. Type Checking in an Imperfect World. Proceedings of the Sixth ACM POPL, 1979, pp. 237-243.</p></li>
<li><p>Aycock, John. "The design and implementation of SPARK, a toolkit for implementing domain-specific languages." Journal of Computing and Information Technology 10.1 (2004): 55-66.</p></li>
</ul>
</div>
<script type="text/javascript" src="js/lib/jquery-1.8.0.min.js"></script>
<script type="text/javascript" src="js/lib/bootstrap-2.1.0.min.js"></script>
</body>
</html>