| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jens Palsberg |
Editorial.  |
ACM Trans. Program. Lang. Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg |
Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg |
Editorial. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg |
Editorial note. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu-yu Guo, Jens Palsberg |
The essence of compiling with traces. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Barry Jay, Jens Palsberg |
Typed self-interpretation by pattern matching. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohsen Lesani, Jens Palsberg |
Communicating memory transactions. |
PPOPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Scientific Programming |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Jens Palsberg (eds.) |
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 |
POPL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fernando Magno Quintão Pereira, Jens Palsberg |
Punctual Coalescing. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Kou, Jens Palsberg |
From OO to FPGA: fitting round objects into square hardware? |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan K. Lee, Jens Palsberg |
Featherweight X10: a core calculus for async-finish parallelism. |
PPOPP |
2010 |
DBLP DOI BibTeX RDF |
parallelism, static analysis, operational semantics |
| 1 | Fernando Magno Quintão Pereira, Jens Palsberg |
SSA Elimination after Register Allocation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg (eds.) |
Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg |
Tribute to Peter Mosses. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Titzer, Jens Palsberg |
Vertical Object Layout and Compression for Fixed Heaps. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Zhendong Su (eds.) |
Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira |
Aliased register allocation for straight-line programs is NP-complete. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. Hoe, Jens Palsberg |
MEMOCODE 2006 guest editors' introduction. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Naik, Jens Palsberg |
A type system equivalent to a model checker. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Model checking, type systems |
| 1 | Holger Hermanns, Jens Palsberg |
Improving the effectiveness of system verification. |
STTT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Magno Quintão Pereira, Jens Palsberg |
Register allocation by puzzle solving. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
puzzle solving, register aliasing, register allocation |
| 1 | Luca de Alfaro, Jens Palsberg (eds.) |
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 |
EMSOFT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.) |
Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings |
SPIN |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff |
Constrained types for object-oriented languages. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
constraints, dependent types, object-oriented programming languages |
| 1 | Jens Palsberg |
Verification of Register Allocators. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Jens Palsberg |
Editorial. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Grothoff, Jens Palsberg, Jan Vitek |
Encapsulating objects with confined types. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg |
The ExoVM system for automatic VM and application reduction. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination |
| 1 | Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira |
Aliased Register Allocation for Straight-Line Programs Is NP-Complete. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg |
Register Allocation via Coloring of Chordal Graphs. |
CATS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ben Titzer, Jens Palsberg |
Vertical object layout and compression for fixed heaps. |
CASES |
2007 |
DBLP DOI BibTeX RDF |
heap optimization, object layout, pointer compression, program data compression, reference compression, vertical object layout, microcontrollers |
| 1 | V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg |
A Framework for End-to-End Verification and Evaluation of Register Allocators. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Zhao, Jens Palsberg, Jan Vitek |
Type-based confinement. |
J. Funct. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Jens Palsberg (eds.) |
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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | V. Krishna Nandivada, Jens Palsberg |
SARA: Combining Stack Allocation and Register Allocation. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg |
Event Driven Software Quality. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Magno Quintão Pereira, Jens Palsberg |
Register Allocation After Classical SSA Elimination is NP-Complete. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg |
Inference of User-Defined Type Qualifiers and Qualifier Rules. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Landsiedel, Klaus Wehrle, Ben Titzer, Jens Palsberg |
Enabling Detailed Modeling and Analysis of Sensor Networks. |
Praxis der Informationsverarbeitung und Kommunikation |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Neal Glew, Jens Palsberg |
Method Inlining, Dynamic Class Loading, and Type Soundness. |
Journal of Object Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Tian Zhao, Trevor Jim |
Automatic discovery of covariant read-only fields. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
constraints, Types |
| 1 | Jens Palsberg, Martín Abadi (eds.) |
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005 |
POPL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Kevin K. Chang, Nithya Ramanathan, Deborah Estrin, Jens Palsberg |
D.A.S.: deployment analysis system. |
SenSys |
2005 |
DBLP DOI BibTeX RDF |
data mining, sensor network, visualization, debugging, analysis, deployment |
| 1 | Ben Titzer, Daniel K. Lee, Jens Palsberg |
Avrora: scalable sensor network simulation with precise timing. |
IPSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Magno Quintão Pereira, Jens Palsberg |
Register Allocation Via Coloring of Chordal Graphs. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Neal Glew, Jens Palsberg, Christian Grothoff |
Type-Safe Optimisation of Plugin Architectures. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Naik, Jens Palsberg |
A Type System Equivalent to a Model Checker. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Titzer, Jens Palsberg |
Nonintrusive precision instrumentation of microcontroller software. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
cycle-accurate, instruction-level simulation, sensor networks, monitoring, debugging, profiling, instrumentation, parallel simulation |
| 1 | Dennis Brylow, Jens Palsberg |
Deadline Analysis of Interrupt-Driven Software. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
multiresolution static analysis, Real time, testing oracles |
| 1 | Mayur Naik, Jens Palsberg |
Compiling with code-size constraints. |
ACM Trans. Embedded Comput. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Banked architecture, register allocation, integer linear programming, space optimization |
| 1 | Neal Glew, Jens Palsberg |
Type-safe method inlining. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Tian Zhao |
Type inference for record concatenation and subtyping. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg |
Stack size analysis for interrupt-driven programs. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Mitchell Wand |
CPS transformation of flow information. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Krishna Nandivada, Jens Palsberg |
Efficient spill code for SDRAM. |
CASES |
2003 |
DBLP DOI BibTeX RDF |
optimization, integer linear programming, SDRAM, memory layout |
| 1 | Tian Zhao, Jens Palsberg, Jan Vitek |
Lightweight confinement for featherweight Java. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
confined types, aliasing, ownership |
| 1 | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg |
Stack Size Analysis for Interrupt-Driven Programs. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Brylow, Jens Palsberg |
Deadline analysis of interrupt-driven software. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
multi-resolution static analysis, real time, testing oracles |
| 1 | Jens Palsberg, Scott J. Baxter |
Teaching reviewing to graduate students. |
Commun. ACM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew W. Appel, Jens Palsberg |
Modern Compiler Implementation in Java, 2nd edition. |
|
2002 |
RDF |
|
| 1 | Matthew B. Dwyer, Jens Palsberg (eds.) |
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 |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jens Palsberg, Tian Zhao |
Efficient Type Inference for Record Concatenation and Subtyping. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Neal Glew, Jens Palsberg |
Type-Safe Method Inlining. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Somesh Jha, Jens Palsberg, Tian Zhao |
Efficient Type Matching. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Di Ma |
A Typed Interrupt Calculus. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Naik, Jens Palsberg |
Compiling with code-size constraints. |
LCTES-SCOPES |
2002 |
DBLP DOI BibTeX RDF |
banked architecture, register allocation, integer linear programming, space optimization |
| 1 | Jens Palsberg, Tian Zhao |
Efficient and Flexible Matching of Recursive Types. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Christina Pavlopoulou |
From Polyvariant flow information to intersection and union types. |
J. Funct. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg |
Type-based analysis and applications. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Grothoff, Jens Palsberg, Jan Vitek |
Encapsulating Objects with Confined Types. |
OOPSLA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Brylow, Niels Damgaard, Jens Palsberg |
Static Checking of Interrupt-Driven Software. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, S. Krishnaswamy, Minseok Kwon, Di Ma, Qiuyun Shao, Y. Zhang |
Experience with Software Watermarking. |
ACSAC |
2000 |
DBLP DOI BibTeX RDF |
program-transformation attacks, heap-space usage, watermark retrieval time, protection technique, tamperproofing, Java, Java, data structures, security of data, execution times, obfuscation, dynamic data structures, code size, software watermarking, copy protection |
| 1 | Frank Tip, Jens Palsberg |
Scalable propagation-based call graph construction algorithms. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Tian Zhao |
Efficient and Flexible Matching of Recursive Types. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
Multi-language systems, algorithms, types |
| 1 | Jens Palsberg (eds.) |
Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings |
SAS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alexander Aiken, Edward L. Wimmers, Jens Palsberg |
Optimal Representations of Polymorphic Types with Subtyping. |
Higher-Order and Symbolic Computation |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr |
Evolution of Object Behavior Using Context Relations. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
method update, Dynamic behavior, dynamic dispatch |
| 1 | Jens Palsberg |
Equality-based flow analysis versus recursive types. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
type systems, flow analysis |
| 1 | Jens Palsberg |
Eta-Redexes in Partial Evaluation. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Christina Pavlopoulou |
From Polyvariant Flow Information to Intersection and Union Types. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, C. Barry Jay |
The Essence of the Visitor Pattern. (PDF / PS) |
COMPSAC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Mitchell Wand, Patrick O'Keefe |
Type Inference with Non-Structural Subtyping. |
Formal Asp. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr |
A New Approach to Compiling Adaptive Programs. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Hankin, Hanne Riis Nielson, Jens Palsberg |
Position Statements on Strategic Directions for Research on Programming Languages. |
SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg |
Class-Graph Inference for Adaptive Programs. |
TAPOS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jens Palsberg, Trevor Jim |
Type Inference with Simple Selftypes is NP-complete. |
Nord. J. Comput. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Peter Ørbæk, Jens Palsberg |
Trust in the lambda-Calculus. |
J. Funct. Program. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Alexander Aiken, Edward L. Wimmers, Jens Palsberg |
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). |
TACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Karoline Malmkjær, Jens Palsberg |
Eta-Expansion Does The Trick. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
binding-time analysis and improvement, eta-expansion, static reduction, partial evaluation, program specialization |
| 1 | Jens Palsberg, Scott F. Smith |
Constrained Types and Their Expressiveness. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
constraints |
| 1 | Jens Palsberg |
Compiler Technology for Object-Oriented Languages. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg |
Type Inference for Objects. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Hankin, Hanne Riis Nielson, Jens Palsberg |
Strategic Directions in Research on Programming Languages. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg |
Software Evolution and Integration. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Bondorf, Jens Palsberg |
Generating Action Compilers by Partial Evaluation. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr |
Evolution of Object Behavior Using Context Relations. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
C++ |
| 1 | Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr |
A New Approach to Compiling Adaptive Programs. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Cheng, Javier Esparza, Jens Palsberg |
Complexity Results for 1-Safe Nets. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")