Difference between revisions of "Jim Newton"
From LRDE
Jim Newton (talk | contribs) (update history) |
Jim Newton (talk | contribs) |
||
| Line 3: | Line 3: | ||
* Jim at [https://fr.linkedin.com/in/jim-newton-463600a8 LinkedIn] |
* Jim at [https://fr.linkedin.com/in/jim-newton-463600a8 LinkedIn] |
||
* Jim at [https://edite-de-paris.fr/public/person/see/3570686 EDITE] |
* Jim at [https://edite-de-paris.fr/public/person/see/3570686 EDITE] |
||
| + | |||
| + | |||
| ⚫ | |||
| + | |||
| + | |||
| ⚫ | |||
| + | |||
| ⚫ | |||
| + | |||
Jim has completed his PhD in Computer Science from Sorbonne Universities in 2018,<br> |
Jim has completed his PhD in Computer Science from Sorbonne Universities in 2018,<br> |
||
| Line 16: | Line 25: | ||
* Binary Decision Diagrams |
* Binary Decision Diagrams |
||
* Type theory |
* Type theory |
||
| − | |||
| ⚫ | |||
| − | |||
| − | |||
| ⚫ | |||
| − | |||
| ⚫ | |||
= Thesis = |
= Thesis = |
||
Revision as of 12:46, 22 January 2019
Me as a baby
That's me in the center, between my brother and cousin. We're eating watermelon at my grandmothers house.
Jim has completed his PhD in Computer Science from Sorbonne Universities in 2018,
Master of Arts in Mathematics from Mississippi State University, and
Bachelor of Science in Electrical Engineering from Mississippi State University.
He has worked at LRDE on the Climb project from 2015 to 2018, and on the Spot project since 2018.
Research Interests
- Functional Languages
- Dynamic Languages
- Rational Languages
- Binary Decision Diagrams
- Type theory
Thesis
Work in Progress
Publications
Conference papers
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| newton.22.ifl | Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map | Jim Newton | Symposium on Implementation and Application of Functional Languages | 31 August 2022 |
| newton.21.els | A Portable, Simple, Embeddable Type System | Jim Newton, Adrien Pommellet | Proceedings of the 14th European Lisp Symposium (ELS) | 26 April 2021 |
| valais.19.els | Implementing Baker's SUBTYPEP decision procedure | Léo Valais, Jim Newton, Didier Verna | 12th European Lisp Symposium | 1 April 2019 |
| newton.19.els | Finite Automata Theory Based Optimization of Conditional Variable Binding | Jim Newton, Didier Verna | European Lisp Symposium | 14 January 2019 |
| newton.18.meta | Recognizing Heterogeneous Sequences by Rational Type Expression | Jim Newton, Didier Verna | Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection | 14 September 2018 |
| newton.18.els | Approaches in Typecase Optimization | Jim Newton, Didier Verna | European Lisp Symposium | 5 April 2018 |
| newton.17.els | Programmatic Manipulation of Common Lisp Type Specifiers | Jim Newton, Didier Verna, Maximilien Colange | European Lisp Symposium | 6 February 2017 |
| newton.16.els | Type-Checking of Heterogeneous Sequences in Common Lisp | Jim Newton, Akim Demaille, Didier Verna | European Lisp Symposium | 25 March 2016 |
Technical reports
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| newton.17.dtd.report | Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set | Jim Newton | 2 February 2017 | |
| newton.16.monad.report | Monads in Common Lisp | Jim Newton | 18 November 2016 | |
| newton.16.dag.report | Finding Maximal Common Joins in a DAG | Jim Newton | 17 November 2016 | |
| newton.16.rte.report | Efficient Dynamic Type Checking of Heterogeneous Sequences | Jim Newton | 22 February 2016 |
Journal papers
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| newton.18.tocl | A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams | Jim Newton, Didier Verna | ACM Transactions on Computational Logic | 28 August 2018 |
PHD Theses and Habilitations
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| newton.18.phd | Representing and Computing with Types in Dynamically Typed Languages | Jim Newton | 1 November 2018 |