Issues

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

  compilerslinear types
  uchicago-cs/plrg#63 · Filter by author brianhempel opened on Dec 10, 2020
  1

• Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language? (ICSE'20)

  light
  uchicago-cs/plrg#62 · Filter by author kavon opened on May 20, 2020

• Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell (2010)

  compilersconcurrencyeffects
  uchicago-cs/plrg#57 · Filter by author kavon opened on Apr 1, 2020

• An Aristotelian understanding of object-oriented programming (OOPSLA '00)

  what are types
  uchicago-cs/plrg#54 · Filter by author kavon opened on May 18, 2019

• Mixin-based inheritance (OOPSLA '90)

  fancy types
  uchicago-cs/plrg#53 · Filter by author kavon opened on May 18, 2019

• A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications (SIGMOD 19?)

  uchicago-cs/plrg#52 · Filter by author brianhempel opened on Dec 17, 2018

• A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems (ESOP '18)

  concurrencydistributed systemsfancy typeslinear typesverification
  uchicago-cs/plrg#51 · Filter by author brianhempel opened on Dec 14, 2018

• In Search of Types (Onward! 14)

  lightwhat are types
  uchicago-cs/plrg#50 · Filter by author brianhempel opened on Nov 12, 2018
  1

• Type-driven Development of Concurrent Communicating Systems (JCS '17)

  concurrencydependent typesfancy types
  uchicago-cs/plrg#48 · Filter by author brianhempel opened on Nov 1, 2018

• BOLT: A Practical Binary Optimizer for Data Centers and Beyond

  compilers
  uchicago-cs/plrg#45 · Filter by author kavon opened on Jul 19, 2018

• Strict Linearizability and Abstract Atomicity

  concurrency
  uchicago-cs/plrg#42 · Filter by author brianhempel opened on Jul 9, 2018

• On the Soundness of Coroutines with Snapshots

  concurrencycontinuations
  uchicago-cs/plrg#41 · Filter by author brianhempel opened on Jul 9, 2018

• Quantified class constraints [Haskell '17]

  fancy types
  uchicago-cs/plrg#38 · Filter by author kavon opened on May 23, 2018

• Generative Code Modeling with Graphs

  synthesis
  uchicago-cs/plrg#37 · Filter by author kavon opened on May 23, 2018
  2

• Generic Deriving of Generic Traversals

  synthesis
  uchicago-cs/plrg#36 · Filter by author brianhempel opened on May 18, 2018

• Threads cannot be implemented as a library [PLDI '05]

  concurrency
  uchicago-cs/plrg#35 · Filter by author kavon opened on May 17, 2018
  1

• Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers

  static analysis
  uchicago-cs/plrg#34 · Filter by author brianhempel opened on Jan 30, 2018

• Bonsai: Synthesis-Based Reasoning for Type Systems

  verification
  uchicago-cs/plrg#28 · Filter by author brianhempel opened on Nov 2, 2017
  1

• Semantics and Types for Objects with First-Class Member Names (FOOL '12)

  subtypes
  uchicago-cs/plrg#26 · Filter by author brianhempel opened on Mar 8, 2017

• Integrating Nominal and Structural Subtyping (ECOOP '08)

  subtypes
  uchicago-cs/plrg#25 · Filter by author brianhempel opened on Mar 8, 2017

• Multiparty Asynchronous Session Types (2008)

  linear types
  uchicago-cs/plrg#24 · Filter by author brianhempel opened on Feb 9, 2017

• Programming up to Congruence

  dependent types
  uchicago-cs/plrg#22 · Filter by author brianhempel opened on Feb 3, 2017
  1

• Java and Scala's Type Systems are Unsound (OOPSLA 2016)

  uchicago-cs/plrg#15 · Filter by author ravichugh opened on Nov 1, 2016

• Ringer: Web Automation By Demonstration (OOPSLA 2016)

  uchicago-cs/plrg#14 · Filter by author ravichugh opened on Nov 1, 2016

• FIDEX: Filtering Spreadsheet Data using Examples (OOPSLA 2016)

  PBE
  uchicago-cs/plrg#10 · Filter by author ravichugh opened on Oct 13, 2016