@JonathanAldrich@social.sigsoft.org avatar

JonathanAldrich

@JonathanAldrich@social.sigsoft.org

Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board member. He/him. Views are mine.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

JonathanAldrich, to random
@JonathanAldrich@social.sigsoft.org avatar

Don't manipulate your citation count by putting irrelevant citations to your work in your own papers, or requiring other people to do it when you review their papers. This is an example from the IEEE, but the ACM pubs board actively polices this too.

https://retractionwatch.com/2024/05/14/professor-former-dean-earns-nearly-100-expressions-of-concern-for-citation-manipulation/

JonathanAldrich, to random
@JonathanAldrich@social.sigsoft.org avatar

I have been recruited to run for a SGB Representative position on the @ACM Council. If elected, I would want my agenda to reflect that of the community. What do you think ACM should be doing more (or less) of? What changes are needed?

https://www.acm.org/about-acm/acm-council

JonathanAldrich, to random
@JonathanAldrich@social.sigsoft.org avatar

My undergraduate student Conrad Zimmerman will be presenting our paper "Sound Gradual Verification with Symbolic Execution" at @poplconf tomorrow (Friday) in the Gradual Types & Verification session. Check out the paper too: https://dl.acm.org/doi/10.1145/3632927

It's the first soundness result for a core subset of the Viper symbolic execution tool. The formalization and soundness result is extended to symbolic execution for gradual (i.e. imprecise) predicates.

JonathanAldrich, to random
@JonathanAldrich@social.sigsoft.org avatar

Can we all stop evaluating research based on whether the results are "surprising" please?

This is lazy reviewing. Surprising doesn't matter--novelty does. We might all think something's true, but the first work that shows it is true empirically makes an important contribution.

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

It's not just my opinion--"The results are not surprising" is listed as problematic in the ACL'23 Peer review policies, which point out that "Many findings seem obvious in retrospect, but this does not mean that the community is already aware of them and can use them as building blocks for future work." https://2023.aclweb.org/blog/review-acl23/

JonathanAldrich, to random
@JonathanAldrich@social.sigsoft.org avatar

We're building Noteful (noteful.net), a mobile & web app that teaches users about fundamental music skills. If you're willing to take a quick market research survey, we'd love your input as a music educator, music learner, or parent to help us do a better job! Takes only a few minutes:

https://docs.google.com/forms/d/e/1FAIpQLSemLLsNn5q0wbdvTPGALASnQNHAv6PrUIVmILG1SBtKjDZKGA/viewform

JonathanAldrich, to random
@JonathanAldrich@social.sigsoft.org avatar

Surprising fact: no major professional scientific organization has flipped from a paywalled publishing model to 100% Open Access.

The @ACM the world's foremost professional computing organization, is going to be the first on January 1, 2026, when its entire digital library will become freely available to the public.

JonathanAldrich, to random
@JonathanAldrich@social.sigsoft.org avatar

Super excited that my startup, Noteful, launched its product today! It's a fun, free app that helps you learn to read music and introduces basic music theory in bite-sized daily lessons. There are three ways to try it:

drahardja, to random
@drahardja@sfba.social avatar

Where do I sign up?

Tech needs unions yesterday. Don’t listen to the insufferable one-percenter bunch of (almost always under-40, white, male) “unions are going to hamper my negotiations” population of well-paid, senior engineers. You need unions. NOW. It’s already past time.

https://mstdn.social/@annaecook/110725029125301647

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

@drahardja What kind of contract would a union for software developers negotiate? Are there success stories? Genuinely curious, I feel like I don't know any exemplars that are even close.

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

@drahardja Any examples? Does this exist anywhere in the software industry? Or are we looking for the first one?

JonathanAldrich, to random
@JonathanAldrich@social.sigsoft.org avatar

@pldi and FCRC are being held this week, & one of my students mentioned to me that she was considering attending the conference. But she is a transgender woman and Florida has passed laws that make traveling to Florida unsafe for trans people.

