Programming Language Design and Implementation - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 2025

2023

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023Pietro Ferrara 0001, Liana Hadarean, editors, ACM, 2023. [doi]

When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in CMichael Schwarz 0007, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl. PLDI 2023: 20-26 [doi]

Speeding up Static Analysis with the Split OperatorVincenzo Arceri, Greta Dolcetti, Enea Zaffanella. PLDI 2023: 14-19 [doi]

Polymorphic Types with Polynomial SizesJean-Louis Colaço, Baptiste Pauget, Marc Pouzet. PLDI 2023: 36-49 [doi]

Combining E-Graphs with Abstract InterpretationSamuel Coward, George A. Constantinides, Theo Drane. PLDI 2023: 1-7 [doi]

Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY 2023, Orlando, FL, USA, 18 June 2023Troels Henriksen, Artjoms Sinkarovs, editors, ACM, 2023. [doi]

HWASanIO: Detecting C/C++ Intra-object Overflows with Memory ShadingKonrad Hohentanner, Florian Kasten, Lukas Auer. PLDI 2023: 27-33 [doi]

U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine LearningAaron W. Hsu, Rodrigo Girão Serrão. PLDI 2023: 22-35 [doi]

Crosys: Cross Architectural Dynamic AnalysisSangrok Lee, Jieun Lee, Jaeyong Ko, Jaewoo Shim. PLDI 2023: 55-62 [doi]

User-Assisted Code Query OptimizationBen Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang 0005. PLDI 2023: 40-46 [doi]

HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel AlgorithmsBjörn Lisper, Linus Källberg. PLDI 2023: 13-21 [doi]

Extensible and Scalable Architecture for Hybrid AnalysisMarc Miltenberger, Steven Arzt. PLDI 2023: 34-39 [doi]

Static Analysis of Data Transformations in Jupyter NotebooksLuca Negrini, Guruprerana Shabadi, Caterina Urban. PLDI 2023: 8-13 [doi]

Completeness Thresholds for Memory Safety of Array Traversing ProgramsTobias Reinhard, Justus Fasse, Bart Jacobs 0002. PLDI 2023: 47-54 [doi]

Faster APL with Lazy ExtensionsAndrew Sengul. PLDI 2023: 62-74 [doi]

Towards Structured Algebraic ProgrammingDaniele G. Spampinato, Denis Jelovina, Jiawei Zhuang, Albert-Jan Nicholas Yzelman. PLDI 2023: 50-61 [doi]

A MultiGPU Performance-Portable Solution for Array Programming Based on KokkosPedro Valero-Lara, Jeffrey S. Vetter. PLDI 2023: 1-12 [doi]

RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection AlgorithmsMichael Wang, Shashank Srikant, Malavika Samak, Una-May O'Reilly. PLDI 2023: 63-70 [doi]

2022

Semantic soundness for language interoperabilityDaniel Patterson 0001, Noble Mushtak, Andrew Wagner, Amal Ahmed. PLDI 2022: 609-624 [doi]

Productivity assessment of neural code completionAlbert Ziegler 0001, Eirini Kalliamvakou, X. Alice Li, Andrew Rice, Devon Rifkin, Shawn Simister, Ganesh Sittampalam, Edward Aftandilian. PLDI 2022: 21-29 [doi]

PyLSE: a pulse-transfer level language for superconductor electronicsMichael Christensen 0001, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf. PLDI 2022: 671-686 [doi]

Finding the dwarf: recovering precise types from WebAssembly binariesDaniel Lehmann 0002, Michael Pradel. PLDI 2022: 410-425 [doi]

Kleene algebra modulo theories: a framework for concrete KATsMichael Greenberg 0002, Ryan Beckett, Eric Hayden Campbell. PLDI 2022: 594-608 [doi]

Progressive polynomial approximations for fast correctly rounded math librariesMridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte. PLDI 2022: 552-565 [doi]

Efficient approximations for cache-conscious data placementAli Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis. PLDI 2022: 857-871 [doi]

Autoscheduling for sparse tensor algebra with an asymptotic cost modelPeter Ahrens, Fredrik Kjolstad, Saman P. Amarasinghe. PLDI 2022: 269-285 [doi]

Turning manual concurrent memory reclamation into automatic reference countingDaniel Anderson, Guy E. Blelloch, Yuanhao Wei. PLDI 2022: 61-75 [doi]

ExeBench: an ML-scale dataset of executable C functionsJordi Armengol-Estapé, Jackson Woodruff, Alexander Brauckmann, José Wesley de Souza Magalhães, Michael F. P. O'Boyle. PLDI 2022: 50-59 [doi]

Abstract interpretation of Michelson smart-contractsGuillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz. PLDI 2022: 36-43 [doi]

"Synthesizing input grammars": a replication studyBachir Bendrissou, Rahul Gopinath, Andreas Zeller. PLDI 2022: 260-268 [doi]

Choosing mathematical function implementations for speed and accuracyIan Briggs, Pavel Panchekha. PLDI 2022: 522-535 [doi]

