dblp: Jens Palsberg

dblp: Jens Palsberg
default search action
combined dblp search
author search
venue search
publication search
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID
Persons
affiliation:
University of California, Los Angeles, USA
showing all
??
records
2026
[c101]
Keyi Yin
Xiang Fang
Zhuo Chen
David Hayes
Eneet Kaur
Reza Nejabati
Hartmut Haeffner
Wes Campbell
Eric R. Hudson
Jens Palsberg
Travis S. Humble
Yufei Ding
iSwitch: QEC on Demand via In-Situ Encoding of Bare Qubits for Ion Trap Architectures.
ASPLOS (2)
2026
1007-1021
[i5]
John Zhuoyang Ye
Jiyuan Wang
Yifan Qiao
Jens Palsberg
HALO: A Fine-Grained Resource Sharing Quantum Operating System.
CoRR
abs/2602.07191
2026
2025
[j74]
Shuyang Liu
Doug Lea
Jens Palsberg
Soundness of Predictive Concurrency Analyses.
Proc. ACM Program. Lang.
OOPSLA1
590-616
2025
[c100]
Pradeep Dogga
Rachee Singh
Suman Nath
Ravi Netravali
Jens Palsberg
George Varghese
Software Managed Networks via Coarsening.
HotNets
2025
201-209
[e12]
Daniel Kluss
Sara Achour
Jens Palsberg
Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction, CC 2025, Las Vegas, NV, USA, March 1-2, 2025.
ACM
2025
, ISBN
979-8-4007-1407-8
[contents]
[i4]
Nengkun Yu
Jens Palsberg
Thomas Reps
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits.
CoRR
abs/2507.13635
2025
2024
[j73]
Zeina Migeed
Jens Palsberg
Generalizing Shape Analysis with Gradual Types (Artifact).
Dagstuhl Artifacts Ser.
10
14:1-14:2
2024
[j72]
Keli Huang
Jens Palsberg
Compiling Conditional Quantum Gates without Using Helper Qubits.
Proc. ACM Program. Lang.
PLDI
1463-1484
2024
[c99]
Zeina Migeed
James Reed
Jason Ansel
Jens Palsberg
Generalizing Shape Analysis with Gradual Types.
ECOOP
2024
29:1-29:28
2023
[c98]
Akshay Utture
Jens Palsberg
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings.
ESEC/SIGSOFT FSE
2023
159-171
[e11]
Edwin C. Brady
Jens Palsberg
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023.
ACM
2023
[contents]
2022
[j71]
Shuyang Liu
John Bender
Jens Palsberg
Compiling Volatile Correctly in Java (Artifact).
Dagstuhl Artifacts Ser.
03:1-03:2
2022
[j70]
Abraham T. Asfaw
Alexandre Blais
Kenneth R. Brown
Jonathan Candelaria
Christopher Cantwell
Lincoln D. Carr
Joshua Combes
Dripto M. Debroy
John M. Donohue
Sophia E. Economou
Emily Edwards
Michael F. J. Fox
Steven M. Girvin
Alan Ho
Hilary M. Hurst
Zubin Jacob
Blake R. Johnson
Ezekiel Johnston-Halperin
Robert Joynt
Eliot Kapit
Judith Klein-Seetharaman
Martin Laforest
H. J. Lewandowski
Theresa W. Lynn
Corey Rae H. McRae
Celia Merzbacher
Spyridon Michalakis
Prineha Narang
William D. Oliver
Jens Palsberg
David P. Pappas
Michael G. Raymer
David J. Reilly
Mark Saffman
Thomas A. Searles
Jeffrey H. Shapiro
Chandralekha Singh
Building a Quantum Engineering Undergraduate Program.
IEEE Trans. Educ.
65
220-242
2022
[c97]
Shuyang Liu
John Bender
Jens Palsberg
Compiling Volatile Correctly in Java.
ECOOP
2022
6:1-6:26
[c96]
Akshay Utture
Jens Palsberg
Fast and Precise Application Code Analysis using a Partial Library.
ICSE
2022
934-945
[c95]
Akshay Utture
Shuyang Liu
Christian Gram Kalhauge
Jens Palsberg
Striking a Balance: Pruning False-Positives from Static Call Graphs.
ICSE
2022
2043-2055
[c94]
Mingkuan Xu
Zikun Li
Oded Padon
Sina Lin
Jessica Pointing
Auguste Hirth
Henry Ma
Jens Palsberg
Alex Aiken
Umut A. Acar
Zhihao Jia
Quartz: superoptimization of Quantum circuits.
PLDI
2022
625-640
[i3]
Mingkuan Xu
Zikun Li
Oded Padon
Sina Lin
Jessica Pointing
Auguste Hirth
Henry Ma
Jens Palsberg
Alex Aiken
Umut A. Acar
Zhihao Jia
Quartz: Superoptimization of Quantum Circuits (Extended Version).
CoRR
abs/2204.09033
2022
2021
[c93]
Nengkun Yu
Jens Palsberg
Quantum abstract interpretation.
PLDI
2021
542-558
[c92]
Christian Gram Kalhauge
Jens Palsberg
Logical bytecode reduction.
PLDI
2021
1003-1016
[c91]
Yan Cai
Hao Yun
Jinqiu Wang
Lei Qiao
Jens Palsberg
Sound and efficient concurrency bug prediction.
ESEC/SIGSOFT FSE
2021
255-267
[i2]
Jessica Pointing
Oded Padon
Zhihao Jia
Henry Ma
Auguste Hirth
Jens Palsberg
Alex Aiken
Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities.
CoRR
abs/2111.11387
2021
2020
[j69]
Benjamin C. Pierce
Michael Hicks
Cristina V. Lopes
Jens Palsberg
Conferences in an era of expensive carbon.
Commun. ACM
63
35-37
2020
[j68]
Zeina Migeed
Jens Palsberg
What is decidable about gradual types?
Proc. ACM Program. Lang.
POPL
29:1-29:29
2020
[c90]
Yan Cai
Ruijie Meng
Jens Palsberg
Low-overhead deadlock prediction.
ICSE
2020
1298-1309
[i1]
Clarice D. Aiello
D. D. Awschalom
Hannes Bernien
Tina Brower-Thomas
Kenneth R. Brown
Todd A. Brun
Justin R. Caram
Eric Chitambar
Rosa Di Felice
Michael F. J. Fox
Stephan Haas
Alexander W. Holleitner
Eric R. Hudson
Jeffrey H. Hunt
Robert Joynt
Scott Koziol
H. J. Lewandowski
Douglas T. McClure
Jens Palsberg
Gina Passante
Kristen L. Pudenz
Christopher J. K. Richardson
Jessica L. Rosenberg
R. S. Ross
Mark Saffman
M. Singh
David W. Steuerman
Chad Stark
Jos Thijssen
A. Nick Vamivakas
James D. Whitfield
Benjamin M. Zwickl
Achieving a quantum smart workforce.
CoRR
abs/2010.13778
2020
2019
[j67]
Jens Palsberg
Toward a universal quantum programming language.
XRDS
26
14-17
2019
[j66]
John Bender
Jens Palsberg
A formalization of Java's concurrent access modes.
Proc. ACM Program. Lang.
OOPSLA
142:1-142:28
2019
[c89]
Christian Gram Kalhauge
Jens Palsberg
Binary reduction of dependency graphs.
ESEC/SIGSOFT FSE
2019
556-566
2018
[j65]
Christian Gram Kalhauge
Jens Palsberg
Sound deadlock prediction.
Proc. ACM Program. Lang.
OOPSLA
146:1-146:29
2018
[j64]
Matt Brown
Jens Palsberg
Jones-optimal partial evaluation by specialization-safe normalization.
Proc. ACM Program. Lang.
POPL
14:1-14:28
2018
[c88]
Jens Palsberg
Cristina V. Lopes
NJR: a normalized Java resource.
ISSTA/ECOOP Workshops
2018
100-106
[e10]
Isil Dillig
Jens Palsberg
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings.
Lecture Notes in Computer Science
10747,
Springer
2018
, ISBN
978-3-319-73720-1
[contents]
2017
[c87]
Matt Brown
Jens Palsberg
Typed self-evaluation via intensional type functions.
POPL
2017
415-428
2016
[c86]
Matt Brown
Jens Palsberg
Breaking through the normalization barrier: a self-interpreter for f-omega.
POPL
2016
5-17
[c85]
Oren Freiberg
Jens Palsberg
Mahdi Eslamimehr
Retargetable Communication for Distributed Programs.
QoSA
2016
21-30
2015
[c84]
Riyaz Haque
Jens Palsberg
Type Inference for Place-Oblivious Objects.
ECOOP
2015
371-395
[c83]
John Bender
Mohsen Lesani
Jens Palsberg
Declarative fence insertion.
OOPSLA
2015
367-385
[c82]
Matt Brown
Jens Palsberg
Self-Representation in Girard's System U.
POPL
2015
471-484
2014
[j63]
Jia Hu
Jens Palsberg
Seetharami Seelam
Marco Di Natale
Lei (Chris) Liu
Introduction to special issue on embedded systems architecture and applications.
J. Syst. Archit.
60
419
2014
[j62]
Jens Palsberg
Editorial.
ACM Trans. Program. Lang. Syst.
37
1e:1
2014
[c81]
Mohsen Lesani
Todd D. Millstein
Jens Palsberg
Automatic Atomicity Verification for Clients of Concurrent Data Structures.
CAV
2014
550-567
[c80]
Mahdi Eslamimehr
Jens Palsberg
Race directed scheduling of concurrent programs.
PPoPP
2014
301-314
[c79]
Mahdi Eslamimehr
Jens Palsberg
Sherlock: scalable deadlock detection for concurrent programs.
SIGSOFT FSE
2014
353-365
[c78]
Mohsen Lesani
Jens Palsberg
Decomposing Opacity.
DISC
2014
391-405
2013
[j61]
Boubacar Diouf
Can Hantas
Albert Cohen
Özcan Özturk
Jens Palsberg
A decoupled local memory allocator.
ACM Trans. Archit. Code Optim.
34:1-34:22
2013
[j60]
Jens Palsberg
Editorial.
ACM Trans. Program. Lang. Syst.
35
1:1
2013
[c77]
Mahdi Eslamimehr
Jens Palsberg
Testing versus Static Analysis of Maximum Stack Size.
COMPSAC
2013
619-626
[c76]
Chen Liu
Bao-Hong Shen
Soon-Young Oh
Mario Gerla
Jens Palsberg
Clif Banner
Richard Butler
Agnostic Protocol Translation for Cross-Domain Information Sharing.
MILCOM
2013
1447-1452
[c75]
Mohsen Lesani
Jens Palsberg
Proving Non-opacity.
DISC
2013
106-120
2012
[j59]
Jens Palsberg
Editorial.
ACM Trans. Program. Lang. Syst.
34
1:1
2012
[c74]
Jens Palsberg
Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen.
Logic and Program Semantics
2012
204-218
[c73]
Jens Palsberg
Featherweight X10: a core calculus for async-finish parallelism.
FTfJP@ECOOP
2012
[c72]
Jonathan K. Lee
Jens Palsberg
Rupak Majumdar
Hong Hong
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism.
SAS
2012
5-23
2011
[j58]
Jens Palsberg
Editorial.
ACM Trans. Program. Lang. Syst.
33
1:1
2011
[j57]
Jens Palsberg
Editorial note.
ACM Trans. Program. Lang. Syst.
33
18:1
2011
[c71]
C. Barry Jay
Jens Palsberg
Typed self-interpretation by pattern matching.
ICFP
2011
247-258
[c70]
Zuohua Ding
Mingyue Jiang
Jens Palsberg
From textual use cases to service component models.
PESOS@ICSE
2011
8-14
[c69]
Shu-yu Guo
Jens Palsberg
The essence of compiling with traces.
POPL
2011
563-574
[c68]
Mohsen Lesani
Jens Palsberg
Communicating memory transactions.
PPoPP
2011
157-168
2010
[j56]
Zoran Budimlic
Michael G. Burke
Vincent Cavé
Kathleen Knobe
Geoff Lowney
Ryan Newton
Jens Palsberg
David M. Peixotto
Vivek Sarkar
Frank Schlimbach
Sagnak Tasirlar
Concurrent Collections.
Sci. Program.
18
3-4
203-217
2010
[c67]
Fernando Magno Quintão Pereira
Jens Palsberg
Punctual Coalescing.
CC
2010
165-184
[c66]
Stephen Kou
Jens Palsberg
From OO to FPGA: fitting round objects into square hardware?
OOPSLA
2010
109-124
[c65]
Jonathan K. Lee
Jens Palsberg
Featherweight X10: a core calculus for async-finish parallelism.
PPoPP
2010
25-36
[e9]
Manuel V. Hermenegildo
Jens Palsberg
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010.
ACM
2010
, ISBN
978-1-60558-479-9
[contents]
2009
[c64]
Jens Palsberg
Tribute to Peter Mosses.
Semantics and Algebraic Specification
2009
1-3
[c63]
Ben L. Titzer
Jens Palsberg
Vertical Object Layout and Compression for Fixed Heaps.
Semantics and Algebraic Specification
2009
376-408
[c62]
Fernando Magno Quintão Pereira
Jens Palsberg
SSA Elimination after Register Allocation.
CC
2009
158-173
[e8]
Jens Palsberg
Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science
5700,
Springer
2009
, ISBN
978-3-642-04163-1
[contents]
[e7]
Jens Palsberg
Zhendong Su
Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings.
Lecture Notes in Computer Science
5673,
Springer
2009
, ISBN
978-3-642-03236-3
[contents]
2008
[j55]
James C. Hoe
Jens Palsberg
MEMOCODE 2006 guest editors' introduction.
Des. Autom. Embed. Syst.
12
1-2
95
2008
[j54]
Holger Hermanns
Jens Palsberg
Improving the effectiveness of system verification.
Int. J. Softw. Tools Technol. Transf.
10
111-112
2008
[j53]
Jonathan K. Lee
Jens Palsberg
Fernando Magno Quintão Pereira
Aliased register allocation for straight-line programs is NP-complete.
Theor. Comput. Sci.
407
1-3
258-273
2008
[j52]
Mayur Naik
Jens Palsberg
A type system equivalent to a model checker.
ACM Trans. Program. Lang. Syst.
30
29:1-29:24
2008
[c61]
Nathaniel Nystrom
Vijay A. Saraswat
Jens Palsberg
Christian Grothoff
Constrained types for object-oriented languages.
OOPSLA
2008
457-474
[c60]
Fernando Magno Quintão Pereira
Jens Palsberg
Register allocation by puzzle solving.
PLDI
2008
216-226
[c59]
Jens Palsberg
Verification of Register Allocators.
VMCAI
2008
[e6]
Luca de Alfaro
Jens Palsberg
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008.
ACM
2008
, ISBN
978-1-60558-468-3
[contents]
[e5]
Klaus Havelund
Rupak Majumdar
Jens Palsberg
Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings.
Lecture Notes in Computer Science
5156,
Springer
2008
, ISBN
978-3-540-85113-4
[contents]
2007
[j51]
Martín Abadi
Jens Palsberg
Editorial.
ACM Trans. Program. Lang. Syst.
29
14
2007
[j50]
Christian Grothoff
Jens Palsberg
Jan Vitek
Encapsulating objects with confined types.
ACM Trans. Program. Lang. Syst.
29
32
2007
[c58]
Ben L. Titzer
Jens Palsberg
Vertical object layout and compression for fixed heaps.
CASES
2007
170-178
[c57]
Jens Palsberg
Register Allocation via Coloring of Chordal Graphs.
CATS
2007
[c56]
Jonathan K. Lee
Jens Palsberg
Fernando Magno Quintão Pereira
Aliased Register Allocation for Straight-Line Programs Is NP-Complete.
ICALP
2007
680-691
[c55]
Ben L. Titzer
Joshua S. Auerbach
David F. Bacon
Jens Palsberg
The ExoVM system for automatic VM and application reduction.
PLDI
2007
352-362
[c54]
V. Krishna Nandivada
Fernando Magno Quintão Pereira
Jens Palsberg
A Framework for End-to-End Verification and Evaluation of Register Allocators.
SAS
2007
153-169
[p1]
Jens Palsberg
Todd D. Millstein
Type Systems: Advances and Applications.
The Compiler Design Handbook, 2nd ed.
2007
2006
[j49]
Tian Zhao
Jens Palsberg
Jan Vitek
Type-based confinement.
J. Funct. Program.
16
83-128
2006
[c53]
Jens Palsberg
Event Driven Software Quality.
APLAS
2006
165
[c52]
V. Krishna Nandivada
Jens Palsberg
SARA: Combining Stack Allocation and Register Allocation.
CC
2006
232-246
[c51]
Brian Chin
Shane Markstrum
Todd D. Millstein
Jens Palsberg
Inference of User-Defined Type Qualifiers and Qualifier Rules.
ESOP
2006
264-278
[c50]
Fernando Magno Quintão Pereira
Jens Palsberg
Register Allocation After Classical SSA Elimination is NP-Complete.
FoSSaCS
2006
79-93
[e4]
Holger Hermanns
Jens Palsberg
Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings.
Lecture Notes in Computer Science
3920,
Springer
2006
, ISBN
3-540-33056-9
[contents]
2005
[j48]
Neal Glew
Jens Palsberg
Method Inlining, Dynamic Class Loading, and Type Soundness.
J. Object Technol.
33-53
2005
[j47]
Olaf Landsiedel
Klaus Wehrle
Ben L. Titzer
Jens Palsberg
Enabling Detailed Modeling and Analysis of Sensor Networks.
Prax. Inf.verarb. Kommun.
28
101-106
2005
[j46]
Jens Palsberg
Tian Zhao
Trevor Jim
Automatic discovery of covariant read-only fields.
ACM Trans. Program. Lang. Syst.
27
126-162
2005
[c49]
Fernando Magno Quintão Pereira
Jens Palsberg
Register Allocation Via Coloring of Chordal Graphs.
APLAS
2005
315-329
[c48]
Mayur Naik
Jens Palsberg
A Type System Equivalent to a Model Checker.
ESOP
2005
374-388
[c47]
Ben L. Titzer
Daniel K. Lee
Jens Palsberg
Avrora: scalable sensor network simulation with precise timing.
IPSN
2005
477-482
[c46]
Ben L. Titzer
Jens Palsberg
Nonintrusive precision instrumentation of microcontroller software.
LCTES
2005
59-68
[c45]
V. Krishna Nandivada
Jens Palsberg
Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks.
IEEE Real-Time and Embedded Technology and Applications Symposium
2005
541-549
[c44]
Neal Glew
Jens Palsberg
Christian Grothoff
Type-Safe Optimisation of Plugin Architectures.
SAS
2005
135-154
[c43]
Kevin K. Chang
Nithya Ramanathan
Deborah Estrin
Jens Palsberg
D.A.S.: deployment analysis system.
SenSys
2005
301
[e3]
Jens Palsberg
Martín Abadi
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005.
ACM
2005
, ISBN
1-58113-830-X
[contents]
2004
[j45]
Jens Palsberg
Tian Zhao
Type inference for record concatenation and subtyping.
Inf. Comput.
189
54-86
2004
[j44]
Krishnendu Chatterjee
Di Ma
Rupak Majumdar
Tian Zhao
Thomas A. Henzinger
Jens Palsberg
Stack size analysis for interrupt-driven programs.
Inf. Comput.
194
144-174
2004
[j43]
Neal Glew
Jens Palsberg
Type-safe method inlining.
Sci. Comput. Program.
52
281-306
2004
[j42]
Mayur Naik
Jens Palsberg
Compiling with code-size constraints.
ACM Trans. Embed. Comput. Syst.
163-181
2004
[j41]
Dennis Brylow
Jens Palsberg
Deadline Analysis of Interrupt-Driven Software.
IEEE Trans. Software Eng.
30
10
634-655
2004
2003
[j40]
Jens Palsberg
Mitchell Wand
CPS transformation of flow information.
J. Funct. Program.
13
905-923
2003
[c42]
V. Krishna Nandivada
Jens Palsberg
Efficient spill code for SDRAM.
CASES
2003
24-31
[c41]
Tian Zhao
Jens Palsberg
Jan Vitek
Lightweight confinement for featherweight Java.
OOPSLA
2003
135-148
[c40]
Krishnendu Chatterjee
Di Ma
Rupak Majumdar
Tian Zhao
Thomas A. Henzinger
Jens Palsberg
Stack Size Analysis for Interrupt-Driven Programs.
SAS
2003
109-126
[c39]
Dennis Brylow
Jens Palsberg
Deadline analysis of interrupt-driven software.
ESEC / SIGSOFT FSE
2003
198-207
2002
[b2]
Andrew W. Appel
Jens Palsberg
Modern Compiler Implementation in Java, 2nd edition.
Cambridge University Press
2002
, ISBN
0-521-82060-X
[j39]
Jens Palsberg
Scott J. Baxter
Teaching reviewing to graduate students.
Commun. ACM
45
12
22-24
2002
[c38]
Neal Glew
Jens Palsberg
Type-Safe Method Inlining.
ECOOP
2002
525-544
[c37]
Somesh Jha
Jens Palsberg
Tian Zhao
Efficient Type Matching.
FoSSaCS
2002
187-204
[c36]
Jens Palsberg
Di Ma
A Typed Interrupt Calculus.
FTRTFT
2002
291-310
[c35]
Mayur Naik
Jens Palsberg
Compiling with code-size constraints.
LCTES-SCOPES
2002
120-129
[c34]
Jens Palsberg
Tian Zhao
Efficient Type Inference for Record Concatenation and Subtyping.
LICS
2002
125-136
[e2]
Matthew B. Dwyer
Jens Palsberg
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'02, Charleston, South Carolina, USA, November 18-19, 2002.
ACM
2002
[contents]
2001
[j38]
Jens Palsberg
Tian Zhao
Efficient and Flexible Matching of Recursive Types.
Inf. Comput.
171
364-387
2001
[j37]
Jens Palsberg
Christina Pavlopoulou
From Polyvariant flow information to intersection and union types.
J. Funct. Program.
11
263-317
2001
[c33]
Dennis Brylow
Niels Damgaard
Jens Palsberg
Static Checking of Interrupt-Driven Software.
ICSE
2001
47-56
[c32]
Christian Grothoff
Jens Palsberg
Jan Vitek
Encapsulating Objects with Confined Types.
OOPSLA
2001
241-253
[c31]
Jens Palsberg
Type-based analysis and applications.
PASTE
2001
20-27
2000
[c30]
Jens Palsberg
S. Krishnaswamy
Minseok Kwon
Di Ma
Qiuyun Shao
Y. Zhang
Experience with Software Watermarking.
ACSAC
2000
308-316
[c29]
Jens Palsberg
Tian Zhao
Efficient and Flexible Matching of Recursive Types.
LICS
2000
388-398
[c28]
Frank Tip
Jens Palsberg
Scalable propagation-based call graph construction algorithms.
OOPSLA
2000
281-293
[e1]
Jens Palsberg
Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings.
Lecture Notes in Computer Science
1824,
Springer
2000
, ISBN
3-540-67668-6
[contents]
1999
[j36]
Alexander Aiken
Edward L. Wimmers
Jens Palsberg
Optimal Representations of Polymorphic Types with Subtyping.
High. Order Symb. Comput.
12
237-282
1999
1998
[j35]
Jens Palsberg
Equality-based flow analysis versus recursive types.
ACM Trans. Program. Lang. Syst.
20
1251-1264
1998
[j34]
Linda M. Seiter
Jens Palsberg
Karl J. Lieberherr
Evolution of Object Behavior Using Context Relations.
IEEE Trans. Software Eng.
24
79-92
1998
[c27]
Jens Palsberg
C. Barry Jay
The Essence of the Visitor Pattern.
COMPSAC
1998
9-15
[c26]
Jens Palsberg
Eta-Redexes in Partial Evaluation.
Partial Evaluation
1998
356-366
[c25]
Jens Palsberg
Christina Pavlopoulou
From Polyvariant Flow Information to Intersection and Union Types.
POPL
1998
197-208
1997
[j33]
Jens Palsberg
Mitchell Wand
Patrick O'Keefe
Type Inference with Non-Structural Subtyping.
Formal Aspects Comput.
49-67
1997
[j32]
Peter Ørbæk
Jens Palsberg
Trust in the lambda-Calculus.
J. Funct. Program.
557-591
1997
[j31]
Jens Palsberg
Trevor Jim
Type Inference with Simple Selftypes is NP-complete.
Nord. J. Comput.
259-286
1997
[j30]
Jens Palsberg
Boaz Patt-Shamir
Karl J. Lieberherr
A New Approach to Compiling Adaptive Programs.
Sci. Comput. Program.
29
303-326
1997
[j29]
Chris Hankin
Hanne Riis Nielson
Jens Palsberg
Position Statements on Strategic Directions for Research on Programming Languages.
ACM SIGPLAN Notices
32
59-65
1997
[j28]
Jens Palsberg
Class-Graph Inference for Adaptive Programs.
Theory Pract. Object Syst.
75-85
1997
[c24]
Alexander Aiken
Edward L. Wimmers
Jens Palsberg
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract).
TACS
1997
47-76
1996
[j27]
Jens Palsberg
Type Inference for Objects.
ACM Comput. Surv.
28
358-359
1996
[j26]
Jens Palsberg
Compiler Technology for Object-Oriented Languages.
ACM Comput. Surv.
28
4es
161
1996
[j25]
Jens Palsberg
Software Evolution and Integration.
ACM Comput. Surv.
28
4es
200
1996
[j24]
Chris Hankin
Hanne Riis Nielson
Jens Palsberg
Strategic Directions in Research on Programming Languages.
ACM Comput. Surv.
28
644-652
1996
[j23]
Jens Palsberg
Erratum: "Efficient Inference of Object Types" Volume123, Number 2 (1995), pages 198-209.
Inf. Comput.
126
103-104
1996
[j22]
Anders Bondorf
Jens Palsberg
Generating Action Compilers by Partial Evaluation.
J. Funct. Program.
269-298
1996
[j21]
Jens Palsberg
Scott F. Smith
Constrained Types and Their Expressiveness.
ACM Trans. Program. Lang. Syst.
18
519-527
1996
[j20]
Olivier Danvy
Karoline Malmkjær
Jens Palsberg
Eta-Expansion Does The Trick.
ACM Trans. Program. Lang. Syst.
18
730-751
1996
[c23]
Jens Palsberg
Boaz Patt-Shamir
Karl J. Lieberherr
A New Approach to Compiling Adaptive Programs.
ESOP
1996
280-295
[c22]
Linda M. Seiter
Jens Palsberg
Karl J. Lieberherr
Evolution of Object Behavior Using Context Relations.
SIGSOFT FSE
1996
46-57
1995
[j19]
Jens Palsberg
Michael I. Schwartzbach
Safety Analysis versus Type Inference.
Inf. Comput.
118
128-141
1995
[j18]
Jens Palsberg
Efficient Inference of Object Types.
Inf. Comput.
123
198-209
1995
[j17]
Olivier Danvy
Karoline Malmkjær
Jens Palsberg
The Essence of Eta-Expansion in Partial Evaluation.
LISP Symb. Comput.
209-227
1995
[j16]
Dexter Kozen
Jens Palsberg
Michael I. Schwartzbach
Efficient Recursive Subtyping.
Math. Struct. Comput. Sci.
113-125
1995
[j15]
Mitchell Wand
Patrick O'Keefe
Jens Palsberg
Strong Normalization with Non-Structural Subtyping.
Math. Struct. Comput. Sci.
419-429
1995
[j14]
Ole Agesen
Jens Palsberg
Michael I. Schwartzbach
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance.
Softw. Pract. Exp.
25
975-995
1995
[j13]
Jens Palsberg
Michael I. Schwartzbach
Editorial.
Theory Pract. Object Syst.
149
1995
[j12]
Allan Cheng
Javier Esparza
Jens Palsberg
Complexity Results for 1-Safe Nets.
Theor. Comput. Sci.
147
1&2
117-136
1995
[j11]
Jens Palsberg
Closure Analysis in Constraint Form.
ACM Trans. Program. Lang. Syst.
17
47-62
1995
[j10]
Jens Palsberg
Cun Xiao
Karl J. Lieberherr
Efficient Implementation of Adaptive Software.
ACM Trans. Program. Lang. Syst.
17
264-292
1995
[j9]
Jens Palsberg
Patrick O'Keefe
A Type System Equivalent to Flow Analysis.
ACM Trans. Program. Lang. Syst.
17
576-599
1995
[c21]
Jens Palsberg
Patrick O'Keefe
A Type System Equivalent to Flow Analysis.
POPL
1995
367-378
[c20]
Jens Palsberg
Peter Ørbæk
Trust in the lambda-Calculus.
SAS
1995
314-329
[c19]
Jens Palsberg
Comparing Flow-Based Binding-Time Analyses.
TAPSOFT
1995
561-574
1994
[b1]
Jens Palsberg
Michael I. Schwartzbach
Object-oriented type systems.
Wiley professional computing
Wiley
1994
, ISBN
978-0-471-94128-6
, pp. I-VIII, 1-180
[j8]
William R. Cook
Jens Palsberg
A Denotational Semantics of Inheritance and Its Correctness.
Inf. Comput.
114
329-350
1994
[j7]
Dexter Kozen
Jens Palsberg
Michael I. Schwartzbach
Efficient Inference of Partial Types.
J. Comput. Syst. Sci.
49
306-324
1994
[j6]
Jens Palsberg
Michael I. Schwartzbach
Static Typing for Object-Oriented Programming.
Sci. Comput. Program.
23
19-53
1994
[j5]
Andrew P. Black
Jens Palsberg
Foundations of Object-Oriented Languages - Workshop Report.
ACM SIGPLAN Notices
29
3-11
1994
[c18]
Jens Palsberg
Flobal Program Analysis in Constraint Form.
CAAP
1994
276-290
[c17]
Jens Palsberg
Michael I. Schwartzbach
Binding-time Analysis: Abstract Interpretation versus Type Inference.
ICCL
1994
277-288
[c16]
Jens Palsberg
Efficient Inference of Object Types.
LICS
1994
186-195
[c15]
Olivier Danvy
Karoline Malmkjær
Jens Palsberg
The Essence of Eta-Expansion in Partial Evaluation.
PEPM
1994
11-20
1993
[j4]
Jens Palsberg
Normal Forms Have Partial Types.
Inf. Process. Lett.
45
1-3
1993
[j3]
Jens Palsberg
Correctness of Binding-Time Analysis.
J. Funct. Program.
347-363
1993
[c14]
Ole Agesen
Jens Palsberg
Michael I. Schwartzbach
Type Inference of SELF.
ECOOP
1993
247-267
[c13]
Mike Banahan
L. Peter Deutsch
Boris Magnusson
Jens Palsberg
Panel: Aims, Means, and Future of Object-Oriented Languages.
ECOOP
1993
528-530
[c12]
Anders Bondorf
Jens Palsberg
Compiling Actions by Partial Evaluation.
FPCA
1993
308-320
[c11]
Allan Cheng
Javier Esparza
Jens Palsberg
Complexity Results for 1-safe Nets.
FSTTCS
1993
326-337
[c10]
Dexter Kozen
Jens Palsberg
Michael I. Schwartzbach
Efficient Recursive Subtyping.
POPL
1993
419-428
1992
[j2]
Jens Palsberg
Michael I. Schwartzbach
Safety Analysis Versus Type Inference for Partial Types.
Inf. Process. Lett.
43
175-180
1992
[j1]
Jens Palsberg
Michael I. Schwartzbach
Three discussions on object-oriented typing.
OOPS Messenger
31-38
1992
[c9]
Nicholas Oxhøj
Jens Palsberg
Michael I. Schwartzbach
Making Type Inference Practical.
ECOOP
1992
329-349
[c8]
Jens Palsberg
A Provably Correct Compiler Generator.
ESOP
1992
418-434
[c7]
Dexter Kozen
Jens Palsberg
Michael I. Schwartzbach
Efficient Inference of Partial Types.
FOCS
1992
363-371
[c6]
Jens Palsberg
An automatically generated and provably correct compiler for a subset of Ada.
ICCL
1992
117-126
[c5]
Michael I. Schwartzbach
Jens Palsberg
Types for the language designer (abstract).
OOPSLA Addendum
1992
219
1991
[c4]
Jens Palsberg
Michael I. Schwartzbach
What is Type-Safe Code Reuse?
ECOOP
1991
325-341
[c3]
Jens Palsberg
Michael I. Schwartzbach
Object-Oriented Type Inference.
OOPSLA
1991
146-161
1990
[c2]
Jens Palsberg
Michael I. Schwartzbach
Type Substitution for Object-Oriented Programming.
OOPSLA/ECOOP
1990
151-160
1989
[c1]
William R. Cook
Jens Palsberg
A Denotational Semantics of Inheritance and its Correctness.
OOPSLA
1989
433-443
Martín Abadi
[j51]
[e3]
Umut A. Acar
[c94]
[i3]
Sara Achour
[e12]
Ole Agesen
[j14]
[c14]
Clarice D. Aiello
[i1]
Alex Aiken
aka: Alexander Aiken
[c94]
[i3]
[i2]
[j36]
[c24]
Luca de Alfaro
[e6]
Jason Ansel
[c99]
Andrew W. Appel
[b2]
10
Abraham T. Asfaw
[j70]
11
Joshua S. Auerbach
[c55]
12
D. D. Awschalom
[i1]
13
David F. Bacon
[c55]
14
Mike Banahan
[c13]
15
Clif Banner
[c76]
16
Scott J. Baxter
[j39]
17
John Bender
[j71]
[c97]
[j66]
[c83]
18
Hannes Bernien
[i1]
19
Andrew P. Black
[j5]
20
Alexandre Blais
[j70]
21
Anders Bondorf
[j22]
[c12]
22
Edwin C. Brady
[e11]
23
Tina Brower-Thomas
[i1]
24
Kenneth R. Brown
[j70]
[i1]
25
Matt Brown
[j64]
[c87]
[c86]
[c82]
26
Todd A. Brun
[i1]
27
Dennis Brylow
[j41]
[c39]
[c33]
28
Zoran Budimlic
[j56]
29
Michael G. Burke
[j56]
30
Richard Butler
[c76]
31
Yan Cai
0001
[c91]
[c90]
32
Wes Campbell
[c101]
33
Jonathan Candelaria
[j70]
34
Christopher Cantwell
[j70]
35
Justin R. Caram
[i1]
36
Lincoln D. Carr
[j70]
37
Vincent Cavé
[j56]
38
Kevin K. Chang
[c43]
39
Krishnendu Chatterjee
[j44]
[c40]
40
Zhuo Chen
[c101]
41
Allan Cheng
[j12]
[c11]
42
Brian Chin
[c51]
43
Eric Chitambar
[i1]
44
Albert Cohen
0001
[j61]
45
Joshua Combes
[j70]
46
William R. Cook
[j8]
[c1]
47
Niels Damgaard
[c33]
48
Olivier Danvy
[j20]
[j17]
[c15]
49
Dripto M. Debroy
[j70]
50
L. Peter Deutsch
[c13]
51
Isil Dillig
[e10]
52
Yufei Ding
0001
[c101]
53
Zuohua Ding
[c70]
54
Boubacar Diouf
[j61]
55
Pradeep Dogga
[c100]
56
John M. Donohue
[j70]
57
Matthew B. Dwyer
[e2]
58
Sophia E. Economou
[j70]
59
Emily Edwards
[j70]
60
Mahdi Eslamimehr
[c85]
[c80]
[c79]
[c77]
61
Javier Esparza
[j12]
[c11]
62
Deborah Estrin
[c43]
63
Xiang Fang
[c101]
64
Rosa Di Felice
[i1]
65
Michael F. J. Fox
[j70]
[i1]
66
Oren Freiberg
[c85]
67
Mario Gerla
[c76]
68
Steven M. Girvin
[j70]
69
Neal Glew
[j48]
[c44]
[j43]
[c38]
70
Christian Grothoff
[c61]
[j50]
[c44]
[c32]
71
Shu-yu Guo
[c69]
72
Stephan Haas
[i1]
73
Hartmut Haeffner
[c101]
74
Chris Hankin
[j29]
[j24]
75
Can Hantas
[j61]
76
Riyaz Haque
[c84]
77
Klaus Havelund
[e5]
78
David Hayes
[c101]
79
Thomas A. Henzinger
[j44]
[c40]
80
Holger Hermanns
[j54]
[e4]
81
Manuel V. Hermenegildo
[e9]
82
Michael Hicks
0001
[j69]
83
Auguste Hirth
[c94]
[i3]
[i2]
84
Alan Ho
[j70]
85
James C. Hoe
[j55]
86
Alexander W. Holleitner
[i1]
87
Hong Hong
[c72]
88
Jia Hu
0001
[j63]
89
Keli Huang
[j72]
90
Eric R. Hudson
[c101]
[i1]
91
Travis S. Humble
[c101]
92
Jeffrey H. Hunt
[i1]
93
Hilary M. Hurst
[j70]
94
Zubin Jacob
[j70]
95
C. Barry Jay
[c71]
[c27]
96
Somesh Jha
[c37]
97
Zhihao Jia
[c94]
[i3]
[i2]
98
Mingyue Jiang
[c70]
99
Trevor Jim
[j46]
[j31]
100
Blake R. Johnson
[j70]
101
Ezekiel Johnston-Halperin
[j70]
102
Robert Joynt
[j70]
[i1]
103
Christian Gram Kalhauge
[c95]
[c92]
[c89]
[j65]
104
Eliot Kapit
[j70]
105
Eneet Kaur
[c101]
106
Judith Klein-Seetharaman
[j70]
107
Daniel Kluss
[e12]
108
Kathleen Knobe
[j56]
109
Stephen Kou
[c66]
110
Dexter Kozen
[j16]
[j7]
[c10]
[c7]
111
Scott Koziol
[i1]
112
S. Krishnaswamy
[c30]
113
Minseok Kwon
[c30]
114
Martin Laforest
[j70]
115
Olaf Landsiedel
[j47]
116
Doug Lea
[j74]
117
Daniel K. Lee
[c47]
118
Jonathan K. Lee
[c72]
[c65]
[j53]
[c56]
119
Mohsen Lesani
[c83]
[c81]
[c78]
[c75]
[c68]
120
H. J. Lewandowski
[j70]
[i1]
121
Zikun Li
[c94]
[i3]
122
Karl J. Lieberherr
[j34]
[j30]
[c23]
[c22]
[j10]
123
Sina Lin
[c94]
[i3]
124
Chen Liu
[c76]
125
Lei (Chris) Liu
[j63]
126
Shuyang Liu
[j74]
[j71]
[c97]
[c95]
127
Cristina V. Lopes
[j69]
[c88]
128
Geoff Lowney
[j56]
129
Theresa W. Lynn
[j70]
130
Di Ma
[j44]
[c40]
[c36]
[c30]
131
Henry Ma
[c94]
[i3]
[i2]
132
Boris Magnusson
[c13]
133
Rupak Majumdar
[c72]
[e5]
[j44]
[c40]
134
Karoline Malmkjær
[j20]
[j17]
[c15]
135
Shane Markstrum
[c51]
136
Douglas T. McClure
[i1]
137
Corey Rae H. McRae
[j70]
138
Ruijie Meng
[c90]
139
Celia Merzbacher
[j70]
140
Spyridon Michalakis
[j70]
141
Zeina Migeed
[j73]
[c99]
[j68]
142
Todd D. Millstein
[c81]
[p1]
[c51]
143
Mayur Naik
[j52]
[c48]
[j42]
[c35]
144
V. Krishna Nandivada
[c54]
[c52]
[c45]
[c42]
145
Prineha Narang
[j70]
146
Marco Di Natale
[j63]
147
Suman Nath
[c100]
148
Reza Nejabati
[c101]
149
Ravi Netravali
[c100]
150
Ryan Newton
[j56]
151
Hanne Riis Nielson
[j29]
[j24]
152
Nathaniel Nystrom
[c61]
153
Soon-Young Oh
[c76]
154
Patrick O'Keefe
[j33]
[j15]
[j9]
[c21]
155
William D. Oliver
[j70]
156
Peter Ørbæk
[j32]
[c20]
157
Nicholas Oxhøj
[c9]
158
Ozcan Ozturk
0001
aka: Özcan Özturk
0001
[j61]
159
Oded Padon
[c94]
[i3]
[i2]
160
David P. Pappas
[j70]
161
Gina Passante
[i1]
162
Boaz Patt-Shamir
[j30]
[c23]
163
Christina Pavlopoulou
[j37]
[c25]
164
David M. Peixotto
[j56]
165
Fernando Magno Quintão Pereira
[c67]
[c62]
[j53]
[c60]
[c56]
[c54]
[c50]
[c49]
166
Benjamin C. Pierce
[j69]
167
Jessica Pointing
[c94]
[i3]
[i2]
168
Kristen L. Pudenz
[i1]
169
Lei Qiao
[c91]
170
Yifan Qiao
[i5]
171
Nithya Ramanathan
[c43]
172
Michael G. Raymer
[j70]
173
James Reed
[c99]
174
David J. Reilly
[j70]
175
Thomas W. Reps
aka: Thomas Reps
[i4]
176
Christopher J. K. Richardson
[i1]
177
Jessica L. Rosenberg
[i1]
178
R. S. Ross
[i1]
179
Mark Saffman
[j70]
[i1]
180
Vijay A. Saraswat
[c61]
181
Vivek Sarkar
[j56]
182
Frank Schlimbach
[j56]
183
Michael I. Schwartzbach
[j19]
[j16]
[j14]
[j13]
[b1]
[j7]
[j6]
[c17]
[c14]
[c10]
[j2]
[j1]
[c9]
[c7]
[c5]
[c4]
[c3]
[c2]
184
Thomas A. Searles
[j70]
185
Seetharami Seelam
[j63]
186
Linda M. Seiter
[j34]
[c22]
187
Qiuyun Shao
[c30]
188
Jeffrey H. Shapiro
[j70]
189
Bao-Hong Shen
[c76]
190
Chandralekha Singh
[j70]
191
M. Singh
[i1]
192
Rachee Singh
[c100]
193
Scott F. Smith
0001
[j21]
194
Chad Stark
[i1]
195
David W. Steuerman
[i1]
196
Zhendong Su
0001
[e7]
197
Sagnak Tasirlar
[j56]
198
Jos Thijssen
[i1]
199
Frank Tip
[c28]
200
Ben L. Titzer
[c63]
[c58]
[c55]
[j47]
[c47]
[c46]
201
Akshay Utture
[c98]
[c96]
[c95]
202
A. Nick Vamivakas
[i1]
203
George Varghese
[c100]
204
Jan Vitek
[j50]
[j49]
[c41]
[c32]
205
Mitchell Wand
[j40]
[j33]
[j15]
206
Jinqiu Wang
[c91]
207
Jiyuan Wang
[i5]
208
Klaus Wehrle
[j47]
209
James D. Whitfield
[i1]
210
Edward L. Wimmers
[j36]
[c24]
211
Cun Xiao
[j10]
212
Mingkuan Xu
[c94]
[i3]
213
John Zhuoyang Ye
[i5]
214
Keyi Yin
[c101]
215
Nengkun Yu
[i4]
[c93]
216
Hao Yun
[c91]
217
Y. Zhang
[c30]
218
Tian Zhao
0002
[j49]
[j46]
[j45]
[j44]
[c41]
[c40]
[c37]
[c34]
[j38]
[c29]
219
Benjamin M. Zwickl
[i1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are
turned off by default
. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information
see our F.A.Q.
Unpaywalled article links
Add open access links from
to the list of external document links (if available).
load links from unpaywall.org
Privacy notice: By enabling the option above, your browser will contact the API of
unpaywall.org
to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the
Unpaywall privacy policy
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the
of the Internet Archive (if available).
load content from archive.org
Privacy notice: By enabling the option above, your browser will contact the API of
archive.org
to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the
Internet Archive privacy policy
Reference lists
Add a list of references from
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of
crossref.org
opencitations.net
, and
semanticscholar.org
to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the
Crossref privacy policy
and the
OpenCitations privacy policy
, as well as the
AI2 Privacy Policy
covering Semantic Scholar.
Citation data
Add a list of citing articles from
and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of
opencitations.net
and
semanticscholar.org
to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the
OpenCitations privacy policy
as well as the
AI2 Privacy Policy
covering Semantic Scholar.
OpenAlex data
Load additional information about publications from
load data from openalex.org
Privacy notice: By enabling the option above, your browser will contact the API of
openalex.org
to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by
OpenAlex
dblp team
all metadata released as
open data
under
CC0 1.0 license
see also:
Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: