Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jens Palsberg
@inproceedings{DBLP:conf/sigsoft/UttureP23,
author = {Akshay Utture and
Jens Palsberg},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {From Leaks to Fixes: Automated Repairs for Resource Leak Warnings},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {159--171},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616267},
doi = {10.1145/3611643.3616267},
timestamp = {Mon, 04 Dec 2023 11:02:39 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/UttureP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2023,
editor = {Edwin C. Brady and
Jens Palsberg},
title = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on
Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston,
MA, USA, January 16-17, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3571786},
doi = {10.1145/3571786},
timestamp = {Fri, 13 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LiuBP22,
author = {Shuyang Liu and
John Bender and
Jens Palsberg},
title = {Compiling Volatile Correctly in Java (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {03:1--03:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.3},
doi = {10.4230/DARTS.8.2.3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/LiuBP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/te/AsfawBBCCCCDDEE22,
author = {Abraham Asfaw and
Alexandre Blais and
Kenneth R. Brown and
Jonathan Candelaria and
Christopher Cantwell and
Lincoln D. Carr and
Joshua Combes and
Dripto M. Debroy and
John M. Donohue and
Sophia E. Economou and
Emily Edwards and
Michael F. J. Fox and
Steven M. Girvin and
Alan Ho and
Hilary M. Hurst and
Zubin Jacob and
Blake R. Johnson and
Ezekiel Johnston{-}Halperin and
Robert Joynt and
Eliot Kapit and
Judith Klein{-}Seetharaman and
Martin Laforest and
H. J. Lewandowski and
Theresa W. Lynn and
Corey Rae H. McRae and
Celia Merzbacher and
Spyridon Michalakis and
Prineha Narang and
William D. Oliver and
Jens Palsberg and
David P. Pappas and
Michael G. Raymer and
David J. Reilly and
Mark Saffman and
Thomas A. Searles and
Jeffrey H. Shapiro and
Chandralekha Singh},
title = {Building a Quantum Engineering Undergraduate Program},
journal = {{IEEE} Trans. Educ.},
volume = {65},
number = {2},
pages = {220--242},
year = {2022},
url = {https://doi.org/10.1109/TE.2022.3144943},
doi = {10.1109/TE.2022.3144943},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/te/AsfawBBCCCCDDEE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LiuBP22,
author = {Shuyang Liu and
John Bender and
Jens Palsberg},
editor = {Karim Ali and
Jan Vitek},
title = {Compiling Volatile Correctly in Java},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {6:1--6:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.6},
doi = {10.4230/LIPICS.ECOOP.2022.6},
timestamp = {Thu, 23 Jun 2022 13:54:05 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LiuBP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/UttureP22,
author = {Akshay Utture and
Jens Palsberg},
title = {Fast and Precise Application Code Analysis using a Partial Library},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {934--945},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510046},
doi = {10.1145/3510003.3510046},
timestamp = {Mon, 18 Jul 2022 16:47:42 +0200},
biburl = {https://dblp.org/rec/conf/icse/UttureP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/UttureLKP22,
author = {Akshay Utture and
Shuyang Liu and
Christian Gram Kalhauge and
Jens Palsberg},
title = {Striking a Balance: Pruning False-Positives from Static Call Graphs},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {2043--2055},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510166},
doi = {10.1145/3510003.3510166},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/UttureLKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/XuLPLPHMPAAJ22,
author = {Mingkuan Xu and
Zikun Li and
Oded Padon and
Sina Lin and
Jessica Pointing and
Auguste Hirth and
Henry Ma and
Jens Palsberg and
Alex Aiken and
Umut A. Acar and
Zhihao Jia},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Quartz: superoptimization of Quantum circuits},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {625--640},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523433},
doi = {10.1145/3519939.3523433},
timestamp = {Fri, 03 Jun 2022 08:25:37 +0200},
biburl = {https://dblp.org/rec/conf/pldi/XuLPLPHMPAAJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-09033,
author = {Mingkuan Xu and
Zikun Li and
Oded Padon and
Sina Lin and
Jessica Pointing and
Auguste Hirth and
Henry Ma and
Jens Palsberg and
Alex Aiken and
Umut A. Acar and
Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits (Extended Version)},
journal = {CoRR},
volume = {abs/2204.09033},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.09033},
doi = {10.48550/ARXIV.2204.09033},
eprinttype = {arXiv},
eprint = {2204.09033},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-09033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YuP21,
author = {Nengkun Yu and
Jens Palsberg},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Quantum abstract interpretation},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {542--558},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454061},
doi = {10.1145/3453483.3454061},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/YuP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KalhaugeP21,
author = {Christian Gram Kalhauge and
Jens Palsberg},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Logical bytecode reduction},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {1003--1016},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454091},
doi = {10.1145/3453483.3454091},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KalhaugeP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0001YWQP21,
author = {Yan Cai and
Hao Yun and
Jinqiu Wang and
Lei Qiao and
Jens Palsberg},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Sound and efficient concurrency bug prediction},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {255--267},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468549},
doi = {10.1145/3468264.3468549},
timestamp = {Sat, 21 Aug 2021 19:12:34 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/0001YWQP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-11387,
author = {Jessica Pointing and
Oded Padon and
Zhihao Jia and
Henry Ma and
Auguste Hirth and
Jens Palsberg and
Alex Aiken},
title = {Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit
Identities},
journal = {CoRR},
volume = {abs/2111.11387},
year = {2021},
url = {https://arxiv.org/abs/2111.11387},
eprinttype = {arXiv},
eprint = {2111.11387},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-11387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/PierceHLP20,
author = {Benjamin C. Pierce and
Michael Hicks and
Cristina V. Lopes and
Jens Palsberg},
title = {Conferences in an era of expensive carbon},
journal = {Commun. {ACM}},
volume = {63},
number = {3},
pages = {35--37},
year = {2020},
url = {https://doi.org/10.1145/3380445},
doi = {10.1145/3380445},
timestamp = {Tue, 27 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/PierceHLP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MigeedP20,
author = {Zeina Migeed and
Jens Palsberg},
title = {What is decidable about gradual types?},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {29:1--29:29},
year = {2020},
url = {https://doi.org/10.1145/3371097},
doi = {10.1145/3371097},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MigeedP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001MP20,
author = {Yan Cai and
Ruijie Meng and
Jens Palsberg},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Low-overhead deadlock prediction},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {1298--1309},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380367},
doi = {10.1145/3377811.3380367},
timestamp = {Mon, 04 Jan 2021 15:18:44 +0100},
biburl = {https://dblp.org/rec/conf/icse/0001MP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-13778,
author = {Clarice D. Aiello and
D. D. Awschalom and
Hannes Bernien and
Tina Brower{-}Thomas and
Kenneth R. Brown and
Todd A. Brun and
Justin R. Caram and
Eric Chitambar and
Rosa Di Felice and
Michael F. J. Fox and
Stephan Haas and
Alexander W. Holleitner and
Eric R. Hudson and
Jeffrey H. Hunt and
Robert Joynt and
Scott Koziol and
H. J. Lewandowski and
Douglas T. McClure and
Jens Palsberg and
Gina Passante and
Kristen L. Pudenz and
Christopher J. K. Richardson and
Jessica L. Rosenberg and
R. S. Ross and
Mark Saffman and
M. Singh and
David W. Steuerman and
Chad Stark and
Jos Thijssen and
A. Nick Vamivakas and
James D. Whitfield and
Benjamin M. Zwickl},
title = {Achieving a quantum smart workforce},
journal = {CoRR},
volume = {abs/2010.13778},
year = {2020},
url = {https://arxiv.org/abs/2010.13778},
eprinttype = {arXiv},
eprint = {2010.13778},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-13778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/crossroads/Palsberg19,
author = {Jens Palsberg},
title = {Toward a universal quantum programming language},
journal = {{XRDS}},
volume = {26},
number = {1},
pages = {14--17},
year = {2019},
url = {https://doi.org/10.1145/3355759},
doi = {10.1145/3355759},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/crossroads/Palsberg19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BenderP19,
author = {John Bender and
Jens Palsberg},
title = {A formalization of Java's concurrent access modes},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {142:1--142:28},
year = {2019},
url = {https://doi.org/10.1145/3360568},
doi = {10.1145/3360568},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BenderP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KalhaugeP19,
author = {Christian Gram Kalhauge and
Jens Palsberg},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Binary reduction of dependency graphs},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {556--566},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338956},
doi = {10.1145/3338906.3338956},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/KalhaugeP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KalhaugeP18,
author = {Christian Gram Kalhauge and
Jens Palsberg},
title = {Sound deadlock prediction},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {146:1--146:29},
year = {2018},
url = {https://doi.org/10.1145/3276516},
doi = {10.1145/3276516},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KalhaugeP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BrownP18,
author = {Matt Brown and
Jens Palsberg},
title = {Jones-optimal partial evaluation by specialization-safe normalization},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {14:1--14:28},
year = {2018},
url = {https://doi.org/10.1145/3158102},
doi = {10.1145/3158102},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BrownP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PalsbergL18,
author = {Jens Palsberg and
Cristina V. Lopes},
editor = {Julian Dolby and
William G. J. Halfond and
Ashish Mishra},
title = {{NJR:} a normalized Java resource},
booktitle = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
2018, Amsterdam, Netherlands, July 16-21, 2018},
pages = {100--106},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236454.3236501},
doi = {10.1145/3236454.3236501},
timestamp = {Thu, 10 Jan 2019 08:02:16 +0100},
biburl = {https://dblp.org/rec/conf/issta/PalsbergL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2018,
editor = {Isil Dillig and
Jens Palsberg},
title = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8},
doi = {10.1007/978-3-319-73721-8},
isbn = {978-3-319-73720-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrownP17,
author = {Matt Brown and
Jens Palsberg},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Typed self-evaluation via intensional type functions},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {415--428},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009853},
doi = {10.1145/3009837.3009853},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/BrownP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrownP16,
author = {Matt Brown and
Jens Palsberg},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Breaking through the normalization barrier: a self-interpreter for
f-omega},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {5--17},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837623},
doi = {10.1145/2837614.2837623},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BrownP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/FreibergPE16,
author = {Oren Freiberg and
Jens Palsberg and
Mahdi Eslamimehr},
title = {Retargetable Communication for Distributed Programs},
booktitle = {12th International {ACM} {SIGSOFT} Conference on Quality of Software
Architectures, QoSA 2016, Venice, Italy, April 5-8, 2016},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/QoSA.2016.8},
doi = {10.1109/QOSA.2016.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/FreibergPE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HaqueP15,
author = {Riyaz Haque and
Jens Palsberg},
editor = {John Tang Boyland},
title = {Type Inference for Place-Oblivious Objects},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {371--395},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.371},
doi = {10.4230/LIPICS.ECOOP.2015.371},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HaqueP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BenderLP15,
author = {John Bender and
Mohsen Lesani and
Jens Palsberg},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Declarative fence insertion},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {367--385},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814318},
doi = {10.1145/2814270.2814318},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BenderLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrownP15,
author = {Matt Brown and
Jens Palsberg},
editor = {Sriram K. Rajamani and
David Walker},
title = {Self-Representation in Girard's System {U}},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {471--484},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676988},
doi = {10.1145/2676726.2676988},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/BrownP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/HuPSNL14,
author = {Jia Hu and
Jens Palsberg and
Seetharami Seelam and
Marco Di Natale and
Lei (Chris) Liu},
title = {Introduction to special issue on embedded systems architecture and
applications},
journal = {J. Syst. Archit.},
volume = {60},
number = {5},
pages = {419},
year = {2014},
url = {https://doi.org/10.1016/j.sysarc.2014.04.003},
doi = {10.1016/J.SYSARC.2014.04.003},
timestamp = {Thu, 22 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/HuPSNL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Palsberg14,
author = {Jens Palsberg},
title = {Editorial},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {37},
number = {1},
pages = {1e:1},
year = {2014},
url = {https://doi.org/10.1145/2683389},
doi = {10.1145/2683389},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Palsberg14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LesaniMP14,
author = {Mohsen Lesani and
Todd D. Millstein and
Jens Palsberg},
editor = {Armin Biere and
Roderick Bloem},
title = {Automatic Atomicity Verification for Clients of Concurrent Data Structures},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {550--567},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_37},
doi = {10.1007/978-3-319-08867-9\_37},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/LesaniMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/EslamimehrP14,
author = {Mahdi Eslamimehr and
Jens Palsberg},
editor = {Jos{\'{e}} E. Moreira and
James R. Larus},
title = {Race directed scheduling of concurrent programs},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
pages = {301--314},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2555243.2555263},
doi = {10.1145/2555243.2555263},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/EslamimehrP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/EslamimehrP14,
author = {Mahdi Eslamimehr and
Jens Palsberg},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Sherlock: scalable deadlock detection for concurrent programs},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {353--365},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635918},
doi = {10.1145/2635868.2635918},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/EslamimehrP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/LesaniP14,
author = {Mohsen Lesani and
Jens Palsberg},
editor = {Fabian Kuhn},
title = {Decomposing Opacity},
booktitle = {Distributed Computing - 28th International Symposium, {DISC} 2014,
Austin, TX, USA, October 12-15, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8784},
pages = {391--405},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45174-8\_27},
doi = {10.1007/978-3-662-45174-8\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/LesaniP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/DioufHCOP13,
author = {Boubacar Diouf and
Can Hantas and
Albert Cohen and
{\"{O}}zcan {\"{O}}zturk and
Jens Palsberg},
title = {A decoupled local memory allocator},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {9},
number = {4},
pages = {34:1--34:22},
year = {2013},
url = {https://doi.org/10.1145/2400682.2400693},
doi = {10.1145/2400682.2400693},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/DioufHCOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Palsberg13,
author = {Jens Palsberg},
title = {Editorial},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {35},
number = {1},
pages = {1:1},
year = {2013},
url = {https://doi.org/10.1145/2450136.2450141},
doi = {10.1145/2450136.2450141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Palsberg13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/EslamimehrP13,
author = {Mahdi Eslamimehr and
Jens Palsberg},
title = {Testing versus Static Analysis of Maximum Stack Size},
booktitle = {37th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
pages = {619--626},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSAC.2013.100},
doi = {10.1109/COMPSAC.2013.100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/EslamimehrP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/LiuSOGPBB13,
author = {Chen Liu and
Bao{-}Hong Shen and
Soon{-}Young Oh and
Mario Gerla and
Jens Palsberg and
Clif Banner and
Richard Butler},
editor = {Joe Senftle and
Mike Beltrani and
Kari Karwedsky},
title = {Agnostic Protocol Translation for Cross-Domain Information Sharing},
booktitle = {32th {IEEE} Military Communications Conference, {MILCOM} 2013, San
Diego, CA, USA, November 18-20, 2013},
pages = {1447--1452},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/MILCOM.2013.245},
doi = {10.1109/MILCOM.2013.245},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/milcom/LiuSOGPBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/LesaniP13,
author = {Mohsen Lesani and
Jens Palsberg},
editor = {Yehuda Afek},
title = {Proving Non-opacity},
booktitle = {Distributed Computing - 27th International Symposium, {DISC} 2013,
Jerusalem, Israel, October 14-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8205},
pages = {106--120},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41527-2\_8},
doi = {10.1007/978-3-642-41527-2\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/LesaniP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Palsberg12,
author = {Jens Palsberg},
title = {Editorial},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {1},
pages = {1:1},
year = {2012},
url = {https://doi.org/10.1145/2160910.2180860},
doi = {10.1145/2160910.2180860},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Palsberg12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Palsberg12,
author = {Jens Palsberg},
editor = {Robert L. Constable and
Alexandra Silva},
title = {Overloading Is NP-Complete - {A} Tutorial Dedicated to Dexter Kozen},
booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on
the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7230},
pages = {204--218},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29485-3\_13},
doi = {10.1007/978-3-642-29485-3\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Palsberg12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Palsberg12,
author = {Jens Palsberg},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Featherweight {X10:} a core calculus for async-finish parallelism},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {1},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318203},
doi = {10.1145/2318202.2318203},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Palsberg12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LeePMH12,
author = {Jonathan K. Lee and
Jens Palsberg and
Rupak Majumdar and
Hong Hong},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Efficient May Happen in Parallel Analysis for Async-Finish Parallelism},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {5--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_4},
doi = {10.1007/978-3-642-33125-1\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LeePMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Palsberg11,
author = {Jens Palsberg},
title = {Editorial},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {1},
pages = {1:1},
year = {2011},
url = {https://doi.org/10.1145/1889997.1889998},
doi = {10.1145/1889997.1889998},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Palsberg11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Palsberg11a,
author = {Jens Palsberg},
title = {Editorial note},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {6},
pages = {18:1},
year = {2011},
url = {https://doi.org/10.1145/2049706.2049707},
doi = {10.1145/2049706.2049707},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Palsberg11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JayP11,
author = {C. Barry Jay and
Jens Palsberg},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Typed self-interpretation by pattern matching},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {247--258},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034808},
doi = {10.1145/2034773.2034808},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/JayP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DingJP11,
author = {Zuohua Ding and
Mingyue Jiang and
Jens Palsberg},
editor = {Manuel Carro and
Dimka Karastoyanova and
Grace A. Lewis and
Anna Liu},
title = {From textual use cases to service component models},
booktitle = {Proceedings of the 3rd International Workshop on Principles of Engineering
Service-Oriented Systems, {PESOS} 2011, Waikiki, Honolulu, HI, USA,
May 23-24, 2011},
pages = {8--14},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985394.1985396},
doi = {10.1145/1985394.1985396},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DingJP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GuoP11,
author = {Shu{-}yu Guo and
Jens Palsberg},
editor = {Thomas Ball and
Mooly Sagiv},
title = {The essence of compiling with traces},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {563--574},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926450},
doi = {10.1145/1926385.1926450},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/GuoP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/LesaniP11,
author = {Mohsen Lesani and
Jens Palsberg},
editor = {Calin Cascaval and
Pen{-}Chung Yew},
title = {Communicating memory transactions},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA,
February 12-16, 2011},
pages = {157--168},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1941553.1941577},
doi = {10.1145/1941553.1941577},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/LesaniP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/BudimlicBCKLNPPSST10,
author = {Zoran Budimlic and
Michael G. Burke and
Vincent Cav{\'{e}} and
Kathleen Knobe and
Geoff Lowney and
Ryan Newton and
Jens Palsberg and
David M. Peixotto and
Vivek Sarkar and
Frank Schlimbach and
Sagnak Tasirlar},
title = {Concurrent Collections},
journal = {Sci. Program.},
volume = {18},
number = {3-4},
pages = {203--217},
year = {2010},
url = {https://doi.org/10.3233/SPR-2011-0305},
doi = {10.3233/SPR-2011-0305},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/BudimlicBCKLNPPSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/PereiraP10,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Rajiv Gupta},
title = {Punctual Coalescing},
booktitle = {Compiler Construction, 19th International Conference, {CC} 2010, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6011},
pages = {165--184},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11970-5\_10},
doi = {10.1007/978-3-642-11970-5\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/PereiraP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KouP10,
author = {Stephen Kou and
Jens Palsberg},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {From {OO} to {FPGA:} fitting round objects into square hardware?},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {109--124},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869470},
doi = {10.1145/1869459.1869470},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KouP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/LeeP10,
author = {Jonathan K. Lee and
Jens Palsberg},
editor = {R. Govindarajan and
David A. Padua and
Mary W. Hall},
title = {Featherweight {X10:} a core calculus for async-finish parallelism},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2010, Bangalore, India,
January 9-14, 2010},
pages = {25--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1693453.1693459},
doi = {10.1145/1693453.1693459},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/LeeP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2010,
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299},
doi = {10.1145/1706299},
isbn = {978-1-60558-479-9},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Palsberg09,
author = {Jens Palsberg},
editor = {Jens Palsberg},
title = {Tribute to Peter Mosses},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
pages = {1--3},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8\_1},
doi = {10.1007/978-3-642-04164-8\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Palsberg09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TitzerP09,
author = {Ben L. Titzer and
Jens Palsberg},
editor = {Jens Palsberg},
title = {Vertical Object Layout and Compression for Fixed Heaps},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
pages = {376--408},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8\_18},
doi = {10.1007/978-3-642-04164-8\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/TitzerP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/PereiraP09,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Oege de Moor and
Michael I. Schwartzbach},
title = {{SSA} Elimination after Register Allocation},
booktitle = {Compiler Construction, 18th International Conference, {CC} 2009, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5501},
pages = {158--173},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00722-4\_12},
doi = {10.1007/978-3-642-00722-4\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/PereiraP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2009mosses,
editor = {Jens Palsberg},
title = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8},
doi = {10.1007/978-3-642-04164-8},
isbn = {978-3-642-04163-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2009mosses.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2009,
editor = {Jens Palsberg and
Zhendong Su},
title = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0},
doi = {10.1007/978-3-642-03237-0},
isbn = {978-3-642-03236-3},
timestamp = {Thu, 02 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/HoeP08,
author = {James C. Hoe and
Jens Palsberg},
title = {{MEMOCODE} 2006 guest editors' introduction},
journal = {Des. Autom. Embed. Syst.},
volume = {12},
number = {1-2},
pages = {95},
year = {2008},
url = {https://doi.org/10.1007/s10617-008-9025-z},
doi = {10.1007/S10617-008-9025-Z},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/HoeP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HermannsP08,
author = {Holger Hermanns and
Jens Palsberg},
title = {Improving the effectiveness of system verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {10},
number = {2},
pages = {111--112},
year = {2008},
url = {https://doi.org/10.1007/s10009-007-0060-z},
doi = {10.1007/S10009-007-0060-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HermannsP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LeePP08,
author = {Jonathan K. Lee and
Jens Palsberg and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Aliased register allocation for straight-line programs is NP-complete},
journal = {Theor. Comput. Sci.},
volume = {407},
number = {1-3},
pages = {258--273},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.025},
doi = {10.1016/J.TCS.2008.05.025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LeePP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/NaikP08,
author = {Mayur Naik and
Jens Palsberg},
title = {A type system equivalent to a model checker},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {30},
number = {5},
pages = {29:1--29:24},
year = {2008},
url = {https://doi.org/10.1145/1387673.1387678},
doi = {10.1145/1387673.1387678},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/NaikP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/NystromSPG08,
author = {Nathaniel Nystrom and
Vijay A. Saraswat and
Jens Palsberg and
Christian Grothoff},
editor = {Gail E. Harris},
title = {Constrained types for object-oriented languages},
booktitle = {Proceedings of the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-23, 2008, Nashville, TN, {USA}},
pages = {457--474},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449800},
doi = {10.1145/1449764.1449800},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/NystromSPG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PereiraP08,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Register allocation by puzzle solving},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {216--226},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375609},
doi = {10.1145/1375581.1375609},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PereiraP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Palsberg08,
author = {Jens Palsberg},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Verification of Register Allocators},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {6},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_4},
doi = {10.1007/978-3-540-78163-9\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Palsberg08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2008,
editor = {Luca de Alfaro and
Jens Palsberg},
title = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24,
2008},
publisher = {{ACM}},
year = {2008},
isbn = {978-1-60558-468-3},
timestamp = {Mon, 27 Oct 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2008,
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1},
doi = {10.1007/978-3-540-85114-1},
isbn = {978-3-540-85113-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AbadiP07,
author = {Mart{\'{\i}}n Abadi and
Jens Palsberg},
title = {Editorial},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {3},
pages = {14},
year = {2007},
url = {https://doi.org/10.1145/1232420.1232421},
doi = {10.1145/1232420.1232421},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AbadiP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GrothoffPV07,
author = {Christian Grothoff and
Jens Palsberg and
Jan Vitek},
title = {Encapsulating objects with confined types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {32},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286823},
doi = {10.1145/1286821.1286823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GrothoffPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/TitzerP07,
author = {Ben L. Titzer and
Jens Palsberg},
editor = {Taewhan Kim and
Pascal Sainrat and
Steven S. Lumetta and
Nacho Navarro},
title = {Vertical object layout and compression for fixed heaps},
booktitle = {Proceedings of the 2007 International Conference on Compilers, Architecture,
and Synthesis for Embedded Systems, {CASES} 2007, Salzburg, Austria,
September 30 - October 3, 2007},
pages = {170--178},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289881.1289914},
doi = {10.1145/1289881.1289914},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/TitzerP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/Palsberg07,
author = {Jens Palsberg},
editor = {Joachim Gudmundsson and
C. Barry Jay},
title = {Register Allocation via Coloring of Chordal Graphs},
booktitle = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
2, 2007, Ballarat, Victoria, Australia, Proceedings},
series = {{CRPIT}},
volume = {65},
pages = {3},
publisher = {Australian Computer Society},
year = {2007},
timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
biburl = {https://dblp.org/rec/conf/cats/Palsberg07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LeePP07,
author = {Jonathan K. Lee and
Jens Palsberg and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {Aliased Register Allocation for Straight-Line Programs Is NP-Complete},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {680--691},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_59},
doi = {10.1007/978-3-540-73420-8\_59},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LeePP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TitzerABP07,
author = {Ben L. Titzer and
Joshua S. Auerbach and
David F. Bacon and
Jens Palsberg},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {The ExoVM system for automatic {VM} and application reduction},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {352--362},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250775},
doi = {10.1145/1250734.1250775},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TitzerABP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NandivadaPP07,
author = {V. Krishna Nandivada and
Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {A Framework for End-to-End Verification and Evaluation of Register
Allocators},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {153--169},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_10},
doi = {10.1007/978-3-540-74061-2\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/NandivadaPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/CRCcompiler2007/PalsbergM07,
author = {Jens Palsberg and
Todd D. Millstein},
editor = {Y. N. Srikant and
Priti Shankar},
title = {Type Systems: Advances and Applications},
booktitle = {The Compiler Design Handbook: Optimizations and Machine Code Generation,
Second Edition},
pages = {9},
publisher = {{CRC} Press},
year = {2007},
timestamp = {Sun, 04 Aug 2019 17:44:34 +0200},
biburl = {https://dblp.org/rec/books/crc/CRCcompiler2007/PalsbergM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ZhaoPV06,
author = {Tian Zhao and
Jens Palsberg and
Jan Vitek},
title = {Type-based confinement},
journal = {J. Funct. Program.},
volume = {16},
number = {1},
pages = {83--128},
year = {2006},
url = {https://doi.org/10.1017/S0956796805005691},
doi = {10.1017/S0956796805005691},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ZhaoPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Palsberg06,
author = {Jens Palsberg},
editor = {Naoki Kobayashi},
title = {Event Driven Software Quality},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {165},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_10},
doi = {10.1007/11924661\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Palsberg06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/NandivadaP06,
author = {V. Krishna Nandivada and
Jens Palsberg},
editor = {Alan Mycroft and
Andreas Zeller},
title = {{SARA:} Combining Stack Allocation and Register Allocation},
booktitle = {Compiler Construction, 15th International Conference, {CC} 2006, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2006, Vienna, Austria, March 30-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3923},
pages = {232--246},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11688839\_19},
doi = {10.1007/11688839\_19},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/NandivadaP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChinMMP06,
author = {Brian Chin and
Shane Markstrum and
Todd D. Millstein and
Jens Palsberg},
editor = {Peter Sestoft},
title = {Inference of User-Defined Type Qualifiers and Qualifier Rules},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {264--278},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_18},
doi = {10.1007/11693024\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/ChinMMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PereiraP06,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Register Allocation After Classical {SSA} Elimination is NP-Complete},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {79--93},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_6},
doi = {10.1007/11690634\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PereiraP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2006,
editor = {Holger Hermanns and
Jens Palsberg},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {3920},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372},
doi = {10.1007/11691372},
isbn = {3-540-33056-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/GlewP05,
author = {Neal Glew and
Jens Palsberg},
title = {Method Inlining, Dynamic Class Loading, and Type Soundness},
journal = {J. Object Technol.},
volume = {4},
number = {8},
pages = {33--53},
year = {2005},
url = {https://doi.org/10.5381/jot.2005.4.8.a2},
doi = {10.5381/JOT.2005.4.8.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/GlewP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pik/LandsiedelWTP05,
author = {Olaf Landsiedel and
Klaus Wehrle and
Ben L. Titzer and
Jens Palsberg},
title = {Enabling Detailed Modeling and Analysis of Sensor Networks},
journal = {Prax. Inf.verarb. Kommun.},
volume = {28},
number = {2},
pages = {101--106},
year = {2005},
url = {https://doi.org/10.1515/PIKO.2005.101},
doi = {10.1515/PIKO.2005.101},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pik/LandsiedelWTP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PalsbergZJ05,
author = {Jens Palsberg and
Tian Zhao and
Trevor Jim},
title = {Automatic discovery of covariant read-only fields},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {1},
pages = {126--162},
year = {2005},
url = {https://doi.org/10.1145/1053468.1053472},
doi = {10.1145/1053468.1053472},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/PalsbergZJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/PereiraP05,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Kwangkeun Yi},
title = {Register Allocation Via Coloring of Chordal Graphs},
booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3780},
pages = {315--329},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575467\_21},
doi = {10.1007/11575467\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/PereiraP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NaikP05,
author = {Mayur Naik and
Jens Palsberg},
editor = {Shmuel Sagiv},
title = {A Type System Equivalent to a Model Checker},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {374--388},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_26},
doi = {10.1007/978-3-540-31987-0\_26},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/NaikP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/TitzerLP05,
author = {Ben L. Titzer and
Daniel K. Lee and
Jens Palsberg},
title = {Avrora: scalable sensor network simulation with precise timing},
booktitle = {Proceedings of the Fourth International Symposium on Information Processing
in Sensor Networks, {IPSN} 2005, April 25-27, 2005, UCLA, Los Angeles,
California, {USA}},
pages = {477--482},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/IPSN.2005.1440978},
doi = {10.1109/IPSN.2005.1440978},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ipsn/TitzerLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/TitzerP05,
author = {Ben L. Titzer and
Jens Palsberg},
editor = {Yunheung Paek and
Rajiv Gupta},
title = {Nonintrusive precision instrumentation of microcontroller software},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'05), Chicago, Illinois,
USA, June 15-17, 2005},
pages = {59--68},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065910.1065919},
doi = {10.1145/1065910.1065919},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/TitzerP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/NandivadaP05,
author = {V. Krishna Nandivada and
Jens Palsberg},
title = {Timing Analysis of {TCP} Servers for Surviving Denial-of-Service Attacks},
booktitle = {11th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2005), 7-10 March 2005, San Francisco, CA, {USA}},
pages = {541--549},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTAS.2005.54},
doi = {10.1109/RTAS.2005.54},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/NandivadaP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GlewPG05,
author = {Neal Glew and
Jens Palsberg and
Christian Grothoff},
editor = {Chris Hankin and
Igor Siveroni},
title = {Type-Safe Optimisation of Plugin Architectures},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {135--154},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_11},
doi = {10.1007/11547662\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/GlewPG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/ChangREP05,
author = {Kevin K. Chang and
Nithya Ramanathan and
Deborah Estrin and
Jens Palsberg},
editor = {Jason Redi and
Hari Balakrishnan and
Feng Zhao},
title = {{D.A.S.:} deployment analysis system},
booktitle = {Proceedings of the 3rd International Conference on Embedded Networked
Sensor Systems, SenSys 2005, San Diego, California, USA, November
2-4, 2005},
pages = {301},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1098918.1098966},
doi = {10.1145/1098918.1098966},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sensys/ChangREP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2005,
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305},
doi = {10.1145/1040305},
isbn = {1-58113-830-X},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PalsbergZ04,
author = {Jens Palsberg and
Tian Zhao},
title = {Type inference for record concatenation and subtyping},
journal = {Inf. Comput.},
volume = {189},
number = {1},
pages = {54--86},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2003.10.001},
doi = {10.1016/J.IC.2003.10.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PalsbergZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ChatterjeeMMZHP04,
author = {Krishnendu Chatterjee and
Di Ma and
Rupak Majumdar and
Tian Zhao and
Thomas A. Henzinger and
Jens Palsberg},
title = {Stack size analysis for interrupt-driven programs},
journal = {Inf. Comput.},
volume = {194},
number = {2},
pages = {144--174},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.06.001},
doi = {10.1016/J.IC.2004.06.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ChatterjeeMMZHP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GlewP04,
author = {Neal Glew and
Jens Palsberg},
title = {Type-safe method inlining},
journal = {Sci. Comput. Program.},
volume = {52},
pages = {281--306},
year = {2004},
url = {https://doi.org/10.1016/j.scico.2004.03.009},
doi = {10.1016/J.SCICO.2004.03.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GlewP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/NaikP04,
author = {Mayur Naik and
Jens Palsberg},
title = {Compiling with code-size constraints},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {3},
number = {1},
pages = {163--181},
year = {2004},
url = {https://doi.org/10.1145/972627.972635},
doi = {10.1145/972627.972635},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/NaikP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BrylowP04,
author = {Dennis Brylow and
Jens Palsberg},
title = {Deadline Analysis of Interrupt-Driven Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {30},
number = {10},
pages = {634--655},
year = {2004},
url = {https://doi.org/10.1109/TSE.2004.64},
doi = {10.1109/TSE.2004.64},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BrylowP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PalsbergW03,
author = {Jens Palsberg and
Mitchell Wand},
title = {{CPS} transformation of flow information},
journal = {J. Funct. Program.},
volume = {13},
number = {5},
pages = {905--923},
year = {2003},
url = {https://doi.org/10.1017/S0956796802004513},
doi = {10.1017/S0956796802004513},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/PalsbergW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/NandivadaP03,
author = {V. Krishna Nandivada and
Jens Palsberg},
editor = {Jaime H. Moreno and
Praveen K. Murthy and
Thomas M. Conte and
Paolo Faraboschi},
title = {Efficient spill code for {SDRAM}},
booktitle = {Proceedings of the International Conference on Compilers, Architectures
and Synthesis for Embedded Systems, {CASES} 2003, San Jose, California,
USA, October 30 - November 1, 2003},
pages = {24--31},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/951710.951716},
doi = {10.1145/951710.951716},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/NandivadaP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZhaoPV03,
author = {Tian Zhao and
Jens Palsberg and
Jan Vitek},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Lightweight confinement for featherweight Java},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
pages = {135--148},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949305.949318},
doi = {10.1145/949305.949318},
timestamp = {Fri, 25 Jun 2021 17:19:58 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ZhaoPV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChatterjeeMMZHP03,
author = {Krishnendu Chatterjee and
Di Ma and
Rupak Majumdar and
Tian Zhao and
Thomas A. Henzinger and
Jens Palsberg},
editor = {Radhia Cousot},
title = {Stack Size Analysis for Interrupt-Driven Programs},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {109--126},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_7},
doi = {10.1007/3-540-44898-5\_7},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChatterjeeMMZHP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrylowP03,
author = {Dennis Brylow and
Jens Palsberg},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Deadline analysis of interrupt-driven software},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {198--207},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940098},
doi = {10.1145/940071.940098},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BrylowP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Appel2002,
author = {Andrew W. Appel and
Jens Palsberg},
title = {Modern Compiler Implementation in Java, 2nd edition},
publisher = {Cambridge University Press},
year = {2002},
isbn = {0-521-82060-X},
timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/Appel2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/PalsbergB02,
author = {Jens Palsberg and
Scott J. Baxter},
title = {Teaching reviewing to graduate students},
journal = {Commun. {ACM}},
volume = {45},
number = {12},
pages = {22--24},
year = {2002},
url = {https://doi.org/10.1145/585597.585612},
doi = {10.1145/585597.585612},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/PalsbergB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GlewP02,
author = {Neal Glew and
Jens Palsberg},
editor = {Boris Magnusson},
title = {Type-Safe Method Inlining},
booktitle = {{ECOOP} 2002 - Object-Oriented Programming, 16th European Conference,
Malaga, Spain, June 10-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2374},
pages = {525--544},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47993-7\_22},
doi = {10.1007/3-540-47993-7\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/GlewP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JhaPZ02,
author = {Somesh Jha and
Jens Palsberg and
Tian Zhao},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {Efficient Type Matching},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {187--204},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_14},
doi = {10.1007/3-540-45931-6\_14},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JhaPZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PalsbergM02,
author = {Jens Palsberg and
Di Ma},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {A Typed Interrupt Calculus},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {291--310},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_18},
doi = {10.1007/3-540-45739-9\_18},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PalsbergM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/NaikP02,
author = {Mayur Naik and
Jens Palsberg},
editor = {Peter Marwedel and
Srinivas Devadas},
title = {Compiling with code-size constraints},
booktitle = {Proceedings of the 2002 Joint Conference on Languages, Compilers,
and Tools for Embedded Systems {\&} Software and Compilers for
Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June
2002},
pages = {120--129},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513829.513851},
doi = {10.1145/513829.513851},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/NaikP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PalsbergZ02,
author = {Jens Palsberg and
Tian Zhao},
title = {Efficient Type Inference for Record Concatenation and Subtyping},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {125--136},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029822},
doi = {10.1109/LICS.2002.1029822},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PalsbergZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2002,
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {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},
publisher = {{ACM}},
year = {2002},
url = {http://dl.acm.org/citation.cfm?id=586094},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PalsbergZ01,
author = {Jens Palsberg and
Tian Zhao},
title = {Efficient and Flexible Matching of Recursive Types},
journal = {Inf. Comput.},
volume = {171},
number = {2},
pages = {364--387},
year = {2001},
url = {https://doi.org/10.1006/inco.2001.3090},
doi = {10.1006/INCO.2001.3090},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PalsbergZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PalsbergP01,
author = {Jens Palsberg and
Christina Pavlopoulou},
title = {From Polyvariant flow information to intersection and union types},
journal = {J. Funct. Program.},
volume = {11},
number = {3},
pages = {263--317},
year = {2001},
url = {https://doi.org/10.1017/S095679680100394X},
doi = {10.1017/S095679680100394X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/PalsbergP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BrylowDP01,
author = {Dennis Brylow and
Niels Damgaard and
Jens Palsberg},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {Static Checking of Interrupt-Driven Software},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {47--56},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919080},
doi = {10.1109/ICSE.2001.919080},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BrylowDP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GrothoffPV01,
author = {Christian Grothoff and
Jens Palsberg and
Jan Vitek},
editor = {Linda M. Northrop and
John M. Vlissides},
title = {Encapsulating Objects with Confined Types},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2001, Tampa,
Florida, USA, October 14-18, 2001},
pages = {241--253},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/504282.504300},
doi = {10.1145/504282.504300},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GrothoffPV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Palsberg01,
author = {Jens Palsberg},
editor = {John Field and
Gregor Snelting},
title = {Type-based analysis and applications},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah,
USA, June 18-19, 2001},
pages = {20--27},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379635},
doi = {10.1145/379605.379635},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Palsberg01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/PalsbergKKMSZ00,
author = {Jens Palsberg and
S. Krishnaswamy and
Minseok Kwon and
Di Ma and
Qiuyun Shao and
Y. Zhang},
title = {Experience with Software Watermarking},
booktitle = {16th Annual Computer Security Applications Conference {(ACSAC} 2000),
11-15 December 2000, New Orleans, Louisiana, {USA}},
pages = {308--316},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ACSAC.2000.898885},
doi = {10.1109/ACSAC.2000.898885},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/PalsbergKKMSZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PalsbergZ00,
author = {Jens Palsberg and
Tian Zhao},
title = {Efficient and Flexible Matching of Recursive Types},
booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
California, USA, June 26-29, 2000},
pages = {388--398},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/LICS.2000.855786},
doi = {10.1109/LICS.2000.855786},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PalsbergZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TipP00,
author = {Frank Tip and
Jens Palsberg},
editor = {Mary Beth Rosson and
Doug Lea},
title = {Scalable propagation-based call graph construction algorithms},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 2000,
Minneapolis, Minnesota, USA, October 15-19, 2000},
pages = {281--293},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/353171.353190},
doi = {10.1145/353171.353190},
timestamp = {Wed, 30 Mar 2022 13:58:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TipP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2000,
editor = {Jens Palsberg},
title = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
CA, USA, June 29 - July 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1824},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/b87738},
doi = {10.1007/B87738},
isbn = {3-540-67668-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/AikenWP99,
author = {Alexander Aiken and
Edward L. Wimmers and
Jens Palsberg},
title = {Optimal Representations of Polymorphic Types with Subtyping},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {3},
pages = {237--282},
year = {1999},
url = {https://doi.org/10.1023/A:1010056315933},
doi = {10.1023/A:1010056315933},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/AikenWP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Palsberg98,
author = {Jens Palsberg},
title = {Equality-based flow analysis versus recursive types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {6},
pages = {1251--1264},
year = {1998},
url = {https://doi.org/10.1145/295656.295662},
doi = {10.1145/295656.295662},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Palsberg98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SeiterPL98,
author = {Linda M. Seiter and
Jens Palsberg and
Karl J. Lieberherr},
title = {Evolution of Object Behavior Using Context Relations},
journal = {{IEEE} Trans. Software Eng.},
volume = {24},
number = {1},
pages = {79--92},
year = {1998},
url = {https://doi.org/10.1109/32.663999},
doi = {10.1109/32.663999},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SeiterPL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/PalsbergJ98,
author = {Jens Palsberg and
C. Barry Jay},
title = {The Essence of the Visitor Pattern},
booktitle = {{COMPSAC} '98 - 22nd International Computer Software and Applications
Conference, August 19-21, 1998, Vienna, Austria},
pages = {9--15},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CMPSAC.1998.716629},
doi = {10.1109/CMPSAC.1998.716629},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/PalsbergJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Palsberg98,
author = {Jens Palsberg},
editor = {John Hatcliff and
Torben {\AE}. Mogensen and
Peter Thiemann},
title = {Eta-Redexes in Partial Evaluation},
booktitle = {Partial Evaluation - Practice and Theory, {DIKU} 1998 International
Summer School, Copenhagen, Denmark, June 29 - July 10, 1998},
series = {Lecture Notes in Computer Science},
volume = {1706},
pages = {356--366},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47018-2\_15},
doi = {10.1007/3-540-47018-2\_15},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/pepm/Palsberg98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PalsbergP98,
author = {Jens Palsberg and
Christina Pavlopoulou},
editor = {David B. MacQueen and
Luca Cardelli},
title = {From Polyvariant Flow Information to Intersection and Union Types},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {197--208},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268963},
doi = {10.1145/268946.268963},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/PalsbergP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PalsbergWO97,
author = {Jens Palsberg and
Mitchell Wand and
Patrick O'Keefe},
title = {Type Inference with Non-Structural Subtyping},
journal = {Formal Aspects Comput.},
volume = {9},
number = {1},
pages = {49--67},
year = {1997},
url = {https://doi.org/10.1007/BF01212524},
doi = {10.1007/BF01212524},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PalsbergWO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/OrbaekP97,
author = {Peter {\O}rb{\ae}k and
Jens Palsberg},
title = {Trust in the lambda-Calculus},
journal = {J. Funct. Program.},
volume = {7},
number = {6},
pages = {557--591},
year = {1997},
url = {https://doi.org/10.1017/s0956796897002906},
doi = {10.1017/S0956796897002906},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/OrbaekP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PalsbergJ97,
author = {Jens Palsberg and
Trevor Jim},
title = {Type Inference with Simple Selftypes is NP-complete},
journal = {Nord. J. Comput.},
volume = {4},
number = {2},
pages = {259--286},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PalsbergJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PalsbergPL97,
author = {Jens Palsberg and
Boaz Patt{-}Shamir and
Karl J. Lieberherr},
title = {A New Approach to Compiling Adaptive Programs},
journal = {Sci. Comput. Program.},
volume = {29},
number = {3},
pages = {303--326},
year = {1997},
url = {https://doi.org/10.1016/S0167-6423(97)00004-X},
doi = {10.1016/S0167-6423(97)00004-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PalsbergPL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/HankinNP97,
author = {Chris Hankin and
Hanne Riis Nielson and
Jens Palsberg},
title = {Position Statements on Strategic Directions for Research on Programming
Languages},
journal = {{ACM} {SIGPLAN} Notices},
volume = {32},
number = {1},
pages = {59--65},
year = {1997},
url = {https://doi.org/10.1145/251595.251599},
doi = {10.1145/251595.251599},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/HankinNP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/Palsberg97,
author = {Jens Palsberg},
title = {Class-Graph Inference for Adaptive Programs},
journal = {Theory Pract. Object Syst.},
volume = {3},
number = {2},
pages = {75--85},
year = {1997},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/Palsberg97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AikenWP97,
author = {Alexander Aiken and
Edward L. Wimmers and
Jens Palsberg},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Optimal Representations of Polymorphic Types with Subtyping (Extended
Abstract)},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {47--76},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014547},
doi = {10.1007/BFB0014547},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AikenWP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Palsberg96,
author = {Jens Palsberg},
title = {Type Inference for Objects},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {358--359},
year = {1996},
url = {https://doi.org/10.1145/234528.234750},
doi = {10.1145/234528.234750},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Palsberg96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Palsberg96a,
author = {Jens Palsberg},
title = {Compiler Technology for Object-Oriented Languages},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {161},
year = {1996},
url = {https://doi.org/10.1145/242224.242428},
doi = {10.1145/242224.242428},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/Palsberg96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Palsberg96b,
author = {Jens Palsberg},
title = {Software Evolution and Integration},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {200},
year = {1996},
url = {https://doi.org/10.1145/242224.242480},
doi = {10.1145/242224.242480},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Palsberg96b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HankinNP96,
author = {Chris Hankin and
Hanne Riis Nielson and
Jens Palsberg},
title = {Strategic Directions in Research on Programming Languages},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4},
pages = {644--652},
year = {1996},
url = {https://doi.org/10.1145/242223.242260},
doi = {10.1145/242223.242260},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/HankinNP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Palsberg96,
author = {Jens Palsberg},
title = {Erratum: "Efficient Inference of Object Types" Volume123,
Number 2 (1995), pages 198-209},
journal = {Inf. Comput.},
volume = {126},
number = {1},
pages = {103--104},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0038},
doi = {10.1006/INCO.1996.0038},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Palsberg96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BondorfP96,
author = {Anders Bondorf and
Jens Palsberg},
title = {Generating Action Compilers by Partial Evaluation},
journal = {J. Funct. Program.},
volume = {6},
number = {2},
pages = {269--298},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001684},
doi = {10.1017/S0956796800001684},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BondorfP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PalsbergS96,
author = {Jens Palsberg and
Scott F. Smith},
title = {Constrained Types and Their Expressiveness},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {18},
number = {5},
pages = {519--527},
year = {1996},
url = {https://doi.org/10.1145/232706.232715},
doi = {10.1145/232706.232715},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PalsbergS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DanvyP96,
author = {Olivier Danvy and
Karoline Malmkj{\ae}r and
Jens Palsberg},
title = {Eta-Expansion Does The Trick},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {18},
number = {6},
pages = {730--751},
year = {1996},
url = {https://doi.org/10.1145/236114.236119},
doi = {10.1145/236114.236119},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DanvyP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PalsbergPL96,
author = {Jens Palsberg and
Boaz Patt{-}Shamir and
Karl J. Lieberherr},
editor = {Hanne Riis Nielson},
title = {A New Approach to Compiling Adaptive Programs},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {280--295},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_43},
doi = {10.1007/3-540-61055-3\_43},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/PalsbergPL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SeiterPL96,
author = {Linda M. Seiter and
Jens Palsberg and
Karl J. Lieberherr},
editor = {David Garlan},
title = {Evolution of Object Behavior Using Context Relations},
booktitle = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
October 16-18, 1996},
pages = {46--57},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/239098.239108},
doi = {10.1145/239098.239108},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SeiterPL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PalsbergS95,
author = {Jens Palsberg and
Michael I. Schwartzbach},
title = {Safety Analysis versus Type Inference},
journal = {Inf. Comput.},
volume = {118},
number = {1},
pages = {128--141},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1058},
doi = {10.1006/INCO.1995.1058},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PalsbergS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Palsberg95,
author = {Jens Palsberg},
title = {Efficient Inference of Object Types},
journal = {Inf. Comput.},
volume = {123},
number = {2},
pages = {198--209},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1168},
doi = {10.1006/INCO.1995.1168},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Palsberg95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyMP95,
author = {Olivier Danvy and
Karoline Malmkj{\ae}r and
Jens Palsberg},
title = {The Essence of Eta-Expansion in Partial Evaluation},
journal = {{LISP} Symb. Comput.},
volume = {8},
number = {3},
pages = {209--227},
year = {1995},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/DanvyMP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KozenPS95,
author = {Dexter Kozen and
Jens Palsberg and
Michael I. Schwartzbach},
title = {Efficient Recursive Subtyping},
journal = {Math. Struct. Comput. Sci.},
volume = {5},
number = {1},
pages = {113--125},
year = {1995},
url = {https://doi.org/10.1017/S0960129500000657},
doi = {10.1017/S0960129500000657},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/KozenPS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/WandOP95,
author = {Mitchell Wand and
Patrick O'Keefe and
Jens Palsberg},
title = {Strong Normalization with Non-Structural Subtyping},
journal = {Math. Struct. Comput. Sci.},
volume = {5},
number = {3},
pages = {419--429},
year = {1995},
url = {https://doi.org/10.1017/S0960129500000815},
doi = {10.1017/S0960129500000815},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/WandOP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/AgesenPS95,
author = {Ole Agesen and
Jens Palsberg and
Michael I. Schwartzbach},
title = {Type Inference of {SELF:} Analysis of Objects with Dynamic and Multiple
Inheritance},
journal = {Softw. Pract. Exp.},
volume = {25},
number = {9},
pages = {975--995},
year = {1995},
url = {https://doi.org/10.1002/spe.4380250903},
doi = {10.1002/SPE.4380250903},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/AgesenPS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/PalsbergS95,
author = {Jens Palsberg and
Michael I. Schwartzbach},
title = {Editorial},
journal = {Theory Pract. Object Syst.},
volume = {1},
number = {3},
pages = {149},
year = {1995},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/PalsbergS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChengEP95,
author = {Allan Cheng and
Javier Esparza and
Jens Palsberg},
title = {Complexity Results for 1-Safe Nets},
journal = {Theor. Comput. Sci.},
volume = {147},
number = {1{\&}2},
pages = {117--136},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00231-7},
doi = {10.1016/0304-3975(94)00231-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ChengEP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Palsberg95,
author = {Jens Palsberg},
title = {Closure Analysis in Constraint Form},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {47--62},
year = {1995},
url = {https://doi.org/10.1145/200994.201001},
doi = {10.1145/200994.201001},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Palsberg95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PalsbergXL95,
author = {Jens Palsberg and
Cun Xiao and
Karl J. Lieberherr},
title = {Efficient Implementation of Adaptive Software},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {264--292},
year = {1995},
url = {https://doi.org/10.1145/201059.201066},
doi = {10.1145/201059.201066},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PalsbergXL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PalsbergO95,
author = {Jens Palsberg and
Patrick O'Keefe},
title = {A Type System Equivalent to Flow Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {4},
pages = {576--599},
year = {1995},
url = {https://doi.org/10.1145/210184.210187},
doi = {10.1145/210184.210187},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PalsbergO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PalsbergO95,
author = {Jens Palsberg and
Patrick O'Keefe},
editor = {Ron K. Cytron and
Peter Lee},
title = {A Type System Equivalent to Flow Analysis},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {367--378},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199533},
doi = {10.1145/199448.199533},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/PalsbergO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PalsbergO95,
author = {Jens Palsberg and
Peter {\O}rb{\ae}k},
editor = {Alan Mycroft},
title = {Trust in the lambda-Calculus},
booktitle = {Static Analysis, Second International Symposium, SAS'95, Glasgow,
UK, September 25-27, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {983},
pages = {314--329},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60360-3\_47},
doi = {10.1007/3-540-60360-3\_47},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/PalsbergO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Palsberg95,
author = {Jens Palsberg},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Comparing Flow-Based Binding-Time Analyses},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {561--574},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_220},
doi = {10.1007/3-540-59293-8\_220},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Palsberg95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0070753,
author = {Jens Palsberg and
Michael I. Schwartzbach},
title = {Object-oriented type systems},
series = {Wiley professional computing},
publisher = {Wiley},
year = {1994},
isbn = {978-0-471-94128-6},
timestamp = {Fri, 08 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0070753.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CookP94,
author = {William R. Cook and
Jens Palsberg},
title = {A Denotational Semantics of Inheritance and Its Correctness},
journal = {Inf. Comput.},
volume = {114},
number = {2},
pages = {329--350},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1090},
doi = {10.1006/INCO.1994.1090},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CookP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KozenPS94,
author = {Dexter Kozen and
Jens Palsberg and
Michael I. Schwartzbach},
title = {Efficient Inference of Partial Types},
journal = {J. Comput. Syst. Sci.},
volume = {49},
number = {2},
pages = {306--324},
year = {1994},
url = {https://doi.org/10.1016/S0022-0000(05)80051-0},
doi = {10.1016/S0022-0000(05)80051-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KozenPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PalsbergS94,
author = {Jens Palsberg and
Michael I. Schwartzbach},
title = {Static Typing for Object-Oriented Programming},
journal = {Sci. Comput. Program.},
volume = {23},
number = {1},
pages = {19--53},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00014-X},
doi = {10.1016/0167-6423(94)00014-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PalsbergS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BlackP94,
author = {Andrew P. Black and
Jens Palsberg},
title = {Foundations of Object-Oriented Languages - Workshop Report},
journal = {{ACM} {SIGPLAN} Notices},
volume = {29},
number = {3},
pages = {3--11},
year = {1994},
url = {https://doi.org/10.1145/181587.181588},
doi = {10.1145/181587.181588},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BlackP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Palsberg94,
author = {Jens Palsberg},
editor = {Sophie Tison},
title = {Flobal Program Analysis in Constraint Form},
booktitle = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {787},
pages = {276--290},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0017488},
doi = {10.1007/BFB0017488},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Palsberg94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/PalsbergS94,
author = {Jens Palsberg and
Michael I. Schwartzbach},
editor = {Henri E. Bal},
title = {Binding-time Analysis: Abstract Interpretation versus Type Inference},
booktitle = {Proceedings of the {IEEE} Computer Society 1994 International Conference
on Computer Languages, May 16-19, 1994, Toulouse, France},
pages = {277--288},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICCL.1994.288372},
doi = {10.1109/ICCL.1994.288372},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/PalsbergS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Palsberg94,
author = {Jens Palsberg},
title = {Efficient Inference of Object Types},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {186--195},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316073},
doi = {10.1109/LICS.1994.316073},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Palsberg94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DanvyMP94,
author = {Olivier Danvy and
Karoline Malmkj{\ae}r and
Jens Palsberg},
title = {The Essence of Eta-Expansion in Partial Evaluation},
booktitle = {PEPM'94 - {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based
Program Manipulation, Walt Disney World Vilage, Orlando, Florida,
USA, 25 June 1994, Proceedings. Technical Report 94/9},
pages = {11--20},
publisher = {University of Melbourne, Australia, Department of Computer Science},
year = {1994},
timestamp = {Tue, 22 May 2012 15:24:56 +0200},
biburl = {https://dblp.org/rec/conf/pepm/DanvyMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Palsberg93,
author = {Jens Palsberg},
title = {Normal Forms Have Partial Types},
journal = {Inf. Process. Lett.},
volume = {45},
number = {1},
pages = {1--3},
year = {1993},
url = {https://doi.org/10.1016/0020-0190(93)90243-3},
doi = {10.1016/0020-0190(93)90243-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Palsberg93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Palsberg93,
author = {Jens Palsberg},
title = {Correctness of Binding-Time Analysis},
journal = {J. Funct. Program.},
volume = {3},
number = {3},
pages = {347--363},
year = {1993},
url = {https://doi.org/10.1017/S0956796800000770},
doi = {10.1017/S0956796800000770},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Palsberg93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AgesenPS93,
author = {Ole Agesen and
Jens Palsberg and
Michael I. Schwartzbach},
editor = {Oscar Nierstrasz},
title = {Type Inference of {SELF}},
booktitle = {ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern,
Germany, July 26-30, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {707},
pages = {247--267},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-47910-4\_14},
doi = {10.1007/3-540-47910-4\_14},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AgesenPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BanahanDMP93,
author = {Mike Banahan and
L. Peter Deutsch and
Boris Magnusson and
Jens Palsberg},
editor = {Oscar Nierstrasz},
title = {Panel: Aims, Means, and Future of Object-Oriented Languages},
booktitle = {ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern,
Germany, July 26-30, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {707},
pages = {528--530},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-47910-4\_26},
doi = {10.1007/3-540-47910-4\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BanahanDMP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BondorfP93,
author = {Anders Bondorf and
Jens Palsberg},
editor = {John Williams},
title = {Compiling Actions by Partial Evaluation},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {308--320},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165227},
doi = {10.1145/165180.165227},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/BondorfP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChengEP93,
author = {Allan Cheng and
Javier Esparza and
Jens Palsberg},
editor = {R. K. Shyamasundar},
title = {Complexity Results for 1-safe Nets},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
pages = {326--337},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4\_66},
doi = {10.1007/3-540-57529-4\_66},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChengEP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KozenPS93,
author = {Dexter Kozen and
Jens Palsberg and
Michael I. Schwartzbach},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Efficient Recursive Subtyping},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {419--428},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158700},
doi = {10.1145/158511.158700},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KozenPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/PalsbergS92,
author = {Jens Palsberg and
Michael I. Schwartzbach},
title = {Safety Analysis Versus Type Inference for Partial Types},
journal = {Inf. Process. Lett.},
volume = {43},
number = {4},
pages = {175--180},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90196-3},
doi = {10.1016/0020-0190(92)90196-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/PalsbergS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oopsm/PalsbergS92,
author = {Jens Palsberg and
Michael I. Schwartzbach},
title = {Three discussions on object-oriented typing},
journal = {{OOPS} Messenger},
volume = {3},
number = {2},
pages = {31--38},
year = {1992},
url = {https://doi.org/10.1145/130943.130949},
doi = {10.1145/130943.130949},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/oopsm/PalsbergS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OxhojPS92,
author = {Nicholas Oxh{\o}j and
Jens Palsberg and
Michael I. Schwartzbach},
editor = {Ole Lehrmann Madsen},
title = {Making Type Inference Practical},
booktitle = {{ECOOP} '92, European Conference on Object-Oriented Programming, Utrecht,
The Netherlands, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {615},
pages = {329--349},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0053045},
doi = {10.1007/BFB0053045},
timestamp = {Wed, 07 Dec 2022 23:08:18 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/OxhojPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Palsberg92,
author = {Jens Palsberg},
editor = {Bernd Krieg{-}Br{\"{u}}ckner},
title = {A Provably Correct Compiler Generator},
booktitle = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France,
February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {582},
pages = {418--434},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55253-7\_25},
doi = {10.1007/3-540-55253-7\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Palsberg92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KozenPS92,
author = {Dexter Kozen and
Jens Palsberg and
Michael I. Schwartzbach},
title = {Efficient Inference of Partial Types},
booktitle = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh,
Pennsylvania, USA, 24-27 October 1992},
pages = {363--371},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SFCS.1992.267754},
doi = {10.1109/SFCS.1992.267754},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/KozenPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/Palsberg92,
author = {Jens Palsberg},
editor = {James R. Cordy and
Mario Barbacci},
title = {An automatically generated and provably correct compiler for a subset
of Ada},
booktitle = {ICCL'92, Proceedings of the 1992 International Conference on Computer
Languages, Oakland, California, USA, 20-23 Apr 1992},
pages = {117--126},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCL.1992.185474},
doi = {10.1109/ICCL.1992.185474},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/Palsberg92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/oopsm/SchwartzbachP93,
author = {Michael I. Schwartzbach and
Jens Palsberg},
editor = {Jerry L. Archibald and
Mark C. Wilkes},
title = {Types for the language designer (abstract)},
booktitle = {Addendum to the Proceedings on Object-Oriented Programming Systems,
Languages, and Applications, {OOPSLA} 1992 Addendum, Vancouver, British
Columbia, Canada, October 18-22, 1992},
pages = {219},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/157709.157768},
doi = {10.1145/157709.157768},
timestamp = {Fri, 13 May 2022 10:38:09 +0200},
biburl = {https://dblp.org/rec/journals/oopsm/SchwartzbachP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PalsbergS91,
author = {Jens Palsberg and
Michael I. Schwartzbach},
editor = {Pierre America},
title = {What is Type-Safe Code Reuse?},
booktitle = {ECOOP'91 European Conference on Object-Oriented Programming, Geneva,
Switzerland, July 15-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {512},
pages = {325--341},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0057030},
doi = {10.1007/BFB0057030},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/PalsbergS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PalsbergS91,
author = {Jens Palsberg and
Michael I. Schwartzbach},
editor = {Andreas Paepcke},
title = {Object-Oriented Type Inference},
booktitle = {Proceedings of the Sixth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1991, Phoenix, Arizona,
USA, October 6-11, 1991},
pages = {146--161},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/117954.117965},
doi = {10.1145/117954.117965},
timestamp = {Fri, 13 May 2022 10:26:32 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PalsbergS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PalsbergS90,
author = {Jens Palsberg and
Michael I. Schwartzbach},
editor = {Akinori Yonezawa},
title = {Type Substitution for Object-Oriented Programming},
booktitle = {Conference on Object-Oriented Programming Systems, Languages, and
Applications / European Conference on Object-Oriented Programming,
{OOPSLA/ECOOP} 1990, Ottawa, Canada, October 21-25, 1990, Proceedings},
pages = {151--160},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/97945.97965},
doi = {10.1145/97945.97965},
timestamp = {Wed, 30 Mar 2022 13:54:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PalsbergS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CookP89,
author = {William R. Cook and
Jens Palsberg},
editor = {George Bosworth},
title = {A Denotational Semantics of Inheritance and its Correctness},
booktitle = {Conference on Object-Oriented Programming: Systems, Languages, and
Applications, {OOPSLA} 1989, New Orleans, Louisiana, USA, October
1-6, 1989, Proceedings},
pages = {433--443},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74877.74922},
doi = {10.1145/74877.74922},
timestamp = {Wed, 30 Mar 2022 13:54:19 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CookP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:47 CEST 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:
