Event List
retrieve:
Return the details about the given Event id.
list:
List all Event objects.
GET /api/v1/events/?format=api&offset=110&ordering=event__contact
{ "count": 203, "next": "https://memento.epfl.ch/api/v1/events/?format=api&limit=10&offset=120&ordering=event__contact", "previous": "https://memento.epfl.ch/api/v1/events/?format=api&limit=10&offset=100&ordering=event__contact", "results": [ { "id": 71746, "title": "Control Policy and Shape Co-Design", "slug": "control-policy-and-shape-co-design", "event_url": "https://memento.epfl.ch/event/control-policy-and-shape-co-design", "visual_url": "https://memento.epfl.ch/image/33072/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33072/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33072/max-size.jpg", "lang": "en", "start_date": "2026-06-15", "end_date": "2026-06-15", "start_time": "10:00:00", "end_time": "12:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Mark Pauly<br>\r\nThesis advisor: Prof. Pascal Fua<br>\r\nCo-examiner: Prof. Colin Jones<br>\r\n<br>\r\n<u>Abstract</u><br>\r\ncoming soon<br>\r\n<br>\r\n<u>Selected papers</u>\r\n<ul>\r\n\t<li><em>Developing a Co-Design Framework for Hypersonic Vehicle Aerodynamics and Trajectory </em><a href=\"https://arc.aiaa.org/doi/10.2514/6.2024-0238\" title=\"https://arc.aiaa.org/doi/10.2514/6.2024-0238\">[link]</a></li>\r\n\t<li><em>Co-Design Optimisation of Morphing Topology and Control of Winged Drones </em><a href=\"https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=10611506\" title=\"https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=10611506\">[link]</a></li>\r\n\t<li><em>Synthesis of Model Predictive Control and Reinforcement Learning: Survey and Classification </em><a href=\"https://pdf.sciencedirectassets.com/271897/1-s2.0-S1367578825X00031/1-s2.0-S1367578826000015/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjED8aCXVzLWVhc3QtMSJGMEQCIGWdZsRooNaRSE9Jvm42gFGma19EDUmA%2F6qh9vRVW79eAiBVOd6jClS4f9hZhP74JWxrBGX3h6wFijICbZSAIAGQRiqyBQgHEAUaDDA1OTAwMzU0Njg2NSIM%2F2qu0CW5XnqjqmccKo8Fayr5Tlv%2BM%2FslOsihSWoNqXNS8Pgnao%2FdAGPJo2VJcHgcd9rpFY8Bc3Sp%2FEMv3tklkQCEoAQN%2FKyZ4wzymNg%2Fh11UG9YphufDs3wh19sV5ZjoMolctx4w9%2BQunLXlmS2cd2G83Le2hXhCMgWwI1Vxo9j5TfP9ChdPn5OvaCfNFDG1jhuhFWpD7lOs%2F1oaVoSVof4iPSEFs8nh7mUSFeNZizYkGDGdg4qjQB49x8TPzCPhiguiYxjXYyUjDZReKclPXS8mHy4PrHBk5y1%2F371DbHLKPLa3NhYSpkhIH7EEyWhiTWwXY8S5vRWX%2F619m7LyFisF61Ojks6SxmFdZQCKJ4OX0vR45zRbJIcodzFWDSZR65HdAXWbOuXj9IpQED5EpC0Uw4ehRobahFmdwwPskJ8qPTJg8Uj2sQI2onqy5%2F9o86fk87qgZrHrfKezmNoG5dzpz7bd%2FIq26xJ94RDpsgntiimjhQABdSVugnPAckZ7r9QvFiUJ3wrLV3JmhIbFzMJaG%2F0kf%2FmNf%2Btx3DB01VFYRk3E32j7qkmuDeYKaIYyDRmsrMwUhoow3KbntpsK7x9Lr9CYijUIUMYftG7HFuzoWOUyB2rIxuQQtkEF9POY%2Btl5VQcA3nIJ2OIsCuaGyUYhRczKz66e9TUU1LVQGk4MuXeu5QQiMghj%2FuWRZr9Jtkz44eJsrdVhdyeggsOy7vj3ipLR3t5b%2F0YJ1HUPzaYjrsAtQIPdeS%2FvjAJt2XsfZXOHM5cf2pvWw9sKM62dqnZkePmVm9IdpnH5kJc%2BbSsYtTlX0NvTtYduGzjn622WgKEMqg6QoKGHVH1opHOgRCXmjeW0s9bZ%2BA8X87GZRpY6uGX%2BvTKdabrIo3wi5zDx5MvPBjqyAXiQqZ%2FuLieJ5LH3JrfhIjOcsc2QDriCkds7r2G25UPv96CCMpPmgWYyWf6yp1YXBRMqWZjCrmb1IyiF1bTHe%2FojoM3%2Ft3ECJ4Jp9TBAscMvymXYDsuNw%2BHBbZEy8%2FkKdBl%2FzTk4Vo9s%2Bsv62VoZDmBtIOnhXzwTNdAe46xv1ay1A%2Ffq61jSf45%2BAS2ifn%2FCXIw%2Bt8nP%2FuiP4d6xN3zFLlWu%2B%2BPF7hQsXS5bGSbgpiZ5SV0%3D&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Date=20260430T071347Z&X-Amz-SignedHeaders=host&X-Amz-Expires=300&X-Amz-Credential=ASIAQ3PHCVTY6G7L7JZ7%2F20260430%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Signature=16b74f5ed082681d7b1166d729aac7886cc60232acd7e769ece224358496a9a2&hash=b0e49fc41b616214d8d1147210f05c37d78da2a9936148b9faebbeb914e9b590&host=68042c943591013ac2b2430a89b270f6af2c76d8dfd086a07176afe7c76c2c61&pii=S1367578826000015&tid=spdf-e5ddd93b-3eb0-4ff4-8c47-ebbcb2e2115a&sid=4c9100ad4590a444994ad633e1000a43eccbgxrqb&type=client&tsoh=d3d3LnNjaWVuY2VkaXJlY3QuY29t&rh=d3d3LnNjaWVuY2VkaXJlY3QuY29t&ua=19075a0152510400085f&rr=9f44bef12e9d3b5e&cc=ch\" title=\"https://pdf.sciencedirectassets.com/271897/1-s2.0-S1367578825X00031/1-s2.0-S1367578826000015/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjED8aCXVzLWVhc3QtMSJGMEQCIGWdZsRooNaRSE9Jvm42gFGma19EDUmA%2F6qh9vRVW79eAiBVOd6jClS4f9hZhP74JWxrBGX3h6wFijICbZSAIAGQRi\">[link]</a></li>\r\n</ul>", "image_description": "", "creation_date": "2026-04-29T09:08:43", "last_modification_date": "2026-05-01T14:30:04", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 329", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20329", "url_online_room": "", "spoken_languages": [], "speaker": "Daniele Affinita", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120577/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/48/?format=api", "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api" ] }, { "id": 71747, "title": "Computational Design and Optimization for Physically Intelligent Systems", "slug": "computational-design-and-optimization-for-physical", "event_url": "https://memento.epfl.ch/event/computational-design-and-optimization-for-physical", "visual_url": "https://memento.epfl.ch/image/33073/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33073/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33073/max-size.jpg", "lang": "en", "start_date": "2026-05-29", "end_date": "2026-05-29", "start_time": "13:00:00", "end_time": "15:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Wenzel Jakob<br>\r\nThesis advisor: Prof. Mark Pauly<br>\r\nCo-examiner: Prof. Pascal Fua<br>\r\n<br>\r\n<u>Abstract</u><br>\r\nPhysically intelligent systems exploit geometry, physics, material distribution, and structural coupling to generate useful behaviors. This thesis develops computational design and optimization methods for lightweight mechanical systems with complex geometries and rich deformation behavior. The central goal is to create a simulation-driven inverse design framework in which shape, material, and structural parameters are optimized together so that the resulting physical system achieves desired equilibrium configurations, alignment targets, and crucially functional mechanical responses. By combining differentiable mechanics, compact design parameterizations, robust equilibrium solving, instructive shape space and functional space analysis, and optimization, the work investigates how complex physical behavior can be encoded directly into the design process.<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\n- <a aria-describedby=\"sk-tooltip-21545\" href=\"https://dl.acm.org/doi/pdf/10.1145/3072959.3073695\" target=\"_blank\">Computational Design and Automated Fabrication of Kirchhoff-Plateau Surfaces</a>: <a href=\"https://dl.acm.org/doi/pdf/10.1145/3072959.3073695\">https://dl.acm.org/doi/pdf/10.1145/3072959.3073695</a><br>\r\n- <a href=\"https://cdl.ethz.ch/publications/the-design-space-of-plane-elastic-curves/\" target=\"_blank\">The Design Space of Plane Elastic Curves</a>: <a href=\"https://cdl.ethz.ch/publications/the-design-space-of-plane-elastic-curves/\">https://cdl.ethz.ch/publications/the-design-space-of-plane-elastic-curves/</a><br>\r\n- <a href=\"https://cdl.ethz.ch/publications/procedural-metamaterials-a-unified-procedural-graph-for-metamaterial-design/\" target=\"_blank\">Procedural Metamaterials: A Unified Procedural Graph for Metamaterial Design</a>: <a href=\"https://cdl.ethz.ch/publications/procedural-metamaterials-a-unified-procedural-graph-for-metamaterial-design/\">https://cdl.ethz.ch/publications/procedural-metamaterials-a-unified-procedural-graph-for-metamaterial-design/</a>", "image_description": "", "creation_date": "2026-04-29T09:14:57", "last_modification_date": "2026-04-29T09:51:11", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 329", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20329", "url_online_room": "", "spoken_languages": [], "speaker": "Junyu Liu", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120578/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/48/?format=api", "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api" ] }, { "id": 71748, "title": "Reasoning Under Uncertainty: Trustworthy LLMs for High-Stakes Medicine", "slug": "reasoning-under-uncertainty-trustworthy-llms-for-h", "event_url": "https://memento.epfl.ch/event/reasoning-under-uncertainty-trustworthy-llms-for-h", "visual_url": "https://memento.epfl.ch/image/33074/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33074/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33074/max-size.jpg", "lang": "en", "start_date": "2026-06-26", "end_date": "2026-06-26", "start_time": "09:30:00", "end_time": "11:30:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Robert West<br>\r\nThesis advisor: Prof. Mary-Anne Hartley<br>\r\nCo-examiner: Prof. Martin Jaggi<br>\r\n<br>\r\n<u>Abstract</u><br>\r\nCurrent machine learning systems are very good at tasks reducible to statistical pattern recognition but falter on problems requiring deliberate, structured inference. Clinical reasoning exemplifies the latter: physicians generate hypotheses abductively, revise beliefs probabilistically as evidence accumulates, and choose among actions whose costs are deeply asymmetric. The harm of a missed diagnosis is not the harm of an unnecessary test. Large language models, increasingly deployed for clinical decision support, inherit this limitation. They conflate knowledge with inference: the same parameters that store medical facts are asked to reason over them, which leaves no explicit mechanism to quantify uncertainty, to abstain when evidence is insufficient, or to weight outcomes by their true clinical costs. This work argues that progress toward trustworthy medical AI requires separating the representation of knowledge from the machinery of inference, and grounding the latter in formal frameworks drawn from statistical decision theory. We investigate how these frameworks can be embedded into LLM reasoning pipelines and imposed as external scaffolding around them, maintaining competing hypotheses, guiding evidence gathering, and selecting actions that reflect the asymmetric cost structure of clinical practice. The goal is a class of systems capable of reasoning over their uncertainty, systems that know when they do not know.<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "Reasoning Under Uncertainty: Trustworthy LLMs for High-Stakes Medicine", "creation_date": "2026-04-29T09:21:38", "last_modification_date": "2026-04-29T09:21:38", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "INF 326", "url_place_and_room": "https://plan.epfl.ch/?room==INF%20326", "url_online_room": "", "spoken_languages": [], "speaker": "Yusuf Kesmen", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120579/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/48/?format=api", "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api" ] }, { "id": 71750, "title": "Efficiency Datalog Engine for Formal Research", "slug": "efficiency-datalog-engine-for-formal-research", "event_url": "https://memento.epfl.ch/event/efficiency-datalog-engine-for-formal-research", "visual_url": "https://memento.epfl.ch/image/33076/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33076/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33076/max-size.jpg", "lang": "en", "start_date": "2026-06-17", "end_date": "2026-06-17", "start_time": "10:00:00", "end_time": "12:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Martin Odersky<br>\r\nThesis advisor: Prof. Christoph Koch<br>\r\nCo-examiner: Prof. Viktor Kuncak<br>\r\n<br>\r\n<u>Abstract</u><br>\r\nDatalog engines are starting to show their potential in a wide range of data-intensive applications. This thesis will investigate techniques for developing a fast Datalog engines, specifically focusing on datalog program rewriting and cost-based optimization for recursive queries. Furthermore, I will explore how Datalog can be specialized for specific tasks, such as static program analysis.<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "", "creation_date": "2026-04-29T09:25:41", "last_modification_date": "2026-04-29T09:25:41", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 233", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20233", "url_online_room": "", "spoken_languages": [], "speaker": "Christian Fattebert", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120582/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/48/?format=api", "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api" ] }, { "id": 71751, "title": "From Exploitation to Mitigation: Analyzing Memory Corruption Primitives to Harden the Linux Kernel", "slug": "from-exploitation-to-mitigation-analyzing-memory-c", "event_url": "https://memento.epfl.ch/event/from-exploitation-to-mitigation-analyzing-memory-c", "visual_url": "https://memento.epfl.ch/image/33078/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33078/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33078/max-size.jpg", "lang": "en", "start_date": "2026-06-23", "end_date": "2026-06-23", "start_time": "10:00:00", "end_time": "12:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. George Candea<br>\r\nThesis advisor: Prof. Mathias Payer<br>\r\nThesis co-advisor: Dr. Anil Kurmus<br>\r\nCo-examiner: Prof. Sanidhya Kashyap<br>\r\n<br>\r\n<u>Abstract</u><br>\r\ncoming soon<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "", "creation_date": "2026-04-29T09:44:15", "last_modification_date": "2026-04-29T09:44:15", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 133", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20133", "url_online_room": "", "spoken_languages": [], "speaker": "Claudio Migliorelli", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120583/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71753, "title": "Metric Sparsification of Inhomogeneous Random Graphs", "slug": "metric-sparsification-of-inhomogeneous-random-grap", "event_url": "https://memento.epfl.ch/event/metric-sparsification-of-inhomogeneous-random-grap", "visual_url": "https://memento.epfl.ch/image/33079/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33079/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33079/max-size.jpg", "lang": "en", "start_date": "2026-06-24", "end_date": "2026-06-24", "start_time": "14:00:00", "end_time": "16:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Michael Gastpar<br>\r\nThesis advisor: Prof. Patrick Thiran<br>\r\nCo-examiner: Prof. Olivier Lévêque<br>\r\n<br>\r\n<u>Abstract</u><br>\r\ncoming soon<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\n<a href=\"https://proceedings.neurips.cc/paper_files/paper/2024/hash/41ed4bd197d0a5fa036d361c1fc606ad-Abstract-Conference.html\">Why the Metric Backbone Preserves Community Structure </a><br>\r\n<a href=\"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/ADC162CE72510EA1272B6F5C51FCFBA4/S0001867800007990a.pdf/first_passage_percolation_on_inhomogeneous_random_graphs.pdf\">First Passage Percolation on Inhomogeneous Random Graphs </a><br>\r\n<a href=\"https://projecteuclid.org/journalArticle/Download?urlId=10.1214%2F07-PS094\">A Survey of Random Processes with Reinforcement</a><br>\r\n ", "image_description": "", "creation_date": "2026-04-29T09:48:23", "last_modification_date": "2026-05-01T14:49:53", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 129", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20129", "url_online_room": "", "spoken_languages": [], "speaker": "Raphaël Fua", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120585/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71754, "title": "Towards Understanding Large Language Models", "slug": "towards-understanding-large-language-models", "event_url": "https://memento.epfl.ch/event/towards-understanding-large-language-models", "visual_url": "https://memento.epfl.ch/image/33080/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33080/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33080/max-size.jpg", "lang": "en", "start_date": "2026-06-12", "end_date": "2026-06-12", "start_time": "15:30:00", "end_time": "17:30:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Robert West<br>\r\nThesis advisor: Prof. Nicolas Flammarion<br>\r\nCo-examiner: Prof. Martin Jaggi<br>\r\n<br>\r\n<u>Abstract</u><br>\r\ncoming soon<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "", "creation_date": "2026-04-29T09:57:35", "last_modification_date": "2026-05-08T11:16:06", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 329", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20329", "url_online_room": "", "spoken_languages": [], "speaker": "Mark Rofin", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120586/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71755, "title": "Controllable Generative Models via Test-Time Adaptation", "slug": "controllable-generative-models-via-test-time-adapt", "event_url": "https://memento.epfl.ch/event/controllable-generative-models-via-test-time-adapt", "visual_url": "https://memento.epfl.ch/image/33081/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33081/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33081/max-size.jpg", "lang": "en", "start_date": "2026-07-07", "end_date": "2026-07-07", "start_time": "09:30:00", "end_time": "11:30:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Martin Rajman<br>\r\nThesis advisor: Prof. Pascal Fua<br>\r\nCo-examiner: Prof. Jean-Philippe Thiran<br>\r\n<br>\r\n<u>Abstract</u><br>\r\ncoming soon<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "", "creation_date": "2026-04-29T10:00:51", "last_modification_date": "2026-05-08T11:17:00", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 329", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20329", "url_online_room": "", "spoken_languages": [], "speaker": "Hantao Zhang", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120587/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71834, "title": "Language-Based Safety and Isolation Across System Composition Boundaries", "slug": "language-based-safety-and-isolation-across-system", "event_url": "https://memento.epfl.ch/event/language-based-safety-and-isolation-across-system", "visual_url": "https://memento.epfl.ch/image/33154/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33154/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33154/max-size.jpg", "lang": "en", "start_date": "2026-06-19", "end_date": "2026-06-19", "start_time": "09:00:00", "end_time": "11:00:00", "description": "<u>DIC candidacy exam</u><br>\r\nExam president: Prof. Anne-Marie Kermarrec<br>\r\nThesis advisor: Prof. Mathias Payer<br>\r\nCo-examiner: Prof. Thomas Bourgeat<br>\r\n<br>\r\n<u>Abstract</u><br>\r\nThe OS kernel was exposed due to vulnerable drivers as one vulnerability could bring down the whole system. Since fixing all driver bugs is nearly impossible, isolation of drivers is necessary to be a fundamental mechanism for reducing the attack surface between system composition boundaries. Compared with hardware-based isolation(Xen, Nooks, etc) and software-based isolation (e.g. SFI), language-based isolation often gains fine-grained safety, such as type constraints and thread-safety properties. <br>\r\nSafeDrive was an early effort to protect Linux C drivers using type checks, memory-safety invariants, and recovery support, but it still had overhead and incomplete safety. RedLeaf, built in Rust completely, reduces runtime checks by relying on Rust's ownership system while enabling efficient communication through validated interfaces. As Rust enters mainline Linux, a new challenge appears: Rust components need to interact with legacy foreign-language code, where safety guarantees can break. Omniglot addresses this by enabling safe, zero-copy interaction between Rust and unmodified untrusted code using carefully designed memory isolation primitives.<br>\r\nGoing forward, my research will continue to focus on the intersection of operating systems and programming languages.<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\n<strong>Paper 1: </strong>SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques [OSDI'06]\r\n<ul>\r\n\t<li><a href=\"https://dl.acm.org/doi/10.5555/1298455.1298461\">https://dl.acm.org/doi/10.5555/1298455.1298461</a></li>\r\n</ul>\r\n<strong>Paper 2: </strong>RedLeaf: Isolation and Communication in a Safe Operating System [OSDI'20]\r\n\r\n<ul>\r\n\t<li><a href=\"https://www.usenix.org/conference/osdi20/presentation/narayanan-vikram\">https://www.usenix.org/conference/osdi20/presentation/narayanan-vikram</a></li>\r\n</ul>\r\n<strong>Paper 3: </strong>Building Bridges: Safe Interactions with Foreign Languages through Omniglot [OSDI'25]\r\n\r\n<ul>\r\n\t<li><a href=\"https://www.usenix.org/conference/osdi25/presentation/schuermann\">https://www.usenix.org/conference/osdi25/presentation/schuermann</a></li>\r\n</ul>", "image_description": "", "creation_date": "2026-05-08T11:09:55", "last_modification_date": "2026-05-08T11:10:13", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 133", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20133", "url_online_room": "", "spoken_languages": [], "speaker": "Yiwen Xu", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120700/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] }, { "id": 71835, "title": "Testing the Hypervisor Boundary: Semantic Oracles and Adversarial Input Generation for pKVM", "slug": "testing-the-hypervisor-boundary-semantic-oracles-a", "event_url": "https://memento.epfl.ch/event/testing-the-hypervisor-boundary-semantic-oracles-a", "visual_url": "https://memento.epfl.ch/image/33155/200x112.jpg", "visual_large_url": "https://memento.epfl.ch/image/33155/720x405.jpg", "visual_maxsize_url": "https://memento.epfl.ch/image/33155/max-size.jpg", "lang": "en", "start_date": "2026-06-22", "end_date": "2026-06-22", "start_time": "13:00:00", "end_time": "15:00:00", "description": "<u>EDIC candidacy exam</u><br>\r\nExam president: Prof. Katerina Argyraki<br>\r\nThesis advisor: Prof. Mathias Payer<br>\r\nCo-examiner: Prof. Thomas Bourgeat<br>\r\n<br>\r\n<u>Abstract</u><br>\r\nHypervisors underpin modern confidential computing stacks, yet their exposed interfaces - hypercalls, fault handlers, and device interactions - remain a large and under-tested attack surface. Existing approaches fall short: coverage-driven fuzzers (e.g., HYPERPILL) explore broadly but rely on crash oracles, missing non-crashing vulnerabilities, while specification-based systems (e.g., Ghost) detect semantic violations but constrain input generation and under explore adversarial cases.<br>\r\n<br>\r\nThis thesis focuses on systematic bug finding in pKVM by combining semantic oracles with coverage-guided, adversarial fuzzing. Executable interface specifications are used to flag behavioral inconsistencies, while mutation-based input generation deliberately produces both valid and model-violating inputs to reach boundary conditions and deep execution paths. The approach further incorporates EL2 coverage feedback and concurrent vCPU sequences to expose bugs such as silent state corruption, ownership violations, and TOCTOU races.<br>\r\n<br>\r\nThe goal is to uncover security-critical vulnerabilities that evade both crash-based fuzzing and model-constrained testing, particularly in unspecified or adversarial input classes. More broadly, the work aims to establish a practical methodology for bug-driven testing of production hypervisors.<br>\r\n<br>\r\n<u>Selected papers</u><br>\r\ncoming soon", "image_description": "", "creation_date": "2026-05-08T11:14:42", "last_modification_date": "2026-05-08T11:14:42", "link_label": "", "link_url": "", "canceled": "False", "cancel_reason": "", "place_and_room": "BC 133", "url_place_and_room": "https://plan.epfl.ch/?room==BC%20133", "url_online_room": "", "spoken_languages": [], "speaker": "Sofiia Saltovskaia", "organizer": "", "contact": "[email protected]", "is_internal": "False", "theme": "", "vulgarization": { "id": 1, "fr_label": "Tout public", "en_label": "General public" }, "registration": { "id": 3, "fr_label": "Entrée libre", "en_label": "Free" }, "keywords": "EDIC candidacy exam", "file": null, "icalendar_url": "https://memento.epfl.ch/event/export/120701/", "category": { "id": 1, "code": "CONF", "fr_label": "Conférences - Séminaires", "en_label": "Conferences - Seminars", "activated": true }, "academic_calendar_category": null, "domains": [], "mementos": [ "https://memento.epfl.ch/api/v1/mementos/6/?format=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/48/?format=api" ] } ] }
