Latest revision as of 19:34, 16 March 2021

Name: Jim Newton
Email: jnewton@lrde.epita.fr
Jim at LinkedIn
Jim at EDITE
Jim at LRDE

Me as a baby

That's me in the center, between my brother and cousin. We're eating watermelon at my grandmother's 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

Affiche-these-JN

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	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

@@ Line 1: / Line 1: @@
 * Name: Jim Newton
 * Email: jnewton@lrde.epita.fr
-* Jim at [https://fr.linkedin.com/in/jim-newton-463600a8 LinkedIn]
+* [https://fr.linkedin.com/in/jim-newton-463600a8 Jim] at LinkedIn
-* Jim at [https://edite-de-paris.fr/public/person/see/3570686 EDITE]
+* [https://edite-de-paris.fr/public/person/see/3570686 Jim] at EDITE
+* [https://www.lrde.epita.fr/~jnewton/ Jim] at LRDE
-Jim has completed his Master of Arts at Mississippi State University.<BR>
-He has worked at LRDE within the [[Climb]] project since the 2015.<BR>
-= Research Interests =
+= Me as a baby =
-* Functional Languages
-* Type theory
+[[File:Watermelon.jpg|500px]]
+That's me in the center, between my brother and cousin.  We're eating watermelon at my grandmother's house.
-= Publications =
-==== Unpublished ====
-[https://www.lrde.epita.fr/images/4/43/Newton.16.dag.report.pdf Project Report: Finding maximal common joins in a DAG]
+Jim has completed his PhD in Computer Science from Sorbonne Universities in 2018,<br>
-[http://www.lrde.epita.fr/dload/papers/newton.16.monad.report.pdf Project Report: Monads in Common Lisp]
+Master of Arts in [https://www.math.msstate.edu Mathematics] from [https://www.msstate.edu Mississippi State University], and<BR>
+Bachelor of Science in [http://www.catalog.msstate.edu/undergraduate/collegesanddegreeprograms/thejamesworthbagleycollegeofengineering/departmentofelectricalandcomputerengineeringece/ Electrical Engineering] from [https://www.msstate.edu Mississippi State University].
+He has worked at LRDE on the [[Climb]] project from 2015 to 2018, and on the [[Spot]] project since 2018.<BR>
+= Research Interests =
-[http://www.lrde.epita.fr/dload/papers/newton.17.els.pdf Programmatic Manipulation of Common Lisp Type Specifiers]
+* Functional Languages
-==== Journal Papers ====
+* Dynamic Languages
+* Rational Languages
+* Binary Decision Diagrams
+* Type theory
+= Thesis =
-{{#ask: [[Category:Publications]] [[Publication type::article]] [[Has author::~*Jim Newton*]]
+[[Affiche-these-JN]]
-| ?Has author = Author
-| ?Has title = Title
-| ?Published in
-| ?News date#MEDIAWIKI=Date
-| order = descending
-| sort = News date
-}}
+= Work in Progress =
-==== Conference and Workshop Papers ====
+= Publications =
-{{#ask: [[Category:Publications]] [[Publication type::inproceedings]] [[Has author::~*Jim Newton*]]
-| ?Has author = Author
-| ?Has title = Title
-| ?Published in
-| ?News date#MEDIAWIKI=Date
-| order = descending
-| sort = News date
-}}
-==== Technical Reports ====
-{{#ask: [[Category:Publications]] [[Publication type::techreport]] [[Has author::~*Jim Newton*]]
-| ?Has author = Author
-| ?Has title = Title
-| ?Published in
-| ?News date#MEDIAWIKI=Date
-| order = descending
-| sort = News date
-}}
-==== Thesis ====
-{{#ask: [[Category:Publications]] [[Publication type::phdthesis]] [[Has author::~*Jim Newton*]]
-| ?Has author = Author
-| ?Has title = Title
-| ?News date#MEDIAWIKI=Date
-| order = descending
-| sort = News date
-}}
+{{Publications/AuthorList|Jim Newton}}
-==== Oral Presentations ====

User

Difference between revisions of "Jim Newton"

From LRDE