:facetid:toc:\"db/journals/pacmpl/pacmpl3.bht\"
OK
:facetid:toc:db/journals/pacmpl/pacmpl3.bht
Daniel Patterson 0001Amal Ahmed 0001The next 700 compiler correctness theorems (functional pearl).Proc. ACM Program. Lang.3ICFP85:1-85:292019Journal Articlesopenjournals/pacmpl/0001A1910.1145/3341689https://doi.org/10.1145/3341689https://dblp.org/rec/journals/pacmpl/0001A19
URL#2055140
Yu-Ping Wang 0001Xu-Qiang HuZi-Xin ZouWende TanGang TanIVT: an efficient method for sharing subtype polymorphic objects.Proc. ACM Program. Lang.3OOPSLA130:1-130:222019Journal Articlesopenjournals/pacmpl/0001HZTT1910.1145/3360556https://doi.org/10.1145/3360556https://dblp.org/rec/journals/pacmpl/0001HZTT19
URL#2055141
Igor Konnov 0001Jure KukovecThanh-Hai Tran 0002TLA+ model checking made symbolic.Proc. ACM Program. Lang.3OOPSLA123:1-123:302019Journal Articlesopenjournals/pacmpl/0001KT1910.1145/3360549https://doi.org/10.1145/3360549https://dblp.org/rec/journals/pacmpl/0001KT19
URL#2055142
Parosh Aziz AbdullaMohamed Faouzi AtigBengt Jonsson 0001Magnus LångTuan Phong NgoKonstantinos SagonasOptimal stateless model checking for reads-from equivalence under sequential consistency.Proc. ACM Program. Lang.3OOPSLA150:1-150:292019Journal Articlesopenjournals/pacmpl/AbdullaAJLNS1910.1145/3360576https://doi.org/10.1145/3360576https://dblp.org/rec/journals/pacmpl/AbdullaAJLNS19
URL#2055143
Luca AcetoAntonis AchilleosAdrian FrancalanzaAnna IngólfsdóttirKaroliina LehtinenAdventures in monitorability: from branching to linear time and back again.Proc. ACM Program. Lang.3POPL52:1-52:292019Journal Articlesopenjournals/pacmpl/AcetoAFIL1910.1145/3290365https://doi.org/10.1145/3290365https://dblp.org/rec/journals/pacmpl/AcetoAFIL19
URL#2055144
Ulf AdamsRyū revisited: printf floating point conversion.Proc. ACM Program. Lang.3OOPSLA169:1-169:232019Journal Articlesopenjournals/pacmpl/Adams1910.1145/3360595https://doi.org/10.1145/3360595https://dblp.org/rec/journals/pacmpl/Adams19
URL#2055145
Maximilian AlgehedJean-Philippe BernardySimple noninterference from parametricity.Proc. ACM Program. Lang.3ICFP89:1-89:222019Journal Articlesopenjournals/pacmpl/AlgehedB1910.1145/3341693https://doi.org/10.1145/3341693https://dblp.org/rec/journals/pacmpl/AlgehedB19
URL#2055146
Uri Alon 0002Meital ZilbersteinOmer LevyEran Yahavcode2vec: learning distributed representations of code.Proc. ACM Program. Lang.3POPL40:1-40:292019Journal Articlesopenjournals/pacmpl/AlonZLY1910.1145/3290353https://doi.org/10.1145/3290353https://dblp.org/rec/journals/pacmpl/AlonZLY19
URL#2055147
Rajeev AlurKonstantinos MamourasCaleb StanfordModular quantitative monitoring.Proc. ACM Program. Lang.3POPL50:1-50:312019Journal Articlesopenjournals/pacmpl/AlurMS1910.1145/3290363https://doi.org/10.1145/3290363https://dblp.org/rec/journals/pacmpl/AlurMS19
URL#2055148
Oana Fabiana AndreescuThomas P. JensenStéphane LescuyerBenoît MontaguInferring frame conditions with static correlation analysis.Proc. ACM Program. Lang.3POPL47:1-47:292019Journal Articlesopenjournals/pacmpl/AndreescuJLM1910.1145/3290360https://doi.org/10.1145/3290360https://dblp.org/rec/journals/pacmpl/AndreescuJLM19
URL#2055149
Timos AntonopoulosEric KoskinenTon Chanh LeSpecification and inference of trace refinement relations.Proc. ACM Program. Lang.3OOPSLA178:1-178:302019Journal Articlesopenjournals/pacmpl/AntonopoulosKL1910.1145/3360604https://doi.org/10.1145/3360604https://dblp.org/rec/journals/pacmpl/AntonopoulosKL19
URL#2055150
Alasdair ArmstrongThomas BauereissBrian Campbell 0001Alastair Reid 0001Kathryn E. GrayRobert M. NortonPrashanth MundkurMark WassellJon FrenchChristopher PulteShaked FlurIan StarkNeel KrishnaswamiPeter SewellISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.Proc. ACM Program. Lang.3POPL71:1-71:312019Journal Articlesopenjournals/pacmpl/ArmstrongBCRGNM1910.1145/3290384https://doi.org/10.1145/3290384https://dblp.org/rec/journals/pacmpl/ArmstrongBCRGNM19
URL#2055151
Vytautas AstrauskasPeter Müller 0001Federico Poli 0001Alexander J. SummersLeveraging rust types for modular specification and verification.Proc. ACM Program. Lang.3OOPSLA147:1-147:302019Journal Articlesopenjournals/pacmpl/Astrauskas0PS1910.1145/3360573https://doi.org/10.1145/3360573https://dblp.org/rec/journals/pacmpl/Astrauskas0PS19
URL#2055152
Johannes Bader 0001Andrew ScottMichael PradelSatish Chandra 0001Getafix: learning to fix bugs automatically.Proc. ACM Program. Lang.3OOPSLA159:1-159:272019Journal Articlesopenjournals/pacmpl/BaderSP01910.1145/3360585https://doi.org/10.1145/3360585https://dblp.org/rec/journals/pacmpl/BaderSP019
URL#2055153
Kyungmin BaeJia LeeBounded model checking of signal temporal logic properties using syntactic separation.Proc. ACM Program. Lang.3POPL51:1-51:302019Journal Articlesopenjournals/pacmpl/BaeL1910.1145/3290364https://doi.org/10.1145/3290364https://dblp.org/rec/journals/pacmpl/BaeL19
URL#2055154
Patrick BahrChristian GraulundRasmus Ejlers MøgelbergSimply RaTT: a fitch-style modal calculus for reactive programming without space leaks.Proc. ACM Program. Lang.3ICFP109:1-109:272019Journal Articlesopenjournals/pacmpl/BahrGM1910.1145/3341713https://doi.org/10.1145/3341713https://dblp.org/rec/journals/pacmpl/BahrGM19
URL#2055155
Paolo BaldanBarbara König 0001Christina Mika-MichalskiTommaso PadoanFixpoint games on continuous lattices.Proc. ACM Program. Lang.3POPL26:1-26:292019Journal Articlesopenjournals/pacmpl/BaldanKMP1910.1145/3290339https://doi.org/10.1145/3290339https://dblp.org/rec/journals/pacmpl/BaldanKMP19
URL#2055156
Rajkishore BarikManu SridharanMurali Krishna RamanathanMilind ChabbiOptimization of swift protocols.Proc. ACM Program. Lang.3OOPSLA164:1-164:272019Journal Articlesopenjournals/pacmpl/BarikSRC1910.1145/3360590https://doi.org/10.1145/3360590https://dblp.org/rec/journals/pacmpl/BarikSRC19
URL#2055157
Osbert BastaniXin Zhang 0035Armando Solar-LezamaProbabilistic verification of fairness properties via concentration.Proc. ACM Program. Lang.3OOPSLA118:1-118:272019Journal Articlesopenjournals/pacmpl/Bastani0S1910.1145/3360544https://doi.org/10.1145/3360544https://dblp.org/rec/journals/pacmpl/Bastani0S19
URL#2055158
Théophile BastianStephen KellFrancesco Zappa NardelliReliable and fast DWARF-based stack unwinding.Proc. ACM Program. Lang.3OOPSLA146:1-146:242019Journal Articlesopenjournals/pacmpl/BastianKN1910.1145/3360572https://doi.org/10.1145/3360572https://dblp.org/rec/journals/pacmpl/BastianKN19
URL#2055159
Kevin BatzBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaThomas Noll 0001Quantitative separation logic: a logic for reasoning about probabilistic pointer programs.Proc. ACM Program. Lang.3POPL34:1-34:292019Journal Articlesopenjournals/pacmpl/BatzKKMN1910.1145/3290347https://doi.org/10.1145/3290347https://dblp.org/rec/journals/pacmpl/BatzKKMN19
URL#2055160
Rohan BavishiCaroline LemieuxRoy FoxKoushik SenIon StoicaAutoPandas: neural-backed generators for program synthesis.Proc. ACM Program. Lang.3OOPSLA168:1-168:272019Journal Articlesopenjournals/pacmpl/BavishiLFSS1910.1145/3360594https://doi.org/10.1145/3360594https://dblp.org/rec/journals/pacmpl/BavishiLFSS19
URL#2055161
Zachary BenavidesKeval VoraRajiv Gupta 0001DProf: distributed profiler with strong guarantees.Proc. ACM Program. Lang.3OOPSLA156:1-156:242019Journal Articlesopenjournals/pacmpl/BenavidesV01910.1145/3360582https://doi.org/10.1145/3360582https://dblp.org/rec/journals/pacmpl/BenavidesV019
URL#2055162
John BenderJens PalsbergA formalization of Java's concurrent access modes.Proc. ACM Program. Lang.3OOPSLA142:1-142:282019Journal Articlesopenjournals/pacmpl/BenderP1910.1145/3360568https://doi.org/10.1145/3360568https://dblp.org/rec/journals/pacmpl/BenderP19
URL#2055163
Dariusz BiernackiMaciej PirógPiotr PolesiukFilip SieczkowskiAbstracting algebraic effects.Proc. ACM Program. Lang.3POPL6:1-6:282019Journal Articlesopenjournals/pacmpl/BiernackiPPS1910.1145/3290319https://doi.org/10.1145/3290319https://dblp.org/rec/journals/pacmpl/BiernackiPPS19
URL#2055164
Ranadeep BiswasConstantin EneaOn the complexity of checking transactional consistency.Proc. ACM Program. Lang.3OOPSLA165:1-165:282019Journal Articlesopenjournals/pacmpl/BiswasE1910.1145/3360591https://doi.org/10.1145/3360591https://dblp.org/rec/journals/pacmpl/BiswasE19
URL#2055165
Ales BizjakDaniel GratzerRobbert KrebbersLars BirkedalIron: managing obligations in higher-order concurrent separation logic.Proc. ACM Program. Lang.3POPL65:1-65:302019Journal Articlesopenjournals/pacmpl/BizjakGKB1910.1145/3290378https://doi.org/10.1145/3290378https://dblp.org/rec/journals/pacmpl/BizjakGKB19
URL#2055166
Jasmin Christian BlanchetteLorenzo GheriAndrei Popescu 0001Dmitriy TraytelBindings as bounded natural functors.Proc. ACM Program. Lang.3POPL22:1-22:342019Journal Articlesopenjournals/pacmpl/BlanchetteGPT1910.1145/3290335https://doi.org/10.1145/3290335https://dblp.org/rec/journals/pacmpl/BlanchetteGPT19
URL#2055167
Martin BodinPhilippa GardnerThomas P. JensenAlan SchmittSkeletal semantics and their interpretations.Proc. ACM Program. Lang.3POPL44:1-44:312019Journal Articlesopenjournals/pacmpl/BodinGJS1910.1145/3290357https://doi.org/10.1145/3290357https://dblp.org/rec/journals/pacmpl/BodinGJS19
URL#2055168
Filippo BonchiJoshua HollandRobin PiedeleuPawel Sobocinski 0001Fabio ZanasiDiagrammatic algebra: from linear to concurrent systems.Proc. ACM Program. Lang.3POPL25:1-25:282019Journal Articlesopenjournals/pacmpl/BonchiHPSZ1910.1145/3290338https://doi.org/10.1145/3290338https://dblp.org/rec/journals/pacmpl/BonchiHPSZ19
URL#2055169
Gert-Jan BottuNingning XieKoar MarntirosianTom SchrijversCoherence of type class resolution.Proc. ACM Program. Lang.3ICFP91:1-91:282019Journal Articlesopenjournals/pacmpl/BottuXMS1910.1145/3341695https://doi.org/10.1145/3341695https://dblp.org/rec/journals/pacmpl/BottuXMS19
URL#2055170
Luís CairesBernardo ToninhoRefinement kinds: type-safe programming with practical type-level computation.Proc. ACM Program. Lang.3OOPSLA131:1-131:302019Journal Articlesopenjournals/pacmpl/CairesT1910.1145/3360557https://doi.org/10.1145/3360557https://dblp.org/rec/journals/pacmpl/CairesT19
URL#2055171
José Pablo CambroneroMartin C. RinardAL: autogenerating supervised learning programs.Proc. ACM Program. Lang.3OOPSLA175:1-175:282019Journal Articlesopenjournals/pacmpl/CambroneroR1910.1145/3360601https://doi.org/10.1145/3360601https://dblp.org/rec/journals/pacmpl/CambroneroR19
URL#2055172
Giuseppe CastagnaVictor LanvinTommaso PetruccianiJeremy G. SiekGradual typing: a new perspective.Proc. ACM Program. Lang.3POPL16:1-16:322019Journal Articlesopenjournals/pacmpl/CastagnaLPS1910.1145/3290329https://doi.org/10.1145/3290329https://dblp.org/rec/journals/pacmpl/CastagnaLPS19
URL#2055173
Simon CastellanNobuko YoshidaTwo sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side.Proc. ACM Program. Lang.3POPL27:1-27:292019Journal Articlesopenjournals/pacmpl/CastellanY1910.1145/3290340https://doi.org/10.1145/3290340https://dblp.org/rec/journals/pacmpl/CastellanY19
URL#2055174
David Castro-PerezRaymond HuSung-Shik JongmansNicholas NgNobuko YoshidaDistributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.Proc. ACM Program. Lang.3POPL29:1-29:302019Journal Articlesopenjournals/pacmpl/CastroHJNY1910.1145/3290342https://doi.org/10.1145/3290342https://dblp.org/rec/journals/pacmpl/CastroHJNY19
URL#2055175
Evan CavalloRobert Harper 0001Higher inductive types in cubical computational type theory.Proc. ACM Program. Lang.3POPL1:1-1:272019Journal Articlesopenjournals/pacmpl/CavalloH1910.1145/3290314https://doi.org/10.1145/3290314https://dblp.org/rec/journals/pacmpl/CavalloH19
URL#2055176
Ahmet ÇelikPengyu Nie 0001Christopher J. RossbachMilos Gligoric 0001Design, implementation, and application of GPU-based Java bytecode interpreters.Proc. ACM Program. Lang.3OOPSLA177:1-177:282019Journal Articlesopenjournals/pacmpl/CelikNRG1910.1145/3360603https://doi.org/10.1145/3360603https://dblp.org/rec/journals/pacmpl/CelikNRG19
URL#2055177
Soham Chakraborty 0001Viktor VafeiadisGrounding thin-air reads with event structures.Proc. ACM Program. Lang.3POPL70:1-70:282019Journal Articlesopenjournals/pacmpl/ChakrabortyV1910.1145/3290383https://doi.org/10.1145/3290383https://dblp.org/rec/journals/pacmpl/ChakrabortyV19
URL#2055178
Krishnendu ChatterjeeAmir Kafshdar GoharshadyNastaran OkatiAndreas PavlogiannisEfficient parameterized algorithms for data packing.Proc. ACM Program. Lang.3POPL53:1-53:282019Journal Articlesopenjournals/pacmpl/ChatterjeeGOP1910.1145/3290366https://doi.org/10.1145/3290366https://dblp.org/rec/journals/pacmpl/ChatterjeeGOP19
URL#2055179
Krishnendu ChatterjeeAndreas PavlogiannisViktor TomanValue-centric dynamic partial order reduction.Proc. ACM Program. Lang.3OOPSLA124:1-124:292019Journal Articlesopenjournals/pacmpl/ChatterjeePT1910.1145/3360550https://doi.org/10.1145/3360550https://dblp.org/rec/journals/pacmpl/ChatterjeePT19
URL#2055180
Taolue ChenMatthew HagueAnthony W. LinPhilipp RümmerZhilin WuDecision procedures for path feasibility of string-manipulating programs with complex operations.Proc. ACM Program. Lang.3POPL49:1-49:302019Journal Articlesopenjournals/pacmpl/ChenHLRW1910.1145/3290362https://doi.org/10.1145/3290362https://dblp.org/rec/journals/pacmpl/ChenHLRW19
URL#2055181
Jia ChenJiayi WeiYu Feng 0001Osbert BastaniIsil DilligRelational verification using reinforcement learning.Proc. ACM Program. Lang.3OOPSLA141:1-141:302019Journal Articlesopenjournals/pacmpl/ChenWFBD1910.1145/3360567https://doi.org/10.1145/3360567https://dblp.org/rec/journals/pacmpl/ChenWFBD19
URL#2055182
David Thrane ChristiansenIavor S. DiatchkiRobert DockinsJoe HendrixTristan RavitchDependently typed Haskell in industry (experience report).Proc. ACM Program. Lang.3ICFP100:1-100:162019Journal Articlesopenjournals/pacmpl/ChristiansenDDH1910.1145/3341704https://doi.org/10.1145/3341704https://dblp.org/rec/journals/pacmpl/ChristiansenDDH19
URL#2055183
Pierre ClairambaultMarc de VismeGlynn WinskelGame semantics for quantum programming.Proc. ACM Program. Lang.3POPL32:1-32:292019Journal Articlesopenjournals/pacmpl/ClairambaultVW1910.1145/3290345https://doi.org/10.1145/3290345https://dblp.org/rec/journals/pacmpl/ClairambaultVW19
URL#2055184
Youyou CongLeo OsvaldGrégory M. EssertelTiark RompfCompiling with continuations, or without? whatever.Proc. ACM Program. Lang.3ICFP79:1-79:282019Journal Articlesopenjournals/pacmpl/CongOER1910.1145/3341643https://doi.org/10.1145/3341643https://dblp.org/rec/journals/pacmpl/CongOER19
URL#2055185
Patrick CousotRoberto GiacobazziFrancesco RanzatoA²I: abstract² interpretation.Proc. ACM Program. Lang.3POPL42:1-42:312019Journal Articlesopenjournals/pacmpl/CousotGR1910.1145/3290355https://doi.org/10.1145/3290355https://dblp.org/rec/journals/pacmpl/CousotGR19
URL#2055186
Karl CraryFully abstract module compilation.Proc. ACM Program. Lang.3POPL10:1-10:292019Journal Articlesopenjournals/pacmpl/Crary1910.1145/3290323https://doi.org/10.1145/3290323https://dblp.org/rec/journals/pacmpl/Crary19
URL#2055187
John CyphertJason BreckZachary KincaidThomas W. RepsRefinement of path expressions for static analysis.Proc. ACM Program. Lang.3POPL45:1-45:292019Journal Articlesopenjournals/pacmpl/CyphertBKR1910.1145/3290358https://doi.org/10.1145/3290358https://dblp.org/rec/journals/pacmpl/CyphertBKR19
URL#2055188
Benjamin DelawareSorawit SuriyakarnClément Pit-ClaudelQianchuan YeAdam ChlipalaNarcissus: correct-by-construction derivation of decoders and encoders from binary formats.Proc. ACM Program. Lang.3ICFP82:1-82:292019Journal Articlesopenjournals/pacmpl/DelawareSPYC1910.1145/3341686https://doi.org/10.1145/3341686https://dblp.org/rec/journals/pacmpl/DelawareSPYC19
URL#2055189
Andrej DudenhefnerJakob RehofPrincipality and approximation under dimensional bound.Proc. ACM Program. Lang.3POPL8:1-8:292019Journal Articlesopenjournals/pacmpl/DudenhefnerR1910.1145/3290321https://doi.org/10.1145/3290321https://dblp.org/rec/journals/pacmpl/DudenhefnerR19
URL#2055190
Jana DunfieldNeelakantan R. KrishnaswamiSound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types.Proc. ACM Program. Lang.3POPL9:1-9:282019Journal Articlesopenjournals/pacmpl/DunfieldK1910.1145/3290322https://doi.org/10.1145/3290322https://dblp.org/rec/journals/pacmpl/DunfieldK19
URL#2055191
Michael EmmiConstantin EneaWeak-consistency specification via visibility relaxation.Proc. ACM Program. Lang.3POPL60:1-60:282019Journal Articlesopenjournals/pacmpl/EmmiE1910.1145/3290373https://doi.org/10.1145/3290373https://dblp.org/rec/journals/pacmpl/EmmiE19
URL#2055192
Joseph EremondiÉric TanterRonald GarciaApproximate normalization for gradual dependent types.Proc. ACM Program. Lang.3ICFP88:1-88:302019Journal Articlesopenjournals/pacmpl/EremondiTG1910.1145/3341692https://doi.org/10.1145/3341692https://dblp.org/rec/journals/pacmpl/EremondiTG19
URL#2055193
Grégory M. EssertelGuannan Wei 0001Tiark RompfPrecise reasoning with structured time, structured heaps, and collective operations.Proc. ACM Program. Lang.3OOPSLA157:1-157:302019Journal Articlesopenjournals/pacmpl/EssertelWR1910.1145/3360583https://doi.org/10.1145/3360583https://dblp.org/rec/journals/pacmpl/EssertelWR19
URL#2055194
Vimuth FernandoKeyur Joshi 0001Sasa MisailovicVerifying safety and accuracy of approximate parallel programs via canonical sequentialization.Proc. ACM Program. Lang.3OOPSLA119:1-119:292019Journal Articlesopenjournals/pacmpl/FernandoJM1910.1145/3360545https://doi.org/10.1145/3360545https://dblp.org/rec/journals/pacmpl/FernandoJM19
URL#2055195
Matthew FlattCaner DericiR. Kent DybvigAndrew W. KeepGustavo E. MassaccesiSarah SpallSam Tobin-HochstadtJon ZeppieriRebuilding racket on chez scheme (experience report).Proc. ACM Program. Lang.3ICFP78:1-78:152019Journal Articlesopenjournals/pacmpl/FlattDDKMSTZ1910.1145/3341642https://doi.org/10.1145/3341642https://dblp.org/rec/journals/pacmpl/FlattDDKMSTZ19
URL#2055196
Spencer P. FlorenceShu-Hung YouJesse A. TovRobert Bruce FindlerA calculus for Esterel: if can, can. if no can, no can.Proc. ACM Program. Lang.3POPL61:1-61:292019Journal Articlesopenjournals/pacmpl/FlorenceYTF1910.1145/3290374https://doi.org/10.1145/3290374https://dblp.org/rec/journals/pacmpl/FlorenceYTF19
URL#2055197
Simon Fowler 0001Sam LindleyJ. Garrett MorrisSára DecovaExceptional asynchronous session types: session types without tiers.Proc. ACM Program. Lang.3POPL28:1-28:292019Journal Articlesopenjournals/pacmpl/FowlerLMD1910.1145/3290341https://doi.org/10.1145/3290341https://dblp.org/rec/journals/pacmpl/FowlerLMD19
URL#2055198
Aymeric FromherzNick GiannarakisChris HawblitzelBryan ParnoAseem RastogiNikhil SwamyA verified, efficient embedding of a verifiable assembly language.Proc. ACM Program. Lang.3POPL63:1-63:302019Journal Articlesopenjournals/pacmpl/FromherzGHPRS1910.1145/3290376https://doi.org/10.1145/3290376https://dblp.org/rec/journals/pacmpl/FromherzGHPRS19
URL#2055199
Kaan GençJake RoemerYufan XuMichael D. BondDependence-aware, unbounded sound predictive race detection.Proc. ACM Program. Lang.3OOPSLA179:1-179:302019Journal Articlesopenjournals/pacmpl/GencRXB1910.1145/3360605https://doi.org/10.1145/3360605https://dblp.org/rec/journals/pacmpl/GencRXB19
URL#2055200
Gaëtan GilbertJesper CockxMatthieu SozeauNicolas TabareauDefinitional proof-irrelevance without K.Proc. ACM Program. Lang.3POPL3:1-3:282019Journal Articlesopenjournals/pacmpl/GilbertCST1910.1145/3290316https://doi.org/10.1145/3290316https://dblp.org/rec/journals/pacmpl/GilbertCST19
URL#2055201
Klaus von GleissenthallRami Gökhan KiciAlexander BakstDeian StefanRanjit JhalaPretend synchrony: synchronous verification of asynchronous distributed programs.Proc. ACM Program. Lang.3POPL59:1-59:302019Journal Articlesopenjournals/pacmpl/GleissenthallKB1910.1145/3290372https://doi.org/10.1145/3290372https://dblp.org/rec/journals/pacmpl/GleissenthallKB19
URL#2055202
Aviral GoelJan VitekOn the design, implementation, and use of laziness in R.Proc. ACM Program. Lang.3OOPSLA153:1-153:272019Journal Articlesopenjournals/pacmpl/GoelV1910.1145/3360579https://doi.org/10.1145/3360579https://dblp.org/rec/journals/pacmpl/GoelV19
URL#2055203
Maria I. Gorinova 0001Andrew D. Gordon 0001Charles SuttonProbabilistic programming with densities in SlicStan: efficient, flexible, and deterministic.Proc. ACM Program. Lang.3POPL35:1-35:302019Journal Articlesopenjournals/pacmpl/GorinovaGS1910.1145/3290348https://doi.org/10.1145/3290348https://dblp.org/rec/journals/pacmpl/GorinovaGS19
URL#2055204
Nikos GorogiannisPeter W. O'HearnIlya SergeyA true positives theorem for a static race detector.Proc. ACM Program. Lang.3POPL57:1-57:292019Journal Articlesopenjournals/pacmpl/GorogiannisOS1910.1145/3290370https://doi.org/10.1145/3290370https://dblp.org/rec/journals/pacmpl/GorogiannisOS19
URL#2055205
Daniel GratzerJonathan SterlingLars BirkedalImplementing a modal dependent type theory.Proc. ACM Program. Lang.3ICFP107:1-107:292019Journal Articlesopenjournals/pacmpl/GratzerSB1910.1145/3341711https://doi.org/10.1145/3341711https://dblp.org/rec/journals/pacmpl/GratzerSB19
URL#2055206
Ben GreenmanMatthias FelleisenChristos DimoulasComplete monitors for gradual types.Proc. ACM Program. Lang.3OOPSLA122:1-122:292019Journal Articlesopenjournals/pacmpl/GreenmanFD1910.1145/3360548https://doi.org/10.1145/3360548https://dblp.org/rec/journals/pacmpl/GreenmanFD19
URL#2055207
Jennifer HackettGraham HuttonCall-by-need is clairvoyant call-by-value.Proc. ACM Program. Lang.3ICFP114:1-114:232019Journal Articlesopenjournals/pacmpl/HackettH1910.1145/3341718https://doi.org/10.1145/3341718https://dblp.org/rec/journals/pacmpl/HackettH19
URL#2055208
Aliya HameerBrigitte PientkaTeaching the art of functional programming using automated grading (experience report).Proc. ACM Program. Lang.3ICFP115:1-115:152019Journal Articlesopenjournals/pacmpl/HameerP1910.1145/3341719https://doi.org/10.1145/3341719https://dblp.org/rec/journals/pacmpl/HameerP19
URL#2055209
Jad HamzaNicolas VoirolViktor KuncakSystem FR: formalized foundations for the stainless verifier.Proc. ACM Program. Lang.3OOPSLA166:1-166:302019Journal Articlesopenjournals/pacmpl/HamzaVK1910.1145/3360592https://doi.org/10.1145/3360592https://dblp.org/rec/journals/pacmpl/HamzaVK19
URL#2055210
Ian HenriksenGianfranco BilardiKeshav PingaliDerivative grammars: a symbolic approach to parsing with derivatives.Proc. ACM Program. Lang.3OOPSLA127:1-127:282019Journal Articlesopenjournals/pacmpl/HenriksenBP1910.1145/3360553https://doi.org/10.1145/3360553https://dblp.org/rec/journals/pacmpl/HenriksenBP19
URL#2055211
Tom HirschowitzFamilial monads and structural operational semantics.Proc. ACM Program. Lang.3POPL21:1-21:282019Journal Articlesopenjournals/pacmpl/Hirschowitz1910.1145/3290334https://doi.org/10.1145/3290334https://dblp.org/rec/journals/pacmpl/Hirschowitz19
URL#2055212
Farzin HoushmandMohsen LesaniHamsaz: replication coordination analysis and synthesis.Proc. ACM Program. Lang.3POPL74:1-74:322019Journal Articlesopenjournals/pacmpl/HoushmandL1910.1145/3290387https://doi.org/10.1145/3290387https://dblp.org/rec/journals/pacmpl/HoushmandL19
URL#2055213
Mingzhang HuangHongfei Fu 0001Krishnendu ChatterjeeAmir Kafshdar GoharshadyModular verification for almost-sure termination of probabilistic programs.Proc. ACM Program. Lang.3OOPSLA129:1-129:292019Journal Articlesopenjournals/pacmpl/Huang0CG1910.1145/3360555https://doi.org/10.1145/3360555https://dblp.org/rec/journals/pacmpl/Huang0CG19
URL#2055214
Shih-Han HungKesha HietalaShaopeng ZhuMingsheng YingMichael Hicks 0001Xiaodi Wu 0001Quantitative robustness analysis of quantum programs.Proc. ACM Program. Lang.3POPL31:1-31:292019Journal Articlesopenjournals/pacmpl/HungHZYHW1910.1145/3290344https://doi.org/10.1145/3290344https://dblp.org/rec/journals/pacmpl/HungHZYHW19
URL#2055215
Abhinav JangdaDonald PinckneyYuriy BrunArjun GuhaFormal foundations of serverless computing.Proc. ACM Program. Lang.3OOPSLA149:1-149:262019Journal Articlesopenjournals/pacmpl/JangdaPBG1910.1145/3360575https://doi.org/10.1145/3360575https://dblp.org/rec/journals/pacmpl/JangdaPBG19
URL#2055216
Gowtham KakiSwarn PriyaK. C. SivaramakrishnanSuresh JagannathanMergeable replicated data types.Proc. ACM Program. Lang.3OOPSLA154:1-154:292019Journal Articlesopenjournals/pacmpl/KakiPSJ1910.1145/3360580https://doi.org/10.1145/3360580https://dblp.org/rec/journals/pacmpl/KakiPSJ19
URL#2055217
Ambrus KaposiAndrás KovácsThorsten AltenkirchConstructing quotient inductive-inductive types.Proc. ACM Program. Lang.3POPL2:1-2:242019Journal Articlesopenjournals/pacmpl/KaposiKA1910.1145/3290315https://doi.org/10.1145/3290315https://dblp.org/rec/journals/pacmpl/KaposiKA19
URL#2055218
G. A. KavvosModalities, cohesion, and information flow.Proc. ACM Program. Lang.3POPL20:1-20:292019Journal Articlesopenjournals/pacmpl/Kavvos1910.1145/3290333https://doi.org/10.1145/3290333https://dblp.org/rec/journals/pacmpl/Kavvos19
URL#2055219
Sven KeidelSebastian ErdwegSound and reusable components for abstract interpretation.Proc. ACM Program. Lang.3OOPSLA176:1-176:282019Journal Articlesopenjournals/pacmpl/KeidelE1910.1145/3360602https://doi.org/10.1145/3360602https://dblp.org/rec/journals/pacmpl/KeidelE19
URL#2055220
Zachary KincaidJason BreckJohn CyphertThomas W. RepsClosed forms for numerical loops.Proc. ACM Program. Lang.3POPL55:1-55:292019Journal Articlesopenjournals/pacmpl/KincaidBCR1910.1145/3290368https://doi.org/10.1145/3290368https://dblp.org/rec/journals/pacmpl/KincaidBCR19
URL#2055221
Csongor KissTony FieldSusan EisenbachSimon Peyton JonesHigher-order type-level programming in Haskell.Proc. ACM Program. Lang.3ICFP102:1-102:262019Journal Articlesopenjournals/pacmpl/KissFEJ1910.1145/3341706https://doi.org/10.1145/3341706https://dblp.org/rec/journals/pacmpl/KissFEJ19
URL#2055222
Wen KokkeFabrizio MontesiMarco PeressottiBetter late than never: a fully-abstract semantics for classical processes.Proc. ACM Program. Lang.3POPL24:1-24:292019Journal Articlesopenjournals/pacmpl/KokkeMP1910.1145/3290337https://doi.org/10.1145/3290337https://dblp.org/rec/journals/pacmpl/KokkeMP19
URL#2055223
Michalis KokologiannakisAzalea RaadViktor VafeiadisEffective lock handling in stateless model checking.Proc. ACM Program. Lang.3OOPSLA173:1-173:262019Journal Articlesopenjournals/pacmpl/Kokologiannakis1910.1145/3360599https://doi.org/10.1145/3360599https://dblp.org/rec/journals/pacmpl/Kokologiannakis19
URL#2055224
Filip KrikavaHeather MillerJan VitekScala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild.Proc. ACM Program. Lang.3OOPSLA163:1-163:282019Journal Articlesopenjournals/pacmpl/KrikavaMV1910.1145/3360589https://doi.org/10.1145/3360589https://dblp.org/rec/journals/pacmpl/KrikavaMV19
URL#2055225
Ugo Dal LagoMarc de VismeDamiano MazzaAkira YoshimizuIntersection types and runtime errors in the pi-calculus.Proc. ACM Program. Lang.3POPL7:1-7:292019Journal Articlesopenjournals/pacmpl/LagoVMY1910.1145/3290320https://doi.org/10.1145/3290320https://dblp.org/rec/journals/pacmpl/LagoVMY19
URL#2055226
Leonidas LampropoulosMichael Hicks 0001Benjamin C. PierceCoverage guided, property based testing.Proc. ACM Program. Lang.3OOPSLA181:1-181:292019Journal Articlesopenjournals/pacmpl/Lampropoulos0P1910.1145/3360607https://doi.org/10.1145/3360607https://dblp.org/rec/journals/pacmpl/Lampropoulos0P19
URL#2055227
Nicholas V. LewchenkoArjun RadhakrishnaAkash GaonkarPavol CernýSequential programming for replicated data stores.Proc. ACM Program. Lang.3ICFP106:1-106:282019Journal Articlesopenjournals/pacmpl/LewchenkoRGC1910.1145/3341710https://doi.org/10.1145/3341710https://dblp.org/rec/journals/pacmpl/LewchenkoRGC19
URL#2055228
Yi LiShaohua Wang 0002Tien N. NguyenSon Van NguyenImproving bug detection via context-based code representation learning and attention-based neural networks.Proc. ACM Program. Lang.3OOPSLA162:1-162:302019Journal Articlesopenjournals/pacmpl/LiWNN1910.1145/3360588https://doi.org/10.1145/3360588https://dblp.org/rec/journals/pacmpl/LiWNN19
URL#2055229
Bert LindenhoviusMichael W. MisloveVladimir ZamdzhievMixed linear and non-linear recursive types.Proc. ACM Program. Lang.3ICFP111:1-111:292019Journal Articlesopenjournals/pacmpl/LindenhoviusMZ1910.1145/3341715https://doi.org/10.1145/3341715https://dblp.org/rec/journals/pacmpl/LindenhoviusMZ19
URL#2055230
Jingbo LuJingling XuePrecision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity.Proc. ACM Program. Lang.3OOPSLA148:1-148:292019Journal Articlesopenjournals/pacmpl/LuX1910.1145/3360574https://doi.org/10.1145/3360574https://dblp.org/rec/journals/pacmpl/LuX19
URL#2055231
Sifei Luan 0001Di YangCeleste BarnabyKoushik SenSatish Chandra 0001Aroma: code recommendation via structural code search.Proc. ACM Program. Lang.3OOPSLA152:1-152:282019Journal Articlesopenjournals/pacmpl/LuanYBS01910.1145/3360578https://doi.org/10.1145/3360578https://dblp.org/rec/journals/pacmpl/LuanYBS019
URL#2055232
Kenji MaillardDanel AhmanRobert AtkeyGuido MartínezCatalin HritcuExequiel RivasÉric TanterDijkstra monads for all.Proc. ACM Program. Lang.3ICFP104:1-104:292019Journal Articlesopenjournals/pacmpl/MaillardAAMHRT1910.1145/3341708https://doi.org/10.1145/3341708https://dblp.org/rec/journals/pacmpl/MaillardAAMHRT19
URL#2055233
Michaël MarcozziQiyi Tang 0001Alastair F. DonaldsonCristian CadarCompiler fuzzing: how much does it matter?Proc. ACM Program. Lang.3OOPSLA155:1-155:292019Journal Articlesopenjournals/pacmpl/MarcozziTDC1910.1145/3360581https://doi.org/10.1145/3360581https://dblp.org/rec/journals/pacmpl/MarcozziTDC19
URL#2055234
Benjamin MarianoJosh ReeseSiyuan XuThanhVu NguyenXiaokang QiuJeffrey S. FosterArmando Solar-LezamaProgram synthesis with algebraic library specifications.Proc. ACM Program. Lang.3OOPSLA132:1-132:252019Journal Articlesopenjournals/pacmpl/MarianoRXNQFS1910.1145/3360558https://doi.org/10.1145/3360558https://dblp.org/rec/journals/pacmpl/MarianoRXNQFS19
URL#2055235
Luis MastrangeloMatthias HauswirthNathaniel NystromCasting about in the dark: an empirical study of cast operations in Java programs.Proc. ACM Program. Lang.3OOPSLA158:1-158:312019Journal Articlesopenjournals/pacmpl/MastrangeloHN1910.1145/3360584https://doi.org/10.1145/3360584https://dblp.org/rec/journals/pacmpl/MastrangeloHN19
URL#2055236
Umang Mathur 0001P. MadhusudanMahesh Viswanathan 0001Decidable verification of uninterpreted programs.Proc. ACM Program. Lang.3POPL46:1-46:292019Journal Articlesopenjournals/pacmpl/MathurMV1910.1145/3290359https://doi.org/10.1145/3290359https://dblp.org/rec/journals/pacmpl/MathurMV19
URL#2055237
Paul-André MellièsCategorical combinatorics of scheduling and synchronization in game semantics.Proc. ACM Program. Lang.3POPL23:1-23:302019Journal Articlesopenjournals/pacmpl/Mellies1910.1145/3290336https://doi.org/10.1145/3290336https://dblp.org/rec/journals/pacmpl/Mellies19
URL#2055238
Kayvan MemarianVictor B. F. GomesBrooks DavisStephen KellAlexander RichardsonRobert N. M. WatsonPeter SewellExploring C semantics and pointer provenance.Proc. ACM Program. Lang.3POPL67:1-67:322019Journal Articlesopenjournals/pacmpl/MemarianGDKRWS1910.1145/3290380https://doi.org/10.1145/3290380https://dblp.org/rec/journals/pacmpl/MemarianGDKRWS19
URL#2055239
Roland Meyer 0001Sebastian Wolff 0001Decoupling lock-free data structures from memory reclamation for static analysis.Proc. ACM Program. Lang.3POPL58:1-58:312019Journal Articlesopenjournals/pacmpl/MeyerW1910.1145/3290371https://doi.org/10.1145/3290371https://dblp.org/rec/journals/pacmpl/MeyerW19
URL#2055240
Anders MiltnerSumit GulwaniVu Le 0002Alan LeungArjun RadhakrishnaGustavo SoaresAshish Tiwari 0001Abhishek UdupaOn the fly synthesis of edit suggestions.Proc. ACM Program. Lang.3OOPSLA143:1-143:292019Journal Articlesopenjournals/pacmpl/MiltnerGLLRSTU1910.1145/3360569https://doi.org/10.1145/3360569https://dblp.org/rec/journals/pacmpl/MiltnerGLLRSTU19
URL#2055241
Anders MiltnerSolomon MainaKathleen FisherBenjamin C. PierceDavid WalkerSteve ZdancewicSynthesizing symmetric lenses.Proc. ACM Program. Lang.3ICFP95:1-95:282019Journal Articlesopenjournals/pacmpl/MiltnerMFPWZ1910.1145/3341699https://doi.org/10.1145/3341699https://dblp.org/rec/journals/pacmpl/MiltnerMFPWZ19
URL#2055242
Victor Cacciari MiraldoWouter SwierstraAn efficient algorithm for type-safe structural diffing.Proc. ACM Program. Lang.3ICFP113:1-113:292019Journal Articlesopenjournals/pacmpl/MiraldoS1910.1145/3341717https://doi.org/10.1145/3341717https://dblp.org/rec/journals/pacmpl/MiraldoS19
URL#2055243
Yusuke Miyazaki 0001Taro SekiyamaAtsushi IgarashiDynamic type inference for gradual Hindley-Milner typing.Proc. ACM Program. Lang.3POPL18:1-18:292019Journal Articlesopenjournals/pacmpl/MiyazakiSI1910.1145/3290331https://doi.org/10.1145/3290331https://dblp.org/rec/journals/pacmpl/MiyazakiSI19
URL#2055244
Rasmus Ejlers MøgelbergNiccolò VeltriBisimulation as path type for guarded recursive types.Proc. ACM Program. Lang.3POPL4:1-4:292019Journal Articlesopenjournals/pacmpl/MogelbergV1910.1145/3290317https://doi.org/10.1145/3290317https://dblp.org/rec/journals/pacmpl/MogelbergV19
URL#2055245
Ragnar MogkJoscha DrechslerGuido SalvaneschiMira MeziniA fault-tolerant programming model for distributed interactive applications.Proc. ACM Program. Lang.3OOPSLA144:1-144:292019Journal Articlesopenjournals/pacmpl/MogkDSM1910.1145/3360570https://doi.org/10.1145/3360570https://dblp.org/rec/journals/pacmpl/MogkDSM19
URL#2055246
Andrey MokhovGeorgy LukyanovSimon MarlowJerémie DiminoSelective applicative functors.Proc. ACM Program. Lang.3ICFP90:1-90:292019Journal Articlesopenjournals/pacmpl/MokhovLMD1910.1145/3341694https://doi.org/10.1145/3341694https://dblp.org/rec/journals/pacmpl/MokhovLMD19
URL#2055247
Akimasa MorihataLambda calculus with algebraic simplification for reduction parallelization by equational reasoning.Proc. ACM Program. Lang.3ICFP80:1-80:252019Journal Articlesopenjournals/pacmpl/Morihata1910.1145/3341644https://doi.org/10.1145/3341644https://dblp.org/rec/journals/pacmpl/Morihata19
URL#2055248
J. Garrett MorrisJames McKinnaAbstracting extensible data types: or, rows by any other name.Proc. ACM Program. Lang.3POPL12:1-12:282019Journal Articlesopenjournals/pacmpl/MorrisM1910.1145/3290325https://doi.org/10.1145/3290325https://dblp.org/rec/journals/pacmpl/MorrisM19
URL#2055249
Stefan K. MullerSam WestrickUmut A. AcarFairness in responsive parallelism.Proc. ACM Program. Lang.3ICFP81:1-81:302019Journal Articlesopenjournals/pacmpl/MullerWA1910.1145/3341685https://doi.org/10.1145/3341685https://dblp.org/rec/journals/pacmpl/MullerWA19
URL#2055250
Aleksandar NanevskiAnindya Banerjee 0001Germán Andrés DelbiancoIgnacio FábregasSpecifying concurrent programs in separation logic: morphisms and simulations.Proc. ACM Program. Lang.3OOPSLA161:1-161:302019Journal Articlesopenjournals/pacmpl/Nanevski0DF1910.1145/3360587https://doi.org/10.1145/3360587https://dblp.org/rec/journals/pacmpl/Nanevski0DF19
URL#2055251
Joseph P. NearDavid DaraisChike AbuahTim StevensPranav GaddamaduguLun Wang 0001Neel SomaniMu Zhang 0001Nikhil SharmaAlex ShanDawn SongDuet: an expressive higher-order language and linear type system for statically enforcing differential privacy.Proc. ACM Program. Lang.3OOPSLA172:1-172:302019Journal Articlesopenjournals/pacmpl/NearDASGWSZSSS1910.1145/3360598https://doi.org/10.1145/3360598https://dblp.org/rec/journals/pacmpl/NearDASGWSZSSS19
URL#2055252
Max S. NewDaniel R. LicataAmal Ahmed 0001Gradual type theory.Proc. ACM Program. Lang.3POPL15:1-15:312019Journal Articlesopenjournals/pacmpl/NewLA1910.1145/3290328https://doi.org/10.1145/3290328https://dblp.org/rec/journals/pacmpl/NewLA19
URL#2055253
Cyrus OmarIan VoyseyRavi ChughMatthew A. HammerLive functional programming with typed holes.Proc. ACM Program. Lang.3POPL14:1-14:322019Journal Articlesopenjournals/pacmpl/OmarVCH1910.1145/3290327https://doi.org/10.1145/3290327https://dblp.org/rec/journals/pacmpl/OmarVCH19
URL#2055254
Dominic OrchardVilem-Benjamin LiepeltHarley Eades IIIQuantitative program reasoning with graded modal types.Proc. ACM Program. Lang.3ICFP110:1-110:302019Journal Articlesopenjournals/pacmpl/OrchardLE1910.1145/3341714https://doi.org/10.1145/3341714https://dblp.org/rec/journals/pacmpl/OrchardLE19
URL#2055255
Burcu Kulahcioglu OzkanRupak MajumdarSimin OraeeTrace aware random testing for distributed systems.Proc. ACM Program. Lang.3OOPSLA180:1-180:292019Journal Articlesopenjournals/pacmpl/OzkanMO1910.1145/3360606https://doi.org/10.1145/3360606https://dblp.org/rec/journals/pacmpl/OzkanMO19
URL#2055256
Rohan PadhyeCaroline LemieuxKoushik SenLaurent SimonHayawardh VijayakumarFuzzFactory: domain-specific fuzzing with waypoints.Proc. ACM Program. Lang.3OOPSLA174:1-174:292019Journal Articlesopenjournals/pacmpl/PadhyeLSSV1910.1145/3360600https://doi.org/10.1145/3360600https://dblp.org/rec/journals/pacmpl/PadhyeLSSV19
URL#2055257
Rong PanQinheping HuGaowei XuLoris D'AntoniAutomatic repair of regular expressions.Proc. ACM Program. Lang.3OOPSLA139:1-139:292019Journal Articlesopenjournals/pacmpl/PanHXD1910.1145/3360565https://doi.org/10.1145/3360565https://dblp.org/rec/journals/pacmpl/PanHXD19
URL#2055258
Pavel PanchekhaMichael D. ErnstZachary TatlockShoaib Kamil 0001Modular verification of web page layout.Proc. ACM Program. Lang.3OOPSLA151:1-151:262019Journal Articlesopenjournals/pacmpl/PanchekhaETK1910.1145/3360577https://doi.org/10.1145/3360577https://dblp.org/rec/journals/pacmpl/PanchekhaETK19
URL#2055259
Zoe ParaskevopoulouAndrew W. AppelClosure conversion is safe for space.Proc. ACM Program. Lang.3ICFP83:1-83:292019Journal Articlesopenjournals/pacmpl/Paraskevopoulou1910.1145/3341687https://doi.org/10.1145/3341687https://dblp.org/rec/journals/pacmpl/Paraskevopoulou19
URL#2055260
Gyunghee ParkJaemin HongGuy L. Steele Jr.Sukyoung RyuPolymorphic symmetric multiple dispatch with variance.Proc. ACM Program. Lang.3POPL11:1-11:282019Journal Articlesopenjournals/pacmpl/ParkHSR1910.1145/3290324https://doi.org/10.1145/3290324https://dblp.org/rec/journals/pacmpl/ParkHSR19
URL#2055261
James ParkerNiki VazouMichael Hicks 0001LWeb: information flow security for multi-tier web applications.Proc. ACM Program. Lang.3POPL75:1-75:302019Journal Articlesopenjournals/pacmpl/ParkerVH1910.1145/3290388https://doi.org/10.1145/3290388https://dblp.org/rec/journals/pacmpl/ParkerVH19
URL#2055262
Pierre-Marie PédrotNicolas TabareauHans Jacob FehrmannÉric TanterA reasonably exceptional type theory.Proc. ACM Program. Lang.3ICFP108:1-108:292019Journal Articlesopenjournals/pacmpl/PedrotTFT1910.1145/3341712https://doi.org/10.1145/3341712https://dblp.org/rec/journals/pacmpl/PedrotTFT19
URL#2055263
Anton PodkopaevOri Lahav 0001Viktor VafeiadisBridging the gap between programming languages and hardware weak memory models.Proc. ACM Program. Lang.3POPL69:1-69:312019Journal Articlesopenjournals/pacmpl/PodkopaevLV1910.1145/3290382https://doi.org/10.1145/3290382https://dblp.org/rec/journals/pacmpl/PodkopaevLV19
URL#2055264
Nadia PolikarpovaIlya SergeyStructuring the synthesis of heap-manipulating programs.Proc. ACM Program. Lang.3POPL72:1-72:302019Journal Articlesopenjournals/pacmpl/PolikarpovaS1910.1145/3290385https://doi.org/10.1145/3290385https://dblp.org/rec/journals/pacmpl/PolikarpovaS19
URL#2055265
Weihao QuMarco GaboardiDeepak Garg 0001Relational cost analysis for functional-imperative programs.Proc. ACM Program. Lang.3ICFP92:1-92:292019Journal Articlesopenjournals/pacmpl/QuG01910.1145/3341696https://doi.org/10.1145/3341696https://dblp.org/rec/journals/pacmpl/QuG019
URL#2055266
Azalea RaadMarko DokoLovro RozicOri Lahav 0001Viktor VafeiadisOn library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models.Proc. ACM Program. Lang.3POPL68:1-68:312019Journal Articlesopenjournals/pacmpl/RaadDRLV1910.1145/3290381https://doi.org/10.1145/3290381https://dblp.org/rec/journals/pacmpl/RaadDRLV19
URL#2055267
Azalea RaadJohn WickersonViktor VafeiadisWeak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models.Proc. ACM Program. Lang.3OOPSLA135:1-135:272019Journal Articlesopenjournals/pacmpl/RaadWV1910.1145/3360561https://doi.org/10.1145/3360561https://dblp.org/rec/journals/pacmpl/RaadWV19
URL#2055268
Kia RahmaniKartik NagarBenjamin DelawareSuresh JagannathanCLOTHO: directed test generation for weakly consistent database systems.Proc. ACM Program. Lang.3OOPSLA117:1-117:282019Journal Articlesopenjournals/pacmpl/RahmaniNDJ1910.1145/3360543https://doi.org/10.1145/3360543https://dblp.org/rec/journals/pacmpl/RahmaniNDJ19
URL#2055269
Marianna RapoportOndrej LhotákA path to DOT: formalizing fully path-dependent types.Proc. ACM Program. Lang.3OOPSLA145:1-145:292019Journal Articlesopenjournals/pacmpl/RapoportL1910.1145/3360571https://doi.org/10.1145/3360571https://dblp.org/rec/journals/pacmpl/RapoportL19
URL#2055270
Feras A. SaadMarco F. Cusumano-TownerUlrich SchaechtleMartin C. RinardVikash K. MansinghkaBayesian synthesis of probabilistic programs for automatic data modeling.Proc. ACM Program. Lang.3POPL37:1-37:322019Journal Articlesopenjournals/pacmpl/SaadCSRM1910.1145/3290350https://doi.org/10.1145/3290350https://dblp.org/rec/journals/pacmpl/SaadCSRM19
URL#2055271
Guido SalvaneschiMirko Köhler 0001Daniel SokolowskiPhilipp HallerSebastian ErdwegMira MeziniLanguage-integrated privacy-aware distributed queries.Proc. ACM Program. Lang.3OOPSLA167:1-167:302019Journal Articlesopenjournals/pacmpl/SalvaneschiKSHE1910.1145/3360593https://doi.org/10.1145/3360593https://dblp.org/rec/journals/pacmpl/SalvaneschiKSHE19
URL#2055272
José Fragoso SantosPetar MaksimovicGabriela SampaioPhilippa GardnerJaVerT 2.0: compositional symbolic execution for JavaScript.Proc. ACM Program. Lang.3POPL66:1-66:312019Journal Articlesopenjournals/pacmpl/SantosMSG1910.1145/3290379https://doi.org/10.1145/3290379https://dblp.org/rec/journals/pacmpl/SantosMSG19
URL#2055273
Tetsuya Sato 0001Alejandro Aguirre 0001Gilles BartheMarco GaboardiDeepak Garg 0001Justin HsuFormal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization.Proc. ACM Program. Lang.3POPL38:1-38:302019Journal Articlesopenjournals/pacmpl/SatoABGGH1910.1145/3290351https://doi.org/10.1145/3290351https://dblp.org/rec/journals/pacmpl/SatoABGGH19
URL#2055274
Alceste ScalasNobuko YoshidaLess is more: multiparty session types revisited.Proc. ACM Program. Lang.3POPL30:1-30:292019Journal Articlesopenjournals/pacmpl/ScalasY1910.1145/3290343https://doi.org/10.1145/3290343https://dblp.org/rec/journals/pacmpl/ScalasY19
URL#2055275
Ilya SergeyVaivaswatha NagarajJacob JohannsenAmrit Kumar 0001Anton TrunovKen Chan Guan HaoSafer smart contract programming with Scilla.Proc. ACM Program. Lang.3OOPSLA185:1-185:302019Journal Articlesopenjournals/pacmpl/SergeyNJ0TH1910.1145/3360611https://doi.org/10.1145/3360611https://dblp.org/rec/journals/pacmpl/SergeyNJ0TH19
URL#2055276
Amir ShaikhhaAndrew W. FitzgibbonDimitrios VytiniotisSimon Peyton JonesEfficient differentiable programming in a functional array-processing language.Proc. ACM Program. Lang.3ICFP97:1-97:302019Journal Articlesopenjournals/pacmpl/ShaikhhaFVJ1910.1145/3341701https://doi.org/10.1145/3341701https://dblp.org/rec/journals/pacmpl/ShaikhhaFVJ19
URL#2055277
Ariya ShajiiIbrahim NumanagicRiyadh BaghdadiBonnie BergerSaman P. AmarasingheSeq: a high-performance language for bioinformatics.Proc. ACM Program. Lang.3OOPSLA125:1-125:292019Journal Articlesopenjournals/pacmpl/ShajiiNBBA1910.1145/3360551https://doi.org/10.1145/3360551https://dblp.org/rec/journals/pacmpl/ShajiiNBBA19
URL#2055278
Hashim SharifPrakalp SrivastavaMuhammad HuzaifaMaria KotsifakouKeyur Joshi 0001Yasmin SaritaNathan ZhaoVikram S. AdveSasa MisailovicSarita V. AdveApproxHPVM: a portable compiler IR for accuracy-aware optimizations.Proc. ACM Program. Lang.3OOPSLA186:1-186:302019Journal Articlesopenjournals/pacmpl/SharifSHKJSZAMA1910.1145/3360612https://doi.org/10.1145/3360612https://dblp.org/rec/journals/pacmpl/SharifSHKJSZAMA19
URL#2055279
Bo ShenWei Zhang 0004Haiyan ZhaoGuangtai LiangZhi JinQianxiang WangIntelliMerge: a refactoring-aware software merging technique.Proc. ACM Program. Lang.3OOPSLA170:1-170:282019Journal Articlesopenjournals/pacmpl/ShenZZLJW1910.1145/3360596https://doi.org/10.1145/3360596https://dblp.org/rec/journals/pacmpl/ShenZZLJW19
URL#2055280
Benjamin ShermanJesse MichelMichael CarbinSound and robust solid modeling via exact real arithmetic and continuity.Proc. ACM Program. Lang.3ICFP99:1-99:292019Journal Articlesopenjournals/pacmpl/ShermanMC1910.1145/3341703https://doi.org/10.1145/3341703https://dblp.org/rec/journals/pacmpl/ShermanMC19
URL#2055281
August ShiMilica Hadzi-TanovicLingming Zhang 0001Darko MarinovOwolabi LegunsenReflection-aware static regression test selection.Proc. ACM Program. Lang.3OOPSLA187:1-187:292019Journal Articlesopenjournals/pacmpl/ShiHZML1910.1145/3360613https://doi.org/10.1145/3360613https://dblp.org/rec/journals/pacmpl/ShiHZML19
URL#2055282
Kensen ShiJacob SteinhardtPercy LiangFrAngel: component-based synthesis with control structures.Proc. ACM Program. Lang.3POPL73:1-73:292019Journal Articlesopenjournals/pacmpl/ShiSL1910.1145/3290386https://doi.org/10.1145/3290386https://dblp.org/rec/journals/pacmpl/ShiSL19
URL#2055283
Gagandeep Singh 0001Timon GehrMarkus PüschelMartin T. VechevAn abstract domain for certifying neural networks.Proc. ACM Program. Lang.3POPL41:1-41:302019Journal Articlesopenjournals/pacmpl/SinghGPV1910.1145/3290354https://doi.org/10.1145/3290354https://dblp.org/rec/journals/pacmpl/SinghGPV19
URL#2055284
Marcos Yukio SiraichiVinícius Fernandes dos SantosCaroline CollangeFernando Magno Quintão PereiraQubit allocation as a combination of subgraph isomorphism and token swapping.Proc. ACM Program. Lang.3OOPSLA120:1-120:292019Journal Articlesopenjournals/pacmpl/SiraichiSCP1910.1145/3360546https://doi.org/10.1145/3360546https://dblp.org/rec/journals/pacmpl/SiraichiSCP19
URL#2055285
Vilhelm SjöbergYuyang SangShu-Chun WengZhong ShaoDeepSEA: a language for certified system software.Proc. ACM Program. Lang.3OOPSLA136:1-136:272019Journal Articlesopenjournals/pacmpl/SjobergSWS1910.1145/3360562https://doi.org/10.1145/3360562https://dblp.org/rec/journals/pacmpl/SjobergSWS19
URL#2055286
Lau SkorstengaardDominique DevrieseLars BirkedalStkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities.Proc. ACM Program. Lang.3POPL19:1-19:282019Journal Articlesopenjournals/pacmpl/SkorstengaardDB1910.1145/3290332https://doi.org/10.1145/3290332https://dblp.org/rec/journals/pacmpl/SkorstengaardDB19
URL#2055287
Calvin SmithAws AlbarghouthiSynthesizing differentially private programs.Proc. ACM Program. Lang.3ICFP94:1-94:292019Journal Articlesopenjournals/pacmpl/SmithA1910.1145/3341698https://doi.org/10.1145/3341698https://dblp.org/rec/journals/pacmpl/SmithA19
URL#2055288
Calvin SmithJustin HsuAws AlbarghouthiTrace abstraction modulo probability.Proc. ACM Program. Lang.3POPL39:1-39:312019Journal Articlesopenjournals/pacmpl/SmithHA1910.1145/3290352https://doi.org/10.1145/3290352https://dblp.org/rec/journals/pacmpl/SmithHA19
URL#2055289
Dowon SongMyungho LeeHakjoo OhAutomatic and scalable detection of logical errors in functional programming assignments.Proc. ACM Program. Lang.3OOPSLA188:1-188:302019Journal Articlesopenjournals/pacmpl/SongLO1910.1145/3360614https://doi.org/10.1145/3360614https://dblp.org/rec/journals/pacmpl/SongLO19
URL#2055290
Matthieu SozeauCyprien ManginEquations reloaded: high-level dependently-typed functional programming and proving in Coq.Proc. ACM Program. Lang.3ICFP86:1-86:292019Journal Articlesopenjournals/pacmpl/SozeauM1910.1145/3341690https://doi.org/10.1145/3341690https://dblp.org/rec/journals/pacmpl/SozeauM19
URL#2055291
Johannes SpäthKarim Ali 0001Eric BoddenContext-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems.Proc. ACM Program. Lang.3POPL48:1-48:292019Journal Articlesopenjournals/pacmpl/SpathAB1910.1145/3290361https://doi.org/10.1145/3290361https://dblp.org/rec/journals/pacmpl/SpathAB19
URL#2055292
Benno Stein 0002Benjamin Barslev NielsenBor-Yuh Evan ChangAnders MøllerStatic analysis with demand-driven value refinement.Proc. ACM Program. Lang.3OOPSLA140:1-140:292019Journal Articlesopenjournals/pacmpl/SteinNCM1910.1145/3360566https://doi.org/10.1145/3360566https://dblp.org/rec/journals/pacmpl/SteinNCM19
URL#2055293
Thomas Van StrydonckFrank PiessensDominique DevrieseLinear capabilities for fully abstract compilation of separation-logic-verified code.Proc. ACM Program. Lang.3ICFP84:1-84:292019Journal Articlesopenjournals/pacmpl/StrydonckPD1910.1145/3341688https://doi.org/10.1145/3341688https://dblp.org/rec/journals/pacmpl/StrydonckPD19
URL#2055294
Milijana SurbatovichLimin Jia 0001Brandon LuciaI/O dependent idempotence bugs in intermittent systems.Proc. ACM Program. Lang.3OOPSLA183:1-183:312019Journal Articlesopenjournals/pacmpl/SurbatovichJL1910.1145/3360609https://doi.org/10.1145/3360609https://dblp.org/rec/journals/pacmpl/SurbatovichJL19
URL#2055295
Wouter SwierstraTim BaanenA predicate transformer semantics for effects (functional pearl).Proc. ACM Program. Lang.3ICFP103:1-103:262019Journal Articlesopenjournals/pacmpl/SwierstraB1910.1145/3341707https://doi.org/10.1145/3341707https://dblp.org/rec/journals/pacmpl/SwierstraB19
URL#2055296
Joseph TassarottiRobert Harper 0001A separation logic for concurrent randomized programs.Proc. ACM Program. Lang.3POPL64:1-64:302019Journal Articlesopenjournals/pacmpl/TassarottiH1910.1145/3290377https://doi.org/10.1145/3290377https://dblp.org/rec/journals/pacmpl/TassarottiH19
URL#2055297
Arshavir Ter-GabrielyanAlexander J. SummersPeter Müller 0001Modular verification of heap reachability properties in separation logic.Proc. ACM Program. Lang.3OOPSLA121:1-121:282019Journal Articlesopenjournals/pacmpl/Ter-GabrielyanS1910.1145/3360547https://doi.org/10.1145/3360547https://dblp.org/rec/journals/pacmpl/Ter-GabrielyanS19
URL#2055298
Amin TimanyLars BirkedalMechanized relational verification of concurrent programs with continuations.Proc. ACM Program. Lang.3ICFP105:1-105:282019Journal Articlesopenjournals/pacmpl/TimanyB1910.1145/3341709https://doi.org/10.1145/3341709https://dblp.org/rec/journals/pacmpl/TimanyB19
URL#2055299
John TomanDan GrossmanConcerto: a framework for combined concrete and abstract interpretation.Proc. ACM Program. Lang.3POPL43:1-43:292019Journal Articlesopenjournals/pacmpl/TomanG1910.1145/3290356https://doi.org/10.1145/3290356https://dblp.org/rec/journals/pacmpl/TomanG19
URL#2055300
Matías ToroElizabeth LabradaÉric TanterGradual parametricity, revisited.Proc. ACM Program. Lang.3POPL17:1-17:302019Journal Articlesopenjournals/pacmpl/ToroLT1910.1145/3290330https://doi.org/10.1145/3290330https://dblp.org/rec/journals/pacmpl/ToroLT19
URL#2055301
Emma ToschEytan BakshyEmery D. BergerDavid D. JensenJ. Eliot B. MossPlanAlyzer: assessing threats to the validity of online experiments.Proc. ACM Program. Lang.3OOPSLA182:1-182:302019Journal Articlesopenjournals/pacmpl/ToschBBJM1910.1145/3360608https://doi.org/10.1145/3360608https://dblp.org/rec/journals/pacmpl/ToschBBJM19
URL#2055302
Valentin TouzeauClaire MaïzaDavid MonniauxJan Reineke 0001Fast and exact analysis for LRU caches.Proc. ACM Program. Lang.3POPL54:1-54:292019Journal Articlesopenjournals/pacmpl/TouzeauMMR1910.1145/3290367https://doi.org/10.1145/3290367https://dblp.org/rec/journals/pacmpl/TouzeauMMR19
URL#2055303
Dominique UnruhQuantum relational Hoare logic.Proc. ACM Program. Lang.3POPL33:1-33:312019Journal Articlesopenjournals/pacmpl/Unruh1910.1145/3290346https://doi.org/10.1145/3290346https://dblp.org/rec/journals/pacmpl/Unruh19
URL#2055304
Matthijs VákárOhad KammarSam StatonA domain theory for statistical probabilistic programming.Proc. ACM Program. Lang.3POPL36:1-36:292019Journal Articlesopenjournals/pacmpl/VakarKS1910.1145/3290349https://doi.org/10.1145/3290349https://dblp.org/rec/journals/pacmpl/VakarKS19
URL#2055305
Marco VassenaAlejandro RussoDeepak Garg 0001Vineet RajaniDeian StefanFrom fine- to coarse-grained dynamic information flow control and back.Proc. ACM Program. Lang.3POPL76:1-76:312019Journal Articlesopenjournals/pacmpl/VassenaRGRS1910.1145/3290389https://doi.org/10.1145/3290389https://dblp.org/rec/journals/pacmpl/VassenaRGRS19
URL#2055306
Andrea VezzosiAnders MörtbergAndreas Abel 0001Cubical agda: a dependently typed programming language with univalence and higher inductive types.Proc. ACM Program. Lang.3ICFP87:1-87:292019Journal Articlesopenjournals/pacmpl/VezzosiM01910.1145/3341691https://doi.org/10.1145/3341691https://dblp.org/rec/journals/pacmpl/VezzosiM019
URL#2055307
Ivana VukoticVincent RahliPaulo Jorge Esteves VeríssimoAsphalion: trustworthy shielding against Byzantine faults.Proc. ACM Program. Lang.3OOPSLA138:1-138:322019Journal Articlesopenjournals/pacmpl/VukoticRV1910.1145/3360564https://doi.org/10.1145/3360564https://dblp.org/rec/journals/pacmpl/VukoticRV19
URL#2055308
Rajan WaliaPraveen NarayananJacques CaretteSam Tobin-HochstadtChung-chieh ShanFrom high-level inference algorithms to efficient code.Proc. ACM Program. Lang.3ICFP98:1-98:302019Journal Articlesopenjournals/pacmpl/WaliaNCTS1910.1145/3341702https://doi.org/10.1145/3341702https://dblp.org/rec/journals/pacmpl/WaliaNCTS19
URL#2055309
Shengyi WangQinxiang CaoAnshuman MohanAquinas HoborCertifying graph-manipulating C programs via localizations within data structures.Proc. ACM Program. Lang.3OOPSLA171:1-171:302019Journal Articlesopenjournals/pacmpl/WangCMH1910.1145/3360597https://doi.org/10.1145/3360597https://dblp.org/rec/journals/pacmpl/WangCMH19
URL#2055310
Di Wang 0017Jan Hoffmann 0002Type-guided worst-case input generation.Proc. ACM Program. Lang.3POPL13:1-13:302019Journal Articlesopenjournals/pacmpl/WangH1910.1145/3290326https://doi.org/10.1145/3290326https://dblp.org/rec/journals/pacmpl/WangH19
URL#2055311
Yuting Wang 0001Pierre WilkeZhong ShaoAn abstract stack based approach to verified compositional compilation to machine code.Proc. ACM Program. Lang.3POPL62:1-62:302019Journal Articlesopenjournals/pacmpl/WangWS1910.1145/3290375https://doi.org/10.1145/3290375https://dblp.org/rec/journals/pacmpl/WangWS19
URL#2055312
Fei Wang 0046Daniel ZhengJames M. DeckerXilun WuGrégory M. EssertelTiark RompfDemystifying differentiable programming: shift/reset the penultimate backpropagator.Proc. ACM Program. Lang.3ICFP96:1-96:312019Journal Articlesopenjournals/pacmpl/WangZDWER1910.1145/3341700https://doi.org/10.1145/3341700https://dblp.org/rec/journals/pacmpl/WangZDWER19
URL#2055313
Shuai Wang 0011Chengyu Zhang 0001Zhendong Su 0001Detecting nondeterministic payment bugs in Ethereum smart contracts.Proc. ACM Program. Lang.3OOPSLA189:1-189:292019Journal Articlesopenjournals/pacmpl/WangZS1910.1145/3360615https://doi.org/10.1145/3360615https://dblp.org/rec/journals/pacmpl/WangZS19
URL#2055314
Conrad WattAndreas RossbergJean Pichon-PharabodWeakening WebAssembly.Proc. ACM Program. Lang.3OOPSLA133:1-133:282019Journal Articlesopenjournals/pacmpl/WattRP1910.1145/3360559https://doi.org/10.1145/3360559https://dblp.org/rec/journals/pacmpl/WattRP19
URL#2055315
Conrad WattJohn RennerNatalie PopescuSunjay CauligiDeian StefanCT-wasm: type-driven secure cryptography for the web ecosystem.Proc. ACM Program. Lang.3POPL77:1-77:292019Journal Articlesopenjournals/pacmpl/WattRPCS1910.1145/3290390https://doi.org/10.1145/3290390https://dblp.org/rec/journals/pacmpl/WattRPCS19
URL#2055316
Guannan Wei 0001Yuxuan ChenTiark RompfStaged abstract interpreters: fast and modular whole-program analysis via meta-programming.Proc. ACM Program. Lang.3OOPSLA126:1-126:322019Journal Articlesopenjournals/pacmpl/WeiCR1910.1145/3360552https://doi.org/10.1145/3360552https://dblp.org/rec/journals/pacmpl/WeiCR19
URL#2055317
Stephanie WeirichPritam ChoudhuryAntoine VoizardRichard A. EisenbergA role for dependent types in Haskell.Proc. ACM Program. Lang.3ICFP101:1-101:292019Journal Articlesopenjournals/pacmpl/WeirichCVE1910.1145/3341705https://doi.org/10.1145/3341705https://dblp.org/rec/journals/pacmpl/WeirichCVE19
URL#2055318
Christian WimmerCodrut StancuPeter HoferVojin JovanovicPaul WögererPeter B. KesslerOleg PlissThomas WürthingerInitialize once, start fast: application initialization at build time.Proc. ACM Program. Lang.3OOPSLA184:1-184:292019Journal Articlesopenjournals/pacmpl/WimmerSHJWKPW1910.1145/3360610https://doi.org/10.1145/3360610https://dblp.org/rec/journals/pacmpl/WimmerSHJWKPW19
URL#2055319
Baijun WuJohn Peter Campora IIIYi He 0007Alexander SchlechtSheng Chen 0008Generating precise error specifications for C: a zero shot learning approach.Proc. ACM Program. Lang.3OOPSLA160:1-160:302019Journal Articlesopenjournals/pacmpl/WuCHS01910.1145/3360586https://doi.org/10.1145/3360586https://dblp.org/rec/journals/pacmpl/WuCHS019
URL#2055320
Jeremy YallopLeo WhiteLambda: the ultimate sublanguage (experience report).Proc. ACM Program. Lang.3ICFP116:1-116:172019Journal Articlesopenjournals/pacmpl/YallopW1910.1145/3342713https://doi.org/10.1145/3342713https://dblp.org/rec/journals/pacmpl/YallopW19
URL#2055321
Tetsuro YamazakiTomoki NakamaruKazuhiro IchikawaShigeru ChibaGenerating a fluent API with syntax checking from an LR grammar.Proc. ACM Program. Lang.3OOPSLA134:1-134:242019Journal Articlesopenjournals/pacmpl/YamazakiNIC1910.1145/3360560https://doi.org/10.1145/3360560https://dblp.org/rec/journals/pacmpl/YamazakiNIC19
URL#2055322
Xin YiLiqian ChenXiaoguang MaoTao JiEfficient automated repair of high floating-point errors in numerical libraries.Proc. ACM Program. Lang.3POPL56:1-56:292019Journal Articlesopenjournals/pacmpl/YiCMJ1910.1145/3290369https://doi.org/10.1145/3290369https://dblp.org/rec/journals/pacmpl/YiCMJ19
URL#2055323
Yizhou Zhang 0001Andrew C. MyersAbstraction-safe effect handlers via tunneling.Proc. ACM Program. Lang.3POPL5:1-5:292019Journal Articlesopenjournals/pacmpl/ZhangM1910.1145/3290318https://doi.org/10.1145/3290318https://dblp.org/rec/journals/pacmpl/ZhangM19
URL#2055324
Hengchu ZhangEdo RothAndreas HaeberlenBenjamin C. PierceAaron Roth 0001Fuzzi: a three-level logic for differential privacy.Proc. ACM Program. Lang.3ICFP93:1-93:282019Journal Articlesopenjournals/pacmpl/ZhangRHP01910.1145/3341697https://doi.org/10.1145/3341697https://dblp.org/rec/journals/pacmpl/ZhangRHP019
URL#2055325
Zhuo Zhang 0002Wei YouGuanhong Tao 0001Guannan Wei 0001Yonghwi Kwon 0001Xiangyu Zhang 0001BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation.Proc. ACM Program. Lang.3OOPSLA137:1-137:312019Journal Articlesopenjournals/pacmpl/ZhangYTWK01910.1145/3360563https://doi.org/10.1145/3360563https://dblp.org/rec/journals/pacmpl/ZhangYTWK019
URL#2055326
Jinxu ZhaoBruno C. d. S. OliveiraTom SchrijversA mechanical formalization of higher-ranked polymorphic type inference.Proc. ACM Program. Lang.3ICFP112:1-112:292019Journal Articlesopenjournals/pacmpl/ZhaoOS1910.1145/3341716https://doi.org/10.1145/3341716https://dblp.org/rec/journals/pacmpl/ZhaoOS19
URL#2055327
Yoav ZurielMichal Friedman 0001Gali SheffiNachshon CohenErez PetrankEfficient lock-free durable sets.Proc. ACM Program. Lang.3OOPSLA128:1-128:262019Journal Articlesopenjournals/pacmpl/ZurielFSCP1910.1145/3360554https://doi.org/10.1145/3360554https://dblp.org/rec/journals/pacmpl/ZurielFSCP19
URL#2055328