Jens Palsberg

195 papers A* 24A 26B 23C 1Misc 5Journal 79Unranked 30
YearRankTypeTitle / Venue / Authors
2026 J jnl
HALO: A Fine-Grained Resource Sharing Quantum Operating System.
CoRR
John Zhuoyang Ye, Jiyuan Wang, Yifan Qiao, Jens Palsberg
2026 — conf
iSwitch: QEC on Demand via In-Situ Encoding of Bare Qubits for Ion Trap Architectures.
ASPLOS (2)
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
2025 B ed.
Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction, CC 2025, Las Vegas, NV, USA, March 1-2, 2025
CC
Daniel Kluss, Sara Achour, Jens Palsberg
2025 J jnl
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits.
CoRR
Nengkun Yu, Jens Palsberg, Thomas Reps
2025 Misc conf
Software Managed Networks via Coarsening.
HotNets
Pradeep Dogga, Rachee Singh, Suman Nath, Ravi Netravali, Jens Palsberg, George Varghese
2025 J jnl
Soundness of Predictive Concurrency Analyses.
Proc. ACM Program. Lang.
Shuyang Liu, Doug Lea, Jens Palsberg
2024 J jnl
Compiling Conditional Quantum Gates without Using Helper Qubits.
Proc. ACM Program. Lang.
Keli Huang, Jens Palsberg
2024 J jnl
Generalizing Shape Analysis with Gradual Types (Artifact).
Dagstuhl Artifacts Ser.
Zeina Migeed, Jens Palsberg
2024 A conf
Generalizing Shape Analysis with Gradual Types.
ECOOP
Zeina Migeed, James Reed, Jason Ansel, Jens Palsberg
2023 — conf
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings.
ESEC/SIGSOFT FSE
Akshay Utture, Jens Palsberg
2023 — ed.
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023
PEPM@POPL
Edwin C. Brady, Jens Palsberg
2022 J jnl
Building a Quantum Engineering Undergraduate Program.
IEEE Trans. Educ.
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
2022 J jnl
Compiling Volatile Correctly in Java (Artifact).
Dagstuhl Artifacts Ser.
Shuyang Liu, John Bender, Jens Palsberg
2022 A conf
Compiling Volatile Correctly in Java.
ECOOP
Shuyang Liu, John Bender, Jens Palsberg
2022 A* conf
Fast and Precise Application Code Analysis using a Partial Library.
ICSE
Akshay Utture, Jens Palsberg
2022 J jnl
Quartz: Superoptimization of Quantum Circuits (Extended Version).
CoRR
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
2022 A* conf
Quartz: superoptimization of Quantum circuits.
PLDI
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
2022 A* conf
Striking a Balance: Pruning False-Positives from Static Call Graphs.
ICSE
Akshay Utture, Shuyang Liu, Christian Gram Kalhauge, Jens Palsberg
2021 A* conf
Logical bytecode reduction.
PLDI
Christian Gram Kalhauge, Jens Palsberg
2021 J jnl
Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities.
CoRR
Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg, Alex Aiken
2021 A* conf
Quantum abstract interpretation.
PLDI
Nengkun Yu, Jens Palsberg
2021 — conf
Sound and efficient concurrency bug prediction.
ESEC/SIGSOFT FSE
Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg
2020 J jnl
Achieving a quantum smart workforce.
CoRR
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
2020 J jnl
Conferences in an era of expensive carbon.
Commun. ACM
Benjamin C. Pierce, Michael Hicks, Cristina V. Lopes, Jens Palsberg
2020 A* conf
Low-overhead deadlock prediction.
ICSE
Yan Cai, Ruijie Meng, Jens Palsberg
2020 J jnl
What is decidable about gradual types?
Proc. ACM Program. Lang.
Zeina Migeed, Jens Palsberg
2019 J jnl
A formalization of Java's concurrent access modes.
Proc. ACM Program. Lang.
John Bender, Jens Palsberg
2019 — conf
Binary reduction of dependency graphs.
ESEC/SIGSOFT FSE
Christian Gram Kalhauge, Jens Palsberg
2019 J jnl
Toward a universal quantum programming language.
XRDS
Jens Palsberg
2018 J jnl
Jones-optimal partial evaluation by specialization-safe normalization.
Proc. ACM Program. Lang.
Matt Brown, Jens Palsberg
2018 — conf
NJR: a normalized Java resource.
ISSTA/ECOOP Workshops
Jens Palsberg, Cristina V. Lopes
2018 J jnl
Sound deadlock prediction.
Proc. ACM Program. Lang.
Christian Gram Kalhauge, Jens Palsberg
2018 B ed.
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
VMCAI
Isil Dillig, Jens Palsberg
2017 A* conf
Typed self-evaluation via intensional type functions.
POPL
Matt Brown, Jens Palsberg
2016 A* conf
Breaking through the normalization barrier: a self-interpreter for f-omega.
POPL
Matt Brown, Jens Palsberg
2016 — conf
Retargetable Communication for Distributed Programs.
QoSA
Oren Freiberg, Jens Palsberg, Mahdi Eslamimehr
2015 A conf
Declarative fence insertion.
OOPSLA
John Bender, Mohsen Lesani, Jens Palsberg
2015 A* conf
Self-Representation in Girard's System U.
POPL
Matt Brown, Jens Palsberg
2015 A conf
Type Inference for Place-Oblivious Objects.
ECOOP
Riyaz Haque, Jens Palsberg
2014 A* conf
Automatic Atomicity Verification for Clients of Concurrent Data Structures.
CAV
Mohsen Lesani, Todd D. Millstein, Jens Palsberg
2014 A conf
Decomposing Opacity.
DISC
Mohsen Lesani, Jens Palsberg
2014 J jnl
Editorial.
ACM Trans. Program. Lang. Syst.
Jens Palsberg
2014 J jnl
Introduction to special issue on embedded systems architecture and applications.
J. Syst. Archit.
Jia Hu, Jens Palsberg, Seetharami Seelam, Marco Di Natale, Lei (Chris) Liu
2014 B conf
Race directed scheduling of concurrent programs.
PPoPP
Mahdi Eslamimehr, Jens Palsberg
2014 — conf
Sherlock: scalable deadlock detection for concurrent programs.
SIGSOFT FSE
Mahdi Eslamimehr, Jens Palsberg
2013 J jnl
A decoupled local memory allocator.
ACM Trans. Archit. Code Optim.
Boubacar Diouf, Can Hantas, Albert Cohen, Özcan Özturk, Jens Palsberg
2013 — conf
Agnostic Protocol Translation for Cross-Domain Information Sharing.
MILCOM
Chen Liu, Bao-Hong Shen, Soon-young Oh, Mario Gerla, Jens Palsberg, Clif Banner, Richard Butler
2013 J jnl
Editorial.
ACM Trans. Program. Lang. Syst.
Jens Palsberg
2013 A conf
Proving Non-opacity.
DISC
Mohsen Lesani, Jens Palsberg
2013 B conf
Testing versus Static Analysis of Maximum Stack Size.
COMPSAC
Mahdi Eslamimehr, Jens Palsberg
2012 J jnl
Editorial.
ACM Trans. Program. Lang. Syst.
Jens Palsberg
2012 B conf
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism.
SAS
Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong
2012 — conf
Featherweight X10: a core calculus for async-finish parallelism.
FTfJP@ECOOP
Jens Palsberg
2012 — conf
Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen.
Logic and Program Semantics
Jens Palsberg
2011 B conf
Communicating memory transactions.
PPoPP
Mohsen Lesani, Jens Palsberg
2011 J jnl
Editorial note.
ACM Trans. Program. Lang. Syst.
Jens Palsberg
2011 J jnl
Editorial.
ACM Trans. Program. Lang. Syst.
Jens Palsberg
2011 — conf
From textual use cases to service component models.
PESOS@ICSE
Zuohua Ding, Mingyue Jiang, Jens Palsberg
2011 A* conf
The essence of compiling with traces.
POPL
Shu-Yu Guo, Jens Palsberg
2011 A conf
Typed self-interpretation by pattern matching.
ICFP
C. Barry Jay, Jens Palsberg
2010 J jnl
Concurrent Collections.
Sci. Program.
Zoran Budimlic, Michael G. Burke, Vincent Cavé, Kathleen Knobe, Geoff Lowney, Ryan Newton, Jens Palsberg, David M. Peixotto, Vivek Sarkar, Frank Schlimbach, Sagnak Tasirlar
2010 B conf
Featherweight X10: a core calculus for async-finish parallelism.
PPoPP
Jonathan K. Lee, Jens Palsberg
2010 A conf
From OO to FPGA: fitting round objects into square hardware?
OOPSLA
Stephen Kou, Jens Palsberg
2010 A* ed.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010
POPL
Manuel V. Hermenegildo, Jens Palsberg
2010 B conf
Punctual Coalescing.
CC
Fernando Magno Quintão Pereira, Jens Palsberg
2009 B conf
SSA Elimination after Register Allocation.
CC
Fernando Magno Quintão Pereira, Jens Palsberg
2009 — ed.
Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Semantics and Algebraic Specification
Jens Palsberg
2009 B ed.
Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
SAS
Jens Palsberg, Zhendong Su
2009 — conf
Tribute to Peter Mosses.
Semantics and Algebraic Specification
Jens Palsberg
2009 — conf
Vertical Object Layout and Compression for Fixed Heaps.
Semantics and Algebraic Specification
Ben L. Titzer, Jens Palsberg
2008 J jnl
A type system equivalent to a model checker.
ACM Trans. Program. Lang. Syst.
Mayur Naik, Jens Palsberg
2008 J jnl
Aliased register allocation for straight-line programs is NP-complete.
Theor. Comput. Sci.
Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira
2008 A conf
Constrained types for object-oriented languages.
OOPSLA
Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff
2008 J jnl
Improving the effectiveness of system verification.
Int. J. Softw. Tools Technol. Transf.
Holger Hermanns, Jens Palsberg
2008 J jnl
MEMOCODE 2006 guest editors' introduction.
Des. Autom. Embed. Syst.
James C. Hoe, Jens Palsberg
2008 — ed.
Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
SPIN
Klaus Havelund, Rupak Majumdar, Jens Palsberg
2008 Misc ed.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008
EMSOFT
Luca de Alfaro, Jens Palsberg
2008 A* conf
Register allocation by puzzle solving.
PLDI
Fernando Magno Quintão Pereira, Jens Palsberg
2008 B conf
Verification of Register Allocators.
VMCAI
Jens Palsberg
2007 B conf
A Framework for End-to-End Verification and Evaluation of Register Allocators.
SAS
V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg
2007 A* conf
Aliased Register Allocation for Straight-Line Programs Is NP-Complete.
ICALP
Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira
2007 J jnl
Editorial.
ACM Trans. Program. Lang. Syst.
Martín Abadi, Jens Palsberg
2007 J jnl
Encapsulating objects with confined types.
ACM Trans. Program. Lang. Syst.
Christian Grothoff, Jens Palsberg, Jan Vitek
2007 — conf
Register Allocation via Coloring of Chordal Graphs.
CATS
Jens Palsberg
2007 A* conf
The ExoVM system for automatic VM and application reduction.
PLDI
Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg
2007 — ch.
Type Systems: Advances and Applications.
The Compiler Design Handbook, 2nd ed.
Jens Palsberg, Todd D. Millstein
2007 Misc conf
Vertical object layout and compression for fixed heaps.
CASES
Ben L. Titzer, Jens Palsberg
2006 B conf
Event Driven Software Quality.
APLAS
Jens Palsberg
2006 A conf
Inference of User-Defined Type Qualifiers and Qualifier Rules.
ESOP
Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg
2006 B conf
Register Allocation After Classical SSA Elimination is NP-Complete.
FoSSaCS
Fernando Magno Quintão Pereira, Jens Palsberg
2006 B conf
SARA: Combining Stack Allocation and Register Allocation.
CC
V. Krishna Nandivada, Jens Palsberg
2006 A ed.
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
TACAS
Holger Hermanns, Jens Palsberg
2006 J jnl
Type-based confinement.
J. Funct. Program.
Tian Zhao, Jens Palsberg, Jan Vitek
2005 A conf
A Type System Equivalent to a Model Checker.
ESOP
Mayur Naik, Jens Palsberg
2005 J jnl
Automatic discovery of covariant read-only fields.
ACM Trans. Program. Lang. Syst.
Jens Palsberg, Tian Zhao, Trevor Jim
2005 — conf
Avrora: scalable sensor network simulation with precise timing.
IPSN
Ben L. Titzer, Daniel K. Lee, Jens Palsberg
2005 Misc conf
D.A.S.: deployment analysis system.
SenSys
Kevin K. Chang, Nithya Ramanathan, Deborah Estrin, Jens Palsberg
2005 J jnl
Enabling Detailed Modeling and Analysis of Sensor Networks.
Prax. Inf.verarb. Kommun.
Olaf Landsiedel, Klaus Wehrle, Ben L. Titzer, Jens Palsberg
2005 J jnl
Method Inlining, Dynamic Class Loading, and Type Soundness.
J. Object Technol.
Neal Glew, Jens Palsberg
2005 B conf
Nonintrusive precision instrumentation of microcontroller software.
LCTES
Ben L. Titzer, Jens Palsberg
2005 A* ed.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005
POPL
Jens Palsberg, Martín Abadi
2005 B conf
Register Allocation Via Coloring of Chordal Graphs.
APLAS
Fernando Magno Quintão Pereira, Jens Palsberg
2005 A conf
Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks.
IEEE Real-Time and Embedded Technology and Applications Symposium
V. Krishna Nandivada, Jens Palsberg
2005 B conf
Type-Safe Optimisation of Plugin Architectures.
SAS
Neal Glew, Jens Palsberg, Christian Grothoff
2004 J jnl
Compiling with code-size constraints.
ACM Trans. Embed. Comput. Syst.
Mayur Naik, Jens Palsberg
2004 J jnl
Deadline Analysis of Interrupt-Driven Software.
IEEE Trans. Software Eng.
Dennis Brylow, Jens Palsberg
2004 J jnl
Stack size analysis for interrupt-driven programs.
Inf. Comput.
Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
2004 J jnl
Type inference for record concatenation and subtyping.
Inf. Comput.
Jens Palsberg, Tian Zhao
2004 J jnl
Type-safe method inlining.
Sci. Comput. Program.
Neal Glew, Jens Palsberg
2003 J jnl
CPS transformation of flow information.
J. Funct. Program.
Jens Palsberg, Mitchell Wand
2003 — conf
Deadline analysis of interrupt-driven software.
ESEC / SIGSOFT FSE
Dennis Brylow, Jens Palsberg
2003 Misc conf
Efficient spill code for SDRAM.
CASES
V. Krishna Nandivada, Jens Palsberg
2003 A conf
Lightweight confinement for featherweight Java.
OOPSLA
Tian Zhao, Jens Palsberg, Jan Vitek
2003 B conf
Stack Size Analysis for Interrupt-Driven Programs.
SAS
Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
2002 — conf
A Typed Interrupt Calculus.
FTRTFT
Jens Palsberg, Di Ma
2002 — conf
Compiling with code-size constraints.
LCTES-SCOPES
Mayur Naik, Jens Palsberg
2002 A* conf
Efficient Type Inference for Record Concatenation and Subtyping.
LICS
Jens Palsberg, Tian Zhao
2002 B conf
Efficient Type Matching.
FoSSaCS
Somesh Jha, Jens Palsberg, Tian Zhao
2002 — book
Modern Compiler Implementation in Java, 2nd edition.
Andrew W. Appel, Jens Palsberg
2002 — ed.
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
PASTE
Matthew B. Dwyer, Jens Palsberg
2002 J jnl
Teaching reviewing to graduate students.
Commun. ACM
Jens Palsberg, Scott J. Baxter
2002 A conf
Type-Safe Method Inlining.
ECOOP
Neal Glew, Jens Palsberg
2001 J jnl
Efficient and Flexible Matching of Recursive Types.
Inf. Comput.
Jens Palsberg, Tian Zhao
2001 A conf
Encapsulating Objects with Confined Types.
OOPSLA
Christian Grothoff, Jens Palsberg, Jan Vitek
2001 J jnl
From Polyvariant flow information to intersection and union types.
J. Funct. Program.
Jens Palsberg, Christina Pavlopoulou
2001 A* conf
Static Checking of Interrupt-Driven Software.
ICSE
Dennis Brylow, Niels Damgaard, Jens Palsberg
2001 — conf
Type-based analysis and applications.
PASTE
Jens Palsberg
2000 A* conf
Efficient and Flexible Matching of Recursive Types.
LICS
Jens Palsberg, Tian Zhao
2000 A conf
Experience with Software Watermarking.
ACSAC
Jens Palsberg, S. Krishnaswamy, Minseok Kwon, Di Ma, Qiuyun Shao, Y. Zhang
2000 A conf
Scalable propagation-based call graph construction algorithms.
OOPSLA
Frank Tip, Jens Palsberg
2000 B ed.
Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings
SAS
Jens Palsberg
1999 J jnl
Optimal Representations of Polymorphic Types with Subtyping.
High. Order Symb. Comput.
Alexander Aiken, Edward L. Wimmers, Jens Palsberg
1998 J jnl
Equality-based flow analysis versus recursive types.
ACM Trans. Program. Lang. Syst.
Jens Palsberg
1998 — conf
Eta-Redexes in Partial Evaluation.
Partial Evaluation
Jens Palsberg
1998 J jnl
Evolution of Object Behavior Using Context Relations.
IEEE Trans. Software Eng.
Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr
1998 A* conf
From Polyvariant Flow Information to Intersection and Union Types.
POPL
Jens Palsberg, Christina Pavlopoulou
1998 B conf
The Essence of the Visitor Pattern.
COMPSAC
Jens Palsberg, C. Barry Jay
1997 J jnl
A New Approach to Compiling Adaptive Programs.
Sci. Comput. Program.
Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr
1997 J jnl
Class-Graph Inference for Adaptive Programs.
Theory Pract. Object Syst.
Jens Palsberg
1997 — conf
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract).
TACS
Alexander Aiken, Edward L. Wimmers, Jens Palsberg
1997 J jnl
Position Statements on Strategic Directions for Research on Programming Languages.
ACM SIGPLAN Notices
Chris Hankin, Hanne Riis Nielson, Jens Palsberg
1997 J jnl
Trust in the lambda-Calculus.
J. Funct. Program.
Peter Ørbæk, Jens Palsberg
1997 J jnl
Type Inference with Non-Structural Subtyping.
Formal Aspects Comput.
Jens Palsberg, Mitchell Wand, Patrick O'Keefe
1997 J jnl
Type Inference with Simple Selftypes is NP-complete.
Nord. J. Comput.
Jens Palsberg, Trevor Jim
1996 A conf
A New Approach to Compiling Adaptive Programs.
ESOP
Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr
1996 J jnl
Compiler Technology for Object-Oriented Languages.
ACM Comput. Surv.
Jens Palsberg
1996 J jnl
Constrained Types and Their Expressiveness.
ACM Trans. Program. Lang. Syst.
Jens Palsberg, Scott F. Smith
1996 J jnl
Erratum: "Efficient Inference of Object Types" Volume123, Number 2 (1995), pages 198-209.
Inf. Comput.
Jens Palsberg
1996 J jnl
Eta-Expansion Does The Trick.
ACM Trans. Program. Lang. Syst.
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
1996 — conf
Evolution of Object Behavior Using Context Relations.
SIGSOFT FSE
Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr
1996 J jnl
Generating Action Compilers by Partial Evaluation.
J. Funct. Program.
Anders Bondorf, Jens Palsberg
1996 J jnl
Software Evolution and Integration.
ACM Comput. Surv.
Jens Palsberg
1996 J jnl
Strategic Directions in Research on Programming Languages.
ACM Comput. Surv.
Chris Hankin, Hanne Riis Nielson, Jens Palsberg
1996 J jnl
Type Inference for Objects.
ACM Comput. Surv.
Jens Palsberg
1995 J jnl
A Type System Equivalent to Flow Analysis
ACM Trans. Program. Lang. Syst.
Jens Palsberg, Patrick O'Keefe
1995 A* conf
A Type System Equivalent to Flow Analysis.
POPL
Jens Palsberg, Patrick O'Keefe
1995 J jnl
Closure Analysis in Constraint Form.
ACM Trans. Program. Lang. Syst.
Jens Palsberg
1995 — conf
Comparing Flow-Based Binding-Time Analyses.
TAPSOFT
Jens Palsberg
1995 J jnl
Complexity Results for 1-Safe Nets.
Theor. Comput. Sci.
Allan Cheng, Javier Esparza, Jens Palsberg
1995 J jnl
Editorial.
Theory Pract. Object Syst.
Jens Palsberg, Michael I. Schwartzbach
1995 J jnl
Efficient Implementation of Adaptive Software.
ACM Trans. Program. Lang. Syst.
Jens Palsberg, Cun Xiao, Karl J. Lieberherr
1995 J jnl
Efficient Inference of Object Types.
Inf. Comput.
Jens Palsberg
1995 J jnl
Efficient Recursive Subtyping.
Math. Struct. Comput. Sci.
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
1995 J jnl
Safety Analysis versus Type Inference
Inf. Comput.
Jens Palsberg, Michael I. Schwartzbach
1995 J jnl
Strong Normalization with Non-Structural Subtyping.
Math. Struct. Comput. Sci.
Mitchell Wand, Patrick O'Keefe, Jens Palsberg
1995 J jnl
The Essence of Eta-Expansion in Partial Evaluation.
LISP Symb. Comput.
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
1995 B conf
Trust in the lambda-Calculus
SAS
Jens Palsberg, Peter Ørbæk
1995 J jnl
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
Softw. Pract. Exp.
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
1994 J jnl
A Denotational Semantics of Inheritance and Its Correctness
Inf. Comput.
William R. Cook, Jens Palsberg
1994 — conf
Binding-time Analysis: Abstract Interpretation versus Type Inference.
ICCL
Jens Palsberg, Michael I. Schwartzbach
1994 A* conf
Efficient Inference of Object Types
LICS
Jens Palsberg
1994 J jnl
Efficient Inference of Partial Types.
J. Comput. Syst. Sci.
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
1994 — conf
Flobal Program Analysis in Constraint Form.
CAAP
Jens Palsberg
1994 J jnl
Foundations of Object-Oriented Languages - Workshop Report.
ACM SIGPLAN Notices
Andrew P. Black, Jens Palsberg
1994 — book
Object-oriented type systems.
Jens Palsberg, Michael I. Schwartzbach
1994 J jnl
Static Typing for Object-Oriented Programming.
Sci. Comput. Program.
Jens Palsberg, Michael I. Schwartzbach
1994 C conf
The Essence of Eta-Expansion in Partial Evaluation.
PEPM
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
1993 — conf
Compiling Actions by Partial Evaluation.
FPCA
Anders Bondorf, Jens Palsberg
1993 — conf
Complexity Results for 1-safe Nets.
FSTTCS
Allan Cheng, Javier Esparza, Jens Palsberg
1993 J jnl
Correctness of Binding-Time Analysis.
J. Funct. Program.
Jens Palsberg
1993 A* conf
Efficient Recursive Subtyping.
POPL
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
1993 J jnl
Normal Forms Have Partial Types.
Inf. Process. Lett.
Jens Palsberg
1993 A conf
Panel: Aims, Means, and Future of Object-Oriented Languages.
ECOOP
Mike Banahan, L. Peter Deutsch, Boris Magnusson, Jens Palsberg
1993 A conf
Type Inference of SELF.
ECOOP
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
1992 A conf
A Provably Correct Compiler Generator.
ESOP
Jens Palsberg
1992 — conf
An automatically generated and provably correct compiler for a subset of Ada.
ICCL
Jens Palsberg
1992 A* conf
Efficient Inference of Partial Types
FOCS
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
1992 A conf
Making Type Inference Practical.
ECOOP
Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach
1992 J jnl
Safety Analysis Versus Type Inference for Partial Types.
Inf. Process. Lett.
Jens Palsberg, Michael I. Schwartzbach
1992 J jnl
Three discussions on object-oriented typing.
OOPS Messenger
Jens Palsberg, Michael I. Schwartzbach
1992 — conf
Types for the language designer (abstract).
OOPSLA Addendum
Michael I. Schwartzbach, Jens Palsberg
1991 A conf
Object-Oriented Type Inference.
OOPSLA
Jens Palsberg, Michael I. Schwartzbach
1991 A conf
What is Type-Safe Code Reuse?
ECOOP
Jens Palsberg, Michael I. Schwartzbach
1990 — conf
Type Substitution for Object-Oriented Programming.
OOPSLA/ECOOP
Jens Palsberg, Michael I. Schwartzbach
1989 A conf
A Denotational Semantics of Inheritance and its Correctness.
OOPSLA
William R. Cook, Jens Palsberg