🧵& blog:

https://jonathanaldrich.github.io/2023/06/14/conference-location-and-inclusion.html

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

In Florida, trans people cannot use bathrooms of their gender identity in any state govt building or school–& given risks they would face entering a bathroom that doesn’t correspond to their gender, in practice this means they have no options at all.

https://www.tallahassee.com/story/news/politics/2023/04/25/floridas-trans-people-parents-of-trans-kids-see-options-steadily-banned/70132161007/

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

Laws allow doctors to deny care based on "moral concerns" and ban gender-affirming care. In an emergency, they may worry about receiving care at all--or retaining access to their meds, from which a withdrawal could have immediate & severe consequences.

https://www.aclufl.org/en/press-releases/aclu-florida-statement-bill-allows-healthcare-providers-and-payors-refuse-healthcare

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

Beyond laws with a direct effect on conference attendees, legal codes that enforce “Don’t Say Gay” in schools, restrict sports participation, or ban books create a poisonous environment for trans people in states like Florida.

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

I generally push back on proposals to restrict the location of conferences based on political issues. Every location has challenges, and important concerns like CO2 emissions may conflict with other important goals such as including diverse parts of the world in venue choices.

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

But this issue is different. When we locate a conference in Florida, we are choosing a location where a part of our community is unwelcome and unsafe. And, there are many alternatives locations, in the US and across the world, that protect the rights of trans people.

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

The issue of attendee safety affects trans people here, but the principle is more general. In my view restrictions on abortion are not alone a reason to avoid a location; but laws so severe they make pregnant people fear to travel there for their safety? Yes, absolutely a reason!

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

My intent is not to criticize the organizers of PLDI & FCRC–contracts with hotels are signed months / years in advance, & changing venue in response to laws passed within the last 2 months would be extraordinarily difficult and expensive, & disrupt other people’s plans to attend.

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

I appreciate the efforts of the organizers to provide non-gendered, single-stall restrooms in the conference venues, among other steps toward inclusion. While helpful, however, these steps cannot erase the dangers faced by trans people in attending a conference in Florida.

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

All things considered, the simple fact remains: locating conferences in anti-trans states excludes trans people, and this exclusion is unacceptable.

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

Ensuring people from affected communities are involved in planning conferences is one way to avoid this situation. Is your conference’s steering committee exclusively ex-officio past conference organizers ? Is it therefore mostly cis straight white men? You should change that.

For US locations, there are also resources tracking anti-trans laws that are passed or are being proposed.

https://www.aclu.org/legislative-attacks-on-lgbtq-rights

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

Going forward, the ACM, IEEE, and other organizations in Computer Science should not plan conferences in events with laws that threaten the safety of the members of our community–whether transgender or otherwise.

I call on leaders at SIGPLAN, the ACM, the IEEE Computer Society, and other conference sponsors to come together to discuss this issue & to create policies to ensure that all members of our community are safe and welcomed at our future events.

Full post: https://jonathanaldrich.github.io/2023/06/14/conference-location-and-inclusion.html

JonathanAldrich,
@JonathanAldrich@social.sigsoft.org avatar

@nmn I fully agree! My post is mostly directed at planning for national / international conferences. Local meetups are important everywhere, and making them as safe as possible for everyone is also a big priority.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • provamag3
  • InstantRegret
  • ethstaker
  • osvaldo12
  • magazineikmin
  • GTA5RPClips
  • rosin
  • mdbf
  • Youngstown
  • Durango
  • slotface
  • everett
  • kavyap
  • DreamBathrooms
  • JUstTest
  • thenastyranch
  • tacticalgear
  • modclub
  • cisconetworking
  • tester
  • cubers
  • khanakhh
  • ngwrru68w68
  • megavids
  • normalnudes
  • anitta
  • Leos
  • lostlight
  • All magazines
    •