default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJens Palsberg
Person information
- affiliation: University of California, Los Angeles, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j73]Zeina Migeed, Jens Palsberg:
Generalizing Shape Analysis with Gradual Types (Artifact). Dagstuhl Artifacts Ser. 10(2): 14:1-14:2 (2024)- [j72]Keli Huang
, Jens Palsberg:
Compiling Conditional Quantum Gates without Using Helper Qubits. Proc. ACM Program. Lang. 8(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. 8(2): 03:1-03:2 (2022) - [j70]Abraham 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(2): 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(3): 35-37 (2020) - [j68]Zeina Migeed, Jens Palsberg:
What is decidable about gradual types? Proc. ACM Program. Lang. 4(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)
2010 – 2019
- 2019
- [j67]Jens Palsberg:
Toward a universal quantum programming language. XRDS 26(1): 14-17 (2019) - [j66]John Bender, Jens Palsberg:
A formalization of Java's concurrent access modes. Proc. ACM Program. Lang. 3(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. 2(OOPSLA): 146:1-146:29 (2018) - [j64]Matt Brown, Jens Palsberg:
Jones-optimal partial evaluation by specialization-safe normalization. Proc. ACM Program. Lang. 2(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(5): 419 (2014) - [j62]Jens Palsberg:
Editorial. ACM Trans. Program. Lang. Syst. 37(1): 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. 9(4): 34:1-34:22 (2013) - [j60]Jens Palsberg:
Editorial. ACM Trans. Program. Lang. Syst. 35(1): 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: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: 1 - [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:1 (2011) - [j57]Jens Palsberg:
Editorial note. ACM Trans. Program. Lang. Syst. 33(6): 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]
2000 – 2009
- 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(2): 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(5): 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: 6 - [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(3): 14 (2007) - [j50]Christian Grothoff, Jens Palsberg, Jan Vitek:
Encapsulating objects with confined types. ACM Trans. Program. Lang. Syst. 29(6): 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: 3 - [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: 9 - 2006
- [j49]Tian Zhao, Jens Palsberg, Jan Vitek:
Type-based confinement. J. Funct. Program. 16(1): 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. 4(8): 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(2): 101-106 (2005) - [j46]Jens Palsberg, Tian Zhao, Trevor Jim:
Automatic discovery of covariant read-only fields. ACM Trans. Program. Lang. Syst. 27(1): 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(1): 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(2): 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. 3(1): 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(5): 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(2): 364-387 (2001) - [j37]Jens Palsberg, Christina Pavlopoulou:
From Polyvariant flow information to intersection and union types. J. Funct. Program. 11(3): 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]
1990 – 1999
- 1999
- [j36]Alexander Aiken, Edward L. Wimmers, Jens Palsberg:
Optimal Representations of Polymorphic Types with Subtyping. High. Order Symb. Comput. 12(3): 237-282 (1999) - 1998
- [j35]Jens Palsberg:
Equality-based flow analysis versus recursive types. ACM Trans. Program. Lang. Syst. 20(6): 1251-1264 (1998) - [j34]Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr:
Evolution of Object Behavior Using Context Relations. IEEE Trans. Software Eng. 24(1): 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. 9(1): 49-67 (1997) - [j32]Peter Ørbæk, Jens Palsberg:
Trust in the lambda-Calculus. J. Funct. Program. 7(6): 557-591 (1997) - [j31]Jens Palsberg, Trevor Jim:
Type Inference with Simple Selftypes is NP-complete. Nord. J. Comput. 4(2): 259-286 (1997) - [j30]Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr:
A New Approach to Compiling Adaptive Programs. Sci. Comput. Program. 29(3): 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(1): 59-65 (1997) - [j28]Jens Palsberg:
Class-Graph Inference for Adaptive Programs. Theory Pract. Object Syst. 3(2): 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(2): 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(4): 644-652 (1996) - [j23]Jens Palsberg:
Erratum: "Efficient Inference of Object Types" Volume123, Number 2 (1995), pages 198-209. Inf. Comput. 126(1): 103-104 (1996) - [j22]Anders Bondorf, Jens Palsberg:
Generating Action Compilers by Partial Evaluation. J. Funct. Program. 6(2): 269-298 (1996) - [j21]Jens Palsberg, Scott F. Smith:
Constrained Types and Their Expressiveness. ACM Trans. Program. Lang. Syst. 18(5): 519-527 (1996) - [j20]Olivier Danvy, Karoline Malmkjær, Jens Palsberg:
Eta-Expansion Does The Trick. ACM Trans. Program. Lang. Syst. 18(6): 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(1): 128-141 (1995) - [j18]Jens Palsberg:
Efficient Inference of Object Types. Inf. Comput. 123(2): 198-209 (1995) - [j17]Olivier Danvy, Karoline Malmkjær, Jens Palsberg:
The Essence of Eta-Expansion in Partial Evaluation. LISP Symb. Comput. 8(3): 209-227 (1995) - [j16]Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach:
Efficient Recursive Subtyping. Math. Struct. Comput. Sci. 5(1): 113-125 (1995) - [j15]Mitchell Wand, Patrick O'Keefe, Jens Palsberg:
Strong Normalization with Non-Structural Subtyping. Math. Struct. Comput. Sci. 5(3): 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(9): 975-995 (1995) - [j13]Jens Palsberg, Michael I. Schwartzbach:
Editorial. Theory Pract. Object Syst. 1(3): 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(1): 47-62 (1995) - [j10]Jens Palsberg, Cun Xiao, Karl J. Lieberherr:
Efficient Implementation of Adaptive Software. ACM Trans. Program. Lang. Syst. 17(2): 264-292 (1995) - [j9]Jens Palsberg, Patrick O'Keefe:
A Type System Equivalent to Flow Analysis. ACM Trans. Program. Lang. Syst. 17(4): 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(2): 329-350 (1994) - [j7]Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach:
Efficient Inference of Partial Types. J. Comput. Syst. Sci. 49(2): 306-324 (1994) - [j6]Jens Palsberg, Michael I. Schwartzbach:
Static Typing for Object-Oriented Programming. Sci. Comput. Program. 23(1): 19-53 (1994) - [j5]Andrew P. Black, Jens Palsberg:
Foundations of Object-Oriented Languages - Workshop Report. ACM SIGPLAN Notices 29(3): 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): 1-3 (1993) - [j3]Jens Palsberg:
Correctness of Binding-Time Analysis. J. Funct. Program. 3(3): 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(4): 175-180 (1992) - [j1]Jens Palsberg, Michael I. Schwartzbach:
Three discussions on object-oriented typing. OOPS Messenger 3(2): 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
1980 – 1989
- 1989
- [c1]William R. Cook, Jens Palsberg:
A Denotational Semantics of Inheritance and its Correctness. OOPSLA 1989: 433-443
Coauthor Index
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).
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).
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 
.
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.
last updated on 2024-11-30 00:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | 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:
