TAS 2021 - Articles - Google Sheets

	A	B	C	D	E	F	G	H	I	J	K	L	M	N	O	P	Q
1	Groupes	ATTRIBUTION			WANG R.	LEE // GUELIANE	LIN // LEJEUNE	NARDIN // RINAUDO	BOUCHENAKI // MEYNIER	MARTIN // ROBERT	HERZOG // BELKHIR	PISTILOGLOU	SADAT // BENSLIMANE	KHEDDAR	BRAHIMI // TABRIZI	TEILLET // GUERRIER	YALCIN
2	ICFP
3	A Theory of Higher-Order Subtyping with Type Intervals	RAZFINTSIALIONINA	https://arxiv.org/pdf/2107.01883.pdf	https://sstucki.github.io/public/slides/icfp21-stucki.pdf
4	An Existential Crisis Resolved: Type Inference for First-Class Existential Types		https://richarde.dev/papers/2021/exists/exists.pdf											1
5	Calculating Dependently-Typed Compilers	HERZOG // BELKHIR	http://www.cs.nott.ac.uk/~pszgmh/well-typed.pdf								1
6	Automatic Amortized Resource Analysis with the Quantum Physicist’s Method		https://dlnext.acm.org/doi/epdf/10.1145/3473581										3
7	Contextual Modal Types for Algebraic Effects and Handlers		https://software.imdea.org/~aleks/icfp21/icfp21.pdf										2		3
8	Distributing Intersection and Union Types with Splits and Duality		https://i.cs.hku.hk/~bruno/papers/icfp2021.pdf
9	Propositions-as-Types and Shared State		http://www-ctp.di.fct.unl.pt/~lcaires/papers/PaT_SS.pdf
10
11	PLDI
12	Abstraction for Conflict-Free Replicated Data Types	LEE // GUELIANE	https://cs.nju.edu.cn/hongjin/papers/pldi21-crdt.pdf		2	1
13	Beyond the Elementary Representations of Program Invariants over Algebraic Data Types	SADAT // BENSLIMANE	https://www.cs.fsu.edu/~grigory/ringen.pdf			2							1	2
14	Filling Typed Holes with Live GUIs	BOUCHENAKI // MEYNIER	https://hazel.org/papers/livelits-paper.pdf				3	2	2	2
15	RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types	NARDIN // RINAUDO	https://plv.mpi-sws.org/refinedc/paper.pdf					1		1	3	1					2
16	Retrofitting Effect Handlers onto OCaml	OLIVEIRA MARTINS // FOUQUET	https://kcsrk.info/papers/drafts/retro-concurrency.pdf												2
17	Sound Probabilistic Inference via Guide Types	WANG R.	https://www.cs.cmu.edu/~diw3/papers/WangHR21b-preprint.pdf		3	3
18
19	OOPSLA
20	A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs	GALOU // LOUNIS	https://paulhe.com/assets/spec-extraction-oopsla.pdf
21	Gradually Structured Data	KHEDDAR	https://users.dcc.uchile.cl/~smalewsk/papers/malewskiAl-oopsla2021.pdf					3						3
22	How Statically-Typed Functional Programmers Write Code	MARTIN // ROBERT	https://jlubin.net/assets/stfp-authorship-ea.pdf		1		2		3	3
23	SimTyper: Sound Type Inference for Ruby using Type Equality Prediction		https://www.cs.tufts.edu/~jfoster/papers/oopsla21.pdf													3
24	Type Stability in Julia: Avoiding Performance Pathologies in JIT CompilationIn-PersoN	YALCIN	https://a-pelenitsyn.github.io/Papers/2021-julia-type-stability.pdf													2	1
25	Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers	LIN // LEJEUNE	https://dimitro.gr/assets/papers/CSDMMS21.pdf				1		1		2
26
27	POPL
28	A Graded Dependent Type System with a Usage-Aware Semantics	PISTILOGLOU	https://richarde.dev/papers/2021/grad/grad-extended.pdf									2
29	Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient		https://arxiv.org/abs/2010.14094									3
30	Data Flow Refinement Type Inference	BRAHIMI // TABRIZI	https://cs.nyu.edu/~wies/publ/drift-popl21.pdf												1		3
31	Intrinsically Typed Compilation with Nameless Labels	TEILLET // GUERRIER	https://ajrouvoet.github.io/files/popl-21-preprint.pdf													1
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