Anthony Widjaja Lin

43 papers A* 7A 2B 9Journal 22Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Synthesis and Verification of Transformer Programs. CoRR Hongjian Jiang, Matthew Hague, Philipp Rümmer, Anthony Widjaja Lin
2025	J	`jnl`	Answering Constraint Path Queries over Graphs. CoRR Heyang Li, Anthony Widjaja Lin, Domagoj Vrgoc
2025	J	`jnl`	NoPE: The Counting Power of Transformers with No Positional Encodings. CoRR Chris Köcher, Alexander Kozachinskiy, Anthony Widjaja Lin, Marco Sälzer, Georg Zetzsche
2025	J	`jnl`	Probability Distributions Computed by Hard-Attention Transformers. CoRR Andy Yang, Anej Svete, Jiaoda Li, Anthony Widjaja Lin, Jonathan Rawski, Ryan Cotterell, David Chiang
2025	J	`jnl`	Softmax Transformers are Turing-Complete. CoRR Hongjian Jiang, Michael Hahn, Georg Zetzsche, Anthony Widjaja Lin
2025	J	`jnl`	The Power of Regular Constraint Propagation. Proc. ACM Program. Lang. Matthew Hague, Artur Jez, Anthony Widjaja Lin, Oliver Markgraf, Philipp Rümmer
2024	B	`conf`	Concurrent Stochastic Lossy Channel Games. CSL Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
2024	J	`jnl`	Generalization Bounds with Logarithmic Negative-Sample Dependence for Adversarial Contrastive Learning. Trans. Mach. Learn. Res. Naghmeh Ghanooni, Waleed Mustafa, Yunwen Lei, Anthony Widjaja Lin, Marius Kloft
2024	A*	`conf`	Logical Languages Accepted by Transformer Encoders with Hard Attention. ICLR Pablo Barceló, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir V. Podolskii
2024	J	`jnl`	Revisiting the Expressiveness Landscape of Data Graph Queries. CoRR Michael Benedikt, Anthony Widjaja Lin, Di-De Yen
2024	J	`jnl`	The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective. CoRR Pascal Bergsträßer, Chris Köcher, Anthony Widjaja Lin, Georg Zetzsche
2024	A*	`conf`	The Power of Hard Attention Transformers on Data Sequences: A formal language theoretic perspective. NeurIPS Pascal Bergsträßer, Chris Köcher, Anthony Widjaja Lin, Georg Zetzsche
2023	J	`jnl`	Concurrent Stochastic Lossy Channel Games. CoRR Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
2023	J	`jnl`	Logical Languages Accepted by Transformer Encoders with Hard Attention. CoRR Pablo Barceló, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir V. Podolskii
2022	B	`conf`	CertiStr: a certified string solver. CPP Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Micha Schrader
2022	A*	`conf`	Reasoning on Data Words over Numeric Domains. LICS Diego Figueira, Anthony Widjaja Lin
2021	J	`jnl`	Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report). CoRR Daniel Stan, Anthony Widjaja Lin
2021	J	`jnl`	Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020	B	`conf`	A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020	J	`jnl`	A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020	J	`jnl`	Monadic Decomposition in Integer Linear Arithmetic (Technical Report). CoRR Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2019	B	`ed.`	Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings APLAS Anthony Widjaja Lin
2017	—	`conf`	Fair Termination for Parameterized Probabilistic Concurrent Systems. TACAS (1) Ondrej Lengál, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rümmer
2016	—	`conf`	Decidable Models of Integer-Manipulating Programs with Recursive Parallelism. RP Matthew Hague, Anthony Widjaja Lin
2016	J	`jnl`	Decidable models of integer-manipulating programs with recursive parallelism (technical report). CoRR Matthew Hague, Anthony Widjaja Lin
2016	A*	`conf`	String solving with word equations and transducers: towards a logic for analysing mutation XSS. POPL Anthony Widjaja Lin, Pablo Barceló
2015	A	`conf`	Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. OOPSLA Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong
2015	J	`jnl`	Expressive Path Queries on Graph with Data. Log. Methods Comput. Sci. Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin
2014	B	`conf`	A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups. CONCUR Anthony Widjaja Lin, Sanming Zhou
2014	J	`jnl`	A linear time algorithm for the orbit problem over cyclic groups. CoRR Anthony Widjaja Lin, Sanming Zhou
2014	B	`conf`	Analysis of Probabilistic Basic Parallel Processes. FoSSaCS Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
2014	J	`jnl`	Analysis of Probabilistic Basic Parallel Processes. CoRR Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
2014	J	`jnl`	Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach. CoRR Matthew Hague, Anthony Widjaja Lin, Luke Ong
2014	J	`jnl`	Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. ACM Trans. Comput. Log. Stefan Göller, Anthony Widjaja Lin
2013	B	`conf`	Expressive Path Queries on Graphs with Data. LPAR Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin
2012	—	`conf`	Accelerating tree-automatic relations. FSTTCS Anthony Widjaja Lin
2012	A	`conf`	Concurrency Makes Simple Theories Hard. STACS Stefan Göller, Anthony Widjaja Lin
2012	J	`jnl`	Expressive Languages for Path Queries over Graph-Structured Data. ACM Trans. Database Syst. Pablo Barceló, Leonid Libkin, Anthony Widjaja Lin, Peter T. Wood
2012	A*	`conf`	Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. CAV Matthew Hague, Anthony Widjaja Lin
2012	B	`conf`	Weakly-Synchronized Ground Tree Rewriting - (with Applications to Verifying Multithreaded Programs). MFCS Anthony Widjaja Lin
2011	A*	`conf`	Model Checking Recursive Programs with Numeric Data Types. CAV Matthew Hague, Anthony Widjaja Lin
2011	B	`conf`	Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. CONCUR Stefan Göller, Anthony Widjaja Lin
2011	A*	`conf`	The Complexity of Verifying Ground Tree Rewrite Systems. LICS Stefan Göller, Anthony Widjaja Lin