☰

Jens Palsberg - Publications

Affiliations: 
Computer Science University of California, Los Angeles, Los Angeles, CA 
Area:
compilers; embedded systems; programming languages; software engineering; information security
Tree Info Similar researchers PubMed Report error

70 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Palsberg J. Toward a universal quantum programming language Acm Crossroads Student Magazine. 26: 14-17. DOI: 10.1145/3355759  0.32
2015 Bender J, Lesani M, Palsberg J. Declarative fence insertion Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 367-385. DOI: 10.1145/2814270.2814318  0.699
2014 Eslamimehr M, Palsberg J. Race directed scheduling of concurrent programs Acm Sigplan Notices. 49: 301-314. DOI: 10.1145/2555243.2555263  0.749
2014 Lesani M, Millstein T, Palsberg J. Automatic atomicity verification for clients of concurrent data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8559: 550-567. DOI: 10.1007/978-3-319-08867-9_37  0.689
2014 Lesani M, Palsberg J. Decomposing opacity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8784: 391-405.  0.681
2013 Eslamimehr M, Palsberg J. Testing versus static analysis of maximum stack size Proceedings - International Computer Software and Applications Conference. 619-626. DOI: 10.1109/COMPSAC.2013.100  0.731
2013 Lesani M, Palsberg J. Proving non-opacity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8205: 106-120. DOI: 10.1007/978-3-642-41527-2_8  0.687
2011 Palsberg J. Session details: Concurrent programming Sigplan Notices. 46. DOI: 10.1145/3264064  0.353
2011 Lesani M, Palsberg J. Communicating memory transactions Acm Sigplan Notices. 46: 157-167. DOI: 10.1145/2038037.1941577  0.717
2010 Kou S, Palsberg J. From OO to FPGA: Fitting round objects into square hardware? Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 109-124. DOI: 10.1145/1869459.1869470  0.304
2010 Pereira FMQ, Palsberg J. Punctual coalescing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6011: 165-184. DOI: 10.1007/978-3-642-11970-5_10  0.314
2009 Titzer BL, Palsberg J. Vertical object layout and compression for fixed heaps Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5700: 376-408. DOI: 10.1007/978-3-642-04164-8_18  0.795
2009 Pereira FMQ, Palsberg J. Ssa elimination after register allocation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5501: 158-173. DOI: 10.1007/978-3-642-00722-4_12  0.319
2008 Nystrom N, Saraswat V, Palsberg J, Grothoff C. Constrained types for object-oriented languages Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 457-474. DOI: 10.1145/1449764.1449800  0.705
2008 Naik M, Palsberg J. A type system equivalent to a model checker Acm Transactions On Programming Languages and Systems. 30. DOI: 10.1145/1387673.1387678  0.384
2008 Pereira FMQ, Palsberg J. Register allocation by puzzle solving Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 216-226. DOI: 10.1145/1375581.1375609  0.302
2008 Lee JK, Palsberg J, Pereira FMQ. Aliased register allocation for straight-line programs is NP-complete Theoretical Computer Science. 407: 258-273. DOI: 10.1016/J.Tcs.2008.05.025  0.385
2008 Hermanns H, Palsberg J. Improving the effectiveness of system verification: Guest editors' introduction to special section International Journal On Software Tools For Technology Transfer. 10: 111-112. DOI: 10.1007/S10009-007-0060-Z  0.309
2007 Grothoff C, Palsberg J, Vitek J. Encapsulating objects with confined types Acm Transactions On Programming Languages and Systems. 29. DOI: 10.1145/1286821.1286823  0.729
2007 Titzer BL, Auerbach J, Bacon DF, Palsberg J. The ExoVM system for automatic VM and application reduction Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 352-362. DOI: 10.1145/1250734.1250775  0.776
2007 Nandivada VK, Pereira FMQ, Palsberg J. A framework for end-to-end verification and evaluation of register allocators Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4634: 153-169.  0.768
2006 Zhao T, Palsberg J, Vitek J. Type-based confinement Journal of Functional Programming. 16: 83-128. DOI: 10.1017/S0956796805005691  0.352
2006 Hermanns H, Palsberg J. 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. DOI: 10.1007/11691372  0.452
2006 Nandivada VK, Palsberg J. SARA: Combining stack allocation and register allocation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3923: 232-246. DOI: 10.1007/11688839_19  0.749
2006 Palsberg J. Event driven software quality Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4279: 165.  0.332
2005 Glew N, Palsberg J. Method inlining, dynamic class loading, and type soundness Journal of Object Technology. 4: 33-53. DOI: 10.5381/Jot.2005.4.8.A2  0.43
2005 Titzer BL, Palsberg J. Nonintrusive precision instrumentation of microcontroller software Proceedings of the Acm Sigplan Conference On Languages, Compilers, and Tools For Embedded Systems (Lctes). 59-68. DOI: 10.1145/1070891.1065919  0.784
2005 Palsberg J, Zhao T, Jim T. Automatic discovery of covariant read-only fields Acm Transactions On Programming Languages and Systems. 27: 126-162. DOI: 10.1145/1053468.1053472  0.341
2005 Titzer BL, Lee DK, Palsberg J. Avrora: Scalable sensor network simulation with precise timing 2005 4th International Symposium On Information Processing in Sensor Networks, Ipsn 2005. 2005: 477-482. DOI: 10.1109/IPSN.2005.1440978  0.746
2005 Palsberg J, Naik M. ILP-Based Resource-Aware Compilation Multiprocessor Systems-On-Chips. 337-354. DOI: 10.1016/B978-012385251-9/50027-X  0.363
2005 Glew N, Palsberg J, Grothoff C. Type-safe optimisation of plugin architectures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3672: 135-154. DOI: 10.1007/11547662_11  0.697
2005 Nandivada VK, Palsberg J. Timing analysis of TCP servers for surviving denial-of-service attacks Proceedings of the Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas. 541-549.  0.74
2004 Brylow D, Palsberg J. Deadline analysis of interrupt-driven software Ieee Transactions On Software Engineering. 30: 634-655. DOI: 10.1109/Tse.2004.64  0.39
2004 Glew N, Palsberg J. Type-safe method inlining Science of Computer Programming. 52: 281-306. DOI: 10.1016/J.Scico.2004.03.009  0.313
2004 Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs Information and Computation. 194: 144-174. DOI: 10.1016/J.Ic.2004.06.001  0.402
2004 Palsberg J, Zhao T. Type inference for record concatenation and subtyping Information and Computation. 189: 54-86. DOI: 10.1016/J.Ic.2003.10.001  0.421
2003 Palsberg J. Session details: Program analysis Sigplan Notices. 38. DOI: 10.1145/3262149  0.358
2003 Palsberg J, Wand M. CPS transformation of flow information Journal of Functional Programming. 13: 905-923. DOI: 10.1017/S0956796802004513  0.351
2003 Nandivada VK, Palsberg J. Efficient spill code for SDRAM Cases 2003: International Conference On Compilers, Architecture, and Synthesis For Embedded Systems. 24-31.  0.756
2002 Naik M, Palsberg J. Compiling with code-size constraints Joint Conference On Languages, Compilers and Tools For Embedded Systems and Software and Compilers For Embedded Systems. 120-129. DOI: 10.1145/972627.972635  0.384
2002 Palsberg J, Zhao T. Efficient type inference for record concatenation and subtyping Proceedings - Symposium On Logic in Computer Science. 125-136. DOI: 10.1109/LICS.2002.1029822  0.325
2002 Palsberg J, Ma D. A Typed Interrupt Calculus Lecture Notes in Computer Science. 291-310. DOI: 10.1007/3-540-45739-9_18  0.41
2001 Palsberg J, Zhao T. Efficient and flexible matching of recursive types Information and Computation. 171: 364-387. DOI: 10.1006/Inco.2001.3090  0.33
2001 Brylow D, Damgaard N, Palsberg J. Static checking of interrupt-driven software Proceedings - International Conference On Software Engineering. 47-56.  0.351
2000 Palsberg J, Krishnaswamy S, Kwon M, Ma D, Shao Q, Zhang Y. Experience with software watermarking Proceedings - Annual Computer Security Applications Conference, Acsac. 2000: 308-316. DOI: 10.1109/ACSAC.2000.898885  0.304
1999 Palsberg J. Eta-redexes in partial evaluation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1706: 356-366. DOI: 10.1007/3-540-47018-2_15  0.395
1998 Seiter LM, Palsberg J, Lieberherr KJ. Evolution of object behavior using context relations Ieee Transactions On Software Engineering. 24: 79-92. DOI: 10.1109/32.663999  0.383
1997 Palsberg J, Wand M, O'Keefe P. Type Inference with Non-structural Subtyping Formal Aspects of Computing. 9: 49-67. DOI: 10.7146/Brics.V2I33.19936  0.306
1997 Hankin C, Nielson HR, Palsberg J. Position Statements on Strategic Directions for Research on Programming Languages Sigplan Notices (Acm Special Interest Group On Programming Languages). 32: 59-65. DOI: 10.1145/251595.251599  0.339
1997 Palsberg J, Patt-Shamir B, Lieberherr K. A new approach to compiling adaptive programs Science of Computer Programming. 29: 303-326. DOI: 10.1016/S0167-6423(97)00004-X  0.402
1997 Palsberg J. Class-graph inference for adaptive programs Theory and Practice of Object Systems. 3: 75-85. DOI: 10.1002/(Sici)1096-9942(1997)3:2<75::Aid-Tapo1>3.3.Co;2-X  0.418
1996 Danvy O, Malmkjær K, Palsberg J. Eta-Expansion Does The Trick (Revised Version) Brics Report Series. 3. DOI: 10.7146/Brics.V3I17.19979  0.346
1996 Danvy O, Malmkjær K, Palsberg J. Eta-Expansion Does the Trick Acm Transactions On Programming Languages and Systems. 18: 730-751. DOI: 10.7146/Brics.V2I41.21673  0.346
1996 Hankin C, Nielson HR, Palsberg J. Strategic directions in research on programming languages Acm Computing Surveys. 28: 644-652. DOI: 10.1145/242223.242260  0.384
1996 Palsberg J. Type inference for objects Acm Computing Surveys. 28: 358-359. DOI: 10.1145/234528.234750  0.388
1996 Palsberg J, Smith S. Constrained Types and Their Expressiveness Acm Transactions On Programming Languages and Systems. 18: 519-527. DOI: 10.1145/232706.232715  0.318
1996 Bondorf A, Palsberg J. Generating action compilers by partial evaluation Journal of Functional Programming. 6: 269-298. DOI: 10.1017/S0956796800001684  0.345
1995 Palsberg J. Type Inference with Selftype Brics Report Series. 2. DOI: 10.7146/Brics.V2I34.19937  0.346
1995 Palsberg J. Efficient Inference of Object Types Information and Computation. 123: 198-209. DOI: 10.7146/Brics.V2I32.19935  0.36
1995 Palsberg J, Ørbæk P. Trust in the lambda-calculus Brics Report Series. 2. DOI: 10.7146/Brics.V2I31.19934  0.337
1995 Palsberg J, O'Keefe P. A type system equivalent to flow analysis Acm Transactions On Programming Languages and Systems. 17: 576-599. DOI: 10.1145/210184.210187  0.362
1995 Palsberg J, Xiao C, Lieberherr K. Efficient Implementation of Adaptive Software Acm Transactions On Programming Languages and Systems (Toplas). 17: 264-292. DOI: 10.1145/201059.201066  0.416
1995 Palsberg J. Closure analysis in constraint form Acm Transactions On Programming Languages and Systems. 17: 47-62. DOI: 10.1145/200994.201001  0.319
1995 Palsberg J, Θrbaek P. Trust in the λ-calculus Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 983: 315-329. DOI: 10.1017/S0956796897002906  0.337
1995 Palsberg J, Schwartzbach MI. Safety Analysis versus Type Inference Information and Computation. 118: 128-141. DOI: 10.1006/Inco.1995.1058  0.355
1995 Agesen O, Palsberg J, Schwartzbach MI. Type inference of SELF: analysis of objects with dynamic and multiple inheritance Software - Practice and Experience. 25: 975-995. DOI: 10.1002/Spe.4380250903  0.388
1994 Black A, Palsberg J. Foundations of object-oriented languages Sigplan Notices. 29: 3-11. DOI: 10.1145/181587.181588  0.301
1994 Kozen D, Palsberg J, Schwartzbach MI. Efficient inference of partial types Journal of Computer and System Sciences. 49: 306-324. DOI: 10.1016/S0022-0000(05)80051-0  0.363
1994 Palsberg J, Schwartzbach MI. Static typing for object-oriented programming Science of Computer Programming. 23: 19-53. DOI: 10.1016/0167-6423(94)00014-X  0.386
1994 Cook W, Palsberg J. A Denotational Semantics of Inheritance and Its Correctness Information and Computation. 114: 329-350. DOI: 10.1006/Inco.1994.1090  0.342
Show low-probability matches.