OOPSLA

2022–2026 LIVE

著者一覧 · 国際会議 · 大学ランキング

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2023 · 110 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

2023 · OOPSLA
A Cocktail Approach to Practical Call Graph Construction
Yuandao Cai, Charles Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, Jingling Xue
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
A Deductive Verification Infrastructure for Probabilistic Programs
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
A Gradual Probabilistic Lambda Calculus
Wenjia Ye, Matías Toro, Federico Olmedo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
A Grounded Conceptual Model for Ownership Types in Rust
Will Crichton, Gavin Gray, Shriram Krishnamurthi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
A Pretty Expressive Printer
Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Octave Larose, Sophie Kaleba, Humphrey Burchell, Stefan Marr
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Accelerating Fuzzing through Prefix-Guided Execution
Shaohua Li, Zhendong Su
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Adventure of a Lifetime: Extract Method Refactoring for Rust
Sewen Thy, Andreea Costea, Kiran Gopinathan, Ilya Sergey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit Jitendra Motwani
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Aliasing Limits on Translating C to Safe Rust
Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, Ben Hardekopf
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
An Explanation Method for Models of Code
Yu Wang, Ke Wang, Linzhang Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, S. Hitarth
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
AtomiS: Data-Centric Synchronization Made Practical
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Automated Ambiguity Detection in Layout-Sensitive Grammars
Jiangyi Liu, Fengmin Zhu, Fei He
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Automated Translation of Functional Big Data Queries to SQL
Guoqiang Zhang, Benjamin Mariano, Xipeng Shen, Işıl Dillig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Back to Direct Style: Typed and Tight
Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, Santosh Pande
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects
Xing Zhang, Guanchen Guo, Xiao He, Zhenjiang Hu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Bring Your Own Data Structures to Datalog
Arash Sahebolamri, Langston Barrett, Scott Moore, Kristopher Micinski
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Building Dynamic System Call Sandbox with Partial Order Analysis
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, Jiaguang Sun
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Compiling Structured Tensor Algebra
Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, Amir Shaikhha
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Complete First-Order Reasoning for Properties of Functional Programs
Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Compositional Security Definitions for Higher-Order Where Declassification
Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, Francois-Xavier Standaert
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Fangke Ye, Jisheng Zhao, Jun Shirako, Vivek Sarkar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, Sam Lindley
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, Mooly Sagiv
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Data Extraction via Semantic Regular Expression Synthesis
Qiaochu Chen, Arko Banerjee, Çağatay Demiralp, Greg Durrett, Işıl Dillig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Deep Learning Robustness Verification for Few-Pixel Attacks
Yuval Shapira, Eran Avneri, Dana Drachsler-Cohen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions
Christopher Wagner, Nouraldin Jaber, Roopsha Samanta
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Exact Recursive Probabilistic Programming
David Chiang, Colin McDonald, Chung-chieh Shan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Explainable Program Synthesis by Localizing Specifications
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, Ahmed Khaled Zaher
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Magnus Madsen, Jaco van de Pol, Troels Henriksen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Fat Pointers for Temporal Memory Safety of C
Jie Zhou, John Criswell, Michael Hicks
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Fluent APIs in Functional Languages
Ori Roth, Yossi Gil
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Formal Abstractions for Packet Scheduling
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Formally Verifying Optimizations with Block Simulations
Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Roşu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Gradual Typing for Effect Handlers
Max S. New, Eric Giovannini, Daniel R. Licata
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Greedy Implicit Bounded Quantification
Chen Cui, Shengyi Jiang, Bruno C. d. S. Oliveira
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Grounded Copilot: How Programmers Interact with Code-Generating Models
Shraddha Barke, Michael B. James, Nadia Polikarpova
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Hardware-Aware Static Optimization of Hyperdimensional Computations
Pu (Luke) Yi, Sara Achour
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Historia: Refuting Callback Reachability with Message-History Logics
Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
How Domain Experts Use an Embedded DSL
Lisa Rennels, Sarah E. Chasins
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
How Profilers Can Help Navigate Type Migration
Ben Greenman, Matthias Felleisen, Christos Dimoulas
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection
Lorenzo Gheri, Nobuko Yoshida
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Inductive Program Synthesis Guided by Observational Program Similarity
Jack Feser, Işıl Dillig, Armando Solar-Lezama
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Initializing Global Objects: Time and Order
Fengyun Liu, Ondřej Lhoták, David Hua, Enze Xing
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Interactive Debugging of Datalog Programs
André Pacak, Sebastian Erdweg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Languages with Decidable Learning: A Meta-theorem
Paul Krogmeier, P. Madhusudan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Leaf: Modularity for Temporary Sharing in Separation Logic
Travis Hance, Jon Howell, Oded Padon, Bryan Parno
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Live Pattern Matching with Typed Holes
Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Lower Bounds for Possibly Divergent Probabilistic Programs
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Huanqi Cao, Shizhi Tang, Qianchao Zhu, Bowen Yu, Wenguang Chen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
Chuta Sano, Ryan Kavanagh, Brigitte Pientka
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, Derek Dreyer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jin Zhou, Sam Silvestro, Steven (Jiaxun) Tang, Hanmei Yang, Hongyu Liu, Guangming Zeng, Bo Wu, Cong Liu, Tongping Liu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Message Chains for Distributed System Verification
Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Modular Component-Based Quantum Circuit Synthesis
Chan Gu Kang, Hakjoo Oh
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, Jeehoon Kang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Mutually Iso-Recursive Subtyping
Andreas Rossberg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
Noam Zilberstein, Derek Dreyer, Alexandra Silva
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
P4R-Type: A Verified API for P4 Control Plane Programs
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Perception Contracts for Safety of ML-Enabled Systems
Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Proof Automation for Linearizability in Separation Logic
Ike Mulder, Robbert Krebbers
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, Chengnian Sun
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, Danfeng Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Randomized Testing of Byzantine Fault Tolerant Algorithms
Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, Burcu Kulahcioglu Ozkan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Rapid: Region-Based Pointer Disambiguation
Khushboo Chitre, Piyus Kedia, Rahul Purandare
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Reference Capabilities for Flexible Memory Management
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Regular Expression Matching using Bit Vector Automata
Alexis Le Glaunec, Lingkun Kong, Konstantinos Mamouras
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Resource-Aware Soundness for Big-Step Semantics
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Reusing Just-in-Time Compiled Code
Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, Shan Lu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Saggitarius: A DSL for Specifying Grammatical Domains
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
Thierry Renaux, Sam Van den Vonder, Wolfgang De Meuter
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Simple Reference Immutability for System F <sub><:</sub>
Edward Lee, Ondřej Lhoták
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
Chenglin Wang, Fangzhen Lin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Solving String Constraints with Lengths by Stabilization
Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
Simon Friis Vindum, Lars Birkedal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Static Analysis of Memory Models for SMT Encodings
Thomas Haas, René Maseli, Roland Meyer, Hernán Ponce de León
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Stuttering for Free
Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, Derek Dreyer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Synthesizing Efficient Memoization Algorithms
Yican Sun, Xuanyu Peng, Yingfei Xiong
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Synthesizing Precise Static Analyzers for Automatic Differentiation
Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
Synthesizing Specifications
Kanghee Park, Loris D'Antoni, Thomas Reps
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
Matt D'Souza, James You, Ondřej Lhoták, Aleksandar Prokopec
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
The Bounded Pathwidth of Control-Flow Graphs
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Chun Kit Lam
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · OOPSLA
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）