Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alex Potanin
@article{DBLP:journals/lmcs/RungeBPTS23,
author = {Tobias Runge and
Tabea Bordis and
Alex Potanin and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {Flexible Correct-by-Construction Programming},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:16)2023},
doi = {10.46298/LMCS-19(2:16)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/RungeBPTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RungeSPS23,
author = {Tobias Runge and
Marco Servetto and
Alex Potanin and
Ina Schaefer},
title = {Immutability and Encapsulation for Sound {OO} Information Flow Control},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {45},
number = {1},
pages = {3:1--3:35},
year = {2023},
url = {https://doi.org/10.1145/3573270},
doi = {10.1145/3573270},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/RungeSPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GarianoSP22,
author = {Isaac Oscar Gariano and
Marco Servetto and
Alex Potanin},
title = {Using capabilities for strict runtime invariant checking},
journal = {Sci. Comput. Program.},
volume = {224},
pages = {102878},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102878},
doi = {10.1016/J.SCICO.2022.102878},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GarianoSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MelicherXZPA22,
author = {Darya Melicher and
Anlun Xu and
Valerie Zhao and
Alex Potanin and
Jonathan Aldrich},
title = {Bounded Abstract Effects},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {44},
number = {1},
pages = {5:1--5:48},
year = {2022},
url = {https://doi.org/10.1145/3492427},
doi = {10.1145/3492427},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/MelicherXZPA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RungePTS22,
author = {Tobias Runge and
Alex Potanin and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Mohammad Reza Mousavi and
Anna Philippou},
title = {Traits: Correctness-by-Construction for Free},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
as Part of the 17th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13273},
pages = {131--150},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08679-3\_9},
doi = {10.1007/978-3-031-08679-3\_9},
timestamp = {Wed, 15 Jun 2022 16:45:18 +0200},
biburl = {https://dblp.org/rec/conf/forte/RungePTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RungeKSPS22,
author = {Tobias Runge and
Alexander Kittelmann and
Marco Servetto and
Alex Potanin and
Ina Schaefer},
editor = {Bernd{-}Holger Schlingloff and
Ming Chai},
title = {Information Flow Control-by-Construction for an Object-Oriented Language},
booktitle = {Software Engineering and Formal Methods - 20th International Conference,
{SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13550},
pages = {209--226},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17108-6\_13},
doi = {10.1007/978-3-031-17108-6\_13},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/RungeKSPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splash/2022c,
editor = {Alex Potanin},
title = {Companion Proceedings of the 2022 {ACM} {SIGPLAN} International Conference
on Systems, Programming, Languages, and Applications: Software for
Humanity, {SPLASH} Companion 2022, Auckland, New Zealand, December
5-10, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563768},
doi = {10.1145/3563768},
isbn = {978-1-4503-9901-2},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splash/2022c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-05644,
author = {Tobias Runge and
Alex Potanin and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {Traits for Correct-by-Construction Programming},
journal = {CoRR},
volume = {abs/2204.05644},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.05644},
doi = {10.48550/ARXIV.2204.05644},
eprinttype = {arXiv},
eprint = {2204.05644},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-05644.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-02672,
author = {Tobias Runge and
Alexander Kittelmann and
Marco Servetto and
Alex Potanin and
Ina Schaefer},
title = {Information Flow Control-by-Construction for an Object-Oriented Language
Using Type Modifiers},
journal = {CoRR},
volume = {abs/2208.02672},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.02672},
doi = {10.48550/ARXIV.2208.02672},
eprinttype = {arXiv},
eprint = {2208.02672},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-02672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-15261,
author = {Tobias Runge and
Tabea Bordis and
Alex Potanin and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {Flexible Correct-by-Construction Programming},
journal = {CoRR},
volume = {abs/2211.15261},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.15261},
doi = {10.48550/ARXIV.2211.15261},
eprinttype = {arXiv},
eprint = {2211.15261},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-15261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MackayPAG20,
author = {Julian Mackay and
Alex Potanin and
Jonathan Aldrich and
Lindsay Groves},
title = {Decidable subtyping for path dependent types},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {66:1--66:27},
year = {2020},
url = {https://doi.org/10.1145/3371134},
doi = {10.1145/3371134},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MackayPAG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MackayPAG20,
author = {Julian Mackay and
Alex Potanin and
Jonathan Aldrich and
Lindsay Groves},
editor = {Bruno C. d. S. Oliveira},
title = {Syntactically Restricting Bounded Polymorphism for Decidable Subtyping},
booktitle = {Programming Languages and Systems - 18th Asian Symposium, {APLAS}
2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12470},
pages = {125--144},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64437-6\_7},
doi = {10.1007/978-3-030-64437-6\_7},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/MackayPAG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/SinghGP20,
author = {Manish Singh and
Lindsay Groves and
Alex Potanin},
editor = {Yong Zhang and
Yicheng Xu and
Hui Tian},
title = {A Relaxed Balanced Lock-Free Binary Search Tree},
booktitle = {Parallel and Distributed Computing, Applications and Technologies
- 21st International Conference, {PDCAT} 2020, Shenzhen, China, December
28-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12606},
pages = {304--317},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-69244-5\_27},
doi = {10.1007/978-3-030-69244-5\_27},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdcat/SinghGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-09685,
author = {Isaac Oscar Gariano and
Marco Servetto and
Alex Potanin and
Hrshikesh Arora},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Iteratively Composing Statically Verified Traits},
booktitle = {Proceedings Seventh International Workshop on Verification and Program
Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
series = {{EPTCS}},
volume = {299},
pages = {49--55},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.299.7},
doi = {10.4204/EPTCS.299.7},
timestamp = {Fri, 03 Jun 2022 08:18:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-10231,
author = {Isaac Oscar Gariano and
Marco Servetto and
Alex Potanin},
title = {Sound Invariant Checking Using Type Modifiers and Object Capabilities},
journal = {CoRR},
volume = {abs/1902.10231},
year = {2019},
url = {http://arxiv.org/abs/1902.10231},
eprinttype = {arXiv},
eprint = {1902.10231},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-10231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PotaninM18,
author = {Alex Potanin and
Gail C. Murphy},
title = {Preface for the Special Issue on the 23rd Asia-Pacific Software Engineering
Conference {(APSEC)} 2016},
journal = {Sci. Comput. Program.},
volume = {163},
pages = {138},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.05.003},
doi = {10.1016/J.SCICO.2018.05.003},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PotaninM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001PMM18,
author = {James Noble and
Alex Potanin and
Toby C. Murray and
Mark S. Miller},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Abstract and Concrete Data Types vs Object Capabilities},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {221--240},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_14},
doi = {10.1007/978-3-319-98047-8\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/0001PMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/MelicherSZPA18,
author = {Darya Melicher and
Yangqingwei Shi and
Valerie Zhao and
Alex Potanin and
Jonathan Aldrich},
editor = {Munindar P. Singh and
Laurie A. Williams and
Rick Kuhn and
Tao Xie},
title = {Using object capabilities and effects to build an authority-safe module
system: poster},
booktitle = {Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics
in the Science of Security, HoTSoS 2018, Raleigh, North Carolina,
USA, April 10-11, 2018},
pages = {29:1},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3190619.3191691},
doi = {10.1145/3190619.3191691},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/MelicherSZPA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CraigPGA18,
author = {Aaron Craig and
Alex Potanin and
Lindsay Groves and
Jonathan Aldrich},
editor = {Jing Sun and
Meng Sun},
title = {Capabilities: Effects for Free},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {231--247},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_14},
doi = {10.1007/978-3-030-02450-5\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CraigPGA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PaugetPP18,
author = {Baptiste Pauget and
David J. Pearce and
Alex Potanin},
editor = {Stephen Kell and
Stefan Marr},
title = {Towards compilation of an imperative language for FPGAs},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Workshop on
Virtual Machines and Intermediate Languages, VMIL@SPLASH 2018, Boston,
MA, USA, November 4, 2018},
pages = {47--56},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3281287.3281291},
doi = {10.1145/3281287.3281291},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PaugetPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MelicherSPA17,
author = {Darya Melicher and
Yangqingwei Shi and
Alex Potanin and
Jonathan Aldrich},
title = {A Capability-Based Module System for Authority Control (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {02:1--02:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.2},
doi = {10.4230/DARTS.3.2.2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MelicherSPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DietrichJRTP17,
author = {Jens Dietrich and
Kamil Jezek and
Shawn Rasheed and
Amjed Tahir and
Alex Potanin},
title = {Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {13:1--13:3},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.13},
doi = {10.4230/DARTS.3.2.13},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DietrichJRTP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Potanin17,
author = {Alex Potanin},
title = {Introduction to the Special Issue on the 0th New Object-Oriented Languages
{(NOOL)} Workshop in 2015},
journal = {J. Object Technol.},
volume = {16},
number = {2},
pages = {1--2},
year = {2017},
url = {https://doi.org/10.5381/jot.2017.16.2.e1},
doi = {10.5381/JOT.2017.16.2.E1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Potanin17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsw/SamCP17,
author = {Garming Sam and
Nick Cameron and
Alex Potanin},
title = {Automated refactoring of rust programs},
booktitle = {Proceedings of the Australasian Computer Science Week Multiconference,
{ACSW} 2017, Geelong, Australia, January 31 - February 3, 2017},
pages = {14:1--14:9},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3014812.3014826},
doi = {10.1145/3014812.3014826},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsw/SamCP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DietrichJRTP17,
author = {Jens Dietrich and
Kamil Jezek and
Shawn Rasheed and
Amjed Tahir and
Alex Potanin},
editor = {Peter M{\"{u}}ller},
title = {Evil Pickles: DoS Attacks Based on Object-Graph Engineering},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {10:1--10:32},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.10},
doi = {10.4230/LIPICS.ECOOP.2017.10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DietrichJRTP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MelicherSPA17,
author = {Darya Melicher and
Yangqingwei Shi and
Alex Potanin and
Jonathan Aldrich},
editor = {Peter M{\"{u}}ller},
title = {A Capability-Based Module System for Authority Control},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {20:1--20:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.20},
doi = {10.4230/LIPICS.ECOOP.2017.20},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MelicherSPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/KurilovaPA16,
author = {Darya Kurilova and
Alex Potanin and
Jonathan Aldrich},
editor = {William L. Scherlis and
David Brumley},
title = {Modules in wyvern: advanced control over security and privacy},
booktitle = {Proceedings of the Symposium and Bootcamp on the Science of Security,
Pittsburgh, PA, USA, April 19-21, 2016},
pages = {68},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2898375.2898376},
doi = {10.1145/2898375.2898376},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/KurilovaPA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2016,
editor = {Alex Potanin and
Gail C. Murphy and
Steve Reeves and
Jens Dietrich},
title = {23rd Asia-Pacific Software Engineering Conference, {APSEC} 2016, Hamilton,
New Zealand, December 6-9, 2016},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://ieeexplore.ieee.org/xpl/conhome/7889645/proceeding},
isbn = {978-1-5090-5575-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LeeASPC15,
author = {Joseph Lee and
Jonathan Aldrich and
Troy Shaw and
Alex Potanin and
Benjamin Chung},
title = {A Theory of Tagged Objects (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {03:1--03--3},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.3},
doi = {10.4230/DARTS.1.1.3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/LeeASPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LeeASP15,
author = {Joseph Lee and
Jonathan Aldrich and
Troy Shaw and
Alex Potanin},
editor = {John Tang Boyland},
title = {A Theory of Tagged Objects},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {174--197},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.174},
doi = {10.4230/LIPICS.ECOOP.2015.174},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/LeeASP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PotaninN15,
author = {Alex Potanin and
James Noble},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Workshop preview of the 2015 workshop on new object-oriented languages
{(NOOL} 2015)},
booktitle = {Companion Proceedings of the 2015 {ACM} {SIGPLAN} International Conference
on Systems, Programming, Languages and Applications: Software for
Humanity, {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
pages = {105--106},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814189.2833208},
doi = {10.1145/2814189.2833208},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PotaninN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OmarKNCPA14,
author = {Cyrus Omar and
Darya Kurilova and
Ligia Nistor and
Benjamin Chung and
Alex Potanin and
Jonathan Aldrich},
editor = {Richard E. Jones},
title = {Safely Composable Type-Specific Languages},
booktitle = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference,
Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8586},
pages = {105--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44202-9\_5},
doi = {10.1007/978-3-662-44202-9\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/OmarKNCPA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/KurilovaONCPA14,
author = {Darya Kurilova and
Cyrus Omar and
Ligia Nistor and
Benjamin Chung and
Alex Potanin and
Jonathan Aldrich},
editor = {Laurie A. Williams and
David M. Nicol and
Munindar P. Singh},
title = {Type-specific languages to fight injection attacks},
booktitle = {Proceedings of the 2014 Symposium and Bootcamp on the Science of Security,
HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014},
pages = {18},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2600176.2600194},
doi = {10.1145/2600176.2600194},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/KurilovaONCPA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KurilovaPA14,
author = {Darya Kurilova and
Alex Potanin and
Jonathan Aldrich},
editor = {Joshua Sunshine and
Thomas D. LaToza and
Craig Anslow},
title = {Wyvern: Impacting Software Security via Programming Language Design},
booktitle = {Proceedings of the 5th Workshop on Evaluation and Usability of Programming
Languages and Tools, Portland, OR, USA, October 21, 2014},
pages = {57--58},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2688204.2688216},
doi = {10.1145/2688204.2688216},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/KurilovaPA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PotaninV13,
author = {Alex Potanin and
Taso Viglas},
title = {Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {1},
pages = {1--2},
year = {2013},
url = {https://doi.org/10.1142/S0129054113020012},
doi = {10.1142/S0129054113020012},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/PotaninV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/DymnikovPP13,
author = {Constantine Dymnikov and
David J. Pearce and
Alex Potanin},
title = {OwnKit: Inferring Modularly Checkable Ownership Annotations for Java},
booktitle = {22nd Australian Conference on Software Engineering {(ASWEC} 2013),
4-7 June 2013, Melbourne, Victoria, Australia},
pages = {181--190},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ASWEC.2013.30},
doi = {10.1109/ASWEC.2013.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/DymnikovPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OmarCKPA13,
author = {Cyrus Omar and
Benjamin Chung and
Darya Kurilova and
Alex Potanin and
Jonathan Aldrich},
editor = {Beno{\^{\i}}t Combemale and
Walter Cazzola and
Robert B. France},
title = {Type-directed, whitespace-delimited parsing for embedded DSLs},
booktitle = {Proceedings of the First Workshop on the Globalization of Domain Specific
Languages, GlobalDSL@ECOOP 2013, Montpellier, France, July 1, 2013},
pages = {8--11},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489812.2489815},
doi = {10.1145/2489812.2489815},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/OmarCKPA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ServettoMPN13,
author = {Marco Servetto and
Julian Mackay and
Alex Potanin and
James Noble},
editor = {Giuseppe Castagna},
title = {The Billion-Dollar Fix - Safe Modular Circular Initialisation with
Placeholders and Placeholder Types},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {205--229},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_9},
doi = {10.1007/978-3-642-39038-8\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ServettoMPN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PotaninDN13,
author = {Alex Potanin and
Monique Damitio and
James Noble},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Are your incoming aliases really necessary? counting the cost of object
ownership},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {742--751},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606620},
doi = {10.1109/ICSE.2013.6606620},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PotaninDN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/PotaninOZE13,
author = {Alex Potanin and
Johan {\"{O}}stlund and
Yoav Zibin and
Michael D. Ernst},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Immutability},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {233--269},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_9},
doi = {10.1007/978-3-642-36946-9\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/PotaninOZE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MackayMPGC12,
author = {Julian Mackay and
Hannes Mehnert and
Alex Potanin and
Lindsay Groves and
Nicholas Cameron},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Encoding Featherweight Java with assignment and immutability using
the Coq proof assistant},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {11--19},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318206},
doi = {10.1145/2318202.2318206},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MackayMPGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MalePPD11,
author = {Chris Male and
David J. Pearce and
Alex Potanin and
Constantine Dymnikov},
title = {Formalisation and implementation of an algorithm for bytecode verification
of @NonNull types},
journal = {Sci. Comput. Program.},
volume = {76},
number = {7},
pages = {587--608},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.10.004},
doi = {10.1016/J.SCICO.2010.10.004},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MalePPD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chinz/TranAMPR11,
author = {Hien Tran and
Craig Anslow and
Stuart Marshall and
Alex Potanin and
Mair{\'{e}}ad de R{\'{o}}iste},
editor = {Sally Jo Cunningham and
Masood Masoodian and
Bill Rogers},
title = {Lessons learnt from collaboratively creating maps on a touch table},
booktitle = {Proceedings of the 12th {ACM} {SIGCHI} New Zealand Chapter's International
Conference on Computer-Human Interaction, {CHINZ} 2011, Hamilton,
New Zealand, July 4-5, 2011},
pages = {105--108},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000756.2000771},
doi = {10.1145/2000756.2000771},
timestamp = {Fri, 16 Feb 2024 14:06:12 +0100},
biburl = {https://dblp.org/rec/conf/chinz/TranAMPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cats/2011,
editor = {Alex Potanin and
Taso Viglas},
title = {Seventeenth Computing: The Australasian Theory Symposium, {CATS} 2011,
Perth, Australia, January 2011},
series = {{CRPIT}},
volume = {119},
publisher = {Australian Computer Society},
year = {2011},
url = {http://crpit.scem.westernsydney.edu.au/Vol119.html},
isbn = {978-1-920682-98-9},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cats/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZibinPLAE10,
author = {Yoav Zibin and
Alex Potanin and
Paley Li and
Mahmood Ali and
Michael D. Ernst},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Ownership and immutability in generic Java},
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 = {598--617},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869509},
doi = {10.1145/1869459.1869509},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ZibinPLAE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cats/2010,
editor = {Taso Viglas and
Alex Potanin},
title = {Theory of Computing 2010, {CATS} 2010, Brisbane, Australia, January
2010},
series = {{CRPIT}},
volume = {109},
publisher = {Australian Computer Society},
year = {2010},
url = {http://crpit.scem.westernsydney.edu.au/Vol109.html},
isbn = {978-1-920682-90-3},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cats/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/auic/RamsayMP08,
author = {Neil Ramsay and
Stuart Marshall and
Alex Potanin},
editor = {Beryl Plimmer and
Gerald Weber},
title = {Annotating {UI} Architecture with Actual Use},
booktitle = {User Interfaces 2008, Ninth Australasian User Interface Conference,
{AUIC} 2008, Wollongong, NSW, Australia, January 2008},
series = {{CRPIT}},
volume = {76},
pages = {75--78},
publisher = {Australian Computer Society},
year = {2008},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV76Ramsay.html},
timestamp = {Thu, 25 Jul 2019 14:09:43 +0200},
biburl = {https://dblp.org/rec/conf/auic/RamsayMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MalePPD08,
author = {Chris Male and
David J. Pearce and
Alex Potanin and
Constantine Dymnikov},
editor = {Laurie J. Hendren},
title = {Java Bytecode Verification for @NonNull Types},
booktitle = {Compiler Construction, 17th International Conference, {CC} 2008, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4959},
pages = {229--244},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78791-4\_16},
doi = {10.1007/978-3-540-78791-4\_16},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/MalePPD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MuscheviciPTN08,
author = {Radu Muschevici and
Alex Potanin and
Ewan D. Tempero and
James Noble},
editor = {Gail E. Harris},
title = {Multiple dispatch in practice},
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 = {563--582},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449808},
doi = {10.1145/1449764.1449808},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MuscheviciPTN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Potanin07,
author = {Alex Potanin},
title = {Generic Ownership: a Practical Approach to Ownership and Confinement
in Object-Oriented Programming Languages},
school = {Victoria University of Wellington, New Zealand},
year = {2007},
url = {http://hdl.handle.net/10063/335},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Potanin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZibinPAAKE07,
author = {Yoav Zibin and
Alex Potanin and
Mahmood Ali and
Shay Artzi and
Adam Kiezun and
Michael D. Ernst},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Object and reference immutability using java generics},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {75--84},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287637},
doi = {10.1145/1287624.1287637},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZibinPAAKE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PotaninNCB06,
author = {Alex Potanin and
James Noble and
Dave Clarke and
Robert Biddle},
title = {Featherweight generic confinement},
journal = {J. Funct. Program.},
volume = {16},
number = {6},
pages = {793--811},
year = {2006},
url = {https://doi.org/10.1017/S0956796806006125},
doi = {10.1017/S0956796806006125},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/PotaninNCB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PotaninNCB06,
author = {Alex Potanin and
James Noble and
Dave Clarke and
Robert Biddle},
editor = {Peri L. Tarr and
William R. Cook},
title = {Generic ownership for generic Java},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {311--324},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167500},
doi = {10.1145/1167473.1167500},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PotaninNCB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OverbeyFAABGKMMPV06,
author = {Jeffrey Overbey and
Brian Foote and
Paul Adamczyk and
Jonathan Aldrich and
Elisa L. A. Baniassad and
Christian Grothoff and
Arvind Krishna and
Sean McDirmid and
Todd D. Millstein and
Alex Potanin and
Mandana Vaziri},
editor = {Peri L. Tarr and
William R. Cook},
title = {Young guns/object orientation: the next generation},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {940--942},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176751},
doi = {10.1145/1176617.1176751},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/OverbeyFAABGKMMPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/PotaninNFB05,
author = {Alex Potanin and
James Noble and
Marcus R. Frean and
Robert Biddle},
title = {Scale-free geometry in {OO} programs},
journal = {Commun. {ACM}},
volume = {48},
number = {5},
pages = {99--103},
year = {2005},
url = {https://doi.org/10.1145/1060710.1060716},
doi = {10.1145/1060710.1060716},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/PotaninNFB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/PotaninNB04,
author = {Alex Potanin and
James Noble and
Robert Biddle},
title = {Checking ownership and confinement},
journal = {Concurr. Pract. Exp.},
volume = {16},
number = {7},
pages = {671--687},
year = {2004},
url = {https://doi.org/10.1002/cpe.799},
doi = {10.1002/CPE.799},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/PotaninNB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/PotaninNB04,
author = {Alex Potanin and
James Noble and
Robert Biddle},
title = {Snapshot Query-Based Debugging},
booktitle = {15th Australian Software Engineering Conference {(ASWEC} 2004), 13-16
April 2004, Melbourne, Australia},
pages = {251--261},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ASWEC.2004.1290478},
doi = {10.1109/ASWEC.2004.1290478},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/PotaninNB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PotaninNB04,
author = {Alex Potanin and
James Noble and
Robert Biddle},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Generic ownership: practical ownership control in programming languages},
booktitle = {Companion to the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {50--51},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028664.1028692},
doi = {10.1145/1028664.1028692},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PotaninNB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Potanin02,
author = {Alex Potanin},
editor = {Mamdouh Ibrahim},
title = {A tool for ownership and confinement analysis of the Java object graph},
booktitle = {Companion of the 17th annual {ACM} {SIGPLAN} conference on Object-oriented
programming, systems, languages, and applications, {OOPSLA} 2002,
Seattle, Washington, USA, November 4-8, 2002},
pages = {118--119},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/985072.985132},
doi = {10.1145/985072.985132},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Potanin02.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 01:52 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:
