[PLMW @ POPL'23] Anti-disciplinary: doing academic research when you like too many things
[PLMW @ POPL'23] Anti-disciplinary: doing academic research when you like too many things
Chris Martens
The cliche of doing a Ph.D., or indeed any research project, is that it requires single-minded, obsessive focus. Dabbling, side-quests, and shallow engagement with numerous interests is discouraged, because the point is depth, not breadth. I’m going to present an alternative perspective: while it’s true that the problem you focus on (or your research goal) needs to go deep, the topic within which you situate your motivation and contribution need not be singular. PL doesn’t have to be the only kind of work you engage with, and in fact, your PL work will probably be better if it’s not. I’ll share how being an itinerant polymath has impacted my career (for better and for worse) and opine about why the research world needs more of us.
Видео [PLMW @ POPL'23] Anti-disciplinary: doing academic research when you like too many things канала ACM SIGPLAN
Chris Martens
The cliche of doing a Ph.D., or indeed any research project, is that it requires single-minded, obsessive focus. Dabbling, side-quests, and shallow engagement with numerous interests is discouraged, because the point is depth, not breadth. I’m going to present an alternative perspective: while it’s true that the problem you focus on (or your research goal) needs to go deep, the topic within which you situate your motivation and contribution need not be singular. PL doesn’t have to be the only kind of work you engage with, and in fact, your PL work will probably be better if it’s not. I’ll share how being an itinerant polymath has impacted my career (for better and for worse) and opine about why the research world needs more of us.
Видео [PLMW @ POPL'23] Anti-disciplinary: doing academic research when you like too many things канала ACM SIGPLAN
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
![TyDe 2021 - Interactive Haskell Type Inference Exploration (Extended Abstract)](https://i.ytimg.com/vi/SLBzu_ArXHA/default.jpg)
![Propositions-as-Types and Shared State](https://i.ytimg.com/vi/9kXvOhhE3As/default.jpg)
![Copy-and-Patch Compilation](https://i.ytimg.com/vi/PaQJcBdwG9Y/default.jpg)
![Warping Cache Simulation of Polyhedral Programs](https://i.ytimg.com/vi/-D0bnastfCA/default.jpg)
![[SLE] Property-Based Testing: Climbing the Stairway to Verification](https://i.ytimg.com/vi/QGOnUm5HBmo/default.jpg)
![[CPP'23] CompCert: a journey through the landscape of mechanized semantics for verified co...](https://i.ytimg.com/vi/9KhagyiGQ_A/default.jpg)
![Low-Latency, High-Throughput Garbage Collection](https://i.ytimg.com/vi/4oizX2MFy5A/default.jpg)
![IRDL: An IR Definition Language for SSA Compilers](https://i.ytimg.com/vi/uKXv1Cc_Pgs/default.jpg)
![[ICFP'22] Safe Couplings: Coupled Refinement Types](https://i.ytimg.com/vi/4LV8a8cz_w0/default.jpg)
![[ICFP'22] Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…](https://i.ytimg.com/vi/qAeEWKr9wfU/default.jpg)
![Interval Universal Approximation for Neural Networks (Teaser)](https://i.ytimg.com/vi/nuIGJjbc1QE/default.jpg)
![[VMCAI'22] Back to the Future: A Fresh Look at Linear Temporal Logic](https://i.ytimg.com/vi/DSqbfwk2NKg/default.jpg)
![[VMCAI'22] Making PROGRESS in Property Directed Reachability](https://i.ytimg.com/vi/IexW7nvkwwM/default.jpg)
![Natural Language-Guided Programming](https://i.ytimg.com/vi/jhoxJeFeFEI/default.jpg)
![[SLE] Partial Loading of Repository-Based Models through Static Analysis](https://i.ytimg.com/vi/PpVQtfrw6qw/default.jpg)
![[PEPM'23] Fast Cryptographic Code via Partial Evaluation](https://i.ytimg.com/vi/ovr9AfpbqhY/default.jpg)
![HIW 2021 - Haskell reinterpreted – large-scale real-world experience with the Mu compiler](https://i.ytimg.com/vi/A70SN7vFsKU/default.jpg)
![Scheme 2021 - Scheme as a framework for Deep Learning (Invited Talk)](https://i.ytimg.com/vi/rDke29MbKQA/default.jpg)
![[POPL'23] babble: Learning Better Abstractions with E-Graphs and Anti-unification](https://i.ytimg.com/vi/ogGiKdhDmhU/default.jpg)
![[LIVE 2021] Inkbase: Programmable Ink](https://i.ytimg.com/vi/z3axx5rZMWI/default.jpg)
![Scheme 2021 - So You Want To Analyze Scheme Programs With Datalog?](https://i.ytimg.com/vi/oiXL44WlC-U/default.jpg)