Petros Maniatis
Orcid: 0000-0003-3777-5291
According to our database1,
Petros Maniatis
authored at least 79 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution.
CoRR, 2024
Proceedings of the 17th Innovations in Software Engineering Conference, 2024
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024
Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024
2023
Proceedings of the 29th Symposium on Operating Systems Principles, 2023
Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract.
Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, 2023
2022
CoRR, 2022
Proceedings of the Tenth International Conference on Learning Representations, 2022
2021
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the 38th International Conference on Machine Learning, 2021
2020
überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms.
ACM SIGOPS Oper. Syst. Rev., 2020
Proceedings of the 37th International Conference on Machine Learning, 2020
Proceedings of the 8th International Conference on Learning Representations, 2020
2019
Proceedings of the 7th International Conference on Learning Representations, 2019
2018
The Use of CT Scans and 3D Modeling as a Powerful Tool to Assist Fossil Vertebrate Taxonomy.
Proceedings of the Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection, 2018
2017
Proceedings of the 26th USENIX Security Symposium, 2017
Proceedings of the 26th Symposium on Operating Systems Principles, 2017
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017
2016
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.
Proceedings of the 25th USENIX Security Symposium, 2016
2015
Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices.
IEEE Trans. Mob. Comput., 2015
Proceedings of the 10th ACM Symposium on Information, 2015
2013
Proceedings of the ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), 2013
Proceedings of the 2013 USENIX Annual Technical Conference, 2013
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013
2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012
2011
Proceedings of the 2nd USENIX Conference on Web Application Development, 2011
Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011
Proceedings of the European Conference on Computer Systems, 2011
Proceedings of the 3rd ACM Cloud Computing Security Workshop, 2011
2010
CoRR, 2010
CoRR, 2010
A Data Capsule Framework For Web Services: Providing Flexible Data Access Control To Users
CoRR, 2010
Proceedings of the Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, 2010
Proceedings of the 2010 ACM Conference on Emerging Networking Experiments and Technology, 2010
2009
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009
Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009
Proceedings of the 7th USENIX Conference on File and Storage Technologies, 2009
2008
Proceedings of the 2008 USENIX Annual Technical Conference, 2008
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008
2007
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007
Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007
Proceedings of the IEEE International Conference on Network Protocols, 2007
Proceedings of the 23rd International Conference on Data Engineering, 2007
Proceedings of the Third Biennial Conference on Innovative Data Systems Research, 2007
2006
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006
Proceedings of the Network and Distributed System Security Symposium, 2006
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006
2005
Proceedings of the 2005 USENIX Annual Technical Conference, 2005
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005
Proceedings of the Second Biennial Conference on Innovative Data Systems Research, 2005
2004
Proceedings of the 11st ACM SIGOPS European Workshop, 2004
Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004
2003
Proceedings of the 5th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2003), 2003
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003
2002
Proceedings of the 11th USENIX Security Symposium, 2002
Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002
Proceedings of the FAST '02 Conference on File and Storage Technologies, 2002
2001
1999
Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, 1999