Abstract interpretation repairRoberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato. PLDI 2022: 426-441 [doi]

A study of real-world data races in GolangMilind Chabbi, Murali Krishna Ramanathan. PLDI 2022: 474-489 [doi]

Finding typing compiler bugsStefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos. PLDI 2022: 183-198 [doi]

MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, San Diego, CA, USA, 13 June 2022Swarat Chaudhuri, Charles Sutton, editors, ACM, 2022. [doi]

Visualization question answering using introspective program synthesisYanju Chen, Xifeng Yan, Yu Feng 0001. PLDI 2022: 137-151 [doi]

All you need is superword-level parallelism: systematic control-flow vectorization with SLPYishen Chen, Charith Mendis, Saman P. Amarasinghe. PLDI 2022: 301-315 [doi]

Sequential reasoning for optimizing compilers under weak memory concurrencyMinki Cho, Sung Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav. PLDI 2022: 213-228 [doi]

Compass: strong and compositional library specifications in relaxed memory separation logicHoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer. PLDI 2022: 792-808 [doi]

PaC-trees: supporting parallel and compressed purely-functional collectionsLaxman Dhulipala, Guy E. Blelloch, Yan Gu 0001, Yihan Sun 0001. PLDI 2022: 108-121 [doi]

Leapfrog: certified equivalence for protocol parsersRyan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett. PLDI 2022: 950-965 [doi]

Automatically debugging AutoML pipelines using maro: ML automated remediation oracleJulian Dolby, Jason Tsay, Martin Hirzel. PLDI 2022: 60-69 [doi]

Recursion synthesis with unrealizability witnessesAzadeh Farzan, Danya Lette, Victor Nicolet. PLDI 2022: 244-259 [doi]

Sound sequentialization for concurrent program verificationAzadeh Farzan, Dominik Klumpp, Andreas Podelski. PLDI 2022: 506-521 [doi]

IRDL: an IR definition language for SSA compilersMathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su 0001, Tobias Grosser. PLDI 2022: 199-212 [doi]

Deoptless: speculation with dispatched on-stack replacement and specialized continuationsOlivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek. PLDI 2022: 749-761 [doi]

SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022Laure Gonnord, Laura Titolo, editors, ACM, 2022. [doi]

Checking robustness to weak persistency modelsHamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky. PLDI 2022: 490-505 [doi]

Deep and shallow types for gradual languagesBen Greenman. PLDI 2022: 580-593 [doi]

P4BID: information flow control in p4Karuna Grewal, Loris D'Antoni, Justin Hsu. PLDI 2022: 46-60 [doi]

Type-directed program synthesis for RESTful APIsZheng Guo, David Cao, Davin Tjong, Jean Yang 0001, Cole Schlesinger, Nadia Polikarpova. PLDI 2022: 122-136 [doi]

ANOSY: approximated knowledge synthesis with refinement types for declassificationSankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker. PLDI 2022: 15-30 [doi]

ARRAY '22: 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, San Diego CA USA, 13 June 2022Troels Henriksen, Tze Meng Low, editors, ACM, 2022. [doi]

Combinatory logic and combinators in array languagesConor Hoekstra. PLDI 2022: 46-57 [doi]

Hamband: RDMA replicated data typesFarzin Houshmand, Javad Saberlatibari, Mohsen Lesani. PLDI 2022: 348-363 [doi]

PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022Ranjit Jhala, Isil Dillig, editors, ACM, 2022. [doi]

CycleQ: an efficient basis for cyclic equational reasoningEddie Jones, C.-H. Luke Ong, Steven J. Ramsay. PLDI 2022: 395-409 [doi]

RunTime-assisted convergence in replicated data typesGowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko. PLDI 2022: 364-378 [doi]

Distributed parallel computing with Futhark: a functional language to generate distributed parallel codeMichaël El Kharroubi, Baptiste Coudray, Orestis Malaspinas. PLDI 2022: 12-24 [doi]

WARio: efficient code generation for intermittent computingVito Kortbeek, Souradip Ghosh, Josiah D. Hester, Simone Campanoni, Przemyslaw Pawelczak. PLDI 2022: 777-791 [doi]

Modeling code manipulation in JIT compilersHeuiChan Lim, Xiyu Kang, Saumya Debray. PLDI 2022: 9-15 [doi]

From functional to imperative: combining destination-passing style and viewsZhitao Lin, Christophe Dubach. PLDI 2022: 25-36 [doi]

Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacentersHaoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu. PLDI 2022: 92-107 [doi]

RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe codeYusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer. PLDI 2022: 841-856 [doi]

A flexible type system for fearless concurrencyMae Milano, Joshua Turcotti, Andrew C. Myers. PLDI 2022: 458-473 [doi]

ADA: a tool for visualizing the architectural overview of open-source repositoriesMd Rakib Hossain Misu, Aleksandar Sasa Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, Naum Anteski. PLDI 2022: 30-35 [doi]

Warping cache simulation of polyhedral programsCanberk Morelli, Jan Reineke. PLDI 2022: 316-331 [doi]

Diaframe: automated verification of fine-grained concurrent programs in IrisIke Mulder, Robbert Krebbers, Herman Geuvers. PLDI 2022: 809-824 [doi]

Predictive synthesis of API-centric codeDaye Nam, Baishakhi Ray, Seohyun Kim 0001, Xianshan Qu, Satish Chandra 0001. PLDI 2022: 40-49 [doi]

Quickstrom: property-based acceptance testing with LTL specificationsLiam O'Connor, Oskar Wickström. PLDI 2022: 1025-1038 [doi]

Ensuring determinism in blockchain software with GoLiSA: an industrial experience reportLuca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara 0001, Fausto Spoto, Enrico Talin. PLDI 2022: 23-29 [doi]

Computing correctly with inductive relationsZoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos. PLDI 2022: 966-980 [doi]

Landmarks and regions: a robust approach to data extractionSuresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Shankar Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza. PLDI 2022: 993-1009 [doi]

Algebraic reasoning of Quantum programs via non-idempotent Kleene algebraYuxiang Peng, Mingsheng Ying, Xiaodi Wu. PLDI 2022: 657-670 [doi]

Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level codeClément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala. PLDI 2022: 918-933 [doi]

Interpreter-guided differential JIT compiler unit testingGuillermo Polito, Stéphane Ducasse, Pablo Tesone. PLDI 2022: 981-992 [doi]

Syntax-guided program reduction for understanding neural code intelligence modelsMd. Rafiqul Islam Rabin, Aftab Hussain 0001, Mohammad Amin Alipour. PLDI 2022: 70-79 [doi]

Lasagne: a static binary translator for weak memory model architecturesRodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia. PLDI 2022: 888-902 [doi]

Islaris: verification of machine code against authoritative ISA semanticsMichael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell 0001, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg 0001, Peter Sewell. PLDI 2022: 825-840 [doi]

A typed continuation-passing translation for lexical effect handlersPhilipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller 0003, Klaus Ostermann. PLDI 2022: 566-579 [doi]

A graph neural network-based performance model for deep learning applicationsShikhar Singh, James Hegarty, Hugh Leather, Benoit Steiner. PLDI 2022: 11-20 [doi]

Parallel scan as a multidimensional array problemArtjoms Sinkarovs, Sven-Bodo Scholz. PLDI 2022: 1-11 [doi]

Towards an implementation of differential dynamic logic in PVSJ. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci 0001, Lauren White. PLDI 2022: 44-50 [doi]

Certified mergeable replicated data typesVimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan. PLDI 2022: 332-347 [doi]

Statically detecting data leakages in data science codePavle Subotic, Uros Bojanic, Milan Stojic. PLDI 2022: 16-22 [doi]

Hardening attack surfaces with formally proven binary format parsersNikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta. PLDI 2022: 31-45 [doi]

From perception to programs: regularize, overparameterize, and amortizeHao Tang, Kevin Ellis. PLDI 2022: 30-39 [doi]

Giallar: push-button verification for the qiskit Quantum compilerRunzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu. PLDI 2022: 641-656 [doi]

Using q-learning to select the best among functionally equivalent implementationsMeggie van den Oever, Lauren E. Grimley, Richard Michael Veras. PLDI 2022: 37-45 [doi]

Formally verified lifting of C-compiled x86-64 binariesFreek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran. PLDI 2022: 934-949 [doi]

Odin: on-demand instrumentation with on-the-fly recompilationMingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, Yu Jiang 0001. PLDI 2022: 1010-1024 [doi]

Bind the gap: compiling real software to hardware FFT acceleratorsJackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, Michael F. P. O'Boyle. PLDI 2022: 687-702 [doi]

A systematic evaluation of large language models of codeFrank F. Xu, Uri Alon 0002, Graham Neubig, Vincent Josua Hellendoorn. PLDI 2022: 1-10 [doi]

Quartz: superoptimization of Quantum circuitsMingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia. PLDI 2022: 625-640 [doi]

DISTAL: the distributed tensor algebra compilerRohan Yadav, Alex Aiken, Fredrik Kjolstad. PLDI 2022: 286-300 [doi]

PDL: a high-level hardware design language for pipelined processorsDrew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers. PLDI 2022: 719-732 [doi]

Verifying optimizations of concurrent programs in the promising semanticsJunpeng Zha, Hongjin Liang, Xinyu Feng 0001. PLDI 2022: 903-917 [doi]

Karp: a language for NP reductionsChenhao Zhang, Jason D. Hartline, Christos Dimoulas. PLDI 2022: 762-776 [doi]

Low-latency, high-throughput garbage collectionWenyu Zhao, Stephen M. Blackburn, Kathryn S. McKinley. PLDI 2022: 76-91 [doi]

Differential cost analysis with simultaneous potentials and anti-potentialsDorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi. PLDI 2022: 442-457 [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Programming Language Design and Implementation (PLDI)

Viewing Publication 1 - 100 from 2025

2023

2022

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Programming Language Design and Implementation (PLDI)

Viewing Publication 1 - 100 from 2025

2023

2022

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1