researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
C++
Java
Meta-Environment
analysis
compiler
data-flow
data-flow analysis
design
e-science
functional programming
logic
logic programming
meta-model
meta-objects
optimization
programming
programming languages
rule-based
systematic-approach
transformation
Filter by Author
[+]
OR
AND
NOT
1
Alan M. Sykes
Alexander O. Skomorokhov
Alvin J. Surkan
Atsushi Igarashi
J. Philip Benkard
James A. Brown
Kenneth E. Iverson
Kohei Suenaga
Kwangkeun Yi
Manuel Alfonseca
Martin Sulzmann
Masato Takeichi
Naoki Kobayashi
Naoki Kobayashi 0001
Robert Bernecky
Roger K. W. Hui
Shin-Cheng Mu
Siau-Cheng Khoo
Wei-Ngan Chin
Zhenjiang Hu
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
apl
apl2
calculus
data
functional
language
languages
logic
model
proceedings
program
programming
programs
system
systems
type
types
using
verification
APLAS (aplas)
Editions
Publications
Viewing Publication 1 - 100 from 1094
2023
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
Yannick Forster 0002
,
Dominik Kirst
,
Niklas Mück
.
aplas 2023
:
155-181
[doi]
A Diamond Machine for Strong Evaluation
Beniamino Accattoli
,
Pablo Barenbaum
.
aplas 2023
:
69-90
[doi]
m-CFA Exhibits Perfect Stack Precision
Kimball Germane
.
aplas 2023
:
290-309
[doi]
Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Chung-Kil Hur
, editor,
Volume 14405 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Argument Reduction of Constrained Horn Clauses Using Equality Constraints
Ryo Ikeda
,
Ryosuke Sato 0001
,
Naoki Kobayashi 0001
.
aplas 2023
:
246-265
[doi]
Transport via Partial Galois Connections and Equivalences
Kevin Kappelmann
.
aplas 2023
:
225-245
[doi]
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists
Clemens Kupke
,
Fredrik Nordvall Forsberg
,
Sean Watters
.
aplas 2023
:
135-154
[doi]
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
Wenhua Li
,
Quang Loc Le
,
Yahui Song
,
Wei-Ngan Chin
.
aplas 2023
:
269-289
[doi]
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq
Ayumu Saito
,
Reynald Affeldt
.
aplas 2023
:
182-202
[doi]
TorchProbe: Fuzzing Dynamic Deep Learning Compilers
Qidong Su
,
Chuqin Geng
,
Gennady Pekhimenko
,
Xujie Si
.
aplas 2023
:
310-331
[doi]
What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study
Ke Sun
,
Sheng Chen
,
Meng Wang 0002
,
Dan Hao 0001
.
aplas 2023
:
24-45
[doi]
Compilation Semantics for a Programming Language with Versions
Yudai Tanabe
,
Luthfan Anshar Lubis
,
Tomoyuki Aotani
,
Hidehiko Masuhara
.
aplas 2023
:
3-23
[doi]
Typed Non-determinism in Functional and Concurrent Calculi
Bas van den Heuvel 0001
,
Joseph W. N. Paulus
,
Daniele Nantes Sobrinho
,
Jorge A. Pérez 0001
.
aplas 2023
:
112-132
[doi]
Types and Semantics for Extensible Data Types
Cas van der Rest
,
Casper Bach Poulsen
.
aplas 2023
:
46-66
[doi]
Proofs as Terms, Terms as Graphs
Jui-Hsuan Wu
.
aplas 2023
:
91-111
[doi]
Towards a Framework for Developing Verified Assemblers for the ELF Format
Jinhua Wu
,
Yuting Wang 0001
,
Meng Sun
,
Xiangzhe Xu
,
Yichen Song
.
aplas 2023
:
205-224
[doi]
2022
Decoupling the Ascending and Descending Phases in Abstract Interpretation
Vincenzo Arceri
,
Isabella Mastroeni
,
Enea Zaffanella
.
aplas 2022
:
25-44
[doi]
Model-Based Fault Classification for Automotive Software
Mike Becker
,
Roland Meyer 0001
,
Tobias Runge
,
Ina Schaefer
,
Sören van der Wall
,
Sebastian Wolff 0001
.
aplas 2022
:
110-131
[doi]
RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties
Robert Dickerson
,
Qianchuan Ye
,
Michael K. Zhang
,
Benjamin Delaware
.
aplas 2022
:
67-87
[doi]
An Algebraic Theory for Shared-State Concurrency
Yotam Dvir
,
Ohad Kammar
,
Ori Lahav
.
aplas 2022
:
3-24
[doi]
Novice Type Error Diagnosis with Natural Language Models
Chuqin Geng
,
Haolin Ye
,
Yixuan Li
,
Tianyu Han
,
Brigitte Pientka
,
Xujie Si
.
aplas 2022
:
196-214
[doi]
Characterizing Functions Mappable over GADTs
Patricia Johann
,
Pierre Cagne
.
aplas 2022
:
135-154
[doi]
Inferring Region Types via an Abstract Notion of Environment Transformation
Ulrich Schöpp
,
Chuangjie Xu
.
aplas 2022
:
45-64
[doi]
Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
Ilya Sergey
, editor,
Volume 13658 of
Lecture Notes in Computer Science
, Springer,
2022.
[doi]
Automated Temporal Verification for Algebraic Effects
Yahui Song
,
Darius Foo
,
Wei-Ngan Chin
.
aplas 2022
:
88-109
[doi]
Applicative Intersection Types
Xu Xue
,
Bruno C. D. S. Oliveira
,
Ningning Xie
.
aplas 2022
:
155-174
[doi]
A Calculus with Recursive Types, Record Concatenation and Subtyping
Yaoda Zhou
,
Bruno C. D. S. Oliveira
,
Andong Fan
.
aplas 2022
:
175-195
[doi]
2021
PyCT: A Python Concolic Tester
Yu-Fang Chen 0001
,
Wei-Lun Tsai
,
Wei-Cheng Wu
,
Di-De Yen
,
Fang Yu 0001
.
aplas 2021
:
38-46
[doi]
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly
Carmine Abate
,
Matteo Busi
,
Stelios Tsampas 0001
.
aplas 2021
:
83-101
[doi]
Solving Not-Substring Constraint withFlat Abstraction
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Yu-Fang Chen 0001
,
Bui Phi Diep
,
Lukás Holík
,
Denghang Hu
,
Wei-Lun Tsai
,
Zhilin Wu
,
Di-De Yen
.
aplas 2021
:
305-320
[doi]
Adaptable Traces for Program Explanations
Divya Bajaj
,
Martin Erwig
,
Danila Fedorin
,
Kai Gay
.
aplas 2021
:
202-221
[doi]
Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus
Agustín Borgna
,
Simon Perdrix
,
Benoît Valiron
.
aplas 2021
:
121-139
[doi]
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
Wonhyuk Choi
,
Michel Vazirani
,
Mark Santolucito
.
aplas 2021
:
47-61
[doi]
A Typed Programmatic Interface to Contracts on the Blockchain
Thi Thu Ha Doan
,
Peter Thiemann 0001
.
aplas 2021
:
222-240
[doi]
The Choice Construct in the Soufflé Language
Xiaowen Hu
,
Joshua Karp
,
David Zhao
,
Abdul Zreika
,
Xi Wu 0005
,
Bernhard Scholz
.
aplas 2021
:
163-181
[doi]
Server-Side Computation of Package Dependencies in Package-Management Systems
Nobuhiro Kasai
,
Isao Sasano
.
aplas 2021
:
62-79
[doi]
Function Pointer Eliminator for C Programs
Daisuke Kimura
,
Mahmudul Faisal Al Ameen
,
Makoto Tatsuta
,
Koji Nakazawa
.
aplas 2021
:
23-37
[doi]
Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Yuandong Cyrus Liu
,
Chengbin Pang
,
Daniel Dietsch
,
Eric Koskinen
,
Ton Chanh Le
,
Georgios Portokalidis
,
Jun Xu 0024
.
aplas 2021
:
285-304
[doi]
Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings
Hakjoo Oh
, editor,
Volume 13008 of
Lecture Notes in Computer Science
, Springer,
2021.
[doi]
A Compilation Method for Dynamic Typing in ML
Atsushi Ohori
,
Katsuhiro Ueno
.
aplas 2021
:
140-159
[doi]
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination
Tsubasa Shoshi
,
Takuma Ishikawa
,
Naoki Kobayashi 0001
,
Ken Sakayori
,
Ryosuke Sato
,
Takeshi Tsukada
.
aplas 2021
:
265-284
[doi]
A Dictionary-Passing Translation of Featherweight Go
Martin Sulzmann
,
Stefan Wehr
.
aplas 2021
:
102-120
[doi]
Latent Effects for Reusable Language Components
Birthe van den Berg
,
Tom Schrijvers
,
Casper Bach Poulsen
,
Nicolas Wu
.
aplas 2021
:
182-201
[doi]
Simplifying Alternating Automata for Emptiness Testing
Pavol Vargovcík
,
Lukás Holík
.
aplas 2021
:
243-264
[doi]
Scalable and Modular Robustness Analysis of Deep Neural Networks
Yuyi Zhong
,
Quang-Trung Ta
,
Tianzuo Luo
,
Fanlong Zhang
,
Siau-Cheng Khoo
.
aplas 2021
:
3-22
[doi]
2020
An Abstract Machine for Strong Call by Value
Malgorzata Biernacka
,
Dariusz Biernacki
,
Witold Charatonik
,
Tomasz Drab
.
aplas 2020
:
147-166
[doi]
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Mario Bravetti
,
Adrian Francalanza
,
Iaroslav Golovanov
,
Hans Hüttel
,
Mathias Jakobsen
,
Mikkel Kettunen
,
António Ravara
.
aplas 2020
:
105-124
[doi]
Declarative Stream Runtime Verification (hLola)
Martín Ceresa
,
Felipe Gorostiaga
,
César Sánchez
.
aplas 2020
:
25-43
[doi]
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Yu-Fang Chen
,
Vojtech Havlena
,
Ondrej Lengál
,
Andrea Turrini
.
aplas 2020
:
343-363
[doi]
Banyan: Coordination-Free Distributed Transactions over Mergeable Types
Shashank Shekhar Dubey
,
K. C. Sivaramakrishnan
,
Thomas Gazagnaire
,
Anil Madhavapeddy
.
aplas 2020
:
231-250
[doi]
A Set-Based Context Model for Program Analysis
Leandro Facchinetti
,
Zachary Palmer
,
Scott F. Smith 0001
,
Ke Wu
,
Ayaka Yorihiro
.
aplas 2020
:
3-24
[doi]
Formal Verification of Atomicity Requirements for Smart Contracts
Ning Han
,
Ximeng Li 0003
,
Guohui Wang
,
Zhiping Shi 0002
,
Yong Guan
.
aplas 2020
:
44-64
[doi]
A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking
Hiroyuki Katsura
,
Naoki Iwayama
,
Naoki Kobayashi 0001
,
Takeshi Tsukada
.
aplas 2020
:
86-104
[doi]
Neural Networks, Secure by Construction - An Exploration of Refinement Types
Wen Kokke
,
Ekaterina Komendantskaya
,
Daniel Kienitz
,
Robert Atkey
,
David Aspinall 0001
.
aplas 2020
:
67-85
[doi]
Relational Synthesis for Pattern Matching
Dmitry Kosarev
,
Petr Lozov
,
Dmitry Boulytchev
.
aplas 2020
:
293-310
[doi]
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
Xiaotong Liu
,
Tong Jia
,
Ying Li
,
Hao Yu
,
Yang Yue
,
Chuanjia Hou
.
aplas 2020
:
251-269
[doi]
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
Julian Mackay
,
Alex Potanin
,
Jonathan Aldrich
,
Lindsay Groves
.
aplas 2020
:
125-144
[doi]
Parameterized Synthesis with Safety Properties
Oliver Markgraf
,
Chih-Duo Hong
,
Anthony W. Lin
,
Muhammad Najib
,
Daniel Neider
.
aplas 2020
:
273-292
[doi]
Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings
Bruno C. D. S. Oliveira
, editor,
Volume 12470 of
Lecture Notes in Computer Science
, Springer,
2020.
[doi]
3: A Profiler Suite for Parallel Applications on the Java Virtual Machine
Andrea Rosà
,
Walter Binder
.
aplas 2020
:
364-372
[doi]
Certified Semantics for Relational Programming
Dmitry Rozplokhas
,
Andrey Vyatkin
,
Dmitry Boulytchev
.
aplas 2020
:
167-185
[doi]
REFINITY to Model and Prove Program Transformation Rules
Dominic Steinhöfel
.
aplas 2020
:
311-319
[doi]
A Counterexample-Guided Debugger for Non-recursive Datalog
Van-Dang Tran
,
Hiroyuki Kato
,
Zhenjiang Hu
.
aplas 2020
:
323-342
[doi]
Algebraic and Coalgebraic Perspectives on Interaction Laws
Tarmo Uustalu
,
Niels F. W. Voorneveld
.
aplas 2020
:
186-205
[doi]
Stack-Driven Program Generation of WebAssembly
Árpád Perényi
,
Jan Midtgaard
.
aplas 2020
:
209-230
[doi]
2019
Factorization and Normalization, Essentially
Beniamino Accattoli
,
Claudia Faggian
,
Giulio Guerrieri
.
aplas 2019
:
159-180
[doi]
Lightweight Functional Logic Meta-Programming
Nada Amin
,
William E. Byrd
,
Tiark Rompf
.
aplas 2019
:
225-243
[doi]
Simulations in Rank-Based Büchi Automata Complementation
Yu-Fang Chen
,
Vojtech Havlena
,
Ondrej Lengál
.
aplas 2019
:
447-467
[doi]
J-ReCoVer: Java Reducer Commutativity Verifier
Yu-Fang Chen
,
Chang-Yi Chiang
,
Lukás Holík
,
Wei-Tsung Kao
,
Hsin-hung Lin
,
Tomás Vojnar
,
Yean-Fu Wen
,
Wei-Cheng Wu
.
aplas 2019
:
357-366
[doi]
Existential Types for Relaxed Noninterference
Raimil Cruz
,
Éric Tanter
.
aplas 2019
:
73-92
[doi]
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
Thomas D. Dickerson
,
Eric Koskinen
,
Paul Gazzillo
,
Maurice Herlihy
.
aplas 2019
:
313-331
[doi]
TxForest: A DSL for Concurrent Filestores
Jonathan DiLorenzo
,
Katie Mancini
,
Kathleen Fisher
,
Nate Foster
.
aplas 2019
:
332-354
[doi]
Dissecting Widening: Separating Termination from Information
Graeme Gange
,
Jorge A. Navas
,
Peter Schachte
,
Harald Søndergaard
,
Peter J. Stuckey
.
aplas 2019
:
95-114
[doi]
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
Jinlong He
,
Taolue Chen
,
Ping Wang
,
Zhilin Wu
,
Jun Yan
.
aplas 2019
:
291-312
[doi]
Pumping, with or Without Choice
Aquinas Hobor
,
Elaine Li
,
Frank Stephan 0001
.
aplas 2019
:
427-446
[doi]
On Strings in Software Model Checking
Hossein Hojjat
,
Philipp Rümmer
,
Ali Shamakhi
.
aplas 2019
:
19-30
[doi]
Succinct Determinisation of Counting Automata via Sphere Construction
Lukás Holík
,
Ondrej Lengál
,
Olli Saarikivi
,
Lenka Turonová
,
Margus Veanes
,
Tomás Vojnar
.
aplas 2019
:
468-489
[doi]
A Type-Based HFL Model Checking Algorithm
Youkichi Hosoi
,
Naoki Kobayashi 0001
,
Takeshi Tsukada
.
aplas 2019
:
136-155
[doi]
A Dependently Typed Multi-stage Calculus
Akira Kawata
,
Atsushi Igarashi
.
aplas 2019
:
53-72
[doi]
Mimalloc: Free List Sharding in Action
Daan Leijen
,
Benjamin Zorn
,
Leonardo de Moura
.
aplas 2019
:
244-265
[doi]
Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings
Anthony Widjaja Lin
, editor,
Volume 11893 of
Lecture Notes in Computer Science
, Springer,
2019.
[doi]
Proving that Programs Are Differentially Private
Annabelle McIver
,
Carroll Morgan
.
aplas 2019
:
3-18
[doi]
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion
Masayuki Mizuno
,
Eijiro Sumii
.
aplas 2019
:
181-201
[doi]
Recursion Schemes in Coq
Kosuke Murata
,
Kento Emoto
.
aplas 2019
:
202-221
[doi]
Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies
Tukaram Muske
,
Rohith Talluri
,
Alexander Serebrenik
.
aplas 2019
:
115-135
[doi]
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL
Yutaka Nagashima
.
aplas 2019
:
266-287
[doi]
Manifest Contracts with Intersection Types
Yuki Nishida
,
Atsushi Igarashi
.
aplas 2019
:
33-52
[doi]
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning
Long H. Pham
,
Jun Sun 0001
,
Quang Loc Le
.
aplas 2019
:
405-424
[doi]
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
Makoto Tatsuta
,
Koji Nakazawa
,
Daisuke Kimura
.
aplas 2019
:
367-387
[doi]
Uniform Random Process Model Revisited
Wenbo Zhang
,
Huan Long
,
Xian Xu 0001
.
aplas 2019
:
388-404
[doi]
2018
Scallina: Translating Verified Programs from Coq to Scala
Youssef El Bakouny
,
Dani Mezher
.
aplas 2018
:
131-145
[doi]
Factoring Derivation Spaces via Intersection Types
Pablo Barenbaum
,
Gonzalo Ciruelos
.
aplas 2018
:
24-44
[doi]
Non-linear Pattern Matching with Backtracking for Non-free Data Types
Satoshi Egi
,
Yuichi Nishiwaki
.
aplas 2018
:
3-23
[doi]
Shallow Effect Handlers
Daniel Hillerström
,
Sam Lindley
.
aplas 2018
:
415-435
[doi]
Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine
Fabian Kunze
,
Gert Smolka
,
Yannick Forster 0002
.
aplas 2018
:
264-283
[doi]
Complexity Analysis of Tree Share Structure
Xuan Bach Le
,
Aquinas Hobor
,
Anthony W. Lin
.
aplas 2018
:
89-108
[doi]
Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings
Sukyoung Ryu
, editor,
Volume 11275 of
Lecture Notes in Computer Science
, Springer,
2018.
[doi]
Particle-Style Geometry of Interaction as a Module System
Ulrich Schöpp
.
aplas 2018
:
202-222
[doi]
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models
Thibault Suzanne
,
Antoine Miné
.
aplas 2018
:
109-128
[doi]
Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS
Urara Yamada
,
Kenichi Asai
.
aplas 2018
:
375-393
[doi]
Sign in
or
sign up
to see more results.