Profile

Cover photo
Jason Dagit
Works at Galois
Attended Oregon State University
Lived in Portland
485 followers|253,598 views
AboutPosts

Stream

Jason Dagit

Shared publicly  - 
 
 
We're hiring! Galois is looking for a project engineer to be located in Arlington, VA: http://corp.galois.com/dc-project-engineer
Current Opening in Arlington, VA: Project Engineer. We are currently hiring for the position of Project Engineer, to be located in Arlington, VA. The successful candidate will be accountable for research and development in high assurance software.
1
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
This year's Formal Methods in Computer-Aided Design (FMCAD) conference is being held from October 20 - 23 here in Portland, OR. Galois is proud to be one of the sponsors of this annual event - we're excited to be having it in our own back yard!

Dr. Lee Pike is on the program committee, and he's also giving a keynote address at the co-located MEMOCODE conference on October 18.

We hope to see folks there!
FMCAD 2013 is the thirteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, ...
5
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
Students at U.S. Universities!

The NSF wants YOU to attend ICFP 2013 in Boston. Just write to icfp-support@lambda-calcul.us and we'll make it happen. Funds are limited, as is time, so email us now!

Already attending? Write and ask for reimbursement.

Please spread this far and wide.

For more on ICFP 2013, see http://icfpconference.org/icfp2013/
1
Add a comment...

Jason Dagit

Shared publicly  - 
 
This is a good read for project management insight: http://www.stevemcconnell.com/rdenum.htm
Classic Mistakes Enumerated. Some ineffective development practices have been chosen so often, by so many people, with such predictable, bad results that they deserve to be called "classic mistakes." Most of the mistakes have a seductive appeal. Do you need to rescue a project that's behind ...
1
Add a comment...

Jason Dagit

Shared publicly  - 
 
We received notice today that our paper got accepted. Heading to Italy in September :)

http://arxiv.org/abs/1307.1719
Abstract: Traditional algorithms for detecting differences in source code focus on differences between lines. As such, little can be learned about abstract changes that occur over time within a project. Structural differencing on the program's abstract syntax tree reveals changes at the ...
8
Benjamin Jones's profile photo
 
Congrats, too bad the conference is in Italy..
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
Over the coming two weeks (ok, might take three), I'll be rolling out an open preview "version zero" of the numerical libs i've been developing for Haskell.  This initial release will be suitable for use/experimentation by Haskell experts and folks already writing numerical libraries using Haskell.

I'm excited (and terrified), and look forward to all the great feedback and such that the Haskell community is (inf)famous for! :)
2
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
Galois is hiring!  We're looking for researchers, principal investigators, and software engineers, including those with expertise in functional programming, formal methods, computer security, control systems, informatics, or networking.

For more information, take a look at http://corp.galois.com/careers
Fun Facts About Portland. • Ranked #1 "Greenest City in the U.S." by Popular Science magazine. • Ranked #2 "America's Best Bike Cities" by Bicycling magazine. • Ranked #1 "America's Best Cities for Foodies" by Sperling's Best Places. • Ranked #1 in U.S. for public transportation by US News and ...
4
1
Boyd Smith's profile photoJason Dagit's profile photo
2 comments
 
+Boyd Smith If you're interested in the current posting, go ahead and resend it to: careers@galois.com
Add a comment...
Have them in circles
485 people
Mdkhaja Pasha's profile photo
Debra Weaver's profile photo
Tim Perry's profile photo
Dan Doel's profile photo
Stefan Wehr's profile photo
Haitham Gad's profile photo
Jean-Philippe Bernardy's profile photo
ABHINAV KASHYAP's profile photo
Alex Mason's profile photo

Jason Dagit

Shared publicly  - 
 
 
 
#techtalk Please join us for this week's tech talk on Tuesday at 10:30am. Ashe Dryden will be speaking about diversity in the programming community. More details are available on our blog: http://corp.galois.com/blog/2013/10/17/tech-talk-programming-diversity.html
Galois is pleased to host the following tech talk. These talks are open to the interested public--...
2
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
+Jason Dagit and +Matthew Sottile developed a cool technique that could help you learn something interesting from your software's history. Read more about it here and let us know what you think: http://bit.ly/16nH9DB
We have developed a technique to make sense of change information from a typical software project'...
4
Add a comment...

Jason Dagit

Shared publicly  - 
 
 
#techtalk   +Simon Peyton Jones  the lead designer of GHC, will talk about GHC's core language with emphasis on recent type-system developments.   Next Monday, 29 July 2013, at 10:30am.  More details are available on our blog:

http://corp.galois.com/blog/2013/7/23/tech-talk-type-directed-compilation-in-the-wild-haskell-and.html
Galois is pleased to host the following tech talk. These talks are open to the interested public--...
1
Add a comment...

Jason Dagit

Shared publicly  - 
 
Paper submitted just in time for the long weekend. Hopefully I can get the draft up soon. If you like version control and static analysis, I think you'll enjoy it.
4
Benjamin Jones's profile photoJason Dagit's profile photo
3 comments
 
It's on the arXiv now: http://arxiv.org/abs/1307.1719
Add a comment...
People
Have them in circles
485 people
Mdkhaja Pasha's profile photo
Debra Weaver's profile photo
Tim Perry's profile photo
Dan Doel's profile photo
Stefan Wehr's profile photo
Haitham Gad's profile photo
Jean-Philippe Bernardy's profile photo
ABHINAV KASHYAP's profile photo
Alex Mason's profile photo
Education
  • Oregon State University
    Computer Science
  • Oregon State University
    Mathematics
Work
Employment
  • Galois
    Enginerd, 2009 - present
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Previously
Portland