uchicago-cs plrg issues

uchicago-cs / plrg

PL Reading Group Website

https://uchicago-cs.github.io/plrg

14 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Perceus: Garbage Free Reference Counting with Reuse [MS TR 2020]

#63 brianhempel opened 3 years ago
1
Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language? (ICSE'20)

#62 kavon opened 4 years ago
0
egg: Easy, Efficient, and Extensible E-graphs

#61 wraith1995 closed 4 years ago
3
Retrofitting Parallelism onto OCaml (2020)

#60 kavon closed 4 years ago
0
A Verified LL(1) Parser Generator

#59 k4rtik closed 4 years ago
1
Polymorphic Typed Defunctionalization and Concretization

#58 k4rtik closed 2 years ago
0
Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell (2010)

#57 kavon opened 4 years ago
0
Can functional programming be liberated from the von Neumann paradigm? (2010)

#56 brianhempel closed 4 years ago
2
Abstracting Abstract Machines

#55 k4rtik closed 2 years ago
0
An Aristotelian understanding of object-oriented programming (OOPSLA '00)

#54 kavon opened 5 years ago
0
Mixin-based inheritance (OOPSLA '90)

#53 kavon opened 5 years ago
0
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications (SIGMOD 19?)

#52 brianhempel opened 5 years ago
0
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems (ESOP '18)

#51 brianhempel opened 5 years ago
0
In Search of Types (Onward! 14)

#50 brianhempel opened 5 years ago
1
The Operating System: Should There Be One? (PLOS '13)

#49 brianhempel closed 5 years ago
1
Type-driven Development of Concurrent Communicating Systems (JCS '17)

#48 brianhempel opened 5 years ago
0
Extensible Datasort Refinements (ESOP '17)

#47 brianhempel closed 4 years ago
2
Fungi: Typed Incremental Computation With Names (in submission)

#46 brianhempel closed 6 years ago
1
BOLT: A Practical Binary Optimizer for Data Centers and Beyond

#45 kavon opened 6 years ago
0
Using machines to learn method-specific compilation strategies [CGO'11]

#44 kavon closed 6 years ago
0
JIT technology with C/C++: Feedback-directed dynamic recompilation for statically compiled languages [TACO'13]

#43 kavon closed 6 years ago
0
Strict Linearizability and Abstract Atomicity

#42 brianhempel opened 6 years ago
0
On the Soundness of Coroutines with Snapshots

#41 brianhempel opened 6 years ago
0
Towards a Strongly Typed Functional Operating System (IFP '02)

#40 brianhempel closed 6 years ago
1
Verified Software Toolchain

#39 k4rtik closed 2 years ago
0
Quantified class constraints [Haskell '17]

#38 kavon opened 6 years ago
0
Generative Code Modeling with Graphs

#37 kavon opened 6 years ago
2
Generic Deriving of Generic Traversals

#36 brianhempel opened 6 years ago
0
Threads cannot be implemented as a library [PLDI '05]

#35 kavon opened 6 years ago
1
Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers

#34 brianhempel opened 6 years ago
0
A Principled Approach to Ornamentation in ML

#33 uchwings closed 6 years ago
1
Tracing Lazy Functional Computations Using Redex Trails

#32 brianhempel closed 6 years ago
1
1ML – Core and Modules United

#31 brianhempel closed 6 years ago
1
Structured Asynchrony with Algebraic Effects

#30 brianhempel closed 6 years ago
2
Functional programs that explain their work

#29 brianhempel closed 6 years ago
1
Bonsai: Synthesis-Based Reasoning for Type Systems

#28 brianhempel opened 6 years ago
1
Retrofitting Linear Types

#27 uchwings closed 7 years ago
1
Semantics and Types for Objects with First-Class Member Names (FOOL '12)

#26 brianhempel opened 7 years ago
0
Integrating Nominal and Structural Subtyping (ECOOP '08)

#25 brianhempel opened 7 years ago
0
Multiparty Asynchronous Session Types (2008)

#24 brianhempel opened 7 years ago
0
Language primitives and type discipline for structured communication-based programming (1998)

#23 brianhempel closed 7 years ago
1
Programming up to Congruence

#22 brianhempel opened 7 years ago
1
Learning Refinement Types (ICFP '15)

#21 brianhempel closed 7 years ago
1
Contification using Dominators (ICFP '01)

#20 kavon closed 6 years ago
2
Compiling Without Continuations

#19 brianhempel closed 7 years ago
1
Type Directed Compilation of Row-Typed Algebraic Effects

#18 brianhempel closed 6 years ago
3
Polymorphism, Subtyping, and Type Inference in MLsub

#17 brianhempel closed 7 years ago
1
Scaling up Superoptimization

#16 brianhempel closed 6 years ago
1
Java and Scala's Type Systems are Unsound (OOPSLA 2016)

#15 ravichugh opened 7 years ago
0
Ringer: Web Automation By Demonstration (OOPSLA 2016)

#14 ravichugh opened 7 years ago
0